Sciweavers

4346 search results - page 100 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
129
Voted
CIE
2008
Springer
15 years 5 months ago
Many Facets of Complexity in Logic
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...
Antonina Kolokolova
ICTAI
2007
IEEE
15 years 9 months ago
Knowledge Based Mechanisms for Tutoring Systems in Science and Engineering
In science and engineering courses, students are often presented a situation for which they are asked to identify the relevant principles and to instantiate them as a set of equat...
Chun Wai Liew, Joel A. Shapiro, Donald E. Smith
270
Voted
ECAI
2010
Springer
15 years 4 months ago
Bayesian Monte Carlo for the Global Optimization of Expensive Functions
In the last decades enormous advances have been made possible for modelling complex (physical) systems by mathematical equations and computer algorithms. To deal with very long run...
Perry Groot, Adriana Birlutiu, Tom Heskes
126
Voted
CONCURRENCY
2008
102views more  CONCURRENCY 2008»
15 years 3 months ago
Dynamic data replication in LCG 2008
To provide performant access to data from high energy physics experiments such as the Large Hadron Collider (LHC), controlled replication of files among grid sites is required. Dy...
Caitriana Nicholson, David G. Cameron, A. T. Doyle...
144
Voted
ACTAC
2006
94views more  ACTAC 2006»
15 years 3 months ago
MedEdit: A Computer Assisted Image Processing and Navigation System for Orthopedic Trauma Surgery
The surgery of fractured bones is often a very complex problem. That is the reason why it would be beneficial to create a geometric and mechanic model of the bones before surgical...
Krisztián Ollé, Balázs Erd&ou...