Resultados da pesquisa - parallel orbit program functionals function https

Pesquisas alternativas:
functionals function » function function , functions functional , function dysfunction
program functionals » programs functional , program functionality , problem functionals
parallel orbit » parallel bit , parallel arabic , parallel bio
function https » functions https , fiction https
orbit program » forest program , grant program , art program

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Publicado em 2013

Sumário: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Obter o texto integral

Recurso Electrónico livro electrónico

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Publicado em 2010

Sumário: “... Implementation of the Orbital Function for Quantum Chemistry Calculations -- Reconfigurable Polyphase Filter Bank...”
Obter o texto integral

Recurso Electrónico livro electrónico

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Publicado em 2010

Sumário: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Obter o texto integral

Recurso Electrónico livro electrónico

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 /

Publicado em 2014

Sumário: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2007

Sumário: “...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”
Obter o texto integral

Recurso Electrónico livro electrónico

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers /

Publicado em 2010

Sumário: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
Obter o texto integral

Recurso Electrónico livro electrónico

Frontiers of Computational Science Proceedings of the International Symposium on Frontiers of Computational Science 2005 /

Publicado em 2007

Sumário: “... -- Density Functional Molecular Orbital Calculations on Longer DNA–DNA and PNA–DNA Double Strands -- A...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2006

Sumário: “... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2014

Sumário: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa