1
Izdano 2012
Kazalo: ... -- Figure of Merit Based Fitness Functions in Genetic Programming for Edge Detection -- An Evolutionary...
Polni tekst
Elektronski eKnjiga
2
Izdano 2011
Kazalo: ... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...
Polni tekst
Elektronski eKnjiga
3
Izdano 2008
Kazalo: ... Transmitter: A Fast Design Cycle Using OFDM Framework in Bluespec -- SoC -- A Real-Time Programming Model...
Polni tekst
Elektronski eKnjiga
4
Izdano 2008
Kazalo: ... Estimation with Monte Carlo Simulation -- The Pomodoro Technique for Sustainable Pace in Extreme Programming...
Polni tekst
Elektronski eKnjiga
5
Izdano 2014
Kazalo: ... Appraisal Framework -- Programming Agents with Emotions -- Utilizing Emotions in Autonomous Robots...
Polni tekst
Elektronski eKnjiga
6
Izdano 2012
Kazalo: ... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...
Polni tekst
Elektronski eKnjiga
7
Kazalo: ... Manipulation, Functions -- R and its Documentation -- Drawing Curves and Plots -- Programming in R -- Managing...
Polni tekst
Elektronski eKnjiga
8
Izdano 2008
Kazalo: ... Induces the Evolution of Robust Behaviour by Avoiding Non-functional Bifurcations -- Integration...
Polni tekst
Elektronski eKnjiga
9
Izdano 2008
Kazalo: ... Model Checker -- MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based...
Polni tekst
Elektronski eKnjiga
10
Izdano 2014
Kazalo: ... of Breast Cancer -- Realistic Simulation of Breast Tissue Microstructure in Software Anthropomorphic...
Polni tekst
Elektronski eKnjiga
11
Izdano 2010
Kazalo: ...Section I: Ant Colony and Particle Swarm Optimization -- A Discrete PSO-Based Fault-Tolerant...
Polni tekst
Elektronski eKnjiga
12
Izdano 2008
Kazalo: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Polni tekst
Elektronski eKnjiga
13
Izdano 2008
Kazalo: ... for Improving Simulations in UCT for General Game Playing -- Propositional Automata and Cell Automata...
Polni tekst
Elektronski eKnjiga
14
Izdano 2012
Kazalo: ... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...
Polni tekst
Elektronski eKnjiga
15
Izdano 2005
Kazalo: ... Programming Driven by User Models -- Data-Driven Refinement of a Probabilistic Model of User Affect...
Polni tekst
Elektronski eKnjiga
16
Izdano 2012
Kazalo: ... in Nonnegative Matrix Factorization with Gaussian Radial Basis Functions -- RAFNI: Robust Analysis of Functional...
Polni tekst
Elektronski eKnjiga
17
Izdano 2014
Kazalo: ...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...
Polni tekst
Elektronski eKnjiga
18
Izdano 2013
Kazalo: ... Simulations -- A Proof System for Compositional Verification of Probabilistic Concurrent Processes...
Polni tekst
Elektronski eKnjiga
19
Izdano 2008
Kazalo: ...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...
Polni tekst
Elektronski eKnjiga
20
Izdano 2008
Kazalo: ... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...
Polni tekst
Elektronski eKnjiga