subject:(proof building)

Delft University of Technology

1. Altena, R. (author). Searching for the boundaries of space efficiency: Transformation of the Bruggebouw.

Degree: 2020, Delft University of Technology

URL: http://resolver.tudelft.nl/uuid:40c44b05-7af6-465d-8ab7-632806e37c9d

►

Increasing lack of space in the Netherlands drives us to new interpretations of the multifunctional building. To reduce vacancy and increase effective use of existing… (more)

Subjects/Keywords: Space efficiency; hybrid building; Adaptive; Future proof; Multifunctional; work-live environment

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Altena, R. (. (2020). Searching for the boundaries of space efficiency: Transformation of the Bruggebouw. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:40c44b05-7af6-465d-8ab7-632806e37c9d

Chicago Manual of Style (16^th Edition):

Altena, R (author). “Searching for the boundaries of space efficiency: Transformation of the Bruggebouw.” 2020. Masters Thesis, Delft University of Technology. Accessed February 28, 2021. http://resolver.tudelft.nl/uuid:40c44b05-7af6-465d-8ab7-632806e37c9d.

MLA Handbook (7^th Edition):

Altena, R (author). “Searching for the boundaries of space efficiency: Transformation of the Bruggebouw.” 2020. Web. 28 Feb 2021.

Vancouver:

Altena R(. Searching for the boundaries of space efficiency: Transformation of the Bruggebouw. [Internet] [Masters thesis]. Delft University of Technology; 2020. [cited 2021 Feb 28]. Available from: http://resolver.tudelft.nl/uuid:40c44b05-7af6-465d-8ab7-632806e37c9d.

Council of Science Editors:

Altena R(. Searching for the boundaries of space efficiency: Transformation of the Bruggebouw. [Masters Thesis]. Delft University of Technology; 2020. Available from: http://resolver.tudelft.nl/uuid:40c44b05-7af6-465d-8ab7-632806e37c9d

University of Arizona

2. Kaushish, Madhav. Assumption Digging in Euclidean Geometry .

Degree: 2019, University of Arizona

URL: http://hdl.handle.net/10150/636511

► Theory Building has been largely ignored in Mathematics Education, especially at the Middle and High School Levels. This thesis focuses on Assumption Digging, a type… (more)

Subjects/Keywords: axioms; definitions; euclidean geometry; geometry education; proof; theory building

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Kaushish, M. (2019). Assumption Digging in Euclidean Geometry . (Masters Thesis). University of Arizona. Retrieved from http://hdl.handle.net/10150/636511

Chicago Manual of Style (16^th Edition):

Kaushish, Madhav. “Assumption Digging in Euclidean Geometry .” 2019. Masters Thesis, University of Arizona. Accessed February 28, 2021. http://hdl.handle.net/10150/636511.

MLA Handbook (7^th Edition):

Kaushish, Madhav. “Assumption Digging in Euclidean Geometry .” 2019. Web. 28 Feb 2021.

Vancouver:

Kaushish M. Assumption Digging in Euclidean Geometry . [Internet] [Masters thesis]. University of Arizona; 2019. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/10150/636511.

Council of Science Editors:

Kaushish M. Assumption Digging in Euclidean Geometry . [Masters Thesis]. University of Arizona; 2019. Available from: http://hdl.handle.net/10150/636511

Delft University of Technology

3. Simmering, Mick (author). Re-novate: Upgradable Building Envelope System for Energy Reduction Renovation of Dutch Post-war Apartments.

Degree: 2019, Delft University of Technology

URL: http://resolver.tudelft.nl/uuid:09cabd40-b7f2-47c4-8efa-21623dece2ee

►

Problem Definition and main objective: Current prefabricated building envelope systems utilised for energy reduction renovations are expected to be a long-lasting solution. In practice, the… (more)

▼

Problem Definition and main objective: Current prefabricated building envelope systems utilised for energy reduction renovations are expected to be a long-lasting solution. In practice, the building envelope systems are not adapted to facilitate future updates due to changing regulations or changing standards. Furthermore, in most renovation systems the material or component with the lowest service life dictates the service life of the complete system, leading to materials being disposed of before they reached the end of their potential service life. The goal of the thesis is to design a system that is adapted to these issues by being a flexible system that separates functionalities in separate boxes and layers, and therefore is able to upgrade or replace individual components when necessary to ensure the system’s long-term functionality. Study Design: Literature review, followed by the formulation of a strategy and a design. Design effectiveness is confirmed through application on a case study. Long-term functionality is confirmed through transformation of the case study application based on formulated scenarios. Setting: The thesis is part of a series of ongoing research projects associated with the 2ndSkin project. The case study is an apartment block located at the Soendalaan in Vlaardingen. Results: A design concept for an external building envelope system for energy reduction renovation of Dutch post-war apartments elaborated in a 1 to 5 detail scale. The final design incorporates an adaptable aluminium frame system with module boxes containing different functionalities, which can be slid into the main frame. The system is finished with a clamp system with cladding, functioning as the protecting layer for the system.

Building Technology | Sustainable Graduation Thesis

Advisors/Committee Members: Konstantinou, Thaleia (mentor), van den Engel, Peter (mentor), Nase, Ilir (graduation committee), Delft University of Technology (degree granting institution).

Subjects/Keywords: Prefabricated; Building Envelope System; Energy Reduction; Renovation; Refurbishment; Dutch Post-war Apartments; Future Proof; Service Life; Changing Standards

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Simmering, M. (. (2019). Re-novate: Upgradable Building Envelope System for Energy Reduction Renovation of Dutch Post-war Apartments. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:09cabd40-b7f2-47c4-8efa-21623dece2ee

Chicago Manual of Style (16^th Edition):

Simmering, Mick (author). “Re-novate: Upgradable Building Envelope System for Energy Reduction Renovation of Dutch Post-war Apartments.” 2019. Masters Thesis, Delft University of Technology. Accessed February 28, 2021. http://resolver.tudelft.nl/uuid:09cabd40-b7f2-47c4-8efa-21623dece2ee.

MLA Handbook (7^th Edition):

Simmering, Mick (author). “Re-novate: Upgradable Building Envelope System for Energy Reduction Renovation of Dutch Post-war Apartments.” 2019. Web. 28 Feb 2021.

Vancouver:

Simmering M(. Re-novate: Upgradable Building Envelope System for Energy Reduction Renovation of Dutch Post-war Apartments. [Internet] [Masters thesis]. Delft University of Technology; 2019. [cited 2021 Feb 28]. Available from: http://resolver.tudelft.nl/uuid:09cabd40-b7f2-47c4-8efa-21623dece2ee.

Council of Science Editors:

Simmering M(. Re-novate: Upgradable Building Envelope System for Energy Reduction Renovation of Dutch Post-war Apartments. [Masters Thesis]. Delft University of Technology; 2019. Available from: http://resolver.tudelft.nl/uuid:09cabd40-b7f2-47c4-8efa-21623dece2ee

Brno University of Technology

4. Šebestová, Michaela. Ekologické aspekty stavební výroby: Ecological aspects of construction production.

Degree: 2019, Brno University of Technology

URL: http://hdl.handle.net/11012/179766

► This thesis processes an analysis of ecological load in a building process. In the theoretical part of the thesis the basic concepts of ecology and… (more)

Subjects/Keywords: Ekologie; životní prostředí; stavba; ekologická stopa; udržitelný rozvoj; životní cyklus objektu; náklady; cena; průkaz energetické náročnosti budovy; stavební výroba; aspekt.; Ecology; environment; building; ecological footprint; sustainable development; life cycle of the building; costs; prices; proof of energy performance of buildings; building production; aspect.

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Šebestová, M. (2019). Ekologické aspekty stavební výroby: Ecological aspects of construction production. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/179766

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Šebestová, Michaela. “Ekologické aspekty stavební výroby: Ecological aspects of construction production.” 2019. Thesis, Brno University of Technology. Accessed February 28, 2021. http://hdl.handle.net/11012/179766.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Šebestová, Michaela. “Ekologické aspekty stavební výroby: Ecological aspects of construction production.” 2019. Web. 28 Feb 2021.

Vancouver:

Šebestová M. Ekologické aspekty stavební výroby: Ecological aspects of construction production. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/11012/179766.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Šebestová M. Ekologické aspekty stavební výroby: Ecological aspects of construction production. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/179766

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Texas Tech University

5. Luo, Siwei. Economic investigation of masonry construction for wind resistant design.

Degree: Civil Engineering, 1996, Texas Tech University

URL: http://hdl.handle.net/2346/11962

Subjects/Keywords: Specifications; Building – Estimates; Buildings; Storm proof; Buildings; Construction industry – Costs; Natural disaster effects; Buildings

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Luo, S. (1996). Economic investigation of masonry construction for wind resistant design. (Thesis). Texas Tech University. Retrieved from http://hdl.handle.net/2346/11962

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Luo, Siwei. “Economic investigation of masonry construction for wind resistant design.” 1996. Thesis, Texas Tech University. Accessed February 28, 2021. http://hdl.handle.net/2346/11962.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Luo, Siwei. “Economic investigation of masonry construction for wind resistant design.” 1996. Web. 28 Feb 2021.

Vancouver:

Luo S. Economic investigation of masonry construction for wind resistant design. [Internet] [Thesis]. Texas Tech University; 1996. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2346/11962.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Luo S. Economic investigation of masonry construction for wind resistant design. [Thesis]. Texas Tech University; 1996. Available from: http://hdl.handle.net/2346/11962

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

6. Davis, Jared Curran. A self-verifying theorem prover.

Degree: PhD, Computer Sciences, 2009, University of Texas – Austin

URL: http://hdl.handle.net/2152/ETD-UT-2009-12-435

► Programs have precise semantics, so we can use mathematical proof to establish their properties. These proofs are often too large to validate with the usual… (more)

▼ Programs have precise semantics, so we can use mathematical proof to establish their properties. These proofs are often too large to validate with the usual "social process" of mathematics, so instead we create and check them with theorem-proving software. This software must be advanced enough to make the proof process tractable, but this very sophistication casts doubt upon the whole enterprise: who verifies the verifier? We begin with a simple proof checker, Level 1, that only accepts proofs composed of the most primitive steps, like Instantiation and Cut. This program is so straightforward the ordinary, social process can establish its soundness and the consistency of the logical theory it implements (so we know theorems are "always true"). Next, we develop a series of increasingly capable proof checkers, Level 2, Level 3, etc. Each new proof checker accepts new kinds of proof steps which were not accepted in the previous levels. By taking advantage of these new proof steps, higher-level proofs can be written more concisely than lower-level proofs, and can take less time to construct and check. Our highest-level proof checker, Level 11, can be thought of as a simplified version of the ACL2 or NQTHM theorem provers. One contribution of this work is to show how such systems can be verified. To establish that the Level 11 proof checker can be trusted, we first use it, without trusting it, to prove the fidelity of every Level n to Level 1: whenever Level n accepts a proof of some phi, there exists a Level 1 proof of phi. We then mechanically translate the Level 11 proof for each Level n into a Level n - 1 proof – that is, we create a Level 1 proof of Level 2's fidelity, a Level 2 proof of Level 3's fidelity, and so on. This layering shows that each level can be trusted, and allows us to manage the sizes of these proofs. In this way, our system proves its own fidelity, and trusting Level 11 only requires us to trust Level 1. Advisors/Committee Members: Moore, J Strother, 1947- (advisor), Emerson, E. Allen (committee member), Harrison, John (committee member), Hunt, Jr., Warren A. (committee member), Kaufmann, Matt (committee member), Lifschitz, Vladimir (committee member).

Subjects/Keywords: Milawa; mathematical logic; formal verification; Lisp; proof checking; theorem proving; automated reasoning; reflection; soundness; fidelity; faithfulness; rewriting; proof building; tactics; first-order logic; verified verifier

…fidelity argument. Even despite some work to make the low-level proof-building routines more… …how the theorem prover is modeled and how its proof is checked. Part 2. Building Proofs In… …Propositional Calculus. We explain our basic approach to implementing derived rules as proof-building… …To establish that the Level 11 proof checker can be trusted, we first use it, without… …trusting it, to prove the fidelity of every Level n to Level 1: whenever Level n accepts a proof…

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Davis, J. C. (2009). A self-verifying theorem prover. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2009-12-435

Chicago Manual of Style (16^th Edition):

Davis, Jared Curran. “A self-verifying theorem prover.” 2009. Doctoral Dissertation, University of Texas – Austin. Accessed February 28, 2021. http://hdl.handle.net/2152/ETD-UT-2009-12-435.

MLA Handbook (7^th Edition):

Davis, Jared Curran. “A self-verifying theorem prover.” 2009. Web. 28 Feb 2021.

Vancouver:

Davis JC. A self-verifying theorem prover. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2009. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2152/ETD-UT-2009-12-435.

Council of Science Editors:

Davis JC. A self-verifying theorem prover. [Doctoral Dissertation]. University of Texas – Austin; 2009. Available from: http://hdl.handle.net/2152/ETD-UT-2009-12-435

Brno University of Technology

7. Pelc, Miloš. Stavebně technologický projekt polyfunkčního objektu v Rosicích: Construction technology project of polyfunctional building in Rosice.

Degree: 2018, Brno University of Technology

URL: http://hdl.handle.net/11012/64274

► The thesis deals with construction technology project of polyfunctional building in Rosice. The parts of the thesis are the construction technology study, the assessment of… (more)

Subjects/Keywords: Stavebně technologický projekt; polyfunkční dům; hydroizolace; bílá vana; plochá střecha; vodonepropustný beton; technologický předpis; položkový rozpočet; kontrolní a zkušební plán; strojní sestava; časový plán.; Construction technology project; polyfunctional building; damp proof membrane; white tank; flat roof; waterproof concrete; technological regulation; itemized budget; control and test plan; a mechanical composition; time schedule.

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Pelc, M. (2018). Stavebně technologický projekt polyfunkčního objektu v Rosicích: Construction technology project of polyfunctional building in Rosice. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/64274

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Pelc, Miloš. “Stavebně technologický projekt polyfunkčního objektu v Rosicích: Construction technology project of polyfunctional building in Rosice.” 2018. Thesis, Brno University of Technology. Accessed February 28, 2021. http://hdl.handle.net/11012/64274.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Pelc, Miloš. “Stavebně technologický projekt polyfunkčního objektu v Rosicích: Construction technology project of polyfunctional building in Rosice.” 2018. Web. 28 Feb 2021.

Vancouver:

Pelc M. Stavebně technologický projekt polyfunkčního objektu v Rosicích: Construction technology project of polyfunctional building in Rosice. [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/11012/64274.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Pelc M. Stavebně technologický projekt polyfunkčního objektu v Rosicích: Construction technology project of polyfunctional building in Rosice. [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/64274

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

		in
And / Or
		in
And / Or
		in
And / Or
		in

Open Access Theses and Dissertations