Søgeresultater - program method programs evolution array https

1

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Logical Framework -- Nominal Renaming Sets -- Imogen: Focusing the Polarized Inverse Method...”
Få fuldtekst

Electronisk eBog

2

Artificial Evolution 9th International Conference, Evolution Artificielle, EA 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers /

Udgivet 2010

Indholdsfortegnelse: “... Methods for Many-Objective Optimization Problems -- Genetic Programming -- Evolving Efficient List Search...”
Få fuldtekst

Electronisk eBog

3

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference...

Udgivet 2013

Indholdsfortegnelse: “... of G3i -- Model Checking General Linear Temporal Logic -- Semantically Guided Evolution of SHI ABoxes...”
Få fuldtekst

Electronisk eBog

4

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Udgivet 2010

Indholdsfortegnelse: “... -- Self-adaptation and Evolution by Learning -- Overview of Roadmapping by EternalS -- Formal Methods...”
Få fuldtekst

Electronisk eBog

5

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Udgivet 2010

Indholdsfortegnelse: “... Evolution Learned by Listening to Smalltalk -- The Web of Things: Extending the Web into the Real World...”
Få fuldtekst

Electronisk eBog

6

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

Udgivet 2010

Indholdsfortegnelse: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Få fuldtekst

Electronisk eBog

7

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Udgivet 2012

Indholdsfortegnelse: “... -- Dynamic Evolution of Context-Aware Systems with Models at Runtime -- An Eclipse Modelling Framework...”
Få fuldtekst

Electronisk eBog

8

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... Tools Infrastructures -- Low-Overhead Detection of Memory Access Patterns and Their Time Evolution...”
Få fuldtekst

Electronisk eBog

9

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

Udgivet 2005

Indholdsfortegnelse: “... Query Graph Based on Degrees and Their Time-Evolution -- t-UNITY – A Formal Framework for Modeling...”
Få fuldtekst

Electronisk eBog

10

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Udgivet 2010

Indholdsfortegnelse: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Få fuldtekst

Electronisk eBog

11

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

Udgivet 2005

Indholdsfortegnelse: “... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...”
Få fuldtekst

Electronisk eBog

12

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Udgivet 2012

Indholdsfortegnelse: “....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...”
Få fuldtekst

Electronisk eBog

13

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

Udgivet 2007

Indholdsfortegnelse: “... by the Minimum Evolution Criterion -- An ?(n 2/logn) Speed-Up of Heuristics for the Gene-Duplication Problem...”
Få fuldtekst

Electronisk eBog

14

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

Udgivet 2007

Indholdsfortegnelse: “...Keynote Speech -- Programming Challenges for Petascale and Multicore Parallel Systems -- Towards...”
Få fuldtekst

Electronisk eBog

15

PCR Cloning Protocols

Udgivet 2002

Indholdsfortegnelse: “...Performing and Optimizing PCR -- Polymerase Chain Reaction -- Computer Programs for PCR Primer...”
Få fuldtekst

Electronisk eBog

16

Microbial Processes and Products

Udgivet 2005

Indholdsfortegnelse: “... of Glycosylated Antitumor Compounds -- Assay Methods for Detection and Quantification of Antimicrobial Metabolites...”
Få fuldtekst

Electronisk eBog

17

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Self-checking Circuits -- Mechanical Hardware Evolution -- Sliding Algorithm for Reconfigurable Arrays...”
Få fuldtekst

Electronisk eBog

18

Applications of Soft Computing Recent Trends /

Udgivet 2006

Indholdsfortegnelse: “... for Prioritization of Failures in Fuzzy FMEA -- A Hybrid Method of Differential Evolution and SQP for Solving...”
Få fuldtekst

Electronisk eBog

19

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies /

Udgivet 2006

Indholdsfortegnelse: “... Mining Algorithm -- Multiset Rule-Based Programming Paradigm for Soft-Computing in Complex Systems...”
Få fuldtekst

Electronisk eBog

20

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I...

Udgivet 2010

Indholdsfortegnelse: “... Antenna Array System -- Automatic Parameter Tuning with Metaheuristics of the AODV Routing Protocol...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning