Essays about: "logical form"

Showing result 1 - 5 of 48 essays containing the words logical form.

1. 1. Time efficient harvesting of data to find the optimum production window with the help of iba software : An analysis of tube mill data

   University essay from Högskolan i Gävle/Avdelningen för elektroteknik, matematik och naturvetenskap

   Author : Waleed Tariq; [2023]
   Keywords : ;

   Abstract : Data acquisition and processing are one of the blistering topics in the manufacturing industry, especially in the steel manufacturing sector. The acquisition, and processing of an immense amount of data in a time-efficient way is one of the biggest problems today. READ MORE

3. 2. World Bank Group Engagement in Public-Private Partnerships : Strengthening Sustainable Finance in International Investment Standards

   University essay from Stockholms universitet/Juridiska institutionen

   Author : Andrew Sefufan Simamora; [2023]
   Keywords : sustainable finance; international investment law; public-private partnership;

   Abstract : The prioritisation of private funds in financing public infrastructures due to limited financial resources available through the public sector has raised concerns about the protection of human rights and environment considering that the main goal of corporations is to generate as much profit as possible. The presence of the World Bank Group in the mix is to strike a balance between these competing needs by introducing the concept of sustainable finance through technical assistance and the adoption of standards that are integrated with the concept to influence the behaviour of state and non-state actors in their investment practices, especially in the developing world. READ MORE

4. 3. The Implementation of the New Engineering Contract in Australia : An Institutional Perspective

   University essay from KTH/Fastigheter och byggande

   Author : Dannie O’Brien; [2022]
   Keywords : Institutional Theory; New Engineering Contract; Risk allocation; Collaboration; Standard Form Contracts; Instititutionell teori; New Engineering Contract; samarbete; riskfördelning; standardkontrakt;

   Abstract : Current traditional delivery models used in the Australian construction industry are seen as highly bespoke and adversarial where there is an inappropriate contractual risk allocation, lack of collaboration and poor project management. With the pipeline of investment compounded with the impact that global macroeconomic trends and events (e.g. READ MORE

5. 4. Contract-Based Verification in TriCera

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Pontus Ernstedt; [2022]
   Keywords : ;

   Abstract : Contracts are a powerful construct for programmers to communicate intent with functions, focusing on the what rather than the how. In this thesis, we move contracts from being just a form of communication to also have them define what it means for a software to be correct, and apply formal verification techniques to verify that contracts are never violated. READ MORE

6. 5. Design of a State-Of-The-Art Test Facility for Rocket Engines

   University essay from Luleå tekniska universitet/Rymdteknik

   Author : Akash Raja Meghavath; [2022]
   Keywords : Rocket architectures; oxidizer feed system; layout plan; safety precautions safety standards; test bed stand; static tests;

   Abstract : The development of innovative propulsion systems requires testing in suitable facilities that reveal the efficacy of design models and allow for design refinement. The qualification process starts from ground tests and ends in vacuum chambers. READ MORE