Search Results - interactive normalization programming programming use https

Search alternatives:
interactive normalization » interactive visualization , alternative normalization , integrating normalization
normalization programming » organization programming , organisation programming , communication programming
programming programming » programming programmed , programming program
programming use » programming using , programming under
https » http

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

Published 2008

Table of Contents: “... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”
View full text

Electronic eBook

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “...: Visualizing Relations between Answer Sets -- Symbolic System Synthesis Using Answer Set Programming...”
View full text

Electronic eBook

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /

Published 2005

Table of Contents: “... Recursion -- Arithmetical Proofs of Strong Normalization Results for the Symmetric ??-Calculus -- Subtyping...”
View full text

Electronic eBook

3D Immersive and Interactive Learning

Published 2013

Table of Contents: “...3D Immersive & Interactive Learning -- Use of Virtual Reality in Teaching and Learning Molecular...”
View full text

Electronic eBook

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Published 2010

Table of Contents: “... Interaction Using Concept Hierarchies -- Estimating Top-k Destinations in Data Streams -- A Data Mining...”
View full text

Electronic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
View full text

Electronic eBook

Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
View full text

Electronic eBook

Pro Python

by Alchin, Marty., Alchin, Marty., Browning, J. Burton.
Published 2014

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

Dynamical Systems with Applications using Maple™

by Lynch, Stephen., Lynch, Stephen.
Published 2010

Table of Contents: “...A Tutorial Introduction to Maple -- Differential Equations -- Planar Systems -- Interacting Species...”
View full text

Electronic eBook

Dynamical Systems with Applications using MATLAB®

by Lynch, Stephen., Lynch, Stephen.
Published 2014

Table of Contents: “... -- Interacting Species -- Limit Cycles -- Hamiltonian Systems, Lyapunov Functions, and Stability -- Bifurcation...”
View full text

Electronic eBook

Modeling Chemical Systems using Cellular Automata

by Kier, Lemont B., Kier, Lemont B., Seybold, Paul G., Cheng, Chao-Kun.
Published 2005

Table of Contents: “... in Chemical Kinetics: Enzyme Kinetics. Liquid-Vapor Equilibrium -- Use of the CASim Program: The System...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...”
View full text

Electronic eBook

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...

Published 2008

Table of Contents: “... Architecture -- A Scalable Methodology for Computing Fault-Free Paths in InfiniBand Torus Networks -- Using a...”
View full text

Electronic eBook

Search Computing Trends and Developments /

Published 2011

Table of Contents: “... Exploration in Search Computing -- Trends in Search Interaction -- Interaction Design:- Context and Action...”
View full text

Electronic eBook

Progress in Artificial Intelligence 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, a...

Published 2007

Table of Contents: “... for Intensive Care -- A Tool for Interactive Subgroup Discovery Using Distribution Rules -- Quantitative...”
View full text

Electronic eBook

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Published 2010

Table of Contents: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
View full text

Electronic eBook

Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings /

Published 2010

Table of Contents: “... Design -- Dazed and Confused Considered Normal: An Approach to Create Interactive Systems for People...”
View full text

Electronic eBook

Statistical Analysis and Data Display An Intermediate Course with Examples in R /

by Heiberger, Richard M., Heiberger, Richard M., Holland, Burt.
Published 2015

Subjects: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Optimized Bayesian Dynamic Advising Theory and Algorithms /

Published 2006

Table of Contents: “...: design part -- Learning with normal factors and components -- Design with normal mixtures -- Learning...”
View full text

Electronic eBook

Narrow Search