المؤلفون: Chatterjee, Krishnendu, Goharshady, Ehsan Kafshdar, Novotný, Petr, Žikelić, Đorđe

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Formal Languages and Automata Theory

الوصول الحر: http://arxiv.org/abs/2404.03430Test

المؤلفون: Chatterjee, Krishnendu, Goharshady, Ehsan Kafshdar, Karrabi, Mehrdad, Novotný, Petr, Žikelić, Đorđe

مصطلحات موضوعية: Computer Science - Artificial Intelligence

الوصول الحر: http://arxiv.org/abs/2312.13912Test

المؤلفون: Klaška, David, Kučera, Antonín, Kurečka, Martin, Musil, Vít, Novotný, Petr, Řehák, Vojtěch

مصطلحات موضوعية: Computer Science - Multiagent Systems

الوصول الحر: http://arxiv.org/abs/2305.10070Test

المؤلفون: Fijalkow, Nathanaël, Bertrand, Nathalie, Bouyer-Decitre, Patricia, Brenguier, Romain, Carayol, Arnaud, Fearnley, John, Gimbert, Hugo, Horn, Florian, Ibsen-Jensen, Rasmus, Markey, Nicolas, Monmege, Benjamin, Novotný, Petr, Randour, Mickael, Sankur, Ocan, Schmitz, Sylvain, Serre, Olivier, Skomra, Mateusz

مصطلحات موضوعية: Computer Science - Computer Science and Game Theory, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/2305.10546Test

المؤلفون: Ajdarów, Michal, Brlej, Šimon, Novotný, Petr

مصطلحات موضوعية: Computer Science - Artificial Intelligence

الوصول الحر: http://arxiv.org/abs/2211.15349Test

المؤلفون: Vondrák, Jan, Svoboda, Stanislav, Kosnar, Jirí, Malicek, Jirí, Soun, Jaroslav, Frolov, Ivan, Svensson, Måns, Novotný, Petr, Palice, Zdenek

المصدر: Preslia. 95(3):311-345

مصطلحات موضوعية: fungi, ITS barcode, mtSSU, PacBio, taxonomy

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-518356Test
https://doi.org/10.23855/preslia.2023.311Test
https://uu.diva-portal.org/smash/get/diva2:1821030/FULLTEXT01.pdfTest

المؤلفون: Brázdil, Tomáš, Klaška, David, Kučera, Antonín, Musil, Vít, Novotný, Petr, Řehák, Vojtěch

مصطلحات موضوعية: Computer Science - Multiagent Systems

الوصول الحر: http://arxiv.org/abs/2206.08096Test

المؤلفون: Novotný, Petr

مرشدي الرسالة: Blecha, Radim, Blecha, Petr

مصطلحات موضوعية: technical parameters, harmonized standards, snižování rizika, identifikace nebezpečí, risk analysis, analýza rizika, harmonizované normy, hazard identification, risk reduction, Obráběcí centrum, EU legislation, legislativa EU, technické parametry, Machining center

الإتاحة: http://www.nusl.cz/ntk/nusl-443153Test

المؤلفون: Fijalkow, Nathanaël, Bertrand, Nathalie, Bouyer, Patricia, Brenguier, Romain, Carayol, Arnaud, Fearnley, John, Gimbert, Hugo, Horn, Florian, Ibsen-Jensen, Rasmus, Markey, Nicolas, Monmege, Benjamin, Novotny, Petr, Randour, Mickael, Sankur, Ocan, Schmitz, Sylvain, Serre, Olivier, Skomra, Mateusz

المساهمون: Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), SUpervision of large MOdular and distributed systems (SUMO), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), University of Oxford, Laboratoire d'Informatique Gaspard-Monge (LIGM), École des Ponts ParisTech (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel, University of Liverpool, Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Modélisation et Vérification (MOVE), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), IBM, Université de Mons / University of Mons (UMONS), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Equipe Polynomial OPtimization (LAAS-POP), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)

المصدر: https://hal.science/hal-04273394Test ; pp.1-491, In press, ⟨10.48550/arXiv.2305.10546⟩.

مصطلحات موضوعية: Computer Science and Game Theory (cs.GT), Formal Languages and Automata Theory (cs.FL), Logic in Computer Science (cs.LO), [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]

العلاقة: info:eu-repo/semantics/altIdentifier/arxiv/2305.10546; hal-04273394; https://hal.science/hal-04273394Test; https://hal.science/hal-04273394/documentTest; https://hal.science/hal-04273394/file/2305.10546.pdfTest; ARXIV: 2305.10546

الإتاحة: https://doi.org/10.48550/arXiv.2305.10546Test
https://hal.science/hal-04273394Test
https://hal.science/hal-04273394/documentTest
https://hal.science/hal-04273394/file/2305.10546.pdfTest

المؤلفون: Chatterjee, Krishnendu, Goharshady, Ehsan Kafshdar, Novotný, Petr, Zárevúcky, Jiří, Žikelić, Đorđe

مصطلحات موضوعية: Computer Science - Programming Languages

الوصول الحر: http://arxiv.org/abs/2108.02188Test