Søgeresultater - parallel function process definitions function https

Søg alternativer:
definitions function » definitions section , definitions foundations , definitions notation
process definitions » process definition , concepts definitions
parallel function » parallel functional , parallel auction , parallel union
function process » functions process , function proteins , function protein
function https » functions https , fiction https

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- On the Definition of Service Abstractions for Parallel Computing -- The Second Workshop on Performance Evaluation...”
Få fuldtekst

Electronisk eBog

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM´06 Conference held in Ustron, Poland, June 19-22, 2006 /

Udgivet 2006

Indholdsfortegnelse: “... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...”
Få fuldtekst

Electronisk eBog

Topological Methods in Data Analysis and Visualization III Theory, Algorithms, and Applications /

Udgivet 2014

Indholdsfortegnelse: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2012

Indholdsfortegnelse: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
Få fuldtekst

Electronisk eBog

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Udgivet 2006

Indholdsfortegnelse: “... -- Reinventing Machine Learning with ROC Analysis -- Cocktail Party Processing -- AI in Education and Intelligent...”
Få fuldtekst

Electronisk eBog

Recent Advances in System Reliability Signatures, Multi-state Systems and Statistical Inference /

Udgivet 2012

Indholdsfortegnelse: “... for Supermarket Refrigeration System by Using Combined Stochastic Process and Universal Generating Function Method...”
Få fuldtekst

Electronisk eBog

Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26,...

Udgivet 2013

Indholdsfortegnelse: “... -- The Conceptual Model of Experience Engineering (XE) -- User Centered Inclusive Design Process: A ’Situationally...”
Få fuldtekst

Electronisk eBog

Treatises on Solvency II

af Dreher, Meinrad., Dreher, Meinrad.
Udgivet 2015

Indholdsfortegnelse: “.... Definition and Holders of Key Functions -- 8. Supervisory Review of Key Functions -- 9. ‘Senior Management...”
Få fuldtekst

Electronisk eBog

Chemogenomics and Chemical Genetics A User's Introduction for Biologists, Chemists and Informaticians /

Udgivet 2011

Indholdsfortegnelse: “...The pharmacological screening process:the small molecule, the biological target, the robot...”
Få fuldtekst

Electronisk eBog

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...-Driven SOA -- Towards Using Reo for Compliance-Aware Business Process Modeling -- On the Risk Management...”
Få fuldtekst

Electronisk eBog

Computational Intelligence and Informatics Principles and Practice /

Udgivet 2010

Indholdsfortegnelse: “...Graphs of Grammars – Derivations as Parallel Processes -- MTTool Software Tool and Low Complexity...”
Få fuldtekst

Electronisk eBog

Distributed Algorithms for Message-Passing Systems

af Raynal, Michel., Raynal, Michel.
Udgivet 2013

Indholdsfortegnelse: “...Part I Distributed Graph Algorithms -- Chap. 1 Base Definitions and Network Traversal Algorithms...”
Få fuldtekst

Electronisk eBog

Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...”
Få fuldtekst

Electronisk eBog

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... -- Controlling Process Modularity in Mobile Computing -- Failures: Their Definition, Modelling and Analysis -- C...”
Få fuldtekst

Electronisk eBog

Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineering /

Udgivet 2015

Indholdsfortegnelse: “... for Solar Hydrogen Generation Process -- Voltage regulation in Resonant Coupled Systems for Near Field Power...”
Få fuldtekst

Electronisk eBog

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”
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: “... and Stochastic Methods for Modeling Highly Heterogeneous Media Robust Solvers for Symmetric Positive Definite...”
Få fuldtekst

Electronisk eBog

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014,...

Udgivet 2014

Indholdsfortegnelse: “... Systems -- Staged Composition Synthesis -- Overlapping and Order-Independent Patterns: Definitional...”
Få fuldtekst

Electronisk eBog

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Udgivet 2006

Indholdsfortegnelse: “... -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models...”
Få fuldtekst

Electronisk eBog

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning