1
Published 2010
Table of Contents: ... Models and Compositional Models -- Bayesian Networks vs. Evidential Networks: An Application to Convoy...
View full text
Electronic eBook
2
by Lee, Jesee Kar Ming
Published 2022
... conditions and the powder properties. The complexity of the both factors reduce white-box modelling accuracy...
View full text
Thesis
3
by Lee, Jesee Kar Ming
Published 2022
... conditions and the powder properties. The complexity of the both factors reduce white-box modelling accuracy...
View full text
Thesis
4
Published 2008
Table of Contents: ... Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Service Systems -- A Knowledge-Based Model Representation and On-Line Solution Method for Dynamic Vehicle...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... -- Autonomous Units and Their Semantics — The Sequential Case -- Software Engineering Methods and Tools...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... Method of Ranking for Intuitionistic Fuzzy Numbers -- Solution of Multi Objective Linear Programming...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Composition: An Ontology-Based Approach -- Multi-agent and Workflow-Based Web Service Management Model...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... -- Computer Aided Diagnostic Methods to Forecast Condition-based Maintenance Tasks -- On Numerical Approach...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Composition -- Operational Semantics of Framed Temporal Logic Programs -- Constraints for Argument Filterings...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... and Their Relations with Alignment Composition -- Semantics and Complexity of SPARQL -- Ontology-Driven Automatic...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
View full text
Electronic eBook