Search Results - interactive normalization programming programs interaction http

Search alternatives:
interactive normalization » interactive visualization , alternative normalization , integrating normalization
normalization programming » organization programming , organisation programming , communication programming
programming programs » programming program , programming programmed , programming problems
programs interaction » programs interactions , program integration , program interactive
interaction http » interaction https , interactions https , interaction help

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /

Published 2015

Table of Contents: “... Relevant Logic for Time-Dependent Relevant Human Reasoning -- Introspection, normality and agglomeration...”
View full text

Electronic eBook

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

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

Published 2015

Table of Contents: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
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

Hormones, Intrauterine Health and Programming

Published 2014

Table of Contents: “... -- Glucocorticoids and fetal programming; necessary and sufficient? By Jonathan R. Seckl -- Developmental programming...”
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: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
View full text

Electronic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Published 2005

Table of Contents: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
View full text

Electronic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /

Published 2007

Table of Contents: “... for Normal Logic Programs -- Permutative Additives and Exponentials -- Algorithms for Propositional Model...”
View full text

Electronic eBook

Estimation of concentration by eye contact measurement in robot-based intervention program with autistic children

by Ismail, Luthffi Idzhar, Shamsudin, Syamimi, Yussof, Hanafiah, Hanapiah, Fazah Akhtar, Zahari, Nur Ismarrubie
Published 2012

“... Program (RBIP) interaction and normal classroom interaction. Twelve ASD children from National Autism...”
View full text

Article

SPSS for intermediate statistics : use and interpretation /

by Leech, Nancy L.
Published 2008

Table of Contents: “... -- Conclusions about measurement and the use of statistics -- The normal curve -- Data coding and exploratory...”
Table of contents only
Publisher description

Book

Robot-based intervention program for autistic children with humanoid robot NAO: initial response in stereotyped behavior

by Ismail, Luthffi Idzhar, Shamsudin, Syamimi, Yussof, Hanafiah, Hanapiah, Fazah Akhtar, Zahari, Nur Ismarrubie
Published 2012

“... Intervention Program (RBIP) and normal class session. The presence of stereotyped behavior in children with ASD...”
View full text

Article

Typed Lambda Calculi and Applications 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings /

Published 2007

Table of Contents: “... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...”
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

Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /

Published 2008

Table of Contents: “... Orders -- Normal Form Nested Programs -- A Logic for Closed-World Interaction -- Declarative Semantics...”
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

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

Published 2010

Table of Contents: “... Normalization Schemas for Bayesian Confirmation Measures -- Gender and Age Estimation from Synthetic Face Images...”
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

Pro Python

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

Subjects: “...Python (Computer program language)....”
View full text

Electronic eBook

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings /

Published 2008

Table of Contents: “... — An Interactive Prover for the Boogie Program-Verifier -- Secure Microkernels, State Monads and Scalable...”
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

Narrow Search