Thematische Bibliographien / NNV

Inhaltsverzeichnis

Zeitschriftenartikel
Dissertationen
Bücher
Buchteile
Konferenzberichte
Berichte der Organisationen

Auswahl der wissenschaftlichen Literatur zum Thema „NNV“

Autor: Grafiati

Veröffentlicht am 25. Juni 2021

Zuletzt aktualisiert am 29. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "NNV" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Zeitschriftenartikel zum Thema "NNV"

Larkin, Andrew, Howard Waitzkin, Ella Fassler, and Kesavan Rajasekharan Nayar. "How missing evidence-based medicine indicators can inform COVID-19 vaccine distribution policies: a scoping review and calculation of indicators from data in randomised controlled trials." BMJ Open 12, no. 12 (2022): e063525. http://dx.doi.org/10.1136/bmjopen-2022-063525.

Der volle Inhalt der Quelle

Annotation:

ObjectiveReports of efficacy, effectiveness and harms of COVID-19 vaccines have not used key indicators from evidence-based medicine (EBM) that can inform policies about vaccine distribution. This study aims to clarify EBM indicators that consider baseline risks when assessing vaccines’ benefits versus harms: absolute risk reduction (ARR) and number needed to be vaccinated (NNV), versus absolute risk of the intervention (ARI) and number needed to harm (NNH).MethodsWe used a multimethod approach, including a scoping review of the literature; calculation of risk reductions and harms from data co

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Chang, Jui-Shin, and Shau-Chi Chi. "GHSC70 Is Involved in the Cellular Entry of Nervous Necrosis Virus." Journal of Virology 89, no. 1 (2014): 61–70. http://dx.doi.org/10.1128/jvi.02523-14.

Der volle Inhalt der Quelle

Annotation:

ABSTRACTNervous necrosis virus (NNV) is a devastating pathogen of cultured marine fish and has affected more than 40 fish species. NNV belongs to the betanodaviruses ofNodaviridaeand is a nonenveloped icosahedral particle with 2 single-stranded positive-sense RNAs. To date, knowledge regarding NNV entry into the host cell remains limited, and no NNV-specific receptor protein has been published. Using grouper fin cell line GF-1 and purified NNV capsid protein in a virus overlay protein binding assay (VOPBA), grouper heat shock cognate protein 70 (GHSC70) and grouper voltage-dependent anion sele

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lee, Hyunkyoung, Seong Kyeong Bae, Munki Kim, et al. "Anticancer Effect of Nemopilema nomurai Jellyfish Venom on HepG2 Cells and a Tumor Xenograft Animal Model." Evidence-Based Complementary and Alternative Medicine 2017 (2017): 1–12. http://dx.doi.org/10.1155/2017/2752716.

Der volle Inhalt der Quelle

Annotation:

Various kinds of animal venoms and their components have been widely studied for potential therapeutic applications. This study evaluated whether Nemopilema nomurai jellyfish venom (NnV) has anticancer activity. NnV strongly induced cytotoxicity of HepG2 cells through apoptotic cell death, as demonstrated by alterations of chromatic morphology, activation of procaspase-3, and an increase in the Bax/Bcl-2 ratio. Furthermore, NnV inhibited the phosphorylation of PI3K, PDK1, Akt, mTOR, p70S6K, and 4EBP1, whereas it enhanced the expression of p-PTEN. Interestingly, NnV also inactivated the negativ

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Morick, Danny, Or Faigenbaum, Margarita Smirnov, Yakov Fellig, Adi Inbal, and Moshe Kotler. "Mortality Caused by Bath Exposure of Zebrafish (Danio rerio) Larvae to Nervous Necrosis Virus Is Limited to the Fourth Day Postfertilization." Applied and Environmental Microbiology 81, no. 10 (2015): 3280–87. http://dx.doi.org/10.1128/aem.04175-14.

Der volle Inhalt der Quelle

Annotation:

ABSTRACTNervous necrosis virus (NNV) is a member of theBetanodavirusgenus that causes fatal diseases in over 40 species of fish worldwide. Mortality among NNV-infected fish larvae is almost 100%. In order to elucidate the mechanisms responsible for the susceptibility of fish larvae to NNV, we exposed zebrafish larvae to NNV by bath immersion at 2, 4, 6, and 8 days postfertilization (dpf). Here, we demonstrate that developing zebrafish embryos are resistant to NNV at 2 dpf due to the protection afforded by the egg chorion and, to a lesser extent, by the perivitelline fluid. The zebrafish larvae

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Huang, Po-Yu, Han-Chia Hsiao, Szu-Wen Wang, Shao-Fu Lo, Ming-Wei Lu, and Li-Li Chen. "Screening for the Proteins That Can Interact with Grouper Nervous Necrosis Virus Capsid Protein." Viruses 12, no. 9 (2020): 985. http://dx.doi.org/10.3390/v12090985.

Der volle Inhalt der Quelle

Annotation:

Nervous necrosis virus (NNV) can infect many species of fish and has an 80–100% mortality rate. NNV capsid protein (NNVCP) is the only structural protein of NNV, but there are few studies on the protein–protein interaction between NNVCP and the host cell. To investigate NNV morphogenesis, native NNV capsid protein (NNVCP) was used to screen for protein–protein interactions in this study. The results identified that 49 grouper optic nerve proteins can interact with NNVCP and may function as putative receptor or co-receptor, cytoskeleton, glucose metabolism and ATP generation, immunity, mitochon

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Xiao Joe, Joan Tang, Henry Tan Shi Sung, Jen-Leih Wu, Yu-Shen Lai, and Ming-Wei Lu. "Dietary Administration of Novel Multistrain Probiotics from Healthy Grouper Intestines Promotes the Intestinal Immune Response against NNV Infection." Life 11, no. 10 (2021): 1053. http://dx.doi.org/10.3390/life11101053.

Der volle Inhalt der Quelle

Annotation:

Epinephelus lanceolatus (giant grouper) is a high-value cultured species in the Asia-Pacific region. However, nervous necrosis virus (NNV) is an infectious viral disease that affects over 120 species of marine cultured species and causes high mortality, ranging from 90–100% in the grouper industry. Probiotics isolated from the intestines of healthy individuals have provided insight into novel approaches involved in the defense against viral pathogens. In this study, we isolated three strains of bacteria as candidate probiotics from healthy grouper intestines and a 28-day feeding trial was perf

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Toubanaki, Dimitra K., Odysseas-Panagiotis Tzortzatos, Antonia Efstathiou, Vasileios Bakopoulos, and Evdokia Karagouni. "Influence of Viral Re-Infection on Head Kidney Transcriptome of Nervous Necrosis Virus-Resistant and -Susceptible European Sea Bass (Dicentrarchus labrax, L.)." Viruses 17, no. 2 (2025): 230. https://doi.org/10.3390/v17020230.

Der volle Inhalt der Quelle

Annotation:

Fish viral infections have great environmental and economic implications in aquaculture. Nervous necrosis virus (NNV) is a pathogen affecting more than 120 different species, causing high mortality and morbidity. Herein, we study how NNV re-infection affects the European sea bass (Dicentrarchus labrax, L.) head kidney transcriptome in disease-resistant and -susceptible sea bass families. To determine how each family responds to re-infection, we performed the RNA-sequencing analysis of experimentally NNV-infected D. labrax. Fish were experimentally infected in a long-term study, and one month a

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Yang, Shieh Yueh, Jen Leih Wu, Chun Hsi Tso, et al. "A novel quantitative immunomagnetic reduction assay for Nervous necrosis virus." Journal of Veterinary Diagnostic Investigation 24, no. 5 (2012): 911–17. http://dx.doi.org/10.1177/1040638712455796.

Der volle Inhalt der Quelle

Annotation:

Rapid, sensitive, and automatic detection platforms are among the major approaches of controlling viral diseases in aquaculture. An efficient detection platform permits the monitoring of pathogen spread and helps to enhance the economic benefits of commercial aquaculture. Nervous necrosis virus (NNV), the cause of viral encephalopathy and retinopathy, is among the most devastating aquaculture viruses that infect marine fish species worldwide. In the present study, a highly sensitive magnetoreduction assay was developed for detecting target biomolecules with a primary focus on NNV antigens. A s

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Valero, Yulema, José G. Olveira, Carmen López-Vázquez, Carlos P. Dopazo, and Isabel Bandín. "BEI Inactivated Vaccine Induces Innate and Adaptive Responses and Elicits Partial Protection upon Reassortant Betanodavirus Infection in Senegalese Sole." Vaccines 9, no. 5 (2021): 458. http://dx.doi.org/10.3390/vaccines9050458.

Der volle Inhalt der Quelle

Annotation:

