1
Gepubliceerd in 2010
Inhoudsopgave: ... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2014
Inhoudsopgave: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Volledige tekst
Elektronisch E-boek
3
Inhoudsopgave: ... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2013
Inhoudsopgave: ... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2014
Inhoudsopgave: ...-Driven Methods be Meshed in Practice? -- Contracting in Agile Software Projects: State of Art and How...
Volledige tekst
Elektronisch E-boek
6
7
door König, Hartmut., König, Hartmut.
Gepubliceerd in 2012
Inhoudsopgave: .... 3 - Layers.- Chap. 4 - Layered Architectures -- Chap. 5 - Protocol Functions -- Chap. 6 - Case Study...
Volledige tekst
Elektronisch E-boek
8
Inhoudsopgave: ... Modeling Strategies -- Describing, Resampling, Validating and Simplifying the Model -- R Software...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2005
Inhoudsopgave: ... Problems -- Optimum Follow the Leader Algorithm -- The Cross Validation Problem -- Compute Inclusion Depth...
Volledige tekst
Elektronisch E-boek
10
door Spear, Chris., Spear, Chris.
Gepubliceerd in 2008
Inhoudsopgave: ... and Pure Virtual Methods -- 8.7 Callbacks -- 8.8 Parameterized Classes -- 8.9 Conclusion -- 9. Functional...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2007
Inhoudsopgave: ... and Implementation of Functional Components in Federated ERP-Systems -- SEEMP: Meaningful Service-Based Collaboration...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2007
Inhoudsopgave: ... Validation by HOV3 -- Short Papers -- Flexible Grid-Based Clustering -- Polyp Detection in Endoscopic Video...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2007
Inhoudsopgave: ... for Empirical Validation -- Techniques for Empirical Validation -- Status of Empirical Research in Software...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2007
Inhoudsopgave: ...Sequence Analysis -- Automated Methods of Predicting the Function of Biological Sequences Using GO...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2007
Inhoudsopgave: ... for Principal Axes Methods? -- PCR and PLS for Clusterwise Regression on Functional Data -- A New Method...
Volledige tekst
Elektronisch E-boek
16
door Abe, Shigeo., Abe, Shigeo.
Gepubliceerd in 2010
Inhoudsopgave: ... Vector Machines -- Training Methods -- Kernel-Based Methods Kernel@Kernel-based method -- Feature...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2005
Inhoudsopgave: ... Problems -- A New Hybrid NM Method and Particle Swarm Algorithm for Multimodal Function Optimization...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2010
Inhoudsopgave: ... Tomography Data and 2D Fundus Images -- A Computational White Matter Atlas for Aging with Surface-Based...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2010
Inhoudsopgave: ... of Functional Form in Multiple Regression Using R -- Fitting Multinomial Models in R: A Program Based on Bock#x...
Volledige tekst
Elektronisch E-boek
20
door Ismail, Haqi Khalid
Gepubliceerd in 2021
... of cryptographic methods that usually have high computation complexity. In addition, the communication between each...
Volledige tekst
Thesis