Sökning: "Program"
Visar resultat 1 - 5 av 2632 avhandlingar innehållade ordet Program.
1. ProGram : a grammar-based method for specification and hardware synthesis of communication protocols
Sammanfattning : .... LÄS MER
2. Program Matters : From Drawing to Code
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
3. Definitional program separation
Sammanfattning : .... LÄS MER
4. Deductive Program Analysis with First-Order Theorem Provers
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
5. Bringing predictability into a geometallurgical program : An iron ore case study
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