@inproceedings{2711,
abstract = {We study the long time evolution of a quantum particle in a Gaussian random environment. We show that in the weak coupling limit the Wigner distribution of the wave function converges to the solution of a linear Boltzmann equation globally in time. The Boltzmann collision kernel is given by the Born approximation of the quantum scattering cross section.},
author = {László Erdös},
pages = {233 -- 242},
publisher = {World Scientific Publishing},
title = {{Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation}},
doi = {10.1007/978-3-0348-8745-8_20},
volume = {108},
year = {1999},
}
@article{2730,
author = {László Erdös and Solovej, Jan P},
journal = {Duke Mathematical Journal},
number = {1},
pages = {127 -- 173},
publisher = {Duke University Press},
title = {{Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate}},
doi = {10.1215/S0012-7094-99-09604-7},
volume = {96},
year = {1999},
}
@article{2783,
abstract = {Pattern formation in a layer of fluid heated from below is an example of macroscopic ordering in continuous media. Here we show that in a relatively compact experimental version of the problem, a rich and diverse set of stable flows can be found. These flows, many of which are novel, can be categorized and understood in terms of their symmetry properties. This approach shows promise for providing insight into the more complicated fluid motion that occurs as the lateral dimension of the layer is increased.},
author = {Björn Hof and Lucas, Peter G and Mullin, Tom P},
journal = {Physics of Fluids},
number = {10},
pages = {2815 -- 2817},
publisher = {American Institute of Physics},
title = {{Flow state multiplicity in convection}},
doi = {10.1063/1.870178 },
volume = {11},
year = {1999},
}
@article{2864,
abstract = {Using an electrospray tandem mass spectrometer as a concentration-sensitive detector, a method has been developed to quantify femtomole amounts of plant growth regulators (i.e. isoprenoid type cytokinins, zeatin, dihydrozeatin, isopentenyladenine and their respective riboside and glucoside analogues) and the second messenger adenosine 3':5'-cyclic monophosphate (3':5'-cAMP). Miniaturisation of the chromatographic setup using capillary high performance liquid chromatographic (HPLC) ion spray mass spectrometry increased the sensitivity to the low femtomole region. Application of automated capillary column switching allowed the introduction of large injection volumes into the HPLC system. Aliquots (25 μL) were injected into one dimension of the HPLC set-up and stacked onto a micro pre-column. By means of mobile phase switching the pre-column was back-flushed to introduce the analytes onto the analytical column. For cytokinin analysis positive electrospray ionisation was used and resulted in 2.5-25 fmol detection limits. Cyclic nucleotides were separated under ion-pair conditions using tetrabutyl ammonium bromide as ion-pair reagent and were detected under negative electrospray ionisation conditions. Here a 25 fmol detection limit was determined. Following this approach, cytokinins and 3':5'-cAMP extracted from only mg amounts of apical shoot meristem and chloroplasts obtained from Nicotiana tabacum cv. Petit Havana SR1 were identified and quantified.},
author = {Witters, Erwin and Vanhoutte, Koen and Dewitte, Walter and Macháčková, Ivana and Eva Benková and Van Dongen, Walter and Esmans, Eddy L and Van Onckelen, Henri A},
journal = {Phytochemical Analysis},
number = {3},
pages = {143 -- 151},
publisher = {Wiley-Blackwell},
title = {{Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry}},
doi = {10.1002/(SICI)1099-1565(199905/06)10:3<143::AID-PCA441>3.0.CO;2-G},
volume = {10},
year = {1999},
}
@article{2865,
abstract = {Although cytokinins (CKs) affect a number of processes connected with chloroplasts, it has never been rigorously proven that chloroplasts contain CKs. We isolated intact chloroplasts from tobacco (Nicotiana tabacum L. cv SR1) and wheat (Triticum aestivum L. cv Ritmo) leaves and determined their CKs by liquid chromatography/tandem mass spectroscopy. Chloroplasts from both species contained a whole spectrum of CKs, including free bases (zeatin and isopentenyladenine), ribosides (zeatin riboside, and isopentenyladenosine), ribotides (isopentenyladenosine-5′-monophosphate, zeatin riboside-5′-monophosphate, and dihydrozeatin riboside-5′-monophosphate), and N-glucosides (zeatin-N 9-glucoside, dihydrozeatin-N 9-glucoside, zeatin-N 7-glucoside, and isopentenyladenine-N-glucosides). In chloroplasts there was a moderately higher relative amount of bases, ribosides, and ribotides than in leaves, and a significantly increased level ofN 9-glucosides of zeatin and dihydrozeatin. Tobacco and wheat chloroplasts were prepared from leaves at the end of either a dark or light period. After a dark period, chloroplasts accumulated more CKs than after a light period. The differences were moderate for free bases and ribosides, but highly significant for glucosides. Tobacco chloroplasts from dark-treated leaves contained zeatin riboside-O-glucoside and dihydrozeatin riboside-O-glucoside, as well as a relatively high CK oxidase activity. These data show that chloroplasts contain a whole spectrum of CKs and the enzymatic activity necessary for their metabolism. },
author = {Eva Benková and Witters, Erwin and Van Dongen, Walter and Kolář, Jan and Motyka, Václav and Brzobohatý, Břetislav and Van Onckelen, Henri A and Macháčková, Ivana},
journal = {Plant Physiology},
number = {1},
pages = {245 -- 251},
publisher = {American Society of Plant Biologists},
title = {{Cytokinins in tobacco and wheat chloroplasts. Occurrence and changes due to light/dark treatment}},
doi = {10.1104/pp.121.1.245},
volume = {121},
year = {1999},
}
@article{8526,
author = {Kaloshin, Vadim},
issn = {0003-486X},
journal = {The Annals of Mathematics},
keywords = {Statistics, Probability and Uncertainty, Statistics and Probability},
number = {2},
pages = {729--741},
publisher = {JSTOR},
title = {{An extension of the Artin-Mazur theorem}},
doi = {10.2307/121093},
volume = {150},
year = {1999},
}
@article{883,
abstract = {Sympatric speciation, the origin of two or more species from a single local population, has almost certainly been involved in formation of several species flocks, and may be fairly common in nature. The most straightforward scenario for sympatric speciation requires disruptive selection favouring two substantially different phenotypes, and consists of the evolution of reproductive isolation between them followed by the elimination of all intermediate phenotypes. Here we use the hypergeometric phenotypic model to show that sympatric speciation is possible even when fitness and mate choice depend on different quantitative traits, so that speciation must involve formation of covariance between these traits. The increase in the number of variable loci affecting fitness facilitates sympatric speciation, whereas the increase in the number of variable loci affecting mate choice has the opposite effect. These predictions may enable more cases of sympatric speciation to be identified.},
author = {Kondrashov, Alexey S and Fyodor Kondrashov},
journal = {Nature},
number = {6742},
pages = {351 -- 354},
publisher = {Nature Publishing Group},
title = {{Interactions among quantitative traits in the course of sympatric speciation}},
doi = {10.1038/22514},
volume = {400},
year = {1999},
}
@inproceedings{4601,
abstract = {Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that are generated by system moves; branching-time temporal logic allows explicit existential and universal quantification over all paths. We introduce a third, more general variety of temporal logic: alternating-time temporal logic offers selective quantification over those paths that are possible outcomes of games, such as the game in which the system and the environment alternate moves. While linear-time and branching-time logics are natural specification languages for closed systems, alternating-time logics are natural specification languages for open systems. For example, by preceding the temporal operator “eventually” with a selective path quantifier, we can specify that in the game between the system and the environment, the system has a strategy to reach a certain state. Also the problems of receptiveness, realizability, and controllability can be formulated as model-checking problems for alternating-time formulas.
Depending on whether we admit arbitrary nesting of selective path quantifiers and temporal operators, we obtain the two alternating-time temporal logics ATL and ATL. We interpret the formulas of ATL and ATL over alternating transition systems. While in ordinary transition systems, each transition corresponds to a possible step of the system, in alternating transition systems, each transition corresponds to a possible move in the game between the system and the environment. Fair alternating transition systems can capture both synchronous and asynchronous compositions of open systems. For synchronous systems, the expressive power of ATL beyond CTL comes at no cost: the model-checking complexity of synchronous ATL is linear in the size of the system and the length of the formula. The symbolic model-checking algorithm for CTL extends with few modifications to synchronous ATL, and with some work, also to asynchronous ATL, whose model-checking complexity is quadratic. This makes ATL an obvious candidate for the automatic verification of open systems. In the case of ATL, the model-checking problem is closely related to the synthesis problem for linear-time formulas, and requires doubly exponential time for both synchronous and asynchronous systems.
A preliminary version of this paper appeared in the Proceedings of the 38th IEEE Symposium on Foundations of Computer Science (FOCS 1997), pp. 100–109.},
author = {Alur, Rajeev and Thomas Henzinger and Kupferman, Orna},
pages = {23 -- 60},
publisher = {Springer},
title = {{Alternating-time temporal logic}},
doi = {10.1007/3-540-49213-5_2},
volume = {1536},
year = {1999},
}
@inproceedings{4602,
abstract = {Modular techniques for automatic verification attempt to overcome the state-explosion problem by exploiting the modular structure naturally present in many system designs. Unlike other tasks in the verification of finite-state systems, current modular techniques rely heavily on user guidance. In particular, the user is typically required to construct module abstractions that are neither too detailed as to render insufficient benefits in state exploration, nor too coarse as to invalidate the desired systemproperties. In this paper, we construct abstractmodules automatically, using reachability and controllability information about the concrete modules. This allows us to leverage automatic verification techniques by applying them in layers: first we compute on the state spaces of system components, then we use the results for constructing abstractions, and finally we compute on the abstract state space of the system. Our experimental results indicate that if reachability and controllability information is used in the construction of abstractions, the resulting abstract modules are often significantly smaller than the concrete modules and can drastically reduce the space and time requirements for verification.},
author = {Alur, Rajeev and de Alfaro, Luca and Thomas Henzinger and Mang, Freddy Y},
pages = {82 -- 97},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
title = {{Automating modular verification}},
doi = {10.1007/3-540-48320-9_8},
volume = {1664},
year = {1999},
}
@article{4014,
abstract = {A new paradigm for designing smooth surfaces is described. A finite set of points with weights specifies a closed surface in space referred to as skin. It consists of one or more components, each tangent continuous and free of self-intersections and intersections with other components. The skin varies continuously with the weights and locations of the points, and the variation includes the possibility of a topology change facilitated by the violation of tangent continuity at a single point in space and time. Applications of the skin to molecular modeling and to geometric deformation are discussed.},
author = {Herbert Edelsbrunner},
journal = {Discrete & Computational Geometry},
number = {1},
pages = {87 -- 115},
publisher = {Springer},
title = {{Deformable smooth surface design}},
doi = {10.1007/PL00009412},
volume = {21},
year = {1999},
}