1
Argitaratua 2010
Aurkibidea: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2015
Aurkibidea: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2010
Aurkibidea: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2008
Aurkibidea: ..., 2004: Indian Ocean Tsunami -- Approximate Dynamic Programming for Generation of Robustly Stable...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2005
Aurkibidea: ... Processes for Real Functions and Ill-posed Toeplitz Problems -- Minimal State-space Realization for a Class...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2007
Aurkibidea: ... -- Implication-Based Approximating Bounded Model Checking -- Logical Bisimulations and Functional Languages...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2005
Aurkibidea: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2010
Aurkibidea: ... Functions Conflicts Calculation -- Credal Sets Approximation by Lower Probabilities: Application to Credal...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2010
Aurkibidea: ... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2015
Aurkibidea: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2015
Aurkibidea: ... for Convergence Analysis -- The Power of Trefftz Approximations: Finite Difference, Boundary Difference...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2014
Aurkibidea: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2008
Aurkibidea: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2008
Aurkibidea: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2007
Aurkibidea: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2014
Aurkibidea: ... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2023
Aurkibidea: ... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...
Open Access Book. Read online
Baliabide elektronikoa eBook
18
Argitaratua 2007
Aurkibidea: ... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2005
Aurkibidea: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2012
Aurkibidea: ... to Approximate Physarum Transport Networks -- Applications Predicting Shellfish Farm Closures with Class...
Testu osoa
Baliabide elektronikoa eBook