Suchergebnisse - parallel stabilization programs functionals function https

Andere Suchmöglichkeiten:
parallel stabilization » parallel realization , partial stabilization , parallel materialization
stabilization programs » rehabilitation programs , stabilization ponds
programs functionals » programs functional , programming functionals , program functionality
functionals function » function function , functions functional , function dysfunction
function https » functions https , fiction https

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Veröffentlicht 2006

Inhaltsangabe: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Volltext

Elektronisch E-Book

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Volltext

Elektronisch E-Book

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Veröffentlicht 2015

Inhaltsangabe: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Volltext

Elektronisch E-Book

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... -- Numerical Study of Stability Domains of Hamiltonian Equation Solutions -- Numeric-Symbolic Computations...”
Volltext

Elektronisch E-Book

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Veröffentlicht 2012

Inhaltsangabe: “... Differential Equations.-On the Asymptotic Stabilization of an Uncertain Bioprocess Model.-Reachable Sets...”
Volltext

Elektronisch E-Book

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”
Volltext

Elektronisch E-Book

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... -- Relax-and-Cut for Capacitated Network Design -- On the Price of Anarchy and Stability of Correlated...”
Volltext

Elektronisch E-Book

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Veröffentlicht 2010

Inhaltsangabe: “... Service Using China Multimedia Mobile Broadcasting -- Double Reduction Factors Approach to the Stability...”
Volltext

Elektronisch E-Book

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Veröffentlicht 2010

Inhaltsangabe: “... and the Role of Medical Informatics in Stomatology -- Stability Analysis of an SVLI Epidemic Model -- A New...”
Volltext

Elektronisch E-Book

Classification and Data Science in the Digital Age

Veröffentlicht 2023

Inhaltsangabe: “... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...”
Open Access Book. Read online

Elektronisch E-Book

Advanced Takagi‒Sugeno Fuzzy Systems Delay and Saturation /

von Benzaouia, Abdellah., Benzaouia, Abdellah., El Hajjaji, Ahmed.
Veröffentlicht 2014

Inhaltsangabe: “...Introduction to Takagi‒Sugeno Fuzzy Systems -- Stabilization of Takagi‒Sugeno Fuzzy Systems...”
Volltext

Elektronisch E-Book

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...”
Volltext

Elektronisch E-Book

Pattern Recognition in Bioinformatics Third IAPR International Conference, PRIB 2008, Melbourne, Australia, October 15-17, 2008. Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”
Volltext

Elektronisch E-Book

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computati...

Veröffentlicht 2005

Inhaltsangabe: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
Volltext

Elektronisch E-Book

Modelling, Computation and Optimization in Information Systems and Management Sciences Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008, Pr...

Veröffentlicht 2008

Inhaltsangabe: “... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”
Volltext

Elektronisch E-Book

Mathematical Methods in Engineering

Veröffentlicht 2014

Inhaltsangabe: “... Systems -- 2 New Parallel Matrix Multiplication Algorithms for Wormhole-Routed All-Port 2D/3D Torus...”
Volltext

Elektronisch E-Book

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part I /

Veröffentlicht 2012

Inhaltsangabe: “... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...”
Volltext

Elektronisch E-Book

Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...”
Volltext

Elektronisch E-Book

AI 2012: Advances in Artificial Intelligence 25th International Australasian Joint Conference, Sydney, Australia, December 4-7, 2012, Proceedings /

Veröffentlicht 2012

Inhaltsangabe: “... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...”
Volltext

Elektronisch E-Book

Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International Conference on High Performance Scientific Computing, March 6-10, 2006, Hanoi, Viet...

Veröffentlicht 2008

Inhaltsangabe: “... Algorithm on Distributed Memory Computers -- Stability Problems in ODE Estimation -- A Fast, Parallel...”
Volltext

Elektronisch E-Book

Suche einschränken