Search Results - program structures progress functionality using https

Search alternatives:
progress functionality » program functionality , protein functionality , cross functionality
structures progress » structures process , structured programs , structures processes
functionality using » functionality business , functionality design , functioning using
program structures » program structure , protein structures
using https » using http , nursing https , aging https

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
View full text

Electronic eBook

The Biochemistry of Retinoic Acid Receptors I: Structure, Activation, and Function at the Molecular Level

Published 2014

Table of Contents: “... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....”
View full text

Electronic eBook

Progress in Cryptology - INDOCRYPT 2004 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004, Proceedings /

Published 2005

Table of Contents: “...-Synchronizing Stream Ciphers -- Algebraic Attacks over GF(q) -- Cryptographic Boolean Functions -- Results...”
View full text

Electronic eBook

Progress in Pattern Recognition, Image Analysis and Applications 11th Iberoamerican Congress...

Published 2006

Table of Contents: “... Translucency Using Dynamic Programming -- A Method for Detection and Modeling of the Human Spine Based...”
View full text

Electronic eBook

Linear Genetic Programming

by Brameier, Markus F., Brameier, Markus F., Banzhaf, Wolfgang.
Published 2007

Table of Contents: “...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
View full text

Electronic eBook

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...”
View full text

Electronic eBook

Discrete Mathematics Using a Computer

by O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
Published 2006

Table of Contents: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
View full text

Electronic eBook

Topological Aspects of Nonsmooth Optimization

by Shikhman, Vladimir., Shikhman, Vladimir.
Published 2012

Table of Contents: “...Preface. -Notation -- Introduction -- Mathematical Programming Problems with Complementarity...”
View full text

Electronic eBook

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

Published 2008

Table of Contents: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
View full text

Electronic eBook

The LLL Algorithm Survey and Applications /

Published 2010

Table of Contents: “... -- The LLL Algorithm and Integer Programming -- Using LLL-Reduction for Solving RSA and Factorization...”
View full text

Electronic eBook

Topics in the Theory of Chemical and Physical Systems Proceedings of the 10th European Workshop on Quantum Systems in Chemistry and Physics held at Carthage, Tunisia, in September...

Published 2007

Table of Contents: “... and nuclear motion: Towards a practical implementation using literate programming methods -- Renormalized...”
View full text

Electronic eBook

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /

Published 2005

Table of Contents: “... Relaxation and Semidefinite Programming -- Numerical Abstraction -- Scalable Analysis of Linear Systems Using...”
View full text

Electronic eBook

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Published 2007

Table of Contents: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
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: “... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...”
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

Beginning C# 2008 From Novice to Professional /

by Gross, Christian., Gross, Christian.
Published 2008

Table of Contents: “... Multithreading -- Using Relational Databases -- Learning About LINQ -- Writing Functional Code in C# -- C# Odds...”
View full text

Electronic eBook

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Published 2010

Table of Contents: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
View full text

Electronic eBook

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

Published 2012

Table of Contents: “... Progressively Refining Discretization- Optimization Methods for Optimal Control Problems Defined by Ordinary...”
View full text

Electronic eBook

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Published 2007

Table of Contents: “... Processor Architecture Using Asynchronous Function Units -- A Bypass Mechanism to Enhance Branch Predictor...”
View full text

Electronic eBook

Cellular Automata and Groups

by Ceccherini-Silberstein, Tullio., Ceccherini-Silberstein, Tullio., Coornaert, Michel.
Published 2010

Table of Contents: “... -- Linear Cellular Automata -- Nets and the Tychonoff Product Theorem -- Uniform Structures -- Symmetric...”
View full text

Electronic eBook

Narrow Search