Hakutulokset - parallel projections _ functionality function https

1

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”
Hae kokoteksti

Elektroninen E-kirja

2

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Julkaistu 2013

Sisällysluettelo: “... -- The Beauty of Declarative Purely Functional Projections -- Finding Palindromes: Variants and Algorithms...”
Hae kokoteksti

Elektroninen E-kirja

3

CR Submanifolds of Complex Projective Space

Tekijä Djoric, Mirjana., Djoric, Mirjana., Okumura, Masafumi.
Julkaistu 2010

Sisällysluettelo: “... -- Hypersurfaces of a sphere with parallel shape operator -- Codimension reduction of a submanifold -- CR...”
Hae kokoteksti

Elektroninen E-kirja

4

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Julkaistu 2010

Sisällysluettelo: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Hae kokoteksti

Elektroninen E-kirja

5

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Julkaistu 2010

Sisällysluettelo: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
Hae kokoteksti

Elektroninen E-kirja

6

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

Julkaistu 2010

Sisällysluettelo: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Hae kokoteksti

Elektroninen E-kirja

7

Beginning Haskell A Project-Based Approach /

Tekijä Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Julkaistu 2014

Aiheet: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hae kokoteksti

Elektroninen E-kirja

8

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings /

Julkaistu 2013

Sisällysluettelo: “... and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm...”
Hae kokoteksti

Elektroninen E-kirja

9

Software for People Fundamentals, Trends and Best Practices /

Julkaistu 2012

Aiheet: “...Project Management. https://scigraph.springernature.com/ontologies/product-market-codes/515020...”
Hae kokoteksti

Elektroninen E-kirja

10

Global Sourcing of Information Technology and Business Processes 4th International Workshop, Global Sourcing 2010, Zermatt, Switzerland, March 22-25, 2010, Revised Selected Papers...

Julkaistu 2010

Sisällysluettelo: “...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...”
Hae kokoteksti

Elektroninen E-kirja

11

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Hae kokoteksti

Elektroninen E-kirja

12

Computational Intelligence and Informatics Principles and Practice /

Julkaistu 2010

Sisällysluettelo: “...Graphs of Grammars – Derivations as Parallel Processes -- MTTool Software Tool and Low Complexity...”
Hae kokoteksti

Elektroninen E-kirja

13

Cellular Automata in Image Processing and Geometry

Julkaistu 2014

Sisällysluettelo: “... Cellular Automata Systems for Creative Projects....”
Hae kokoteksti

Elektroninen E-kirja

14

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... of the Gfan Software -- Parallel Homotopy Algorithms to Solve Polynomial Systems -- DEpthLAUNAY -- iB4e: A...”
Hae kokoteksti

Elektroninen E-kirja

15

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR Result Workshop, October 14-15, 2004, Technical University of Munich, Garching, Germ...

Julkaistu 2005

Sisällysluettelo: “... Heat Transfer in Parallel Computer Architectures -- SkvG: Cache-Optimal Parallel Solution of PDEs...”
Hae kokoteksti

Elektroninen E-kirja

16

Mathematics of Surfaces XII 12th IMA International Conference, Sheffield, UK, September 4-6, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Through Contouring -- Surfaces with Piecewise Linear Support Functions over Spherical Triangulations -- A...”
Hae kokoteksti

Elektroninen E-kirja

17

Metric Driven Design Verification An Engineer's and Executive's Guide to First Pass Success /

Tekijä Carter, Hamilton B., Carter, Hamilton B., Hemmady, Shankar G.
Julkaistu 2007

Sisällysluettelo: “... Metric-Driven Processes -- Roles in a Verification Project -- Overview of a Verification Project...”
Hae kokoteksti

Elektroninen E-kirja

18

Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004 Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers /

Julkaistu 2005

Sisällysluettelo: “...-Throughput Proteome Annotation Pipeline -- Genome-Wide Functional Annotation Environment for Thermus...”
Hae kokoteksti

Elektroninen E-kirja

19

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Lectures -- Propositional Projection Temporal Logic, B chi Automata and ?-Regular Expressions -- Genome...”
Hae kokoteksti

Elektroninen E-kirja

20

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I /

Julkaistu 2015

Sisällysluettelo: “... -- Image Segmentation in Liquid Argon Time Projection Chamber Detector -- Massively parallel change...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua