Results 1  10
of
23,086
Constraint Logic Programming: A Survey
"... Constraint Logic Programming (CLP) is a merger of two declarative paradigms: constraint solving and logic programming. Although a relatively new field, CLP has progressed in several quite different directions. In particular, the early fundamental concepts have been adapted to better serve in differe ..."
Abstract

Cited by 864 (25 self)
 Add to MetaCart
Constraint Logic Programming (CLP) is a merger of two declarative paradigms: constraint solving and logic programming. Although a relatively new field, CLP has progressed in several quite different directions. In particular, the early fundamental concepts have been adapted to better serve in different areas of applications. In this survey of CLP, a primary goal is to give a systematic description of the major trends in terms of common fundamental concepts. The three main parts cover the theory, implementation issues, and programming for applications.
Limma: linear models for microarray data
 Bioinformatics and Computational Biology Solutions using R and Bioconductor
, 2005
"... This free opensource software implements academic research by the authors and coworkers. If you use it, please support the project by citing the appropriate journal articles listed in Section 2.1.Contents ..."
Abstract

Cited by 759 (13 self)
 Add to MetaCart
This free opensource software implements academic research by the authors and coworkers. If you use it, please support the project by citing the appropriate journal articles listed in Section 2.1.Contents
Dual polyhedra and mirror symmetry for Calabi–Yau hypersurfaces in toric varieties
 J. Alg. Geom
, 1994
"... We consider families F(∆) consisting of complex (n − 1)dimensional projective algebraic compactifications of ∆regular affine hypersurfaces Zf defined by Laurent polynomials f with a fixed ndimensional Newton polyhedron ∆ in ndimensional algebraic torus T = (C ∗ ) n. If the family F(∆) defined by ..."
Abstract

Cited by 467 (20 self)
 Add to MetaCart
We consider families F(∆) consisting of complex (n − 1)dimensional projective algebraic compactifications of ∆regular affine hypersurfaces Zf defined by Laurent polynomials f with a fixed ndimensional Newton polyhedron ∆ in ndimensional algebraic torus T = (C ∗ ) n. If the family F(∆) defined
2007 . Phaser crystallographic software
 658 – 674
"... Phaser is a program for phasing macromolecular crystal structures by both molecular replacement and experimental phasing methods. The novel phasing algorithms implemented in Phaser have been developed using maximum likelihood and multivariate statistics. For molecular replacement, the new algorithms ..."
Abstract

Cited by 401 (0 self)
 Add to MetaCart
Phaser is a program for phasing macromolecular crystal structures by both molecular replacement and experimental phasing methods. The novel phasing algorithms implemented in Phaser have been developed using maximum likelihood and multivariate statistics. For molecular replacement, the new algorithms have proved to be significantly better than traditional methods in discriminating correct solutions from noise, and for singlewavelength anomalous dispersion experimental phasing, the new algorithms, which account for correlations between F + and F, give better phases (lower mean phase error with respect to the phases given by the refined structure) than those that use mean F and anomalous differences F. One of the design concepts of Phaser was that it be capable of a high degree of automation. To this end, Phaser (written in C++) can be called directly from Python, although it can also be called using traditional CCP4 keywordstyle input. Phaser is a platform for future development of improved phasing methods and their release, including source code, to the crystallographic community. 1.
Dynamics of Sparsely Connected Networks of Excitatory and Inhibitory Spiking Neurons
, 1999
"... The dynamics of networks of sparsely connected excitatory and inhibitory integrateand re neurons is studied analytically. The analysis reveals a very rich repertoire of states, including: Synchronous states in which neurons re regularly; Asynchronous states with stationary global activity and very ..."
Abstract

Cited by 305 (17 self)
 Add to MetaCart
The dynamics of networks of sparsely connected excitatory and inhibitory integrateand re neurons is studied analytically. The analysis reveals a very rich repertoire of states, including: Synchronous states in which neurons re regularly; Asynchronous states with stationary global activity and very irregular individual cell activity; States in which the global activity oscillates but individual cells re irregularly, typically at rates lower than the global oscillation frequency. The network can switch between these states, provided the external frequency, or the balance between excitation and inhibition, is varied. Two types of network oscillations are observed: In the `fast' oscillatory state, the network frequency is almost fully controlled by the synaptic time scale. In the `slow' oscillatory state, the network frequency depends mostly on the membrane time constant. Finite size eects in the asynchronous state are also discussed.
ElectricMagnetic duality and the geometric Langlands program
, 2006
"... The geometric Langlands program can be described in a natural way by compactifying on a Riemann surface C a twisted version of N = 4 super YangMills theory in four dimensions. The key ingredients are electricmagnetic duality of gauge theory, mirror symmetry of sigmamodels, branes, Wilson and ’t H ..."
Abstract

Cited by 300 (26 self)
 Add to MetaCart
The geometric Langlands program can be described in a natural way by compactifying on a Riemann surface C a twisted version of N = 4 super YangMills theory in four dimensions. The key ingredients are electricmagnetic duality of gauge theory, mirror symmetry of sigmamodels, branes, Wilson and ’t Hooft operators, and topological field theory. Seemingly esoteric notions of the geometric Langlands program, such as Hecke
Précis of "The number sense"
"... Number sense " is a shorthand for our ability to quickly understand, approximate, and manipulate numerical quantities. My hypothesis is that number sense rests on cerebral circuits that have evolved specifically for the purpose of representing basic arithmetic knowledge. Four lines of evidence ..."
Abstract

Cited by 290 (25 self)
 Add to MetaCart
Number sense " is a shorthand for our ability to quickly understand, approximate, and manipulate numerical quantities. My hypothesis is that number sense rests on cerebral circuits that have evolved specifically for the purpose of representing basic arithmetic knowledge. Four lines of evidence suggesting that number sense constitutes a domainspecific, biologicallydetermined ability are reviewed: the presence of evolutionary precursors of arithmetic in animals; the early emergence of arithmetic competence in infants independently of other abilities, including language; the existence of a homology between the animal, infant, and human adult abilities for number processing ; and the existence of a dedicated cerebral substrate. In adults of all cultures, lesions to the inferior parietal region can specifically impair number sense while leaving the knowledge of other cognitive domains intact. Furthermore, this region is demonstrably activated during number processing. I postulate that higherlevel cultural developments in arithmetic emerge through the establishment of linkages between this core analogical representation (the " number line ") and other verbal and visual representations of number notations. The neural and cognitive organization of those representations can explain why some mathematical concepts are intuitive, while others are so difficult to grasp. Thus, the ultimate foundations of mathematics rests on core representations that have been internalized in our brains through evolution.
Three Parietal Circuits for Number Processing
 Cognitive Neuropsychology
, 2003
"... Did evolution endow the human brain with a predisposition to represent and acquire knowledge about numbers? Although the parietal lobe... ..."
Abstract

Cited by 289 (22 self)
 Add to MetaCart
Did evolution endow the human brain with a predisposition to represent and acquire knowledge about numbers? Although the parietal lobe...
Video Camera Calibration
, 1996
"... The sensors used in the muon barrel position monitor are video cameras. A critical point in the design of this monitor is the geometrical calibration of the camera. The goal of a camera calibration is to locate the camera elements (sensor + lens) in space in order to use it later for geometrical mea ..."
Abstract
 Add to MetaCart
is critical. This note finishes with a simulation of the calibration after correcting the source problem and after improvement of the survey precision. Video camera calibration. Laurent Brunel April 1996 2 Table of contents INTRODUCTION 4 1. SETUP 5 1.1 The laboratory 5 1.2 The mechanics 6 1.3 The optics 6
Results 1  10
of
23,086