Advanced search

Showing result 1 - 5 of 2350 swedish dissertations matching the above criteria.

2. 1. ProGram : a grammar-based method for specification and hardware synthesis of communication protocols

   Author : Johnny Öberg; KTH; []
   Keywords : ;

   Abstract : .... READ MORE

4. 2. Program Matters : From Drawing to Code

   Author : Pablo Miranda Carranza; Katja Grillner; Daniel Koch; Charlie Gulström Hughes; Molly Wright Steenson; KTH; []
   Keywords : HUMANIORA; HUMANITIES; program; algorithm; code; drawing; geometry; notation; score; literacy; writing systems; diagram; formalism; sequence; cybernetics; materiality; research programme; archeological; archive; discourse analysis; practice-based; artefact; bricolage; Architecture; Arkitektur;

   Abstract : Whether on paper, on site or mediating between both, means for reading and writing geometry have been central to architecture: the use of compasses and rulers, strings, pins, stakes or plumb-lines enabled the analysis and reproduction of congruent figures on different surfaces since antiquity, and from the renaissance onwards, the consistent planar representation of three-dimensional shapes by means of projective geometry. Tacitly through practice, or explicitly encoded in classical geometry, the operational syntaxes of drawing instruments, real or imaginary, have determined the geometric literacies regulating the production and instruction of architecture. READ MORE

5. 3. Definitional program separation

   Author : Göran Falkman; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; definitional programming; algorithmic form; algorithmic content; higher order programming; definitions; program separation;

   Abstract : .... READ MORE

6. 4. Deductive Program Analysis with First-Order Theorem Provers

   Author : Simon Robillard; Chalmers tekniska högskola; []
   Keywords : HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automated theorem proving; Program semantics; Program Verification; Program analysis; Automated reasoning; First-order logic;

   Abstract : Software is ubiquitous in nearly all aspects of human life, including safety-critical activities. It is therefore crucial to analyze programs and provide strong guarantees that they perform as expected. READ MORE

7. 5. Bringing predictability into a geometallurgical program : An iron ore case study

   Author : Viktor Lishchuk; Bertil Pålsson; Cecilia Lund; Pertti Lamberg; Jennifer Broadhurst; Luleå tekniska universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Additivity; Apatite iron ore; AIO; Block model; Change of support; Classification; Data integration; DT; Feed quality; Geometallurgical program; Geometallurgy; Iron ore; Iron recovery; Leveäniemi; Liberation; Machine learning; Magnetic separation; Malmberget; Mineralogical approach; Mineralogy; Prediction; Proxies; Proxies approach; Sampling; Simulation; Synthetic ore body; Traditional approach; WLIMS; Mineral Processing; Mineralteknik;

   Abstract : The risks of starting, operating and closing mining projects have become higher than ever. In order to stay ahead of the competition, mining companies have to manage various risks: technical, environmental, legal, regulatory, political, cyber, financial and social. Some of these can be mitigated with the help of geometallurgy. READ MORE