Yazar
Fontaine, Pascal. editor.
Format:
Electronic Resources
Alıntı:
for Large Knowledge Bases -- Optimization Modulo the Theory of Floating-Point Numbers -- FAME(Q): An
Yazar
Huisman, Marieke. editor.
Format:
Electronic Resources
Alıntı:
Linear Optimization Techniques -- GTS Families for the Flexible Composition of Graph Transformation
Yazar
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
Format:
Electronic Resources
Alıntı:
verification, specialization, testing and certification, composition, program/model manipulation, optimization
Yazar
Bouajjani, Ahmed. editor.
Format:
Electronic Resources
Alıntı:
certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems. .
Yazar
Mäkinen, Veli. editor.
Format:
Electronic Resources
Alıntı:
-- Combinatorial algorithms -- SOBRA - Shielding Optimization for BRAchytherapy -- A bit-scaling algorithm for
Yazar
Jan, Kratochvíl. editor.
Format:
Electronic Resources
Alıntı:
Optimization, Complexity Theory (Structural and Computational), Computational Biology, Databases (Security
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in
Yazar
Balduccini, Marcello. editor.
Format:
Electronic Resources
Alıntı:
-- Adjudication of Coreference Annotations via Answer Set Optimization. .
Yazar
Weil, Pascal. editor.
Format:
Electronic Resources
Alıntı:
not limited to: algorithms and data structures; combinatorial optimization; constraint solving
Yazar
Gopal, T.V. editor.
Format:
Electronic Resources
Alıntı:
Optimization -- On the Enumeration of Bicriteria Temporal Paths -- An output-sensitive algorithm for the
Yazar
Medina, Jesús. editor.
Format:
Electronic Resources
Alıntı:
; logical methods in mining knowledge from big data; metaheuristics and machine learning; optimization
Yazar
Medina, Jesús. editor.
Format:
Electronic Resources
Alıntı:
; logical methods in mining knowledge from big data; metaheuristics and machine learning; optimization
Arama Sonuçlarını Sınırlandır
Daraltılmış: