Hakutulokset - parallel selecting program functionality interactions https

Tarkoititko:
functionality interactions » functional interactions , functional interaction , functions interactions
program functionality » protein functionality , programs functional , supra functionality
parallel selecting » parallel selection , parallel select , parallel sequencing
interactions https » interaction https , integration https
selecting program » selecting programs , selective program , selection programs

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Julkaistu 2006

Sisällysluettelo: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Hae kokoteksti

Elektroninen E-kirja

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Under Selective Pressure: Plato Algorithm Parallelization -- Techniques for Parallel Programming...”
Hae kokoteksti

Elektroninen E-kirja

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Julkaistu 2015

Sisällysluettelo: “...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”
Hae kokoteksti

Elektroninen E-kirja

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna...

Julkaistu 2014

Sisällysluettelo: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Hae kokoteksti

Elektroninen E-kirja

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”
Hae kokoteksti

Elektroninen E-kirja

Intelligent Technologies for Interactive Entertainment First International Conference, INTETAIN...

Julkaistu 2005

Sisällysluettelo: “...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...”
Hae kokoteksti

Elektroninen E-kirja

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Julkaistu 2010

Sisällysluettelo: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
Hae kokoteksti

Elektroninen E-kirja

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Julkaistu 2010

Sisällysluettelo: “... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...”
Hae kokoteksti

Elektroninen E-kirja

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Julkaistu 2014

Sisällysluettelo: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Hae kokoteksti

Elektroninen E-kirja

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Julkaistu 2013

Sisällysluettelo: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Hae kokoteksti

Elektroninen E-kirja

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers /

Julkaistu 2008

Sisällysluettelo: “... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”
Hae kokoteksti

Elektroninen E-kirja

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Julkaistu 2006

Sisällysluettelo: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Hae kokoteksti

Elektroninen E-kirja

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers /

Julkaistu 2010

Sisällysluettelo: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2012

Sisällysluettelo: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
Hae kokoteksti

Elektroninen E-kirja

Intercultural Collaboration First International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers /

Julkaistu 2007

Sisällysluettelo: “... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”
Hae kokoteksti

Elektroninen E-kirja

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 Selected Papers /

Julkaistu 2008

Sisällysluettelo: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Hae kokoteksti

Elektroninen E-kirja

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Stack Implementation -- Programming Aids -- First-Order Interactive Programming -- An ER-Based Framework...”
Hae kokoteksti

Elektroninen E-kirja

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Hae kokoteksti

Elektroninen E-kirja

Learning and Intelligent Optimization 4th International Conference, LION 4, Venice, Italy, January 2010. Selected Papers /

Julkaistu 2010

Sisällysluettelo: “... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...”
Hae kokoteksti

Elektroninen E-kirja

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Julkaistu 2005

Sisällysluettelo: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua