Sciweavers

1349 search results - page 174 / 270
» Towards a theory of events
Sort
View
JCC
2007
90views more  JCC 2007»
13 years 10 months ago
Aromaticity in linear polyacenes: Generalized population analysis and molecular quantum similarity approach
Abstract: The relative aromaticity of benzenoid rings in the linear polyacenes is investigated using two novel aromaticity approaches. According to the first, the aromaticity of i...
Patrick Bultinck, Robert Ponec, Ramon Carbó...
APIN
2004
87views more  APIN 2004»
13 years 10 months ago
Supply Estimation Using Coevolutionary Genetic Algorithms in the Spanish Electrical Market
The price of electrical energy in Spain has not been regulated by the government since 1998, but determined by the supply from the generators in a competitive market, the so-called...
Enrique A. de la Cal Marín, Luciano S&aacut...
TCS
1998
13 years 9 months ago
Algebraic Translations, Correctness and Algebraic Compiler Construction
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
Theo M. V. Janssen
ICRA
2010
IEEE
153views Robotics» more  ICRA 2010»
13 years 8 months ago
Communication-based leashing of real flying robots
—— Aerial robots are often required to remain within the communication range of a base station on the ground to exchange commands, sensor data or as a safety mechanism. For this...
Sabine Hauert, Severin Leven, Jean-Christophe Zuff...
LICS
2010
IEEE
13 years 8 months ago
Equality Is Typable in Semi-full Pure Type Systems
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
Vincent Siles, Hugo Herbelin