Sökning: "program"

Visar resultat 1 - 5 av 2652 avhandlingar innehållade ordet program.

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

    Författare :Johnny Öberg; KTH; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  3. 2. Program Matters : From Drawing to Code

    Författare :Pablo Miranda Carranza; Katja Grillner; Daniel Koch; Charlie Gulström Hughes; Molly Wright Steenson; KTH; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  4. 3. Definitional program separation

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

    Sammanfattning : .... LÄS MER

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

    Författare :Simon Robillard; Chalmers tekniska högskola; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

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

    Författare :Viktor Lishchuk; Bertil Pålsson; Cecilia Lund; Pertti Lamberg; Jennifer Broadhurst; Luleå tekniska universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER