المؤلفون: Thao Dang, Tommaso Dreossi

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 125, Iss Proc. HSB 2013, Pp 53-67 (2013)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1309.0869v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/3142d87ff7384284af761b29f5932507

المؤلفون: Alberto Casagrande, Tommaso Dreossi, Carla Piazza

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 124, Iss Proc. HAS 2013, Pp 43-57 (2013)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1308.5334v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/8d7741ea89ed46c9b121c1b554d503d6

المؤلفون: Carla Piazza, Tommaso Dreossi, Alberto Casagrande

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 92, Iss Proc. HSB 2012, Pp 58-72 (2012)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1208.3852v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/ba546f934ea842b5883ac1834908f5fa

المؤلفون: Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

المصدر: CAV, Computer Aided Verification, Paris, France, 17-22 July 2023

Relation: https://doi.org/10.5281/zenodo.7874465; https://doi.org/10.5281/zenodo.7874466; oai:zenodo.org:7874466

الاتاحة: https://doi.org/10.5281/zenodo.7874466

المؤلفون: Alberto Casagrande, Thao Dang, Luca Dorigo, Tommaso Dreossi, Carla Piazza, Eleonora Pippia

المساهمون: Casagrande, Alberto, Dang, Thao, Dorigo, Luca, Dreossi, Tommaso, Piazza, Carla, Pippia, Eleonora

مصطلحات موضوعية: Parametric dynamical systems Bernstein coefficients Signal temporal logic Neural network verification

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000914897100019; volume:289(2022; firstpage:1; lastpage:30; numberofpages:30; journal:INFORMATION AND COMPUTATION; https://hdl.handle.net/11368/3025969; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85134630443; https://doi.org/10.1016/j.ic.2022.104941

الاتاحة: https://hdl.handle.net/11368/3025969
https://doi.org/10.1016/j.ic.2022.104941

المؤلفون: Parth Gupta, Vamsi Salaka, Yu-Hsiang Lin, Jan Bakus, Tommaso Dreossi, Giorgio Ballardin

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Machine Learning, Computer science, business.industry, Formalism (philosophy), Formal Languages and Automata Theory (cs.FL), Carry (arithmetic), Computer Science - Formal Languages and Automata Theory, E-commerce, computer.software_genre, Ranking (information retrieval), Logic in Computer Science (cs.LO), Machine Learning (cs.LG), Computer Science - Information Retrieval, Signal temporal logic, Cold start, Position (vector), Product (mathematics), Learning to rank, Data mining, business, computer, Information Retrieval (cs.IR)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::493e08c807c6d624d946e479404abf44
http://arxiv.org/abs/2101.05415

المؤلفون: Tommaso Dreossi, Thao Dang

مصطلحات موضوعية: General Earth and Planetary Sciences, General Engineering, General Environmental Science

Relation: url:https://www.openaccessrepository.it/communities/itmirror; https://www.openaccessrepository.it/record/129011

الاتاحة: https://www.openaccessrepository.it/record/129011
https://doi.org/10.4204/eptcs.125.4

المؤلفون: Parth Gupta, Tommaso Dreossi, Vamsi Salaka, Yu-Hsiang Lin, Jan Bakus

المصدر: WWW (Companion Volume)

مصطلحات موضوعية: business.industry, Computer science, media_common.quotation_subject, Machine learning, computer.software_genre, Cold start, Prior probability, Learning to rank, Quality (business), Relevance (information retrieval), Artificial intelligence, Product (category theory), business, Set (psychology), computer, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a12dc12c4a4562452e60ea5f0fa291bd
https://doi.org/10.1145/3366424.3382705

المؤلفون: Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia

المساهمون: Chockler, Hana, Weissenbacher, Georg

المصدر: IEEE Design and Test, vol 37, iss 2

مصطلحات موضوعية: FOS: Computer and information sciences, Computer science, Machine Learning (stat.ML), Context (language use), Adversarial machine learning, Machine learning algorithms, Semantics, Machine Learning (cs.LG), Adversarial system, Statistics - Machine Learning, Electrical and Electronic Engineering, Training data, Artificial neural network, business.industry, Deep learning, Computer Science - Learning, Hardware and Architecture, Key (cryptography), Deep neural networks, Artificial intelligence, business, Software, Neural networks

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2556204caf52d636a699b197696f2cb6
https://escholarship.org/uc/item/8xp911g3

المؤلفون: Alberto Casagrande, Tommaso Dreossi, Carla Piazza

Relation: url:https://www.openaccessrepository.it/communities/itmirror; https://www.openaccessrepository.it/record/67446

الاتاحة: https://www.openaccessrepository.it/record/67446
https://doi.org/10.4204/eptcs.92.5

المؤلفون: Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Programming Languages, Artificial Intelligence, Computer Vision and Pattern Recognition (cs.CV), Computer Science - Computer Vision and Pattern Recognition, Software, Programming Languages (cs.PL), Machine Learning (cs.LG)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da97c94515d0a53920de6ec43b374ab0

المؤلفون: Xiangyu Yue, Tommaso Dreossi, Sanjit A. Seshia, Shromona Ghosh, Daniel J. Fremont, Alberto Sangiovanni-Vincentelli

المصدر: PLDI

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer science, Computer Vision and Pattern Recognition (cs.CV), media_common.quotation_subject, Computer Science - Computer Vision and Pattern Recognition, 02 engineering and technology, Machine learning, computer.software_genre, Convolutional neural network, Machine Learning (cs.LG), 0202 electrical engineering, electronic engineering, information engineering, Probabilistic programming language, media_common, Computer Science - Programming Languages, Syntax (programming languages), business.industry, Deep learning, 020207 software engineering, Robotics, Fuzz testing, Debugging, Robot, 020201 artificial intelligence & image processing, Artificial intelligence, business, computer, Programming Languages (cs.PL)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ace41cc5bb61f2a09478c76cb1779221
https://doi.org/10.1145/3314221.3314633

المؤلفون: Thao Dang, Tommaso Dreossi, Eric Fanchon, Alexandre Rocca, Carla Piazza, Oded Maler

المساهمون: Berkeley University of California (UC BERKELEY), Centre National de la Recherche Scientifique (CNRS), Università degli Studi di Udine - University of Udine [Italie], Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), VERIMAG (VERIMAG - IMAG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Biologie Computationnelle et Mathématique (TIMC-IMAG-BCM), Techniques de l'Ingénierie Médicale et de la Complexité - Informatique, Mathématiques et Applications, Grenoble - UMR 5525 (TIMC-IMAG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), ZOPPIS, Catherine

المصدر: Automated Reasoning for Systems Biology and Medicine
Automated Reasoning for Systems Biology and Medicine, 30, 2019, Springer, Computational Biology, 978-3-030-17296-1. ⟨10.1007/978-3-030-17297-8⟩
Springer
Computational Biology ISBN: 9783030172961
Automated Reasoning for Systems Biology and Medicine, 2019, 978-3-030-17296-1

مصطلحات موضوعية: 0303 health sciences, 0209 industrial biotechnology, Biological data, Dynamical systems theory, Computer science, [SDV]Life Sciences [q-bio], Systems biology, Constraint (computer-aided design), 02 engineering and technology, Parameter space, Rotation formalisms in three dimensions, [SDV] Life Sciences [q-bio], 03 medical and health sciences, Nonlinear system, 020901 industrial engineering & automation, Statistical physics, Differential (infinitesimal), [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], ComputingMilieux_MISCELLANEOUS, 030304 developmental biology

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::038bbb3093453b150217b0574657d0cb
https://hal.archives-ouvertes.fr/hal-02402333

المؤلفون: Tommaso Dreossi, Carla Piazza, Thao Dang

المصدر: Formal Methods in System Design. 50:1-38

مصطلحات موضوعية: 0209 industrial biotechnology, Mathematical optimization, Polynomial, Dynamical systems theory, Computer science, Computation, Polytope, 02 engineering and technology, Dynamical system, Theoretical Computer Science, Linear dynamical system, 020901 industrial engineering & automation, Reachability, 0202 electrical engineering, electronic engineering, information engineering, Dynamical system (definition), Representation (mathematics), 020207 software engineering, Bernstein coefficients, Polynomial dynamical systems, Software, Hardware and Architecture, Algebra, Nonlinear system, Bounded function

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cd44a9daa4a1406ac9a59ef669b736a0
https://doi.org/10.1007/s10703-016-0266-3

المؤلفون: Marcell Vazquez-Chanlatte, Sanjit A. Seshia, Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Hadi Ravanbakhsh, Edward Kim

المصدر: Computer Aided Verification ISBN: 9783030255398
CAV (1)

مصطلحات موضوعية: 050101 languages & linguistics, Computer science, business.industry, media_common.quotation_subject, 05 social sciences, Cyber-physical system, 02 engineering and technology, Fuzz testing, Formal methods, Data set, Software, Perception, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, Use case, Artificial intelligence, business, Counterexample, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c72773ff845170d0642b477461cc2cbd
https://doi.org/10.1007/978-3-030-25540-4_25

المؤلفون: Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia

المصدر: Computer Aided Verification ISBN: 9783319961446
CAV (1)

مصطلحات موضوعية: business.industry, Aviation, Computer science, Deep learning, 02 engineering and technology, Adversary, computer.software_genre, Computer security, 020202 computer hardware & architecture, Adversarial system, Trustworthiness, Automotive systems, Health care, 0202 electrical engineering, electronic engineering, information engineering, Malware, 020201 artificial intelligence & image processing, Artificial intelligence, business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::99a9e88cca8346de4e20984574437b19
https://doi.org/10.1007/978-3-319-96145-3_1

المؤلفون: Shromona Ghosh, Ankush Desai, Daniel J. Fremont, Sumukh Shivakumar, Tommaso Dreossi, Marcell Vazquez-Chanlatte, Xiangyu Yue, Sanjit A. Seshia, Edward Kim

المصدر: Automated Technology for Verification and Analysis ISBN: 9783030010898
ATVA

مصطلحات موضوعية: Artificial neural network, business.industry, Computer science, 020207 software engineering, 02 engineering and technology, Formal methods, Domain (software engineering), Variety (cybernetics), Formal specification, 0202 electrical engineering, electronic engineering, information engineering, Deep neural networks, 020201 artificial intelligence & image processing, Software engineering, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::235dace2851b76ec34bc90672b91567e
https://doi.org/10.1007/978-3-030-01090-4_2

المؤلفون: Kurt Keutzer, Sanjit A. Seshia, Tommaso Dreossi, Alberto Sangiovanni-Vincentelli, Xiangyu Yue, Shromona Ghosh

المساهمون: Lang, Jérôme

المصدر: IJCAI

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Artificial Intelligence, Philosophy, cs.LG, Machine Learning (stat.ML), 02 engineering and technology, cs.AI, stat.ML, 020202 computer hardware & architecture, Machine Learning (cs.LG), Computer Science - Learning, Artificial Intelligence (cs.AI), Statistics - Machine Learning, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Humanities, Counterexample

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::570b26b25b3203f46946180e8a0894c5

المؤلفون: Tommaso Dreossi, Thao Dang

المصدر: CASE

مصطلحات موضوعية: Computer science, Timed automaton, 0102 computer and information sciences, 02 engineering and technology, Specification testing, 01 natural sciences, Automaton, 010201 computation theory & mathematics, Robustness (computer science), Hybrid system, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Algorithm, Bifurcation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4cf4697ee69bb6bf0bae585edca358f6
https://doi.org/10.1109/coase.2017.8256287

المؤلفون: Sanjit A. Seshia, Alexandre Donzé, Tommaso Dreossi

المصدر: Lecture Notes in Computer Science ISBN: 9783319572871
NFM

مصطلحات موضوعية: Correctness, business.industry, Computer science, media_common.quotation_subject, Cyber-physical system, 020207 software engineering, 02 engineering and technology, Machine learning, computer.software_genre, Signal temporal logic, Automotive systems, Component (UML), Perception, 0202 electrical engineering, electronic engineering, information engineering, Deep neural networks, 020201 artificial intelligence & image processing, Temporal logic, Artificial intelligence, business, computer, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::34757ed566fd88bde8cf8b486263bcb7
https://doi.org/10.1007/978-3-319-57288-8_26