Search for dissertations about: "Program"
Showing result 1 - 5 of 2350 swedish dissertations containing the word Program.
-
1. ProGram : a grammar-based method for specification and hardware synthesis of communication protocols
Abstract : .... READ MORE
-
2. Program Matters : From Drawing to Code
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
-
3. Definitional program separation
Abstract : .... READ MORE
-
4. Deductive Program Analysis with First-Order Theorem Provers
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
-
5. Bringing predictability into a geometallurgical program : An iron ore case study
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