-
1دورية أكاديمية
المؤلفون: Édouard Réveillaud, Stéphanie Desvaux, Maria-Laura Boschiroli, Jean Hars, Éva Faure, Alexandre Fediaevsky, Lisa Cavalerie, Fabrice Chevalier, Pierre Jabert, Sylvie Poliak, Isabelle Tourette, Pascal Hendrikx, Céline Richomme
المصدر: Frontiers in Veterinary Science, Vol 5 (2018)
مصطلحات موضوعية: bovine tuberculosis, Mycobacterium bovis, surveillance, wildlife, badger, wild boar, Veterinary medicine, SF600-1100
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
المصدر: Logical Methods in Computer Science, Vol Volume 6, Issue 1 (2010)
مصطلحات موضوعية: computer science - logic in computer science, computer science - computer science and game theory, f.3.1, f.4.1, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
3
المؤلفون: Pierre Jabert, Céline Richomme, Lisa Cavalerie, Sylvie Poliak, Pascal Hendrikx, Alexandre Fediaevsky, Maria Laura Boschiroli, Fabrice Chevalier, Stéphanie Desvaux, Jean Hars, Edouard Réveillaud, Isabelle Tourette, Eva Faure
المساهمون: Laboratoire de santé animale, sites de Maisons-Alfort et de Dozulé, Agence nationale de sécurité sanitaire de l'alimentation, de l'environnement et du travail (ANSES), Office National de la Chasse et de la Faune Sauvage (ONCFS), Fédération Nationale des Chasseurs (FNC), Direction Générale de l'Alimentation (DGAL), Ministère de l'agriculture, de l'agroalimentaire et de la forêt, Association française des Directeurs et cadres de Laboratoires Vétérinaires publics d'Analyses, Fédération nationale des Groupements de Défense Sanitaire (GDS France), Laboratoire de la rage et de la faune sauvage de Nancy (LRFSN), DGAL
المصدر: Frontiers in Veterinary Science
Frontiers in Veterinary Science, Frontiers Media, 2018, 5, pp.262. ⟨10.3389/fvets.2018.00262⟩
Frontiers in Veterinary Science, Vol 5 (2018)مصطلحات موضوعية: 0301 basic medicine, MESH: Mycobacterium bovis, Veterinary medicine, Badger, 040301 veterinary sciences, [SDV]Life Sciences [q-bio], 030106 microbiology, Wildlife, Wild boar, Bovine tuberculosis, 0403 veterinary science, 03 medical and health sciences, biology.animal, Wildlife management, MESH: Animals, Wild, Mycobacterium bovis, lcsh:Veterinary medicine, Surveillance, General Veterinary, biology, Outbreak, 04 agricultural and veterinary sciences, biology.organism_classification, [SDV.MP.BAC]Life Sciences [q-bio]/Microbiology and Parasitology/Bacteriology, 3. Good health, MESH: Sus scrofa, Roe deer, MESH: France, lcsh:SF600-1100, [SDV.SPEE]Life Sciences [q-bio]/Santé publique et épidémiologie, France, MESH: Tuberculosis, Bovine
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4fe8c43e3925838d9bb8e37c34d6c436
-
4
المؤلفون: Thomas Brihaye, Patricia Bouyer, Fabrice Chevalier
المصدر: Annals of Pure and Applied Logic. 161(3):268-288
مصطلحات موضوعية: Model checking, Discrete mathematics, Observer (quantum physics), Logic, Hybrid system, Timed automaton, Temporal logic, Computer Science::Formal Languages and Automata Theory, Decidability, Mathematics, Undecidable problem, Automaton
-
5
المؤلفون: Stavros Tripakis, Fabrice Chevalier, Moez Krichen, Patricia Bouyer
المصدر: Journal Européen des Systèmes Automatisés. 39:381-393
مصطلحات موضوعية: Constraint (information theory), Engineering, Control and Systems Engineering, business.industry, Observability, Electrical and Electronic Engineering, Fault (power engineering), business, Conformance testing, Reactive system, Algorithm, Industrial and Manufacturing Engineering, Computer Science Applications
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a90c5a2588fb2dda2e841e7ccba28ede
https://doi.org/10.3166/jesa.39.381-393 -
6
-
7
المؤلفون: Fabrice Chevalier, Deepak D'Souza, M. Raj Mohan, Pavithra Prabhakar
المصدر: IndraStra Global.
مصطلحات موضوعية: Discrete mathematics, Logic, Intermediate logic, Mathematical proof, First-order logic, Automaton, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, MathML, Computer Science::Logic in Computer Science, Temporal logic, Natural class, Computer Science::Formal Languages and Automata Theory, Word (computer architecture), Computer Science & Automation, Mathematics
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bc24ecbb5477bf9f37cb1bff2c6e0471
http://eprints.iisc.ac.in/25178/1/yuo.pdf -
8
المؤلفون: Fabrice Chevalier, Patricia Bouyer, Thomas Brihaye
مصطلحات موضوعية: FOS: Computer and information sciences, Bisimulation, Computer Science - Logic in Computer Science, Theoretical computer science, General Computer Science, Computer science, Computability, Logic in Computer Science (cs.LO), Theoretical Computer Science, Decidability, Reachability, Computer Science - Computer Science and Game Theory, Hybrid system, F.4.1, F.3.1, Suffix, Equivalence (measure theory), Computer Science::Formal Languages and Automata Theory, Computer Science and Game Theory (cs.GT), Abstraction (linguistics)
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e8c432b18337511d400f2e3fd82c8d0
http://arxiv.org/abs/0911.4833 -
9
المؤلفون: Pavithra Prabhakar, Fabrice Chevalier, Deepak D'Souza
المصدر: Lecture Notes in Computer Science ISBN: 9783540754534
FORMATSمصطلحات موضوعية: Pointwise, Discrete mathematics, Class (set theory), Regular language, Computer science, Timed automaton, Periodic sequence, Temporal logic, Characterization (mathematics), Computer Science & Automation, Computer Science::Formal Languages and Automata Theory, Automaton
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fec4d6b7a9ea9d9ca1a6b507191e084b
https://doi.org/10.1007/978-3-540-75454-1_8 -
10
المؤلفون: Patricia Bouyer, Fabrice Chevalier, Thomas Brihaye
المصدر: Logical Foundations of Computer Science ISBN: 9783540727323
LFCSمصطلحات موضوعية: Discrete mathematics, Observer (quantum physics), Hybrid system, Optimal cost, Timed automaton, Hybrid automaton, Computer Science::Formal Languages and Automata Theory, Decidability, Undecidable problem, Mathematics, Automaton
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8a4fa428a026287d26abaffbe0114829
https://doi.org/10.1007/978-3-540-72734-7_6