-
1
-
2
المؤلفون: Löffler, Sven
مصطلحات موضوعية: Constraint-Erfüllung, Regularisierung, Optimierung, ddc:004, 004 Datenverarbeitung, Informatik
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::50d2dfbe4fdfd3ab6d989284205dc4fc
https://opus4.kobv.de/opus4-btu/files/6149/Doktorarbeit_Loeffler.pdf -
3
المؤلفون: Hynek Masata, Daniel Baur, Daniel Seybold, Frank Griesinger, Jörg Domaschka
المساهمون: European Union (EU), Horizon 2020
المصدر: 2018 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID)
CCGridمصطلحات موضوعية: Flexibility (engineering), Constraint-Erfüllung, Constraints (Artificial intelligence), Vendor, Computer science, business.industry, Constraint satisfaction problems, Distributed computing, 020207 software engineering, Cloud computing, 02 engineering and technology, Multi-cloud, Resource selection, Constraint (information theory), Resource (project management), ddc:000, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Orchestration (computing), DDC 000 / Computer science, information & general works, Adaptation (computer science), business, Constraint satisfaction problem
وصف الملف: application/pdf
-
4
المؤلفون: Graf, Winfried, Maaß, Wolfgang
مصطلحات موضوعية: Constraint-Erfüllung, Künstliche Intelligenz, Textkohärenz, ddc:004, ddc:620
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2b6657fabd37f0ae31d819596ce9e1ee
-
5
المؤلفون: Kratsch, Stefan
المساهمون: Mehlhorn, Kurt
مصطلحات موضوعية: Kernel, Constraint-Erfüllung, kernelization, Datenkompression, ddc:004, ddc:620, Prädikatenlogik, constraint satisfaction problem, Kernel
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6b66ec006310a9b8371f5cb938ad4c79
-
6
المؤلفون: Siebenhaller, Martin
المساهمون: Kaufmann, Michael (Prof. Dr.)
مصطلحات موضوعية: Graph drawing , Topology-shape-metrics approach , Drawing constraints, Graphenzeichnen , Algorithmus , Constraint-Erfüllung , Kombinatorische Optimierung, Topology-Shape-Metrics Ansatz
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______707::0e56ba91301939508bf48d4c803976ad
https://hdl.handle.net/10900/49366 -
7
المؤلفون: Mukhopadhyay, S.
المساهمون: Podelski, Andreas
مصطلحات موضوعية: Constraint-Erfüllung, infinite state system, Unendlicher Zustandsraum, automatic verification, Verifikation, ddc:004, ddc:620, constraint-based framework, Computerunterstütztes Verfahren
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7c611388d2e77cf0ebc72a95f6065bc9
-
8
المؤلفون: Forster, Michael
مصطلحات موضوعية: Azyklischer gerichteter Graph, Planarer Graph, Constraint-Erfüllung, Cluster, Kreuzungszahl, Kreuzung, Graphenzeichnen, ddc:004, Minimierung
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______240::5fdd0e8bb0922fa593fe7a471475fbb7
-
9
المؤلفون: Priesnitz, Tim
المساهمون: Niehren, Joachim
مصطلحات موضوعية: Constraint-Erfüllung, subtype entailment, Untertyp, constraint language, Typinferenz, Constraint-Programmierung, ddc:004, ddc:620, subtype satisfiability
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d052a94dd6acbaf4d66aff9abd2c44a7
-
10