Search Results - program specialization https function evolution https

1

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

2

Evolution of Radiation Oncology at Massachusetts General Hospital

by Suit, Herman D., Suit, Herman D., Loeffler, Jay S.
Published 2011

Table of Contents: “... Programs -- Special Lecture Series Radiation Therapists, Nurses, Medical Records, Receptionists and Cox...”
View full text

Electronic eBook

3

ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings /

Published 2006

Table of Contents: “...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”
View full text

Electronic eBook

4

Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings /

Published 2010

Table of Contents: “... of Evolved Circuits -- An Efficient Selection Strategy for Digital Circuit Evolution -- Introducing...”
View full text

Electronic eBook

5

Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings /

Published 2010

Table of Contents: “... with Optional and Preferred Requirements -- Data Evolution and Adaptation -- A Conceptual Approach to Database...”
View full text

Electronic eBook

6

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /

Published 2007

Table of Contents: “...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”
View full text

Electronic eBook

7

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... -- An Efficient Differential Evolution Algorithm with Approximate Fitness Functions Using Neural Networks...”
View full text

Electronic eBook

8

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... on the Riblets Surface -- Towards Analysis of Semi-Markov Decision Processes -- Automatic Programming...”
View full text

Electronic eBook

9

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

Published 2010

Table of Contents: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
View full text

Electronic eBook

10

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Published 2010

Table of Contents: “...) -- Special Track on Worst Case Traversal Time (WCTT) -- The PEGASE Project: Precise and Scalable Temporal...”
View full text

Electronic eBook

11

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

Published 2013

Table of Contents: “... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”
View full text

Electronic eBook

12

Pro DNS and BIND

by Aitchison, Ron., Aitchison, Ron.
Published 2005

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

13

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
View full text

Electronic eBook

14

Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 201...

Published 2010

Table of Contents: “... Evolution Based Approach to Estimate the Shape and Size of Complex Shaped Anomalies Using EIT Measurements...”
View full text

Electronic eBook

15

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Published 2007

Table of Contents: “... on Meta-Synthesis Approach -- ICT and Special Educational Needs: Using Meta-synthesis for Bridging...”
View full text

Electronic eBook

16

Knowledge Engineering: Practice and Patterns 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Ontology Evolution / Refinement -- Using Semantic Web Resources for Data Quality Management -- Using...”
View full text

Electronic eBook

17

Carpal Tunnel Syndrome

Published 2007

Table of Contents: “... and No Specialized Instruments Combined with a Rehabilitation Program for Early Return to Activity -- The Mini...”
View full text

Electronic eBook

18

Psychosocial Stress and Cardiovascular Disease in Women Concepts, Findings, Future Perspectives /

Published 2015

Table of Contents: “... in women with special reference to PTSD.- Mechanisms and Psychobiological Pathways -- Basic...”
View full text

Electronic eBook

19

Bioceramics and Alternative Bearings in Joint Arthroplasty 10th BIOLOX Symposium. Washington D.C., June 10-11, 2005. Proceedings /

Published 2005

Table of Contents: “... composite THR -- Comparison of the Functional Biological Activity and Osteolytic Potential of Ceramic...”
View full text

Electronic eBook

20

Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers /

Published 2007

Table of Contents: “... Evolution Rules Application and Communication Times in Membrane Systems Implementation -- Hill Kinetics...”
View full text

Electronic eBook

Narrow Search