Yazar
Beebe, Nelson H.F. author.
Format:
Electronic Resources
Alıntı:
-- Improving Upon the Cody/Waite Algorithms -- Floating-Point Output -- Floating-Point Input -- Appendix A: Ada
Yazar
Demri, Stéphane. editor.
Format:
Electronic Resources
Alıntı:
- Ontologies -- Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation
Yazar
Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Schiex, Thomas. editor. (orcid)0000-0001-6049-3415
Format:
Electronic Resources
Alıntı:
Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search -- A
Yazar
Hooker, John. editor. (orcid)0000-0003-3169-1871
Format:
Electronic Resources
Alıntı:
Domain-Independent Temporal Planning -- Decremental Consistency Checking of Temporal Constraints: Algorithms for the
Yazar
Gallopoulos, Efstratios. author.
Format:
Electronic Resources
Alıntı:
reductions -- Hybrid algorithms when m>>n -- Orthogonal factorization of block angular matrices -- Rank
Yazar
Stoyanov, Danail. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
Format:
Electronic Resources
Alıntı:
Simulations of Flow and Transport: Modeling, Algorithms and Computation Part V: Track of Smart Systems
Yazar
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
Format:
Electronic Resources
Alıntı:
Element-by-Element Kernel Algorithms in Unstructured Implicit Low-Order Finite-Element Earthquake Simulation for
Yazar
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
Format:
Electronic Resources
Alıntı:
, Algorithms and Computation -- deal.II Implementation of a Weak Galerkin Finite Element Solver for Darcy Flow
Yazar
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
Format:
Electronic Resources
Alıntı:
algorithm for automatic classification of medical data -- The Chain Alignment Problem -- Comparing Deep and
Yazar
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
Format:
Electronic Resources
Alıntı:
Full-Vectorized GPU Implementation of Evolutionary Algorithms in an Online Crowd Model Simulation Framework
Arama Sonuçlarını Sınırlandır
Daraltılmış: