Search Results - detection computational programming theory arrays a

1

Gravitational Wave Detection and Data Analysis for Pulsar Timing Arrays

by van Haasteren, Rutger., van Haasteren, Rutger.
Published 2014

Table of Contents: “...Foreword -- Introduction -- Bayesian data analysis of Pulsar Timing Arrays -- Gravitational-wave...”
View full text

Electronic eBook

2

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

Published 2007

Table of Contents: “... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”
View full text

Electronic eBook

3

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Published 2010

Table of Contents: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
View full text

Electronic eBook

4

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Published 2005

Table of Contents: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
View full text

Electronic eBook

5

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

Published 2005

Table of Contents: “... -- Local Pattern Detection and Clustering -- Local Patterns: Theory and Practice of Constraint-Based...”
View full text

Electronic eBook

6

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Published 2005

Table of Contents: “... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...”
View full text

Electronic eBook

7

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

Published 2010

Table of Contents: “...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”
View full text

Electronic eBook

8

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

Published 2005

Table of Contents: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
View full text

Electronic eBook

9

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

Published 2007

Table of Contents: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
View full text

Electronic eBook

10

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

Published 2007

Table of Contents: “... for Scientific Computations -- OpenMP 3.0 – A Preview of the Upcoming Standard -- Manycores in the Future...”
View full text

Electronic eBook

11

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

Published 2014

Table of Contents: “... -- ELM based ensemble classifier for Gas Sensor Array Drift Dataset -- Hippocampus Atrophy Detection...”
View full text

Electronic eBook

12

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

Published 2008

Table of Contents: “... Framework for Real-Time Computing -- A Load Aware Channel Assignment and Link Scheduling Algorithm for Multi...”
View full text

Electronic eBook

13

Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013, Proceedings /

Published 2013

Table of Contents: “...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”
View full text

Electronic eBook

14

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III /

Published 2010

Table of Contents: “... of Redundancy Elimination Protocols for Wireless Sensor Networks -- A Light-Weighted Misused Key Detection...”
View full text

Electronic eBook

15

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Published 2005

Table of Contents: “... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...”
View full text

Electronic eBook

16

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Reconfigurable Architectures -- MORA: A New Coarse-Grain Reconfigurable Array for High Throughput Multimedia...”
View full text

Electronic eBook

17

Computer Vision -- ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV /

Published 2010

Table of Contents: “... for Object Detection -- Accurate Image Localization Based on Google Maps Street View -- A Minimal Case...”
View full text

Electronic eBook

18

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...

Published 2014

Table of Contents: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
View full text

Electronic eBook

19

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007...

Published 2007

Table of Contents: “...-Dependence Analysis and Program Transformation for Symbolic Execution -- JPF–SE: A Symbolic Execution...”
View full text

Electronic eBook

20

Emerging Technologies for Information Systems, Computing, and Management

Published 2013

Table of Contents: “...The Design for High Dynamic GPS Receiver in a Combinated Method of FLL and PLL -- The Modeling...”
View full text

Electronic eBook

Narrow Search