Search Results - parallel solution resolution function function https

Search alternatives:
resolution function » resolution functional , resolution refutations , resolution simulation
solution resolution » resolution resolution , evolution revolution , solutions solution
parallel solution » parallel evolution , parallel simulation , parallel execution
function function » function functional , functions functional , function dysfunction
function https » functions https , fiction https

Functional Imaging and Modeling of the Heart 4th International Conference, Salt Lake City, UT, USA, June 7-9, 2007 /

Published 2007

Table of Contents: “... Simulation of Cardiac Electrophysiology -- Parallel Solution in Simulation of Cardiac Excitation Anisotropic...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... Rupture of CN and CC Multiple Bonds -- Protein Function Prediction in Proteomics Era -- What We can Learn...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...”
View full text

Electronic eBook

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Published 2013

Table of Contents: “...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”
View full text

Electronic eBook

High Performance Computing in Science and Engineering, Garching/Munich 2009 Transactions of the Fourth Joint HLRB and KONWIHR Review and Results Workshop, Dec. 8-9, 2009, Leibniz S...

Published 2010

Table of Contents: “..., Modelling and Implementation for Highly Parallel Applications -- Computational Steering of Complex Flow...”
View full text

Electronic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
View full text

Electronic eBook

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Published 2008

Table of Contents: “... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”
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: “... Applications -- Sequential and Parallel Resolution of the Two-Group Transient Neutron Diffusion Equation Using...”
View full text

Electronic eBook

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Published 2008

Table of Contents: “... of Sparse LU Factorization and Triangular Solution on Multicore Platforms -- A Parallel Matrix Scaling...”
View full text

Electronic eBook

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

Published 2012

Table of Contents: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
View full text

Electronic eBook

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Published 2005

Table of Contents: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
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: “... Identification in the Wall Region of Turbulent Channel Flow -- Numerical Solution of a Two-Class LWR Traffic Flow...”
View full text

Electronic eBook

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

Published 2012

Table of Contents: “... Corridor Geometry from Low-Resolution Images -- Triangulation-Based Plane Extraction for 3D Point Clouds...”
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: “...-classification with Predictive Clustering Trees in Functional Genomics -- 6 – Extracting Knowledge from Databases...”
View full text

Electronic eBook

Artificial Neural Networks - ICANN 2010 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part III /

Published 2010

Table of Contents: “... Networks -- Local Minima of a Quadratic Binary Functional with a Quasi-Hebbian Connection Matrix -- A...”
View full text

Electronic eBook

Information Science and Applications

Published 2015

Table of Contents: “... for FPGA-based Parallel String Matching Engine; H.Kim -- Revised P2P Data Sharing Scheme over Distributed...”
View full text

Electronic eBook

The Semantic Web -- ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I /

Published 2012

Table of Contents: “... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...”
View full text

Electronic eBook

The Semantic Web -- ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II /

Published 2012

Table of Contents: “... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...”
View full text

Electronic eBook

Narrow Search