Výsledky vyhledávání - detection computers programming mathematics arrays a~

1

Gravitational Wave Detection and Data Analysis for Pulsar Timing Arrays

Autor van Haasteren, Rutger., van Haasteren, Rutger.
Vydáno 2014

Obsah: “...Foreword -- Introduction -- Bayesian data analysis of Pulsar Timing Arrays -- Gravitational-wave...”
Získat plný text

Elektronický zdroj E-kniha

2

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Vydáno 2005

Obsah: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Získat plný text

Elektronický zdroj E-kniha

3

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Vydáno 2015

Obsah: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Získat plný text

Elektronický zdroj E-kniha

4

Local Pattern Detection International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers /

Vydáno 2005

Obsah: “...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...”
Získat plný text

Elektronický zdroj E-kniha

5

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Vydáno 2010

Obsah: “... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...”
Získat plný text

Elektronický zdroj E-kniha

6

Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3, 2013 /

Vydáno 2014

Obsah: “... Matching -- A Novel Non-Repudiate Scheme with Voice Feature Marking.-A Study of Spam Detection algorithm...”
Získat plný text

Elektronický zdroj E-kniha

7

Applications of Soft Computing Recent Trends /

Vydáno 2006

Obsah: “...Computer Graphics, Imaging and Vision -- Efficient Genetic Algorithms for Arabic Handwritten...”
Získat plný text

Elektronický zdroj E-kniha

8

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Vydáno 2005

Obsah: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Získat plný text

Elektronický zdroj E-kniha

9

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005, Proceedings /

Vydáno 2005

Obsah: “... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”
Získat plný text

Elektronický zdroj E-kniha

10

Python Scripting for Computational Science

Autor Langtangen, Hans Petter., Langtangen, Hans Petter.
Vydáno 2006

Obsah: “... Python -- Fortran Programming with Numerical Python Arrays -- C and C++ Programming with Numerical Python...”
Získat plný text

Elektronický zdroj E-kniha

11

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

Vydáno 2007

Obsah: “... -- The Changing Impact of Semiconductor Technology on Processor Architecture -- Cluster Computing -- A Windows...”
Získat plný text

Elektronický zdroj E-kniha

12

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Vydáno 2005

Obsah: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Získat plný text

Elektronický zdroj E-kniha

13

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

Vydáno 2007

Obsah: “... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”
Získat plný text

Elektronický zdroj E-kniha

14

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Vydáno 2007

Obsah: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Získat plný text

Elektronický zdroj E-kniha

15

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

Vydáno 2008

Obsah: “... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...”
Získat plný text

Elektronický zdroj E-kniha

16

High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings /

Vydáno 2005

Obsah: “...-Grained Parallel Algorithm for Irregular Dynamic Programming Applications -- A Feedback-Based Adaptive...”
Získat plný text

Elektronický zdroj E-kniha

17

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Vydáno 2014

Obsah: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
Získat plný text

Elektronický zdroj E-kniha

18

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...

Vydáno 2005

Obsah: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Získat plný text

Elektronický zdroj E-kniha

19

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

Vydáno 2008

Obsah: “... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...”
Získat plný text

Elektronický zdroj E-kniha

20

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings /

Vydáno 2007

Obsah: “... Problem on a Line – Improved Bounds for Pairwise Distance Queries -- Efficient Computational Design...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání