Sökresultat - iterative selection programs program function https

1

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Publicerad 2013

Innehållsförteckning: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Hämta fulltext

Elektronisk E-bok

2

Mathematics of Program Construction 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings /

Publicerad 2008

Innehållsförteckning: “... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”
Hämta fulltext

Elektronisk E-bok

3

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “... Serializability Analysis -- Iterative Self-assembly with Dynamic Strength Transformation and Temperature Control...”
Hämta fulltext

Elektronisk E-bok

4

Functional Magnetic Resonance Imaging Processing

av Li, Xingfeng., Li, Xingfeng.
Publicerad 2014

Innehållsförteckning: “... -- AIF selection -- Dispersion effects in DSC-MRI -- -Summary of the PWI algorithm -- First level fMRI...”
Hämta fulltext

Elektronisk E-bok

5

Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /

Publicerad 2012

Innehållsförteckning: “... of MDE Components -- Controlling an Iteration-Wise Coherence in Dataflow -- Learning from Failures: A...”
Hämta fulltext

Elektronisk E-bok

6

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

Publicerad 2010

Innehållsförteckning: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Hämta fulltext

Elektronisk E-bok

7

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

Publicerad 2015

Innehållsförteckning: “... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...”
Hämta fulltext

Elektronisk E-bok

8

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice o...

Publicerad 2013

Innehållsförteckning: “... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”
Hämta fulltext

Elektronisk E-bok

9

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 /

Publicerad 2008

Innehållsförteckning: “... Technique for Transforming Non-uniform Iteration Spaces -- Folding Active List for High Performance and Low...”
Hämta fulltext

Elektronisk E-bok

10

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Publicerad 2008

Innehållsförteckning: “... for Detecting the Global Convergence in Asynchronous Iterative Algorithms -- A Parallel Implementation...”
Hämta fulltext

Elektronisk E-bok

11

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings /

Publicerad 2014

Innehållsförteckning: “... Addition Systems with States -- Reachability in MDPs: Refining Convergence of Value Iteration...”
Hämta fulltext

Elektronisk E-bok

12

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”
Hämta fulltext

Elektronisk E-bok

13

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

Publicerad 2008

Innehållsförteckning: “... Knowledge Based on Linear Temporal Logic LTL -- Pure Iteration and Periodicity -- Programming Experimental...”
Hämta fulltext

Elektronisk E-bok

14

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Publicerad 2007

Innehållsförteckning: “... Discontinuous Viscosities -- The Impact of Parallel Programming Models on the Performance of Iterative Linear...”
Hämta fulltext

Elektronisk E-bok

15

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers /

Publicerad 2005

Innehållsförteckning: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Hämta fulltext

Elektronisk E-bok

16

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Hämta fulltext

Elektronisk E-bok

17

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...”
Hämta fulltext

Elektronisk E-bok

18

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... -- Compact Rich-Functional Binary Relation Representations -- Radix Cross-Sections for Length Morphisms...”
Hämta fulltext

Elektronisk E-bok

19

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

Publicerad 2010

Innehållsförteckning: “... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”
Hämta fulltext

Elektronisk E-bok

20

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

Publicerad 2005

Innehållsförteckning: “... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen