Search Results - parallel explicit solution function function https

Search alternatives:
parallel explicit » parallel exploring , parallel exact
solution function » solution functions , solutions function , resolution function
function function » function functional , functions functional , function dysfunction
function https » functions https , fiction https

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2015

Table of Contents: “... at Runtime with QEA -- Parallel Explicit Model Checking for Generalized Bchi Automata -- Limit Deterministic...”
View full text

Electronic eBook

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Published 2007

Table of Contents: “... System -- Analyzing Overheads and Scalability Characteristics of OpenMP Applications -- Parallel Fuzzy c...”
View full text

Electronic eBook

Artificial Neural Networks and Machine Learning -- ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings...

Published 2012

Table of Contents: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
View full text

Electronic eBook

PID Controller Tuning Using the Magnitude Optimum Criterion

by G. Papadopoulos, Konstantinos., G. Papadopoulos, Konstantinos.
Published 2015

Table of Contents: “... Explicit Tuning of the PID Controller -- Type I Control Loops -- Type II Control Loops -- Type III Control...”
View full text

Electronic eBook

Evolutionary Multi-Criterion Optimization Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings /

Published 2005

Table of Contents: “... Explicit Pareto Ranking -- Parallelization of Multi-objective Evolutionary Algorithms Using Clustering...”
View full text

Electronic eBook

Signal Processing and Information Technology Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papers /

Published 2014

Table of Contents: “... on the Radix 4 CORDIC Algorithm -- The Solution of 2D Helmholtz Equations by Modified Explicit Group Iterative...”
View full text

Electronic eBook

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Published 2007

Table of Contents: “... Extra-Functional Prediction of Component-Based Control Systems – Industrial Experience -- Explicit...”
View full text

Electronic eBook

Narrow Search