Nervous necrosis virus (NNV), the causative agent of viral encephalopathy and retinopathy (VER), is one of the most threatening viruses affecting marine and freshwater fish species worldwide. Senegalese sole is a promising fish species in Mediterranean aquaculture but also highly susceptible to NNV and VER outbreaks, that puts its farming at risk. The development of vaccines for aquaculture is one of best tools to prevent viral spread and sudden outbreaks, and virus inactivation is the simplest and most cost-effective method available. In this work, we have designed two inactivated vaccines ba

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Santos, Isabel A., Cristina Martins, and Isabel Pereira. "NOMINAL GENDER AND NUMBER IN THE DEVELOPMENT OF THE TIMORESE VARIETY OF PORTUGUESE." Diacrítica 32, no. 2 (2019): 33. http://dx.doi.org/10.21814/diacritica.439.

Der volle Inhalt der Quelle

Annotation:

This study contributes to the description of East-Timorese Portuguese (ETP), focusing on the variable patterns of nominal agreement in number and gender operating in this variety. The relevance of the research hinges on the fact that ETP is an understudied non-native variety (NNV) of Portuguese. Given its emergent state, the study of this particular variety can furthermore shed light on the historical process that led to the formation of other NNV. NNV are a product of the non-native acquisition of a language that, in a given territory, takes on official status, this is to say, is a second lan

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Dissertationen zum Thema "NNV"

Jaramillo, Martinez Diana. "Epidemiology and pathogenesis of Nervous Necrosis Virus." Thesis, The University of Sydney, 2015. http://hdl.handle.net/2123/13088.

Der volle Inhalt der Quelle

Annotation:

Viral Nervous Necrosis (VNN) is a globally distributed disease that affects a large number of finfish species, causing significant economic losses on affected farms. The causative agent is a small single stranded RNA virus called Nervous Necrosis Virus (NNV) from the genus Betanodavirus. NNV is neurotropic; clinical signs involve abnormal behaviour and high mortality associated with histopathological findings of vacuolating necrosis in the central nervous system and retina. In Australia, NNV has been isolated from Australian bass (Macquaria Novemaculeata) and barramundi (Lates calcarifer) popu

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Majid, Safwat. "Åtgärder för ökad markanvändning i solcellspark : En tekno-ekonomisk fallstudie om potentialen hos bifacial och solföljare i Solpark Fyrislund." Thesis, Uppsala universitet, Solcellsteknik, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-447110.

Der volle Inhalt der Quelle

Annotation:

Solar parks are increasingly getting a larger market share of PV installations over the world, and have for the last couple of years managed to establish itself in the Swedish market. The market has for a long time been known for its decline in module prices, which has allowed an emergence of more efficient PV-techniques such as one-axis trackers and bifacial modules. Bifacial modules use the backside of modules for improved utiliziation of incoming light, while one-axis trackers have the ability to track the sun in order to maximise light absorption. These innovations have now caught the inte

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Asensio, Javier. "Pirólisis térmica y catalítica de la nicotina y NNK y NNN, dos nitrosaminas específicas del tabaco." Doctoral thesis, Universidad de Alicante, 2020. http://hdl.handle.net/10045/113921.

Der volle Inhalt der Quelle

Annotation:

El carácter adictivo del tabaco se debe fundamentalmente a la nicotina, mientras que su toxicidad se debe a una serie de sustancias tales como el monóxido de carbono, 1,3-butadieno, hidrocarburos policíclicos aromáticos (PAH) y las nitrosaminas específicas del tabaco (TSNAs), entre otros. La reducción de la toxicidad del humo del tabaco a través de la reducción de la emisión de los productos más problemáticos o la modificación de su composición en conjunto resultan alternativas muy interesantes, mientras se consigue la eliminación de este hábito. Se han localizado trabajos en la literatura enc

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Khadrah, S. "NNS/NNS interaction during task-based synchronous computer-mediated communication." Thesis, University of Manchester, 2007. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.508026.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Alquezar, Rose. "L'Espagne et l'Amérique latine dans l'hebdomadaire "Vendredi", nov. 1935-nov. 1938." Bordeaux 3, 1987. http://www.theses.fr/1987BOR30007.

Der volle Inhalt der Quelle

Annotation:

L'etude de l'espagne et de l'amerique latine dans l'hebdomadaire vendredi permet de definir l'engagement des intellectuels de gauche pendant le front populaire, et tout particulierement leur position par rapport a la non-intervention. L'analyse du combat ideologique pendant la guerre d'espagne situe vendredi dans la presse francaise en le confrontant a ses deux adversaires directs : les hebdomadaires candide et gringoire, et permet de mettre en evidence les difficultes de l'action politique en faveur de l'intervention en espagne, difficultes liees au financement de la presse et a la manipulati

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Alquezar, Rose. "L'Espagne et l'Amérique latine dans l'hebdomadaire "Vendredi", nov. 1935 - nov. 1938 /." Bordeaux : [s.n.], 1987. http://catalogue.bnf.fr/ark:/12148/cb375648714.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Iwashita, Noriko. "Comprehensible output in NNS-NNS interaction in Japanese as a foreign language." Connect to thesis, 1993. http://repository.unimelb.edu.au/10187/1523.

Der volle Inhalt der Quelle

Annotation:

This study is a partial replication of Pica et al’s study (1989) of comprehensible output, and investigates comprehensible output in NNS-NNS interaction in Japanese as a Foreign Language. Data were collected using two different types of tasks (information gap and jigsaw tasks) in three sub-groups of different proficiency levels (High-High, Low-Low, and High-Low) in order to find out (1) to what extent the tasks provide opportunities for learners to modify their initial output in response to requests for clarification and confirmation, and (2) the extent to which learners actually modify their

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Harfouche, Joyce. "Nouvelles méthodologies de synthèse de ligands NN, NNO, et nos chiraux : utilisation en catalyse asymétrique homogène pour la réduction de cétones." Lyon 1, 2005. http://www.theses.fr/2005LYO10147.

Der volle Inhalt der Quelle

Annotation:

L'objectif de la thèse a consisté à mettre au point une méthodologie de synthèse simple et efficace de ligands diamines, de diaminoalcools, d'aminothiols et d'aminothiophénols chiraux. Les diamines et diaminoalcools ont été synthétisés par des méthodes de couplage peptidique. Nous avons ensuite optimisé l'ouverture régiosélective et stéréospécifique du S-thiiranyltrityléther par la benzylamine que nous avons étendue à d'autres amines afin d'obtenir une famille d'aminothiols chiraux. Dans un deuxième temps, nous avons synthétisé des aminothiophénols à partir de l'acide thiosalycilique à l'aide

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Freitas, Diogo Martins de. "Equity research - Ferrari N.V." Master's thesis, Instituto Superior de Economia e Gestão, 2018. http://hdl.handle.net/10400.5/17354.

Der volle Inhalt der Quelle

Annotation:

Mestrado em Finanças<br>O presente relatório de Equity Research tem por objectivo determinar o justo valor da fabricante italiana de supercarros de luxo, Ferrari. Nesse sentido, um preço-alvo para o final do ano de 2018 foi desenvolvido e posteriormente concretizado numa recomendação de investimento, tendo por base o processo de avaliação e o preço actual da acção. A primeira etapa do processo de avaliação compreende uma breve análise macroeconómica da indústria em que a empresa se insere, seguida de uma análise operacional. Posteriormente segue-se um tratamento de dados financeiros fundament

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Crispim, Sérgio Miguel dos Santos. "Equity research - Heineken N.V." Master's thesis, Instituto Superior de Economia e Gestão, 2018. http://hdl.handle.net/10400.5/16736.

Der volle Inhalt der Quelle

Annotation:

Mestrado em Finanças<br>O trabalho elaborado consiste numa avaliação do preço por ação da Heineken N.V. para o final de 2018FY, tendo por base pressupostos que considero futuramente viáveis para os próximos cinco anos de atividade e que se apoiam no histórico de performance dos últimos cinco anos. Para tal, todo o estudo é feito através do formato CFA Institute e tem como início a descrição da empresa, a qual contém um resumo da sua história até à data, focado nas principais aquisições ocorrentes, a explicação de quais os segmentos operacionais, uma enumeração e detalhe dos principais element

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Bücher zum Thema "NNV"

Tek, Burhan. Nav. Belkî, 2016.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Gott, Stephanie. NGV news guide to NGV funding. Pasha Publications, 1993.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Šinkovec, Črtomir. Nov dan. [Adolf Šinkovec], 2014.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bandhopadhyaya, Vibhutibhush. Nav Vrindavan. [s.n.], 2004.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Deelder, J. A. N.V. Verga. Bezige Bij, 2001.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Laul, Ulev. Kodumaast: NSV Liidu Ja Eesti NSV Riigihumnist. Eesti Raamat, 1988.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Graham, Johnson, ed. DG&G Gazetteer Nov 2002- Nov 2003. DG&G Travel, 2002.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Krisecenter, Silkeborg. Silkeborg Krisecenter: 28. nov. 1981 - 28. nov. 2006. Silkeborg Krisecenter, 2006.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Publishing, Ultimate Bible. Disciples, Nsv, KJV, Nkv, LIV, Nlv, Greek New Testament, Hebrew Old Testament. Chelsea House Publications, 1998.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Fox, Raymond. The Use of Self. Oxford University Press, 2011. http://dx.doi.org/10.1093/oso/9780190616144.001.0001.

Der volle Inhalt der Quelle

Annotation:

This monograph presents recent advances in neural network (NN) approaches and applications to chemical reaction dynamics. Topics covered include: (i) the development of ab initio potential-energy surfaces (PES) for complex multichannel systems using modified novelty sampling and feedforward NNs; (ii) methods for sampling the configuration space of critical importance, such as trajectory and novelty sampling methods and gradient fitting methods; (iii) parametrization of interatomic potential functions using a genetic algorithm accelerated with a NN; (iv) parametrization of analytic interatomic

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Buchteile zum Thema "NNV"

Lopez, Diego Manzanas, Sung Woo Choi, Hoang-Dung Tran, and Taylor T. Johnson. "NNV 2.0: The Neural Network Verification Tool." In Computer Aided Verification. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37703-7_19.

Der volle Inhalt der Quelle

Annotation:

AbstractThis manuscript presents the updated version of the Neural Network Verification (NNV) tool. NNV is a formal verification software tool for deep learning models and cyber-physical systems with neural network components. NNV was first introduced as a verification framework for feedforward and convolutional neural networks, as well as for neural network control systems. Since then, numerous works have made significant improvements in the verification of new deep learning models, as well as tackling some of the scalability issues that may arise when verifying complex models. In this new ve

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Tran, Hoang-Dung, Sung Woo Choi, Yuntao Li, et al. "StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-98679-6_17.

Der volle Inhalt der Quelle

Annotation:

Abstract This paper presents StarV, a new tool for verifying deep neural networks (DNNs) and learning-enabled Cyber-Physical Systems (Le-CPS) using the well-known star reachability. Distinguished from existing star-based verification tools such as NNV and NNENUM and others, StarV not only offers qualitative verification techniques using Star and ImageStar reachability analysis but is also the first tool to propose using ProbStar reachability for quantitative verification of DNNs with piecewise linear activation functions and Le-CPS. Notably, it introduces a novel ProbStar Temporal Logic formal

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Tran, Hoang-Dung, Xiaodong Yang, Diego Manzanas Lopez, et al. "NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems." In Computer Aided Verification. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-53288-8_1.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Shi, Zhouxing, Qirui Jin, Zico Kolter, Suman Jana, Cho-Jui Hsieh, and Huan Zhang. "Neural Network Verification with Branch-and-Bound for General Nonlinearities." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-90643-5_17.

Der volle Inhalt der Quelle

Annotation:

Abstract Branch-and-bound (BaB) is among the most effective techniques for neural network (NN) verification. However, existing works on BaB for NN verification have mostly focused on NNs with piecewise linear activations, especially ReLU networks. In this paper, we develop a general framework, named GenBaB, to conduct BaB on general nonlinearities to verify NNs with general architectures, based on linear bound propagation for NN verification. To decide which neuron to branch, we design a new branching heuristic which leverages linear bounds as shortcuts to efficiently estimate the potential im

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Tran, Hoang-Dung, Neelanjana Pal, Patrick Musau, et al. "Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_12.

Der volle Inhalt der Quelle

Annotation:

AbstractThis paper introduces robustness verification for semantic segmentation neural networks (in short, semantic segmentation networks [SSNs]), building on and extending recent approaches for robustness verification of image classification neural networks. Despite recent progress in developing verification methods for specifications such as local adversarial robustness in deep neural networks (DNNs) in terms of scalability, precision, and applicability to different network architectures, layers, and activation functions, robustness verification of semantic segmentation has not yet been cons

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lane, J. D., C. J. Pickett, and D. R. Stanley. "Synthesis of Diazenido Complexes, -NNH and -NNR." In Inorganic Reactions and Methods. John Wiley & Sons, Inc., 2007. http://dx.doi.org/10.1002/9780470145227.ch79.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mamalakis, Antonios, Imme Ebert-Uphoff, and Elizabeth A. Barnes. "Explainable Artificial Intelligence in Meteorology and Climate Science: Model Fine-Tuning, Calibrating Trust and Learning New Science." In xxAI - Beyond Explainable AI. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-04083-2_16.

Der volle Inhalt der Quelle

Annotation:

AbstractIn recent years, artificial intelligence and specifically artificial neural networks (NNs) have shown great success in solving complex, nonlinear problems in earth sciences. Despite their success, the strategies upon which NNs make decisions are hard to decipher, which prevents scientists from interpreting and building trust in the NN predictions; a highly desired and necessary condition for the further use and exploitation of NNs’ potential. Thus, a variety of methods have been recently introduced with the aim of attributing the NN predictions to specific features in the input space a

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Azeem, Muqsit, Marta Grobelna, Sudeep Kanav, Jan Křetínský, Stefanie Mohr, and Sabine Rieder. "Monitizer: Automating Design and Evaluation of Neural Network Monitors." In Computer Aided Verification. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-65630-9_14.

Der volle Inhalt der Quelle

Annotation:

AbstractThe behavior of neural networks (NNs) on previously unseen types of data (out-of-distribution or OOD) is typically unpredictable. This can be dangerous if the network’s output is used for decision making in a safety-critical system. Hence, detecting that an input is OOD is crucial for the safe application of the NN. Verification approaches do not scale to practical NNs, making runtime monitoring more appealing for practical use. While various monitors have been suggested recently, their optimization for a given problem, as well as comparison with each other and reproduction of results,

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Ivanov, Radoslav, Taylor Carpenter, James Weimer, Rajeev Alur, George Pappas, and Insup Lee. "Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_11.

Der volle Inhalt der Quelle

Annotation:

AbstractThis paper presents Verisig 2.0, a verification tool for closed-loop systems with neural network (NN) controllers. We focus on NNs with tanh/sigmoid activations and develop a Taylor-model-based reachability algorithm through Taylor model preconditioning and shrink wrapping. Furthermore, we provide a parallelized implementation that allows Verisig 2.0 to efficiently handle larger NNs than existing tools can. We provide an extensive evaluation over 10 benchmarks and compare Verisig 2.0 against three state-of-the-art verification tools. We show that Verisig 2.0 is both more accurate and f

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Teuber, Samuel, Philipp Kern, Marvin Janzen, and Bernhard Beckert. "Revisiting Differential Verification: Equivalence Verification with Confidence." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-90653-4_13.

Der volle Inhalt der Quelle

Annotation:

Abstract When validated neural networks (NNs) are pruned (and retrained) before deployment, it is desirable to prove that the new NN behaves equivalently to the (original) reference NN. To this end, our paper revisits the idea of differential verification which performs reasoning on differences between NNs: On the one hand, our paper proposes a novel abstract domain for differential verification admitting more efficient reasoning about equivalence. On the other hand, we investigate empirically and theoretically which equivalence properties are (not) efficiently solved using differential reason

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Konferenzberichte zum Thema "NNV"

Johnson, Taylor T., Diego Manzanas Lopez, and Hoang-Dung Tran. "Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV." In 2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S). IEEE, 2024. http://dx.doi.org/10.1109/dsn-s60304.2024.00027.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Dudchenko, Alexander V., and Oluwamayowa O. Amusat. "Neural Networks for Prediction of Complex Chemistry in Water Treatment Process Optimization." In Foundations of Computer-Aided Process Design. PSE Press, 2024. http://dx.doi.org/10.69997/sct.107047.

Der volle Inhalt der Quelle

Annotation:

Water chemistry plays a critical role in the design and operation of water treatment processes. Detailed chemistry modeling tools use a combination of advanced thermodynamic models and extensive databases to predict phase equilibria and reaction phenomena. The complexity and formulation of these models preclude their direct integration in equation-oriented modeling platforms, making it difficult to use their capabilities for rigorous water treatment process optimization. Neural networks (NN) can provide a pathway for integrating the predictive capability of chemistry software into equation-ori

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Kadhim, Nader Abdullah. "NFV in Cloud: Survey." In 2023 International Conference on Engineering Applied and Nano Sciences (ICEANS). IEEE, 2023. http://dx.doi.org/10.1109/iceans58413.2023.10629667.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Tran, Hoang-Dung, Diego Manzanas Lopez, Xiaodong Yang, et al. "Demo: The Neural Network Verification (NNV) Tool." In 2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION). IEEE, 2020. http://dx.doi.org/10.1109/destion50928.2020.00010.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Ganapathymadam, Sunil Krishnan, Amit Joshi, Nahid Akhtar, Oluwamayowa J. Ogu, and Vikas Kaushik. "Antiviral peptide synthesis and validation to target fish nervous necrosis virus (NNV) coat protein." In THE FOURTH SCIENTIFIC CONFERENCE FOR ELECTRICAL ENGINEERING TECHNIQUES RESEARCH (EETR2022). AIP Publishing, 2023. http://dx.doi.org/10.1063/5.0168965.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Ma, Rong-Rong, Yin-Geng Wang, Mei-Jie Liao, et al. "Diagnosis and ORF gene sequencing analysis of the nervous necrosis virus (NNV) isolated from cultured pearl gentian grouper, Epinephelus lanceolatus × Epinephelus fuscoguttatus, in China." In 2014 7th International Conference on Biomedical Engineering and Informatics (BMEI). IEEE, 2014. http://dx.doi.org/10.1109/bmei.2014.7002884.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Xue, Yang, and Zhongliang Jing. "On-Line Self-Learning Neural Network Control for Articulated Pneumatic Robot Position System." In ASME 2005 International Mechanical Engineering Congress and Exposition. ASMEDC, 2005. http://dx.doi.org/10.1115/imece2005-80161.

Der volle Inhalt der Quelle

Annotation:

In this paper, a NNI (Neural Network Identifier) is presented to learn model for an articulated multiple DOF (Degrees of Freedom) pneumatic robot position system. It can adjust the weights and biases of NNC (Neural Network Controller) on line. This controller can effectively solve the difficult problems of single rod cylinders, which are mainly caused by asymmetric structures and different friction characteristics in two directions. On these bases an articulated four DOF pneumatic robot is designed and its work space is analyzed. Experimental results prove that, the dynamic performance of the

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bettocchi, R., M. Pinelli, P. R. Spina, and M. Venturini. "Artificial Intelligence for the Diagnostics of Gas Turbines: Part I — Neural Network Approach." In ASME Turbo Expo 2005: Power for Land, Sea, and Air. ASMEDC, 2005. http://dx.doi.org/10.1115/gt2005-68026.

Der volle Inhalt der Quelle

Annotation:

In the paper, Neural Network (NN) models for gas turbine diagnostics are studied and developed. The analyses carried out are aimed at the selection of the most appropriate NN structure for gas turbine diagnostics, in terms of computational time of the NN training phase, accuracy and robustness with respect to measurement uncertainty. In particular, feed-forward NNs with a single hidden layer trained by using a back-propagation learning algorithm are considered and tested. Moreover, Multi-Input/Multi-Output NN architectures (i.e. NNs calculating all the system outputs) are compared to Multi-Inp

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wang, Jun, Kevin Chiu, and Mark Fuge. "Learning to Abstract and Compose Mechanical Device Function and Behavior." In ASME 2020 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/detc2020-22714.

Der volle Inhalt der Quelle

Annotation:

Abstract While current neural networks (NNs) are becoming good at deriving single types of abstractions for a small set of phenomena, for example, using a single NN to predict a flow velocity field, NNs are not good at composing large systems as compositions of small phenomena and reasoning about their interactions. We want to study how NNs build both the abstraction and composition of phenomena when a single NN model cannot suffice. Rather than a single NN that learns one physical or social phenomenon, we want a group of NNs that learn to abstract, compose, reason, and correct the behaviors o

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Cárdenas Pantoja, Nicolás Javier, Adam Abdin, Piero Baraldi, et al. "Optimal Drilling Scheduling in Field Development Planning by Deep Reinforcement Learning." In SPE Reservoir Simulation Conference. SPE, 2025. https://doi.org/10.2118/223917-ms.

Der volle Inhalt der Quelle

Annotation:

Abstract We consider the problem of optimizing the drilling scheduling in Field Development Planning. The objective is to identify the well drilling sequence and well types that maximize the project Net Present Value (NPV) properly handling uncertainty on our knowledge of the reservoir geological parameters. This Sequential Decision Problem (SDP) is modelled as a Markov Decision Problem (MDP) and solved using Deep Reinforcement Learning. Specifically, we develop an approach based on Deep Q-Networks (DQN), where an online Neural Networks (NN) learns and selects the most suitable drilling action

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Berichte der Organisationen zum Thema "NNV"

