Sökning: "Per Kreuger"

Visar resultat 1 - 5 av 6 avhandlingar innehållade orden Per Kreuger.

1. 1. Computational Issues in Calculi of Partial Inductive Definitions

   Författare :Per Kreuger; RISE; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theory of computation; algorithms; logic; proof-theory; partial inductive defi-nitions; definitional reflection; disunification; closure; completion; negation; constructive negation; quantification; logic programming; meta programming; quantification; skolemization; self-reference; program semantics; declarative control; proof-search; theorem-proving.;

   Sammanfattning : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. LÄS MER

3. 2. GCLA II : a definitional approach to control

   Författare :Per Kreuger; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : .... LÄS MER

4. 3. Lagrangian CFD Modeling of Impinging Diesel Sprays for DI HCCI

   Författare :Per Strålin; Hans-Erik Ångström; Christian Kreuger; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; HCCI; Diesel; early direct-injection; impinging nozzle; CFD; Lagrangian modeling; collision models; O’Rourke; Engineering mechanics; Teknisk mekanik;

   Sammanfattning : The homogeneous charge compression ignition (HCCI) concept has been acknowledged as a potential combustion concept for engines, due to low NOx and soot emissions and high efficiency, especially at part-load. Early direct-injection (DI) during the compression stroke is an option when Diesel fuel is used in HCCI. LÄS MER

5. 4. A Study of Combinatorial Optimization Problems in Industrial Computer Systems

   Författare :Markus Bohlin; Björn Lisper; Per Kreuger; Mikael Sjödin; Petru Eles; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi; Computer Science; datavetenskap;

   Sammanfattning : A combinatorial optimization problem is an optimization problem where the number of possible solutions are finite and grow combinatorially with the problem size. Combinatorial problems exist everywhere in industrial systems. LÄS MER

7. 5. The potential of industrial hemp (Cannabis sativa L.) for biogas production

   Författare :Emma Kreuger; Bioteknik; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; biogas; anaerobic digestion; bioenergy; Cannabis sativa L.; hemp; energy crops; biofuel; methane; transportation fuel; renewable energy;

   Sammanfattning : Biofuels are currently produced from agricultural crops, and an increasing use of crops for this application is expected in the EU in the years to come. The dominating crops cultivated in the EU for biofuel production today have a relatively large environmental impact. LÄS MER