Search for dissertations about: "reformulation"

Showing result 1 - 5 of 35 swedish dissertations containing the word reformulation.

2. 1. Function Variables for Constraint Programming

   Author : Brahim Hnich; Edward Tsang; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Constraint saisfaction; constraint programming; high-level modelling; abstraction; reformulation; function variables.; Datalogi; Computer science; Datalogi; Computer Science; data- och systemvetenskap;

   Abstract : Quite often modelers with constraint programming (CP) use the same modelling patterns for different problems, possibly from different domains. This results in recurring idioms in constraint programs. Our approach can be seen as a three-step approach. First, we identify some of these recurring patterns in constraint programs. READ MORE

4. 2. Higher-Order Regularization in Computer Vision

   Author : Johannes Ulén; Matematik LTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer Vision; Regularization; Segmentation; Dense Stereo;

   Abstract : At the core of many computer vision models lies the minimization of an objective function consisting of a sum of functions with few arguments. The order of the objective function is defined as the highest number of arguments of any summand. READ MORE

5. 3. Hidden Markov models - Traffic modeling and subspace methods

   Author : Sofia Andersson; Matematisk statistik; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; programming; actuarial mathematics; Statistik; operationsanalys; Statistics; operations research; subspace identification; state space representation; likelihood estimation; Poissonification; traffic analysis; hidden Markov model; Markov-modulated Poisson process; programmering; aktuariematematik;

   Abstract : The main motivation for this thesis, however not the only one, is the search for models for traffic in telecommunication networks. Traffic characterization and modeling are of great importance in the analysis and dimensioning of communication systems. During the last decades we have experienced an explosive growth of our telecommunication networks. READ MORE

6. 4. Autoionizing states and their relevance in electron-ion recombination

   Author : Dragan Nikolić; Eva Lindroth; Gleb Gribakin; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Electron-ion recombination; Autoionization; Electron correlation calculations; Doubly excited states; Relativistic many-body perturbation theory; Coupled-cluster methodology; Intruder state problem; Physics; Fysik;

   Abstract : Atomic physics plays an important role in determining the evolution stages in a wide range of laboratory and cosmic plasmas. Therefore, the main contribution to our ability to model, infer and control plasma sources is the knowledge of underlying atomic processes. READ MORE

7. 5. New Approaches to Large-Scale Electronic Structure Calculations

   Author : Francesco Aquilante; Beräkningskemi; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Theoretical chemistry; orbital localization; electron correlation; analytic gradients; Cholesky decomposition; density fitting; quantum chemistry; Teoretisk kemi; kvantkemi;

   Abstract : Recent years have witnessed a growing interest of the scientific community for the use of ab initio and density functional theory methods in theoretical studies of molecules containing many atoms. However, the `scaling wall' of some of the most accurate of such methods is often an obstacle for their applicability to systems of real-life interest, e. READ MORE