Summers, D. A. Independent nuclear safety assessment of the non-nuclear verification instrument NNV-470AS. Office of Scientific and Technical Information (OSTI), 1995. http://dx.doi.org/10.2172/10117663.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Tulp, I., T. C. Prins, J. A. M. Craeymeersch, S. IJff, and M. T. van der Sluis. Syntheserapport PMR NCV. Wageningen Marine Research, 2018. http://dx.doi.org/10.18174/496768.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Rojas, Cristian Fernando, and Alexander Peña. Rover’s Nav fase 1. Escuela Tecnológica Instituto Técnico Central, 2023. http://dx.doi.org/10.55411/2023.18.

Der volle Inhalt der Quelle

Annotation:

Las instituciones de educación superior cuentan con un gran número de personas con diferentes roles, como estudiantes, profesores, funcionarios entre otros, quienes en dadas circunstancias necesitan hallar rápidamente una oficina, un salón o una ruta de evacuación a pesar de que existe la señalización correspondiente. Contar con una herramienta que permita ser empleada a través de dispositivos móviles u otros artefactos tecnológicos puede mejorar los procesos de localización en plantas físicas y complementar la información de rutas como las de evacuación.El empleo de tecnología basada en robót

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Gregory, Louis. Asbestos Report Permit NEV HW0101. Office of Scientific and Technical Information (OSTI), 2019. http://dx.doi.org/10.2172/1506466.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

บุญเกิด, ทวีศักดิ์. การศึกษาทบทวนพืชวงศ์ Aspleniaceae ในประเทศไทย : รายงานผลการวิจัย. จุฬาลงกรณ์มหาวิทยาลัย, 2009. https://doi.org/10.58837/chula.res.2009.55.

Der volle Inhalt der Quelle

Annotation:

Aspleniaceae เป็นเฟิร์นวงศ์ขนาดใหญ่วงศ์หนึ่งของพืชที่มีเนื้อเยื่อท่อลำเลียงมีจำนวนชนิดประมาณ 700 ชนิดทั่วโลก ซึ่งมักจะจัดจำแนกไว้ในสกุลเดียวคือ Asplenium สำหรับประเทศไทยพบเฟิร์นสกุลนี้จำนวน 37 ชนิด ซึ่งต่อมาพบว่ามีหลายชนิดในประเทศไทยที่ไม่สามารถตรวจหาชื่อชนิดได้ ประกอบกับมีแนวความคิดของนักวิจัยต่างประเทศที่จะจัดจำแนกเฟิร์นวงศ์นี้ออกเป็นมากกว่า 1 สกุล จึงมีความจำเป็นต้องศึกษาทบทวนพืชวงศ์นี้ จากการศึกษาตัวอย่างที่เก็บเพิ่มเติมและจากตัวอย่างพันธุ์ไม้แห้งในพิพิธภัณฑ์พืชทั้งในประเทศและต่างประเทศพบเฟิร์นวงศ์นี้จำนวน 52 ชนิด ซึ่งได้พิจารณาจัดจำแนกออกเป็น2 สกุล คือสกุล Asplenium L. จำนวน 46 ชนิดและสกุ

APA, Harvard, Vancouver, ISO und andere Zitierweisen

NMR Publicering. NNR 2012: Responses from hearing process. Nordisk Ministerråd, 2014. http://dx.doi.org/10.6027/na2014-913.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

GM Sverdrup, JG DeSteese, and ND Malcosky. Final Report on National NGV Infrastructure. Office of Scientific and Technical Information (OSTI), 1999. http://dx.doi.org/10.2172/2654.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

N.E. Woolstenhulme and R.B. Nielson. DDE Design Status Report Nov 2011. Office of Scientific and Technical Information (OSTI), 2011. http://dx.doi.org/10.2172/1034809.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Thornton, Remington. X-Ray Development Photos Nov 2022. Office of Scientific and Technical Information (OSTI), 2023. http://dx.doi.org/10.2172/1922732.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Canfield, Ian. NMV Deployable Equipment Management at LANL. Office of Scientific and Technical Information (OSTI), 2024. http://dx.doi.org/10.2172/2350596.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!