Search Results - parallel shape program functionality using https

Search alternatives:
program functionality » protein functionality , programs functional , supra functionality
functionality using » functionality business , functionality design , functioning using
parallel shape » parallel state , parallel sparse , parallel sat
shape program » space program , safe program , sage program
using https » using http , nursing https , aging https

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Published 2007

Table of Contents: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
View full text

Electronic eBook

New Horizons of Parallel and Distributed Computing

Published 2005

Table of Contents: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
View full text

Electronic eBook

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Published 2013

Table of Contents: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
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: “... Transformation -- Framework for Embedded System Verification -- Forester: Shape Analysis Using Tree Automata...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
View full text

Electronic eBook

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”
View full text

Electronic eBook

Differential Evolution A Practical Approach to Global Optimization /

by Price, Kenneth., Price, Kenneth., Storn, Rainer M., Lampinen, Jouni A.
Published 2005

Table of Contents: “... Versatile Program for the Design of Digital Filters Using Differential Evolution -- Optimization of Radial...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Published 2007

Table of Contents: “... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

Published 2007

Table of Contents: “... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...”
View full text

Electronic eBook

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Published 2014

Table of Contents: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
View full text

Electronic eBook

Global Sourcing of Information Technology and Business Processes 4th International Workshop, Global Sourcing 2010, Zermatt, Switzerland, March 22-25, 2010, Revised Selected Papers...

Published 2010

Table of Contents: “...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...”
View full text

Electronic eBook

Advances in Robot Kinematics

Published 2014

Table of Contents: “... Linkages with Circular Translation -- Function Synthesis of the Planar 5R Mechanism Using Least Squares...”
View full text

Electronic eBook

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Published 2005

Table of Contents: “... Video Retrieval for Multimedia Information Systems -- Using an Exact Radial Basis Function Artificial...”
View full text

Electronic eBook

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Published 2013

Table of Contents: “...Customized Opinion Mining using Intelligent Algorithms -- Information Security Measurement Roles...”
View full text

Electronic eBook

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Published 2007

Table of Contents: “... Processor Architecture Using Asynchronous Function Units -- A Bypass Mechanism to Enhance Branch Predictor...”
View full text

Electronic eBook

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

Published 2012

Table of Contents: “... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...”
View full text

Electronic eBook

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings /

Published 2006

Table of Contents: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “..., 2004: Indian Ocean Tsunami -- Approximate Dynamic Programming for Generation of Robustly Stable...”
View full text

Electronic eBook

Computational Methods

Published 2006

Table of Contents: “... FUNCTIONS -- MOVING LEAST SQUARE SPH USING FIXED KERNEL FOR LARGE DEFORMATION ELASTO-PLASTIC ANALYSIS -- A...”
View full text

Electronic eBook

Narrow Search