المؤلفون: Edelkamp, Stefan, Gath, Max, Cazenave, Tristan, Teytaud, Fabien

المساهمون: University of Bremen, Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision (LAMSADE), Université Paris Dauphine-PSL, Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique Signal et Image de la Côte d'Opale (LISIC), Université du Littoral Côte d'Opale (ULCO)

المصدر: IEEE Symposium on Computational Intelligence in Scheduling (CISched) ; https://inria.hal.science/hal-01406484Test ; IEEE Symposium on Computational Intelligence in Scheduling (CISched), Apr 2013, Singapour, Singapore. pp.44 - 51, ⟨10.1109/SCIS.2013.6613251⟩

مصطلحات موضوعية: [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]

جغرافية الموضوع: Singapour, Singapore

العلاقة: hal-01406484; https://inria.hal.science/hal-01406484Test; https://inria.hal.science/hal-01406484/documentTest; https://inria.hal.science/hal-01406484/file/tsptw.pdfTest

الإتاحة: https://doi.org/10.1109/SCIS.2013.6613251Test
https://inria.hal.science/hal-01406484Test
https://inria.hal.science/hal-01406484/documentTest
https://inria.hal.science/hal-01406484/file/tsptw.pdfTest

المؤلفون: Schwarze, Björn¹ (AUTHOR) schwabjo@fel.cvut.cz, Edelkamp, Stefan^1,2 (AUTHOR)

المصدر: Journal of Intelligent Manufacturing. Apr2024, p1-30.

المؤلفون: Edelkamp, Stefan, Stommel, Martin

المصدر: Machine Learning and Knowledge Discovery in Databases ; Lecture Notes in Computer Science ; page 175-190 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642334597 9783642334603

الإتاحة: https://doi.org/10.1007/978-3-642-33460-3_17Test

المؤلفون: Brim, Lubos, Edelkamp, Stefan, Hansen, Eric A., Sanders, Peter

المساهمون: Lubos Brim and Stefan Edelkamp and Eric A. Hansen and Peter Sanders

مصطلحات موضوعية: Model Checking, Artificial Intelligence, AI Planning, State Explosion Problem, Error Detection, Protocol Analysis, Software Verification and Validation, Heuristics, Pattern/Abstraction Databases, I/O Efficient Search, Solid State Disks, GPU

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

العلاقة: Is Part Of Dagstuhl Seminar Proceedings, Volume 9491, Graph Search Engineering (2010); urn:nbn:de:0030-drops-24315; https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09491.1Test

الإتاحة: https://doi.org/10.4230/DagSemProc.09491.1Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-24315Test

المؤلفون: Sauer, Jürgen, Edelkamp, Stefan, Schattenberg, Bernd

المصدر: Multikonferenz Wirtschaftsinformatik 2010 ; page 443-444 ; ISBN 9783941875319

الإتاحة: https://doi.org/10.17875/gup2010-1472Test

المؤلفون: Edelkamp, Stefan, Kissmann, Peter, Sulewski, Damian, Messerschmidt, Hartmut

المصدر: Multikonferenz Wirtschaftsinformatik 2010 ; page 453-454 ; ISBN 9783941875319

الإتاحة: https://doi.org/10.17875/gup2010-1477Test

المؤلفون: Edelkamp, Stefan, Schuppan, Viktor, Bo nački, Dragan, Wijs, Anton, Fehnker, Ansgar, Aljazzar, Husain

مصطلحات موضوعية: ddc:004

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

العلاقة: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-105044Test; http://dx.doi.org/10.1007/978-3-642-00431-5_5Test; 317956620

الإتاحة: https://doi.org/10.1007/978-3-642-00431-5_5Test
http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-105044Test

المؤلفون: Pantke, Florian, Edelkamp, Stefan, Herzog, Otthein

المصدر: Procedia Technology ; volume 15, page 62-72 ; ISSN 2212-0173

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

الإتاحة: https://doi.org/10.1016/j.protcy.2014.09.035Test
https://api.elsevier.com/content/article/PII:S2212017314001509?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S2212017314001509?httpAccept=text/plainTest

المؤلفون: Edelkamp, Stefan, Schuppan, Viktor, Bosnacki, Dragan, Wijs, Anton, Fehnker, Ansgar, Aljazzar, Husain

المساهمون: Dortmund University of Technology, Fondazione Bruno Kessler Trento, Italy (FBK), System validation - Research and applications (VASY), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), National ICT Australia Sydney (NICTA), University of Konstanz

المصدر: MoChArt 2008 - 5th International Workshop ; https://inria.hal.science/inria-00406552Test ; MoChArt 2008 - 5th International Workshop, Jul 2008, Patras, Greece. pp.65-89, ⟨10.1007/978-3-642-00431-5_5⟩

مصطلحات موضوعية: [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

جغرافية الموضوع: Patras, Greece

العلاقة: inria-00406552; https://inria.hal.science/inria-00406552Test; https://inria.hal.science/inria-00406552/documentTest; https://inria.hal.science/inria-00406552/fileTest/Edelkamp-Schuppan-Bosnacki-et-al-09.pdf

الإتاحة: https://doi.org/10.1007/978-3-642-00431-5_5Test
https://inria.hal.science/inria-00406552Test
https://inria.hal.science/inria-00406552/documentTest
https://inria.hal.science/inria-00406552/fileTest/Edelkamp-Schuppan-Bosnacki-et-al-09.pdf

المؤلفون: Edelkamp, Stefan, Sanders, Peter, Šimeček, Pavel

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 530-542 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540705437 9783540705451

الإتاحة: https://doi.org/10.1007/978-3-540-70545-1_50Test