Search Results - programs functional https function phase https

1

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings /

Published 2005

Table of Contents: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
View full text

Electronic eBook

2

Smart Hydrogel Functional Materials

by Chu, Liang-Yin., Chu, Liang-Yin., Xie, Rui., Ju, Xiao-Jie., Wang, Wei.
Published 2013

Table of Contents: “...Part I Thermo-Responsive Hydrogel Functional Materials -- Structure-Function Relationship of Thermo...”
View full text

Electronic eBook

3

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings /

Published 2008

Table of Contents: “...-10 -- Research Papers -- A Model to Study Phase Transition and Plateaus in Relational Learning -- Top...”
View full text

Electronic eBook

4

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”
View full text

Electronic eBook

5

Optimization with PDE Constraints ESF Networking Program 'OPTPDE' /

Published 2014

Table of Contents: “...Solution of 2D Contact Shape Optimization Problems -- Phase Field Methods for Binary Recovery...”
View full text

Electronic eBook

6

Compiler Design Analysis and Transformation /

by Seidl, Helmut., Seidl, Helmut., Wilhelm, Reinhard., Hack, Sebastian.
Published 2012

Table of Contents: “... -- Functional Programs -- References -- Index....”
View full text

Electronic eBook

7

Compiler Design Syntactic and Semantic Analysis /

by Wilhelm, Reinhard., Wilhelm, Reinhard., Seidl, Helmut., Hack, Sebastian.
Published 2013

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

8

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Monitoring Architectural Properties in Dynamic Component-Based Systems -- Extra-Functional Properties...”
View full text

Electronic eBook

9

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings /

Published 2014

Table of Contents: “... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”
View full text

Electronic eBook

10

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... of Utility Programs Based on Behavior Phase Analysis -- A Systematic Approach to Model-Guided Empirical...”
View full text

Electronic eBook

11

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
View full text

Electronic eBook

12

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
View full text

Electronic eBook

13

An Integrated Approach to Software Engineering

by Jalote, Pankaj., Jalote, Pankaj.
Published 2005

Table of Contents: “... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
View full text

Electronic eBook

14

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings /

Published 2008

Table of Contents: “...Deterministic Graphical Games Revisited -- Program Schemes with Deep Pushdown Storage -- Herbrand...”
View full text

Electronic eBook

15

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

Published 2010

Table of Contents: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
View full text

Electronic eBook

16

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

Published 2006

Table of Contents: “... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”
View full text

Electronic eBook

17

ESL Models and their Application Electronic System Level Design and Verification in Practice /

by Bailey, Brian., Bailey, Brian., Martin, Grant.
Published 2010

Table of Contents: “...IP Meta-Models for SoC Assembly and HW/SW Interfaces -- Functional Models -- Testbench Models...”
View full text

Electronic eBook

18

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Published 2008

Table of Contents: “... Controlled Power Saving Scheme -- Program Phase Detection Based Dynamic Control Mechanisms for Pipeline Stage...”
View full text

Electronic eBook

19

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “...: A Phase-Bounded Model Checker for Asynchronous Programs -- Time-Aware Abstractions in HybridSal -- A...”
View full text

Electronic eBook

20

An Introduction to Language Processing with Perl and Prolog An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German /

by Nugues, Pierre M., Nugues, Pierre M.
Published 2006

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Narrow Search