Results 1 - 10
of
29,316
A Desingularization of the Main Component of . . .
, 2008
"... We construct a desingularization of the “main component” M 0 1,k (Pn, d) of the moduli space M1,k(Pn, d) of genus-one stable maps into the complex projective space Pn. As a bonus, we obtain desingularizations of certain natural sheaves over M 0 1,k (Pn, d). Such desingularizations are useful for int ..."
Abstract
- Add to MetaCart
We construct a desingularization of the “main component” M 0 1,k (Pn, d) of the moduli space M1,k(Pn, d) of genus-one stable maps into the complex projective space Pn. As a bonus, we obtain desingularizations of certain natural sheaves over M 0 1,k (Pn, d). Such desingularizations are useful
MAIN COMPONENTS OF THE CNGS
"... In the CNGS (Cern Neutrino to Gran Sasso) installa-tion two magnetic lenses, namely the horn and the reflec-tor, focus the secondary beam generated in the target sta-tion. The gap between the horn and reflector is chosen to optimize a wide-band high-energy muon-neutrino beam. These two focusing elem ..."
Abstract
- Add to MetaCart
In the CNGS (Cern Neutrino to Gran Sasso) installa-tion two magnetic lenses, namely the horn and the reflec-tor, focus the secondary beam generated in the target sta-tion. The gap between the horn and reflector is chosen to optimize a wide-band high-energy muon-neutrino beam. These two focusing elements are two coaxial lenses: the outer conductor has a cylindrical shape whereas the inner conductor consists of a sequence of conical shapes to opti-mize the focusing capacity. The evaluation of the heat load on the support structures is crucial since modifications in the elements around the horn and reflector are under way and the support structures can be adapted to the heat load found. Furthermore, the heat load in the whole horn area has been evaluated to optimize the cooling-ventilation sys-tem. The energy deposited on the horn and reflector as well as on their adjacent elements has been estimated using the FLUKA Monte Carlo package and results are presented in this paper. The FLUKA geometry input of the horn and re-flector electrical connections has been notably improved in order to accommodate the detailed striplines design to the thermal expansion.
The main component of the toric Hilbert scheme
- Tohoku Math. J
"... Let X be an affine toric variety under a torus T and let T be a subtorus. The generic T-orbit closures in X and their flat limits are parametrized by the main component H0 of the toric Hilbert scheme (whose existence follows from work of Haiman and Sturmfels). Further, the quotient torus T/T acts on ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
Let X be an affine toric variety under a torus T and let T be a subtorus. The generic T-orbit closures in X and their flat limits are parametrized by the main component H0 of the toric Hilbert scheme (whose existence follows from work of Haiman and Sturmfels). Further, the quotient torus T/T acts
WHAT IS SOIL? Main Components of Soil
"... Soil is a highly variable medium. There are four main ingredients (fractions) that are consistent with all types of soil: minerals, organic matter, water and air. These four fractions fall into two categories: solid (minerals and organic matter) and non-solid (water and air) (Fig. 1). The solid sect ..."
Abstract
- Add to MetaCart
Soil is a highly variable medium. There are four main ingredients (fractions) that are consistent with all types of soil: minerals, organic matter, water and air. These four fractions fall into two categories: solid (minerals and organic matter) and non-solid (water and air) (Fig. 1). The solid
Evolutionary Computing
, 2005
"... Evolutionary computing (EC) is an exciting development in Computer Science. It amounts to building, applying and studying algorithms based on the Darwinian principles of natural selection. In this paper we briefly introduce the main concepts behind evolutionary computing. We present the main compone ..."
Abstract
-
Cited by 624 (35 self)
- Add to MetaCart
Evolutionary computing (EC) is an exciting development in Computer Science. It amounts to building, applying and studying algorithms based on the Darwinian principles of natural selection. In this paper we briefly introduce the main concepts behind evolutionary computing. We present the main
EEGLAB: an open source toolbox for analysis of single-trial EEG dynamics including independent component analysis
- J. Neurosci. Methods
"... Abstract: We have developed a toolbox and graphic user interface, EEGLAB, running under the cross-platform MATLAB environment (The Mathworks, Inc.) for processing collections of single-trial and/or averaged EEG data of any number of channels. Available functions include EEG data, channel and event i ..."
Abstract
-
Cited by 886 (45 self)
- Add to MetaCart
information importing, data visualization (scrolling, scalp map and dipole model plotting, plus multi-trial ERP-image plots), preprocessing (including artifact rejection, filtering, epoch selection, and averaging), Independent Component Analysis (ICA) and time/frequency decompositions including channel
TABU SEARCH
"... Tabu Search is a metaheuristic that guides a local heuristic search procedure to explore the solution space beyond local optimality. One of the main components of tabu search is its use of adaptive memory, which creates a more flexible search behavior. Memory based strategies are therefore the hallm ..."
Abstract
-
Cited by 822 (48 self)
- Add to MetaCart
Tabu Search is a metaheuristic that guides a local heuristic search procedure to explore the solution space beyond local optimality. One of the main components of tabu search is its use of adaptive memory, which creates a more flexible search behavior. Memory based strategies are therefore
Compositional Model Checking
, 1999
"... We describe a method for reducing the complexity of temporal logic model checking in systems composed of many parallel processes. The goal is to check properties of the components of a system and then deduce global properties from these local properties. The main difficulty with this type of approac ..."
Abstract
-
Cited by 3252 (70 self)
- Add to MetaCart
We describe a method for reducing the complexity of temporal logic model checking in systems composed of many parallel processes. The goal is to check properties of the components of a system and then deduce global properties from these local properties. The main difficulty with this type
Results 1 - 10
of
29,316