Søgeresultater - parallel problem resolution function function https

Søg alternativer:
resolution function » resolution functional , resolution refutations , resolution simulation
problem resolution » problem solution , problem solutions , problems solution
function function » function functional , functions functional , function dysfunction
parallel problem » parallel program , parallel programs , parallel robots
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 /

Udgivet 2007

Indholdsfortegnelse: “... Simulation of Cardiac Electrophysiology -- Parallel Solution in Simulation of Cardiac Excitation Anisotropic...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”
Få fuldtekst

Electronisk eBog

Parallel Imaging in Clinical MR Applications

Udgivet 2007

Indholdsfortegnelse: “...-Resolution Whole-Body MRA -- Clinical Applications: Function -- Imaging of CNS Diffusion and Perfusion...”
Få fuldtekst

Electronisk eBog

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane...”
Få fuldtekst

Electronisk eBog

Discovery Science 18th International Conference, DS 2015, Banff, AB, Canada, October 4-6, 2015. Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... learning by domain Experts -- Resolution transfer in cancer classification based on amplification patterns...”
Få fuldtekst

Electronisk eBog

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and Skew...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...”
Få fuldtekst

Electronisk eBog

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...”
Få fuldtekst

Electronisk eBog

Advances in Computer Games 12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers /

Udgivet 2010

Indholdsfortegnelse: “... Monte-Carlo Tree Search Algorithm -- Monte-Carlo Tree Search in Settlers of Catan -- Evaluation Function...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”
Få fuldtekst

Electronisk eBog

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,...

Udgivet 2015

Indholdsfortegnelse: “... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”
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: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
Få fuldtekst

Electronisk eBog

Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “...-Resolution Genome-Wide Microarray Data Using the GenRate Model -- Efficient Calculation of Interval Scores...”
Få fuldtekst

Electronisk eBog

Computational Modeling of Objects Represented in Images Second International Symposium, CompIMAGE 2010, Buffalo, NY, USA, May 5-7, 2010. Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... for High-Resolution Functional Magnetic Resonance Imaging -- Characterization of a SimMechanics Model for a...”
Få fuldtekst

Electronisk eBog

String Processing and Information Retrieval 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “...-Time Suffix Tree Construction -- Rank-Sensitive Data Structures -- Cache-Conscious Collision Resolution...”
Få fuldtekst

Electronisk eBog

Bio-inspired Modeling of Cognitive Tasks Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spai...

Udgivet 2007

Indholdsfortegnelse: “... Algorithms -- An Integrated Resolution of Joint Production and Maintenance Scheduling Problem in Hybrid...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Networks -- Local Minima of a Quadratic Binary Functional with a Quasi-Hebbian Connection Matrix -- A...”
Få fuldtekst

Electronisk eBog

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...”
Få fuldtekst

Electronisk eBog

Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006, Proceedings...

Udgivet 2006

Indholdsfortegnelse: “... Translational Equivalence from a Japanese-Chinese Parallel Corpus -- Deep Processing of Korean Floating...”
Få fuldtekst

Electronisk eBog

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning