1
יצא לאור 2007
תוכן הענינים: ... Framework to Validate 3D Models of Cardiac Electrophysiology Via Optical Imaging and MRI -- A Framework...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
מאת Briot, Sébastien., Briot, Sébastien., Khalil, Wisama.
יצא לאור 2015
תוכן הענינים: ...Part I Prerequisites -- 1 Generalities on parallel robots -- 1.1 Introduction -- 1.2 General...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2008
תוכן הענינים: ...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2014
תוכן הענינים: ... Scanning Point Clouds -- A Novel Approach to the Common Due-Date Problem on Single and Parallel Machines...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים: ... Tree Problem -- Loss-Based Estimation with Evolutionary Algorithms and Cross-Validation -- Real-World...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2010
תוכן הענינים: ...Invited Talk -- The First 30 Years of Cryptographic Hash Functions and the NIST SHA-3 Competition...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2015
תוכן הענינים: ... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים: ... -- Validated Special Functions Software -- The Dynamic Dictionary of Mathematical Functions (DDMF) -- Reliable...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2014
תוכן הענינים: ... -- On Parallel Lines in Noisy Forms -- Metrics and Dissimilarities -- Metric Learning in Dissimilarity Space...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2010
תוכן הענינים: ... Networks -- Local Minima of a Quadratic Binary Functional with a Quasi-Hebbian Connection Matrix -- A...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2010
תוכן הענינים: ... Systems -- Stabilization Criterion Based on New Lyapunov Functional Candidate for Networked Control...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2010
תוכן הענינים: ... Rank Approximation of Higher-Order Tensors -- A Robotic Validation of the Attractive Field Model...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2006
תוכן הענינים: ... -- Algebraic Attacks on Clock-Controlled Cascade Ciphers -- An Algorithm for Solving the LPN Problem and Its...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2014
תוכן הענינים: ... of Decision Strategies -- Memristive Radial Basis Function Neural Network for Parameters Adjustment of PID...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2005
תוכן הענינים: ... Flow with the Aid of a Lattice Boltzmann Simulation -- DiSiVGT: Validation of a novel turbulence model...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2015
תוכן הענינים: ... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2006
תוכן הענינים: ... Boundary Integral Formulation of the External Helmholtz Problem Valid for All Wavenumbers -- Cross...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2015
תוכן הענינים: ... function, by Jaime Vega-Perez, Saul Vega-Pérez and Luis Castañeda-Aviña -- A robust control scheme against...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2014
תוכן הענינים: ... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2007
תוכן הענינים: ... Systems -- From Parallel Data Mining to Grid-Enabled Distributed Knowledge Discovery -- A New Algorithm...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני