Search Results - parallel educational programs functionality using https

Search alternatives:
programs functionality » program functionality , programs functional , properties functionality
parallel educational » parallel functional , parallel relational , parallel rational
educational programs » education programs , education program , education programme
functionality using » functionality business , functionality design , functioning using
using https » using http , nursing https , aging https

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

Published 2008

Table of Contents: “... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...”
View full text

Electronic eBook

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /

Published 2010

Table of Contents: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
View full text

Electronic eBook

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
View full text

Electronic eBook

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Published 2013

Table of Contents: “... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”
View full text

Electronic eBook

COMPSTAT 2006 - Proceedings in Computational Statistics 17th Symposium Held in Rome, Italy, 2006 /

Published 2006

Table of Contents: “..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...”
View full text

Electronic eBook

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Published 2006

Table of Contents: “... Simulator for Brazilian Wholesale Electricity Energy Market -- Using IDEF0 to Enhance Functional Analysis...”
View full text

Electronic eBook

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Published 2014

Table of Contents: “... Techniques -- On Some Attempts to Verify the Effect of Using High-Quality Graphics in Mathematics Education...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Published 2007

Table of Contents: “... -- Mobile Peer-to-Peer Technology Used in Mobile Education Field -- A Model of Facial Expression for 3D...”
View full text

Electronic eBook

Classification and Data Science in the Digital Age

Published 2023

Table of Contents: “... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...”
Open Access Book. Read online

Electronic eBook

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Published 2005

Table of Contents: “...: Distributed Algorithms -- Building and Using Quorums Despite any Number of Process of Crashes -- Failure...”
View full text

Electronic eBook

A Singular Introduction to Commutative Algebra

by Greuel, Gert-Martin., Greuel, Gert-Martin., Pfister, Gerhard.
Published 2008

Table of Contents: “... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...”
View full text

Electronic eBook

International Handbook of Occupational Therapy Interventions

Published 2015

Table of Contents: “... Related to the Use of In-vehicle Intelligent Transport Systems by Drivers with Functional Impairments...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
View full text

Electronic eBook

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Published 2013

Table of Contents: “...Customized Opinion Mining using Intelligent Algorithms -- Information Security Measurement Roles...”
View full text

Electronic eBook

Advances in Artificial Intelligence 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Mining Bilingual Lexical Equivalences Out of Parallel Corpora -- Feed-Forward Neural Networks Using...”
View full text

Electronic eBook

Networked Digital Technologies, Part I Second International Conference, NDT 2010, Prague, Czech Republic /

Published 2010

Table of Contents: “... Functions -- Distributed Data-Mining in the LISp-Miner System Using Techila Grid -- Non-negative Matrix...”
View full text

Electronic eBook

Intelligent Technologies for Interactive Entertainment First International Conference, INTETAIN 2005, Madonna di Campaglio, Italy, November 30 - December 2, 2005, Proceedings /

Published 2005

Table of Contents: “... Tourist Guide Applications -- Discovering the European Heritage Through the ChiKho Educational Web Game...”
View full text

Electronic eBook

ICT Innovations 2009

Published 2010

Table of Contents: “... Workflows -- Massively Parallel Seismic Data Wavelet Processing Using Advanced Grid Workflows -- Grids...”
View full text

Electronic eBook

Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Solving School Timetabling Problems Using Extensions of Constraint Programming -- A Tiling Algorithm...”
View full text

Electronic eBook

Narrow Search