Rezultati - programs function https section simulation https

Poišči alternative:
section simulation » sections simulation , selection simulation , sector simulation
programs function » programs functional , programme function , programs fiction
simulation https » computation https , education https , migration https
function https » functions https , fiction https
https section » steps section , crops section , gaps section

Simulated Evolution and Learning 9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012, Proceedings /

Izdano 2012

Kazalo: “... -- Figure of Merit Based Fitness Functions in Genetic Programming for Edge Detection -- An Evolutionary...”
Polni tekst

Elektronski eKnjiga

Genes and Cardiovascular Function

Izdano 2011

Kazalo: “... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...”
Polni tekst

Elektronski eKnjiga

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings /

Izdano 2008

Kazalo: “... Transmitter: A Fast Design Cycle Using OFDM Framework in Bluespec -- SoC -- A Real-Time Programming Model...”
Polni tekst

Elektronski eKnjiga

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008, Proceedings /

Izdano 2008

Kazalo: “... Estimation with Monte Carlo Simulation -- The Pomodoro Technique for Sustainable Pace in Extreme Programming...”
Polni tekst

Elektronski eKnjiga

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes /

Izdano 2014

Kazalo: “... Appraisal Framework -- Programming Agents with Emotions -- Utilizing Emotions in Autonomous Robots...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2012

Kazalo: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
Polni tekst

Elektronski eKnjiga

The R Software Fundamentals of Programming and Statistical Analysis /

od Lafaye de Micheaux, Pierre., Lafaye de Micheaux, Pierre., Drouilhet, Rémy., Liquet, Benoit.
Izdano 2013

Kazalo: “... Manipulation, Functions -- R and its Documentation -- Drawing Curves and Plots -- Programming in R -- Managing...”
Polni tekst

Elektronski eKnjiga

From Animals to Animats 10 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008, Proceedings /

Izdano 2008

Kazalo: “... Induces the Evolution of Robust Behaviour by Avoiding Non-functional Bifurcations -- Integration...”
Polni tekst

Elektronski eKnjiga

Quality of Software Architectures Models and Architectures 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008...

Izdano 2008

Kazalo: “... Model Checker -- MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based...”
Polni tekst

Elektronski eKnjiga

Breast Imaging 12th International Workshop, IWDM 2014, Gifu City, Japan, June 29 - July 2, 2014, Proceedings /

Izdano 2014

Kazalo: “... of Breast Cancer -- Realistic Simulation of Breast Tissue Microstructure in Software Anthropomorphic...”
Polni tekst

Elektronski eKnjiga

Advances in Computation and Intelligence 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010, Proceedings /

Izdano 2010

Kazalo: “...Section I: Ant Colony and Particle Swarm Optimization -- A Discrete PSO-Based Fault-Tolerant...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2008

Kazalo: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Polni tekst

Elektronski eKnjiga

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings /

Izdano 2008

Kazalo: “... for Improving Simulations in UCT for General Game Playing -- Propositional Automata and Cell Automata...”
Polni tekst

Elektronski eKnjiga

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /

Izdano 2012

Kazalo: “... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...”
Polni tekst

Elektronski eKnjiga

User Modeling 2005 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings /

Izdano 2005

Kazalo: “... Programming Driven by User Models -- Data-Driven Refinement of a Probabilistic Model of User Affect...”
Polni tekst

Elektronski eKnjiga

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I /

Izdano 2012

Kazalo: “... in Nonnegative Matrix Factorization with Gaussian Radial Basis Functions -- RAFNI: Robust Analysis of Functional...”
Polni tekst

Elektronski eKnjiga

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /

Izdano 2014

Kazalo: “...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”
Polni tekst

Elektronski eKnjiga

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Izdano 2013

Kazalo: “... Simulations -- A Proof System for Compositional Verification of Probabilistic Concurrent Processes...”
Polni tekst

Elektronski eKnjiga

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Izdano 2008

Kazalo: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
Polni tekst

Elektronski eKnjiga

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Izdano 2008

Kazalo: “... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje