X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • English  (34)
  • Berlin International University of Applied Sciences. Faculty of Architecture and Design  (30)
  • Esparza, Javier  (4)
  • Academic theses  (30)
  • Verifikation  (4)
  • 1
    Book
    Book
    Unfoldings : A Partial-Order Approach to Model Checking (2008)
    Berlin : Springer
    Details
    UID:
    b3kat_BV023803481
    Format: XII, 169 S. , graph. Darst.
    ISBN: 3540774254
    Series Statement: Monographs in Theoretical Computer Science
    Language: English
    Subjects: Computer Science
    RVK:
    ST 130
    Keywords: Theoretische Informatik ; Verifikation ; Model Checking ; Temporale Logik ; Nebenläufigkeit ; Zustandsraumexplosion ; Transitionssystem
    Author information: Esparza, Javier 1964-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    HU Berlin get availability status
    Berlin VÖBB/ZLB get availability status
    BTU Cottbus get availability status
  • 2
    Online Resource
    Online Resource
    Automated technology for verification and analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019 : proceedings (2019)
    Cham : Springer
    Details
    UID:
    b3kat_BV046229860
    Format: 1 Online-Ressource (xi, 552 Seiten) , 754 Illustrationen, 60 in Farbe
    ISBN: 9783030317843
    Series Statement: Lecture notes in computer science 11781
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-31783-6
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-31785-0
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Formale Methode ; Verifikation ; Systementwurf ; Systemanalyse ; Systemsynthese ; CASHE ; Konferenzschrift
    DOI: 10.1007/978-3-030-31784-3
    URL: Volltext  (URL des Erstveröffentlichers)
    Author information: Cheng, Chih-Hong
    Author information: Esparza, Javier 1964-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    HTW Berlin
    BTU Cottbus
  • 3
    Online Resource
    Online Resource
    Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings (2019)
    Cham : Springer
    Details
    UID:
    gbv_1681716801
    Format: 1 Online-Ressource (XI, 552 p. 754 illus., 60 illus. in color)
    Edition: 1st ed. 2019
    ISBN: 9783030317843
    Series Statement: Programming and Software Engineering 11781
    Content: A Note on Game Theory and Verification -- Lazy Abstraction-Based Controller Synthesis -- Truth Assignments as Conditional Autarkies -- Can We Trust Autonomous Systems? Boundaries and Risks -- Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs -- Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification -- Parametric Timed Model Checking for Guaranteeing Timed Opacity -- Adaptive Online First-Order Monitoring -- Multi-Head Monitoring of Metric Temporal Logic -- An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking -- Conditional Testing: O -the-Shelf Combination of Test-Case Generators -- Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation -- BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment -- KLUZZER: Whitebox Fuzzing on top of LLVM -- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops -- Chain Free String Constraints -- Synthesizing Efficient Low-Precision Kernels -- New Optimizations and Heuristics for Determinization of Büchi Automata -- Approximate Automata for Omega-regular Languages -- DEQ : Equivalence Checker for Deterministic Register Automata -- LTL3TELA: Small Deterministic or Nondeterministic Automata from LTL -- Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems -- Reactive Synthesis of Graphical User Interface Glue Code -- Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis -- Program Repair for Hyperproperties -- Generic Emptiness Check for Fun and Profit -- Deciding Fast Termination for Probabilistic VASS with Nondeterminism -- Are Parametric Markov Chains Monotonic -- Efficient Information-Flow Verification under Speculative Execution -- Model Checking Data Flows in Concurrent Network Updates.-Performance Evaluation of NDN Data Plane Using Statistical Model Checking
    Content: This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019. The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The papers focus on cyber-physical systems; runtime techniques; testing; automata; synthesis; stochastic systems and model checking
    Additional Edition: ISBN 9783030317836
    Additional Edition: Erscheint auch als Druck-Ausgabe ATVA (17. : 2019 : Taipeh) Automated technology for verification and analysis Cham, Switzerland : Springer, 2019 ISBN 9783030317836
    Additional Edition: ISBN 3030317838
    Language: English
    Keywords: Automatisches Beweisverfahren ; Verifikation ; Analyse ; Stochastisches System ; Konferenzschrift
    DOI: 10.1007/978-3-030-31784-3
    URL: lizenzpflichtig
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    UB Potsdam
  • 4
    Book
    Book
    Social sustainability in office design : examining the relation between occupant comfort and office-layout and services (2018)
    Berlin, Germany :BAU International Berlin University of Applied Sciences,
    Details
    UID:
    kobvindex_INT0000912
    Format: 48 pages : , illustrations, plans (chiefly colour) ; , 29.5 cm.
    Content: MACHINE-GENERATED SUMMARY NOTE: "In office design, Social sustainability is often disregarded to meet the parameters of other sustainable development components. While comfort is crucial when attaining a socially sustainable design, this thesis puts in crisis the term ‘comfort’, commonly misused to describe the look and feel of a design rather than its qualities concerning health and safety for the user. Diverse factors affecting indoor environmental quality are listed and extensively explained. Furthermore, four office layouts are discussed through the scope of social sustainability examining the occupant’s physical and physiological comfort. The information obtained via these investigations is further utilised to complete a design proposal in which office occupant comfort is promoted and enhanced through suitable design measures and occupant-aware building services. This thesis concludes there is no universal layout suited for all occupants and offices, but the clever combination of suitable design methods fitted to the needs of office occupants and their environment can result in a fruitful office design that promotes productivity and comfort. RESEARCH QUESTION: What elements of interior design affect office occupant’s comfort and how can these be used to promote it?"
    Note: DISSERTATION NOTE: bachelor thesis in Interior Design, BAU International Berlin University of Applied Sciences, 2018. , MACHINE-GENERATED CONTENTS NOTE: INTRODUCTION : Research methodology -- SOCIAL SUSTAINABILITY IN OFFICE DESIGN : Comfort in the office -- The effects of indoor environmental qualities on office occupant comfort -- Office design assessment -- Office layout types -- Chapter conclusion -- DESIGN PROPOSAL : Applied design measures -- Proposal conclusion -- Conclusion of study -- Bibliography -- List of figures. , ISSUING BODY NOTE: BAU International Berlin University of Applied Sciences is the former name of Berlin International University of Applied Sciences.
    Language: English
    Keywords: Academic theses
    URL: FULL
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Berlin International get availability status
  • 5
    Book
    Book
    Digital fabrication and bioplastics : applications for interior design (2018)
    Berlin, Germany :BAU International Berlin University of Applied Sciences,
    Details
    UID:
    kobvindex_INT0002925
    Format: [8], 40, [3] pages : , illustrations (colour) ; , 30 cm.
    Content: MACHINE-GENERATED SUMMARY NOTE: "Over the last 50 years, digital fabrication has shaped the world of design and industrial production, reducing the gaps between digital technologies and the process of physical construction. In addition, issues related to climate change and carbon emissions have played a major role in the development of new sustainable materials. Although organic alternatives to plastic are in the process of being explored and developed, their application in interior design is still very limited. The reason for this can partly be attributed to the limited productive possibilities of these materials. In recent years, there has been a focus in the industry on combining such organic alternatives to plastic with digital manufacturing in the hope of achieving high-quality results for industrial applications. This gives rise to the question: is the manufacturing of bioplastic through digital fabrication a key tool in efforts to increase its applications in architecture and interior projects?"
    Content: MACHINE-GENERATED SUMMARY NOTE: "The aim of this research is to explore the properties of bioplastics and to come to an understanding as to whether the manufacturing of this material by means of digital fabrication tools can allow the achievement of higher quality results and therefore lead to its wider application in architecture and interior design projects. This thesis seeks to offer insight into the current situation concerning the unsustainability of traditional plastics and a general overview of the alternative plastics currently available on the market. Two types of plastic in particular will be analysed: starch-based bioplastics, and bioplastics derived from waste. Subsequently, an insight concerning digital fabrication and its main techniques will provide the basis for the experimental part of the thesis, in which will be analyzed the domestic production of bioplastics and its digital processing, specifically with the laser cutter."
    Note: DISSERTATION NOTE: bachelor thesis in Interior Design, BAU International Berlin University of Applied Sciences, 2018. , MACHINE-GENERATED CONTENTS NOTE: Abstract -- Introduction -- (BIO)PLASTICS : From bio-based plastics to synthetic plastics : the history of bioplastics -- Starched-based plastic -- Bioplastics from waste -- DIGITAL TECHNIQUES FOR BIOPLASTICS : Digital fabrication principles -- Laser cutting : Laser cutting techniques : Contouring : dECOi Architects - One Main Office Renovation -- Folding : Akihisa Hirata - Bloomberg Pavilion -- Sectioning : Toyo Ito and Cecil Balmond - Serpentine Pavilion -- Tiling : The Very Many - Vaulted Willow -- Material experimentation : Preparation of starch-based bioplastic -- Design and laser cutting -- Conclusion -- Bibliography -- List of figures. , ISSUING BODY NOTE: BAU International Berlin University of Applied Sciences is the former name of Berlin International University of Applied Sciences.
    Language: English
    Keywords: Academic theses
    URL: FULL
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Berlin International get availability status
  • 6
    Book
    Book
    Conserving by retrofitting : integration of sustainable energies to a heritage preserved building in Potsdam, Germany (2018)
    Berlin, Germany :BAU International Berlin University of Applied Sciences,
    Details
    UID:
    kobvindex_INT0000918
    Format: 40 pages : , illustrations, plans (chiefly colour) ; , 30 cm.
    Content: MACHINE-GENERATED SUMMARY NOTE: "Rapid global warming and climate change are two main problems today’s generation is facing. A significant contributor to those developments is the building stock, which represents approximately 40% of energy consumption and 36% of greenhouse gas emissions in the EU. While only a few existing buildings are modernized each year, almost three-quarters are presently energy inefficient. Renovating the old building stock towards sustainable energy goals would therefore significantly benefit the energy savings. These energy improvements are desirable, but not always possible without compromises, especially when approaching heritage preserved architecture.[2] Implementing energy efficient measures to these precious buildings can create physical implications that may arise as a conservational issue. In some cases, aesthetic alterations require review and approval by the corresponding official authorities, which usually implies long and tedious administrative work. In other cases, missing conservation guidelines and regulations can lead to high damage of this heritage. For this reason, the research aims to find proper aesthetical solutions that fuse both, sustainable energy interventions and architectural heritage conservation. This thesis examines the importance and characteristics of conservation, focusing on residential architecture in Europe. By analysing four essential retrofitting techniques within the context of preservation, this thesis addresses the application of solar panels in historic buildings. It provides insight into installation principles, and the proposed conclusion offers a design solution as part of the integrated case study of a heritage preserved Villa in Potsdam, Germany."
    Note: DISSERTATION NOTE: bachelor thesis in Interior Design, BAU International Berlin University of Applied Sciences, 2018. , MACHINE-GENERATED CONTENTS NOTE: Abstract -- Introduction -- ARCHITECTURAL HERITAGE : Importance of architectural conservation -- Characteristics of heritage buildings -- Residential architecture -- VILLA GERICKE IN POTSDAM, GERMANY : History -- Analysis and evaluation of characteristics and values -- RETROFITTING RESIDENTIAL BUILDINGS : Environmental objectives -- Interior and exterior retrofitting techniques : Building envelope ; Passive energy ; Building services ; Household appliances -- Solar energy systems : Common panel ; Tesla roof shingle ; Graetzel cells ; Interior applications -- Solar energy integration : Installation principles for listed heritage buildings -- DESIGN RECOMMENDATIONS -- Application of the research to Villa Gericke -- Conclusion : Recommendations -- List of figures -- Bibliography. , ISSUING BODY NOTE: BAU International Berlin University of Applied Sciences is the former name of Berlin International University of Applied Sciences.
    Language: English
    Keywords: Academic theses
    URL: FULL
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Berlin International get availability status
  • 7
    Book
    Book
    The interior as home : residential interior from a user's perspective (2018)
    Berlin, Germany :BAU International Berlin University of Applied Sciences,
    Details
    UID:
    kobvindex_INT0000938
    Format: 59 pages : , illustrations, plans (chiefly colour) ; , 30 cm.
    Content: MACHINE-GENERATED SUMMARY NOTE: "Home is a very personal thing and is directly related to the residential interior that embodies the personality of its user. The aim of the home interior design is to improve the user's work, better managing the space available in the intermediate environment. In principle, it is a way to transform the lives of people who live or use a certain space, improving the quality of their lives through design and decoration. The results of the study in the field of physiological and psychological effects of the interior are useful for studying the influence of residential design. The perception of every person in the surrounding environment, including the residential interior, can be radically different. An important role in the organization of the home interior is played by its spacious layout, lighting, and color scheme. Housing conditions, including lighting and color solutions, create not only a unique atmosphere in the house, but also influence the mood of its owners and guests. The methodological base used for the thesis consists of four case studies, analysing which gives a description of people in their surroundings and to see how does the personality influence designs of their homes. The relation between a residential interior and its user is prejudice and unverifiable therefore cannot be represented only by the number of certain theories and rules."
    Note: DISSERTATION NOTE: bachelor thesis in Interior Design, BAU International Berlin University of Applied Sciences, 2018. , MACHINE-GENERATED CONTENTS NOTE: INTRODUCTION : Research topic -- Methodology -- RELATION BETWEEN RESIDENTIAL INTERIOR AND ITS USER : Important aspects of interior design : Light influence ; Color significance ; Space volumes -- Home and self-designing -- CASE STUDIES : Monochrome minimalism -- Shaped functionality -- Color explosion -- Living and creating in the factory -- Conclusion -- Personality reflection in the project «Urban Underwood» -- Appendix «Design project for an artist» -- General conclusion -- Bibliography. , ISSUING BODY NOTE: BAU International Berlin University of Applied Sciences is the former name of Berlin International University of Applied Sciences.
    Language: English
    Keywords: Academic theses
    URL: FULL
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Berlin International get availability status
  • 8
    Book
    Book
    The incomplete story : preservation and future usage of abandoned buildings in Berlin as human cultural heritage : the Eisfabrik example (2018)
    Berlin, Germany :BAU International Berlin University of Applied Sciences,
    Details
    UID:
    kobvindex_INT0002410
    Format: 41 pages : , richly illustrated, plans, maps (colour and black & white) ; , 21 x 30 cm.
    Content: MACHINE-GENERATED SUMMARY NOTE: "The abandoned buildings of Berlin are part of the human cultural heritage that carries the story of the city and this part of human history. The fast-growing city and the influence of modern, global human problems necessitate new ways of dealing with buildings and neglected urban spaces. The Incomplete Story is a study that deals with human cultural heritage as one universal issue. The aim of this study is to provide an example of how to re-use an abandoned building based on human cultural practices that can have a positive impact on cities and the connections between nations. This is achieved through presenting a proposed design for The Eisfabrik as an example. The methods used in the thesis are theoretical research into human cultural heritage and preservation and restoration methods, followed by a case study on three contemporary examples of the re-use of buildings that have had a significant impact on their cities and human cultural heritage. The results show that turning the Eisfabrik into a Live Museum will have an outstanding positive impact on the city and on humanity. As it connects humans and places together. It also shows that studying buildings can be a point of inspiration regarding future usage and create a cultural spot that works complementarily with the city story and the community. The thesis also shows that the Eisfabrik has the potential to be nominated for the World Heritage list. Future research, and further methods to achieve this great step, are recommended in order to rescue the Eisfabrik and create a new landmark and cultural attraction in Berlin."
    Note: DISSERTATION NOTE: bachelor thesis in Interior Design, BAU International Berlin University of Applied Sciences, 2018. , MACHINE-GENERATED CONTENTS NOTE: Dedication -- Acknowledgement -- Abstract -- INTRODUCTION : The idea of the incomplete story -- The significance of the incomplete story -- The methodology of the incomplete story -- POSSIBLE APPROACHES ON THE RE-USE OF ABANDONED BUILDINGS : Human cultural heritage -- Preservation and restoration -- World heritage list -- Contemporary approaches : Berghain, Berlin ; Chelsea Market, New York ; MAXXI, Rome -- THE ABANDONED BUILDINGS OF BERLIN: THE EISFABRIK AS A CASE STUDY : Berlin City : History ; Architecture ; Community -- The current treatment toward abandoned buildings in Berlin -- The Eisfabrik in spot -- THE PROPOSAL : The spirit of the places, Genius Loci -- Materiality -- The cultural and community impact -- The Eisfabrik - Live Museum Berlin -- FINDINGS AND REFLECTION : References. , ISSUING BODY NOTE: BAU International Berlin University of Applied Sciences is the former name of Berlin International University of Applied Sciences.
    Language: English
    Keywords: Academic theses ; Case studies
    URL: FULL
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Berlin International get availability status
  • 9
    Book
    Book
    The implementation of off-grid-water-systems to mobile tiny houses / (2018)
    Berlin, Germany :BAU International Berlin University of Applied Sciences,
    Details
    UID:
    kobvindex_INT0002424
    Format: 28 pages : , illustrations, plans (colour) ; , 30 cm.
    Content: MACHINE-GENERATED SUMMARY NOTE: "This thesis deals with the implementation of Off-grid-water-systems to mobile Tiny Houses. It gives an introduction and overview on the whole Tiny-House-topic and its movement, specialized on tiny homes on wheels in Germany. Due to their mobility the autarchic energy and water supply comes into focus. It will be explained what it means to live off-grid, going into detail about water-recycling-systems and introducing examples for these systems. As conclusion the different water plants are compared and evaluated according to their adequacy for mobile Tiny Houses. After that the design part of the Tiny House comes into focus, where the water system(s) is supposed to be integrated. In the context of a case study analysis a Tiny House, a caravan and a prefabricated house are evaluated according to their functionality, colors and materials and their water supply system. At the end of this thesis the best solution for the Off-grid-water-system(s) and the mobile Tiny House will be combined. For that will be clarified how much water a person needs. The thesis will conclude with a design proposal implementing the knowledge that have been collected through the research conducted on the previous chapters. The design proposal is adjusted to the German law, since the regulations in Germany are more stringent than in many other countries."
    Note: DISSERTATION NOTE: bachelor thesis in Interior Design, BAU International Berlin University of Applied Sciences, 2018. , MACHINE-GENERATED CONTENTS NOTE: Introduction -- OFF-GRID TINY HOUSES : Tiny houses : The founders of the tiny house movement ; Mobile tiny houses in Germany ; Interior design in tiny houses -- Living off-grid -- Water-recycling-systems : Wetland ; Water backpack Paul ; Showerloop -- Conclusion -- Case study analysis : Alpha by New Frontier Tiny Homes ; Airstream Classic 30RB combined with a DIY Grey water recycling kit ; zeroHouse by Specht architects -- Conclusion -- THE IMPLEMENTATION OF AN OFF-GRID-WATER-SYSTEM TO A MOBILE TINY HOUSE -- References. , ISSUING BODY NOTE: BAU International Berlin University of Applied Sciences is the former name of Berlin International University of Applied Sciences.
    Language: English
    Keywords: Academic theses
    URL: FULL
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Berlin International get availability status
  • 10
    Book
    Book
    Strategies developed by interior designers in the sector of fashion design in Western countries to stay relevant in an upcoming era of ecommerce / (2018)
    Berlin, Germany :BAU International Berlin University of Applied Sciences,
    Details
    UID:
    kobvindex_INT0002412
    Format: 59 pages : , illustrations, plans (black & white) ; , 30 cm.
    Content: MACHINE-GENERATED SUMMARY NOTE: “What strategies interior designers have developed in the sector of fashion design in western countries to stay relevant in an upcoming era of ecommerce? This questions forms part of the central motivation that drives this research forward. In order to answer this question this thesis will analyse in-depth three case studies of leading retail fashion stores. [...] The thesis is structured in four parts. The first part will be a brief historical introduction to retail design, followed by online to offline strategies then by instore technologies and finalized with the design of branded spaces where subjects like instore experience and storytelling will be discussed. The second part will be structured by three case studies. The first one will be the Prada Flagship Store in NY. Second the Nike Flagship Store NY and at last the Hugo Boss Concept Store NY will be presented. The third part will conclude by answering the research question can by mentioning recommendations for further investigations. Finally the researcher will present a concept store design under the strategies presented throughout the study."
    Note: DISSERTATION NOTE: bachelor thesis in Interior Design, BAU International Berlin University of Applied Sciences, 2018. , MACHINE-GENERATED CONTENTS NOTE: Introduction -- RETAIL DESIGN 21ST CENTURY : Introduction to retail design -- Ecommerce -- Omnichannel as a merging strategy -- Instore technologies -- Designing branded spaces : Instore experience ; Storytelling -- CASE STUDIES : Prada Flagship Store : History of the brand ; Introduction ; Instore experience ; Instore technologies ; Analysis -- Nike Flagship Store : History of the brand ; Introduction ; Instore experience ; Instore technologies ; Omnichannel strategies ; Analysis -- Hugo Boss Concept Store : History of the brand ; Instore experience ; Instore technology ; Omnichannel strategies ; Analysis -- CONCLUSIONS AND RECOMMENDATIONS : Interior design strategies -- Recommendations -- DESIGN PROPOSAL -- References. , ISSUING BODY NOTE: BAU International Berlin University of Applied Sciences is the former name of Berlin International University of Applied Sciences.
    Language: English
    Keywords: Academic theses
    URL: FULL
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Berlin International get availability status
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages