Search for dissertations about: "automaton"
Showing result 1 - 5 of 31 swedish dissertations containing the word automaton.
-
1. Analysis, synthesis and application of automaton-based constraint descriptions
Abstract : Constraint programming (CP) is a technology in which a combinatorial problem is modelled as a conjunction of constraints on variables ranging over given initial domains, and optionally an objective function on the variables. Such a model is given to a general-purpose solver performing systematic search to find constraint-satisfying domain values for the variables, giving an optimal value to the objective function. READ MORE
-
2. Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local Search
Abstract : This thesis focuses on constraints for membership in formal languages under both the systematic search and stochastic local search approaches to constraint programming (CP). Such constraints are very useful in CP for the following three reasons: They provide a powerful tool for user-level extensibility of CP languages. READ MORE
-
3. Time-Based Reconstruction of Hyperons at PANDA at FAIR
Abstract : The PANDA (anti-Proton ANnihilation at DArmstadt) experiment at the future FAIR (Facility for Anti-proton and Ion Research) offers unique possibilities for performing hyperon physics.The almost full 4π coverage of the detector will enable the reconstruction of both hyperon and antihyperon which will be created together in proton-antiproton collisions. READ MORE
-
4. A study of airborne wear particles from automotive disc brakes
Abstract : During braking, both the disc and pads in disc brakes are worn. Since disc brakes are not sealed,some of the wear particles generated can become airborne. READ MORE
-
5. Impartial Games and Recursive Functions
Abstract : Interest in 2-player impartial games often concerns the famous theory of Sprague-Grundy. In this thesis we study other aspects, bridging some gaps between combinatorial number theory, computer science and combinatorial games. READ MORE