Søgeresultater - parallel construct properties functionality function https

Søg alternativer:
properties functionality » protein functionality
functionality function » functionals function , functionaries function , functional functions
construct properties » contact properties , constructions properties , control properties
parallel construct » parallel constructs , parallel construction , parallel constraint
function https » functions https , fiction https

Visual Complex Functions An Introduction with Phase Portraits /

af Wegert, Elias., Wegert, Elias.
Udgivet 2012

Indholdsfortegnelse: “...Preface -- 1. Getting Acquainted -- 2. Complex Functions -- 3. Analytic Functions -- 4. Complex...”
Få fuldtekst

Electronisk eBog

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Udgivet 2012

Indholdsfortegnelse: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Få fuldtekst

Electronisk eBog

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

Udgivet 2015

Indholdsfortegnelse: “... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”
Få fuldtekst

Electronisk eBog

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... Codes: from Hamming to Modern Coding Theory -- ROSCoq: Robots powered by Constructive Reals...”
Få fuldtekst

Electronisk eBog

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Få fuldtekst

Electronisk eBog

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... for Clusters -- Parallel Information Theory Based Construction of Gene Regulatory Networks -- Communication...”
Få fuldtekst

Electronisk eBog

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...”
Få fuldtekst

Electronisk eBog

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007 /

Udgivet 2007

Indholdsfortegnelse: “... Systems -- From Parallel Data Mining to Grid-Enabled Distributed Knowledge Discovery -- A New Algorithm...”
Få fuldtekst

Electronisk eBog

Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers /

Udgivet 2008

Indholdsfortegnelse: “... for Constructing Bäcklund Transformations to Nonlinear Evolution Equations -- On the Invariant Properties...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2012

Indholdsfortegnelse: “... with Decentralized Parallel Adaptation of Tetrahedral Meshes.-Efficient Simulations of the Transport Properties...”
Få fuldtekst

Electronisk eBog

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computati...

Udgivet 2005

Indholdsfortegnelse: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
Få fuldtekst

Electronisk eBog

Design Computing and Cognition '14

Udgivet 2015

Indholdsfortegnelse: “...)construction of Urban Street Networks: Generative Design Using Global Information from Structure -- A...”
Få fuldtekst

Electronisk eBog

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...”
Få fuldtekst

Electronisk eBog

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Udgivet 2008

Indholdsfortegnelse: “... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”
Få fuldtekst

Electronisk eBog

Information and Communications Security 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
Få fuldtekst

Electronisk eBog

String Processing and Information Retrieval 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Properties -- Experimental Analysis of a Fast Intersection Algorithm for Sorted Sequences -- Compressed...”
Få fuldtekst

Electronisk eBog

Discovery Science 9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... -- Automatic Construction of Static Evaluation Functions for Computer Game Players -- Databases Reduction...”
Få fuldtekst

Electronisk eBog

Applications of Evolutionary Computing 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Small-World Properties in VANETs -- Impact of the Number of Beacons in PSO-Based Auto-localization...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning