Søgeresultater - parallel stability program functionality function https

Søg alternativer:
functionality function » functionals function , functionaries function , functional functions
program functionality » protein functionality , programs functional , supra functionality
parallel stability » parallel scalability , parallel metabolite , cartel stability
stability program » stability problem , stability problems , sustainability program
function https » functions https , fiction https

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

Udgivet 2006

Indholdsfortegnelse: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... -- Numerical Study of Stability Domains of Hamiltonian Equation Solutions -- Numeric-Symbolic Computations...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2012

Indholdsfortegnelse: “... Differential Equations.-On the Asymptotic Stabilization of an Uncertain Bioprocess Model.-Reachable Sets...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... -- Relax-and-Cut for Capacitated Network Design -- On the Price of Anarchy and Stability of Correlated...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Service Using China Multimedia Mobile Broadcasting -- Double Reduction Factors Approach to the Stability...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... and the Role of Medical Informatics in Stomatology -- Stability Analysis of an SVLI Epidemic Model -- A New...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...”
Få fuldtekst

Electronisk eBog

Advanced Takagi‒Sugeno Fuzzy Systems Delay and Saturation /

af Benzaouia, Abdellah., Benzaouia, Abdellah., El Hajjaji, Ahmed.
Udgivet 2014

Indholdsfortegnelse: “...Introduction to Takagi‒Sugeno Fuzzy Systems -- Stabilization of Takagi‒Sugeno Fuzzy Systems...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”
Få fuldtekst

Electronisk eBog

Mathematical Methods in Engineering

Udgivet 2014

Indholdsfortegnelse: “... Systems -- 2 New Parallel Matrix Multiplication Algorithms for Wormhole-Routed All-Port 2D/3D Torus...”
Få fuldtekst

Electronisk eBog

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

Udgivet 2005

Indholdsfortegnelse: “... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2012

Indholdsfortegnelse: “... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Algorithm on Distributed Memory Computers -- Stability Problems in ODE Estimation -- A Fast, Parallel...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2012

Indholdsfortegnelse: “... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning