Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(proof building). Showing records 1 – 7 of 7 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


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

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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

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)

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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)

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… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

.