Sciweavers

2800 search results - page 247 / 560
» Fibrational Control Structures
Sort
View
MICCAI
2010
Springer
15 years 2 months ago
Estimating Local Surface Complexity Maps Using Spherical Harmonic Reconstructions
Abstract. Cortical surface complexity is a potential structural marker for certain diseases such as schizophrenia. In this study, we developed a measure of fractal dimension (FD) c...
Rachel Aine Yotter, Paul M. Thompson, Igor Nenadic...
ICWL
2010
Springer
15 years 2 months ago
Gap Detection in Web-Based Adaptive Educational Systems
Content development for adaptive educational systems is known to be an error-prone task. Gaps can occur when the content is created, modified or when the context of its usage chang...
Dominik Jednoralski, Erica Melis, Sergey A. Sosnov...
FROCOS
2011
Springer
14 years 4 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...
IC3
2009
15 years 2 months ago
IDChase: Mitigating Identifier Migration Trap in Biological Databases
A convenient mechanism to refer to large biological objects such as sequences, structures and networks is the use of identifiers or handles, commonly called IDs. IDs function as a ...
Anupam Bhattacharjee, Aminul Islam, Hasan M. Jamil...
BC
2010
163views more  BC 2010»
15 years 1 months ago
Action and behavior: a free-energy formulation
We have previously tried to explain perceptual inference and learning under a free-energy principle that pursues Helmholtz's agenda to understand the brain in terms of energy ...
Karl J. Friston, Jean Daunizeau, James Kilner, Ste...