Resultats de la cerca - programs functions https function phase https

1

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

Publicat 2005

Taula de continguts: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
Obtenir text complet

Electrònic eBook

2

Smart Hydrogel Functional Materials

per Chu, Liang-Yin., Chu, Liang-Yin., Xie, Rui., Ju, Xiao-Jie., Wang, Wei.
Publicat 2013

Taula de continguts: “...Part I Thermo-Responsive Hydrogel Functional Materials -- Structure-Function Relationship of Thermo...”
Obtenir text complet

Electrònic eBook

3

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

Publicat 2008

Taula de continguts: “...-10 -- Research Papers -- A Model to Study Phase Transition and Plateaus in Relational Learning -- Top...”
Obtenir text complet

Electrònic eBook

4

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

Publicat 2007

Taula de continguts: “...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”
Obtenir text complet

Electrònic eBook

5

Optimization with PDE Constraints ESF Networking Program 'OPTPDE' /

Publicat 2014

Taula de continguts: “...Solution of 2D Contact Shape Optimization Problems -- Phase Field Methods for Binary Recovery...”
Obtenir text complet

Electrònic eBook

6

Compiler Design Analysis and Transformation /

per Seidl, Helmut., Seidl, Helmut., Wilhelm, Reinhard., Hack, Sebastian.
Publicat 2012

Taula de continguts: “... -- Functional Programs -- References -- Index....”
Obtenir text complet

Electrònic eBook

7

Compiler Design Syntactic and Semantic Analysis /

per Wilhelm, Reinhard., Wilhelm, Reinhard., Seidl, Helmut., Hack, Sebastian.
Publicat 2013

Matèries: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Obtenir text complet

Electrònic eBook

8

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

Publicat 2007

Taula de continguts: “... -- Monitoring Architectural Properties in Dynamic Component-Based Systems -- Extra-Functional Properties...”
Obtenir text complet

Electrònic eBook

9

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

Publicat 2014

Taula de continguts: “... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”
Obtenir text complet

Electrònic eBook

10

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

Publicat 2010

Taula de continguts: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
Obtenir text complet

Electrònic eBook

11

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

Publicat 2006

Taula de continguts: “... of Utility Programs Based on Behavior Phase Analysis -- A Systematic Approach to Model-Guided Empirical...”
Obtenir text complet

Electrònic eBook

12

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

Publicat 2010

Taula de continguts: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Obtenir text complet

Electrònic eBook

13

An Integrated Approach to Software Engineering

per Jalote, Pankaj., Jalote, Pankaj.
Publicat 2005

Taula de continguts: “... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
Obtenir text complet

Electrònic eBook

14

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

Publicat 2008

Taula de continguts: “...Deterministic Graphical Games Revisited -- Program Schemes with Deep Pushdown Storage -- Herbrand...”
Obtenir text complet

Electrònic eBook

15

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

Publicat 2010

Taula de continguts: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Obtenir text complet

Electrònic eBook

16

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

Publicat 2006

Taula de continguts: “... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”
Obtenir text complet

Electrònic eBook

17

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

per Bailey, Brian., Bailey, Brian., Martin, Grant.
Publicat 2010

Taula de continguts: “...IP Meta-Models for SoC Assembly and HW/SW Interfaces -- Functional Models -- Testbench Models...”
Obtenir text complet

Electrònic 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...

Publicat 2008

Taula de continguts: “... Controlled Power Saving Scheme -- Program Phase Detection Based Dynamic Control Mechanisms for Pipeline Stage...”
Obtenir text complet

Electrònic eBook

19

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

per Nugues, Pierre M., Nugues, Pierre M.
Publicat 2006

Matèries: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obtenir text complet

Electrònic eBook

20

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

Publicat 2015

Taula de continguts: “...: A Phase-Bounded Model Checker for Asynchronous Programs -- Time-Aware Abstractions in HybridSal -- A...”
Obtenir text complet

Electrònic eBook

Refinar cerca