@inproceedings{Fernando2008,
  author    = {Fernando, Tim},
  title     = {Temporal propositions as regular languages},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27194},
  year      = {2008},
  abstract  = {Temporal propositions are mapped to sets of strings that witness (in a precise sense) the propositions over discrete linear Kripke frames. The strings are collected into regular languages to ensure the decidability of entailments given by inclusions between languages. (Various notions of bounded entailment are shown to be expressible as language inclusions.) The languages unwind computations implicit in the logical (and temporal) connectives via a system of finite-state constraints adapted from finite-state morphology. Applications to Hybrid Logic and non-monotonic inertial reasoning are briefly considered.},
  language  = {en}
}
@inproceedings{OPUS4-1412,
  title     = {The 3rd international IEEE scientific conference on physics and control (PhysCon 2007) : September 3rd-7th 2007 at the University of Potsdam},
  editor    = {Kurths, J{\"u}rgen and Fradkov, Alexander and Chen, Guanrong},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-15228},
  pages     = {345},
  year      = {2007},
  abstract  = {During the last few years there was a tremendous growth of scientific activities in the fields related to both Physics and Control theory: nonlinear dynamics, micro- and nanotechnologies, self-organization and complexity, etc. New horizons were opened and new exciting applications emerged. Experts with different backgrounds starting to work together need more opportunities for information exchange to improve mutual understanding and cooperation. The Conference "Physics and Control 2007" is the third international conference focusing on the borderland between Physics and Control with emphasis on both theory and applications. With its 2007 address at Potsdam, Germany, the conference is located for the first time outside of Russia. The major goal of the Conference is to bring together researchers from different scientific communities and to gain some general and unified perspectives in the studies of controlled systems in physics, engineering, chemistry, biology and other natural sciences. We hope that the Conference helps experts in control theory to get acquainted with new interesting problems, and helps experts in physics and related fields to know more about ideas and tools from the modern control theory.},
  language  = {en}
}
@inproceedings{MassaPrinjaFullerton2007,
  author    = {Massa, D. L. and Prinja, R. K. and Fullerton, A. W.},
  title     = {The effects of clumping on wind line variability},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18095},
  year      = {2007},
  abstract  = {We review the effects of clumping on the profiles of resonance doublets. By allowing the ratio of the doublet oscillator strenghts to be a free parameter, we demonstrate that doublet profiles contain more information than is normally utilized. In clumped (or porous) winds, this ratio can lies between unity and the ratio of the f-values, and can change as a function of velocity and time, depending on the fraction of the stellar disk that is covered by material moving at a particular velocity at a given moment. Using these insights, we present the results of SEI modeling of a sample of B supergiants, ζ Pup and a time series for a star whose terminal velocity is low enough to make the components of its Si VIλλ1400 independent. These results are interpreted within the framewrok of the Oskinova et al. (2007) model, and demonstrate how the doublet profiles can be used to extract infromation about wind structure.},
  language  = {en}
}
@inproceedings{Hirschi2007,
  author    = {Hirschi, Raphael},
  title     = {The impact of reduced mass loss rates on the evolution of massive stars},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17616},
  year      = {2007},
  abstract  = {Mass loss is a very important aspect of the life of massive stars. After briefly reviewing its importance, we discuss the impact of the recently proposed downward revision of mass loss rates due to clumping (difficulty to form Wolf-Rayet stars and production of critically rotating stars). Although a small reduction might be allowed, large reduction factors around ten are disfavoured. We then discuss the possibility of significant mass loss at very low metallicity due to stars reaching break-up velocities and especially due to the metal enrichment of the surface of the star via rotational and convective mixing. This significant mass loss may help the first very massive stars avoid the fate of pair-creation supernova, the chemical signature of which is not observed in extremely metal poor stars. The chemical composition of the very low metallicity winds is very similar to that of the most metal poor star known to date, HE1327-2326 and offer an interesting explanation for the origin of the metals in this star. We also discuss the importance of mass loss in the context of long and soft gamma-ray bursts and pair-creation supernovae. Finally, we would like to stress that mass loss in cooler parts of the HR-diagram (luminous blue variable and yellow and red supergiant stages) are much more uncertain than in the hot part. More work needs to be done in these areas to better constrain the evolution of the most massive stars.},
  language  = {en}
}
@inproceedings{KrtičkaPulsKubat2007,
  author    = {Krtička, Jiri and Puls, Joachim and Kub{\´a}t, Jiř{\´i}},
  title     = {The influence of clumping on predicted O star wind parameters},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17969},
  year      = {2007},
  abstract  = {We study the influence of clumping on the predicted wind structure of O-type stars. For this purpose we artificially include clumping into our stationary wind models. When the clumps are assumed to be optically thin, the radiative line force increases compared to corresponding unclumped models, with a similar effect on either the mass-loss rate or the terminal velocity (depending on the onset of clumping). Optically thick clumps, alternatively, might be able to decrease the radiative force.},
  language  = {en}
}
@inproceedings{NajarroPulsHerreroetal.2007,
  author    = {Najarro, F. and Puls, Joachim and Herrero, A. and Hanson, M. M. and Mart{\´i}n-Pintado, J. and Hillier, D. J.},
  title     = {Tracking the Clumping in OB Stars from UV to radio},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17701},
  year      = {2007},
  abstract  = {We review different line and continua diagnostics from the UV to radio, which can be utilized to simultaneously constrain the clumping structure throughout the stellar wind of massive OB stars.},
  language  = {en}
}
@inproceedings{YliJyrae2008,
  author    = {Yli-Jyr{\"a}, Anssi},
  title     = {Transducers from parallel replace rules and modes with generalized lenient composition},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27246},
  year      = {2008},
  abstract  = {Generalized Two-Level Grammar (GTWOL) provides a new method for compilation of parallel replacement rules into transducers. The current paper identifies the role of generalized lenient composition (GLC) in this method. Thanks to the GLC operation, the compilation method becomes bipartite and easily extendible to capture various application modes. In the light of three notions of obligatoriness, a modification to the compilation method is proposed. We argue that the bipartite design makes implementation of parallel obligatoriness, directionality, length and rank based application modes extremely easy, which is the main result of the paper.},
  language  = {en}
}
@inproceedings{AbdennadherIsmailKhoury2010,
  author    = {Abdennadher, Slim and Ismail, Haythem and Khoury, Frederick},
  title     = {Transforming imperative algorithms to constraint handling rules},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41533},
  year      = {2010},
  abstract  = {Different properties of programs, implemented in Constraint Handling Rules (CHR), have already been investigated. Proving these properties in CHR is fairly simpler than proving them in any type of imperative programming language, which triggered the proposal of a methodology to map imperative programs into equivalent CHR. The equivalence of both programs implies that if a property is satisfied for one, then it is satisfied for the other. The mapping methodology could be put to other beneficial uses. One such use is the automatic generation of global constraints, at an attempt to demonstrate the benefits of having a rule-based implementation for constraint solvers.},
  language  = {en}
}
@inproceedings{DzikovskaCallawayStoneetal.2006,
  author    = {Dzikovska, Myroslava O. and Callaway, Charles B. and Stone, Matthew and Moore, Johanna D.},
  title     = {Understanding student input for tutorial dialogue in procedural domains},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10193},
  year      = {2006},
  abstract  = {We present an analysis of student language input in a corpus of tutoring dialogue in the domain of symbolic differentiation. Our focus on procedural tutoring makes the dialogue comparable to collaborative problem-solving (CPS). Existing CPS models describe the process of negotiating plans and goals, which also fits procedural tutoring. However, we provide a classification of student utterances and corpus annotation which shows that approximately 28\% of non-trivial student language in this corpus is not accounted for by existing models, and addresses other functions, such as evaluating past actions or correcting mistakes. Our analysis can be used as a foundation for improving models of tutoring dialogue.},
  language  = {en}
}
@inproceedings{RomeroOwockiAraudoetal.2007,
  author    = {Romero, G. E. and Owocki, S. P. and Araudo, A. T. and Townsend, R. H. D. and Benaglia, P.},
  title     = {Using gamma-rays to probe the clumped structure of stellar winds},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18210},
  year      = {2007},
  abstract  = {Gamma-rays can be produced by the interaction of a relativistic jet and the matter of the stellar wind in the subclass of massive X-ray binaries known as "microquasars". The relativistic jet is ejected from the surroundings of the compact object and interacts with cold protons from the stellar wind, producing pions that then quickly decay into gamma-rays. Since the resulting gamma-ray emissivity depends on the target density, the detection of rapid variability in microquasars with GLAST and the new generation of Cherenkov imaging arrays could be used to probe the clumped structure of the stellar wind. In particular, we show here that the relative fluctuation in gamma rays may scale with the square root of the ratio of porosity length to binary separation, \$\sqrt{h/a}\$, implying for example a ca. 10\% variation in gamma ray emission for a quite moderate porosity, h/a ∼ 0.01.},
  language  = {en}
}