CODELESS SARAJEVO
CODELESS SARAJEVO

Author: Nataša Pelja-Tabori

Publisher: TU Wien Academic Press

Published: 2024-07-01

Total Pages: 295

ISBN-13: 3854480571

DOWNLOAD EBOOK

In most European countries, spatial and land-use planning documentation (formal and informal) and building codes complement each other. The city of Sarajevo, however, has not had a building code over the last eight decades. The author, with many years of professional experience as a planner in Sarajevo, shows how this has affected the spatial planning system in all its segments, including through a weak building permission procedure. She compares Sarajevo’s legal framework to the planning systems and building regulations of Slovenia, Vienna, Zurich, and Paris. Arguing that a building code is an inseparable part of land-use management and land-use planning implementation system as well as of sustainable, effective urban politics, the author proposes a model for a new building code and a comprehensive planning system for the Canton of Sarajevo. With implications for spatial planning beyond Bosnia and Herzegovina, the book is highly relevant for planning policy and administration, but also for the scientific community: It addresses spatial and urban planners, jurists, architects, sociologists, and historians of architecture in Continental and South-East Europe.

PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2021
PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2021

Author: Michael W. Whalen

Publisher: TU Wien Academic Press

Published: 2021-10-14

Total Pages: 297

ISBN-13: 3854480466

DOWNLOAD EBOOK

Our life is dominated by hardware: a USB stick, the processor in our laptops or the SIM card in our smart phone. But who or what makes sure that these systems work stably, safely and securely from the word go? The computer - with a little help from humans. The overall name for this is CAD (computer-aided design), and it’s become hard to imagine our modern industrial world without it. So how can we be sure that the hardware and computer systems we use are reliable? By using formal methods: these are techniques and tools to calculate whether a system description is in itself consistent or whether requirements have been developed and implemented correctly. Or to put it another way: they can be used to check the safety and security of hardware and software. Just how this works in real life was also of interest at the annual conference on "Formal Methods in Computer-Aided Design (FMCAD)". Under the direction of Ruzica Piskac and Michael Whalen, the 21st Conference in October 2021 addressed the results of the latest research in the field of formal methods. A volume of conference proceedings with over 30 articles covering a wide range of formal methods has now been published for this online conference: starting from the verification of hardware, parallel and distributed systems as well as neuronal networks, right through to machine learning and decision-making procedures. This volume provides a fascinating insight into revolutionary methods, technologies, theoretical results and tools for formal logic in computer systems and system developments.

Geospatial Thinking
Geospatial Thinking

Author: Marco Painho

Publisher: Springer Science & Business Media

Published: 2010-07-20

Total Pages: 427

ISBN-13: 3642123260

DOWNLOAD EBOOK

For the fourth consecutive year, the Association of Geographic Infor- tion Laboratories for Europe (AGILE) promoted the edition of a book with the collection of the scientific papers that were submitted as full-papers to the AGILE annual international conference. Those papers went through a th competitive review process. The 13 AGILE conference call for fu- papers of original and unpublished fundamental scientific research resulted in 54 submissions, of which 21 were accepted for publication in this - lume (acceptance rate of 39%). Published in the Springer Lecture Notes in Geoinformation and Car- th graphy, this book is associated to the 13 AGILE Conference on G- graphic Information Science, held in 2010 in Guimarães, Portugal, under the title “Geospatial Thinking”. The efficient use of geospatial information and related technologies assumes the knowledge of concepts that are fundamental components of Geospatial Thinking, which is built on reasoning processes, spatial conc- tualizations, and representation methods. Geospatial Thinking is associated with a set of cognitive skills consisting of several forms of knowledge and cognitive operators used to transform, combine or, in any other way, act on that same knowledge. The scientific papers published in this volume cover an important set of topics within Geoinformation Science, including: Representation and Visualisation of Geographic Phenomena; Spatiotemporal Data Analysis; Geo-Collaboration, Participation, and Decision Support; Semantics of Geoinformation and Knowledge Discovery; Spatiotemporal Modelling and Reasoning; and Web Services, Geospatial Systems and Real-time Appli- tions.

International Conference on Innovative Computing and Communications
International Conference on Innovative Computing and Communications

Author: Ashish Khanna

Publisher: Springer Nature

Published: 2019-11-16

Total Pages: 599

ISBN-13: 9811503249

DOWNLOAD EBOOK

This book gathers high-quality research papers presented at the Second International Conference on Innovative Computing and Communication (ICICC 2019), which was held at the VSB - Technical University of Ostrava, Czech Republic, on 21–22 March 2019. Highlighting innovative papers by scientists, scholars, students, and industry experts in the fields of computing and communication, the book promotes the transformation of fundamental research into institutional and industrialized research, and the translation of applied research into real-world applications.

New Technologies, Development and Application IV
New Technologies, Development and Application IV

Author: Isak Karabegović

Publisher: Springer Nature

Published: 2021-05-11

Total Pages: 1233

ISBN-13: 3030752755

DOWNLOAD EBOOK

This book features papers focusing on the implementation of new and future technologies, which were presented at the International Conference on New Technologies, Development, and Application, held at the Academy of Science and Arts of Bosnia and Herzegovina in Sarajevo on June 24–26, 2021. It covers a wide range of future technologies and technical disciplines, including complex systems such as Industry 4.0; patents in industry 4.0; robotics; mechatronics systems; automation; manufacturing; cyber-physical and autonomous systems; sensors; networks; control, energy, renewable energy sources; automotive and biological systems; vehicular networking and connected vehicles; effectiveness and logistics systems; smart grids; nonlinear systems; power, social and economic systems; education; and IoT. The book New Technologies, Development and Application III is oriented toward Fourth Industrial Revolution “Industry 4.0, ”implementation which improves many aspects of human life in all segments and leads to changes in business paradigms and production models. Further, new business methods are emerging and transforming production systems, transport, delivery, and consumption, which need to be monitored and implemented by every company involved in the global market.

SMART PARKING IN FAST-GROWING CITIES
SMART PARKING IN FAST-GROWING CITIES

Author: Stephan Winter

Publisher: TU Wien Academic Press

Published: 2021-07-14

Total Pages: 217

ISBN-13: 3854480458

DOWNLOAD EBOOK

Parking is a challenge for cities everywhere, but especially for cities in low- and middle-income countries. There, cities are experiencing rapid urbanization and increasing motorization, while investment capacity for parking infrastructure is limited, and despite the availability of free on-street parking, it is not used in an efficient and coordinated way. This book is meant to act as a resource for those managing urban parking challenges, particularly in low- and middle-income countries. This openAccess book can provide immediate guidance to city authorities, engineering firms, and urban planners worldwide and help develop data-driven solutions for smarter cities. The first part of this book portrays geospatial technologies in the context of urban mobility in smart cities. The second part focuses on implementing those technologies in parking management in low and middle-income countries.

WIND POWER DEPLOYMENT IN URBANISED REGIONS
WIND POWER DEPLOYMENT IN URBANISED REGIONS

Author: Pia Nabielek

Publisher: TU Wien Academic Press

Published: 2020

Total Pages: 238

ISBN-13: 3854480334

DOWNLOAD EBOOK

Delivering sustainable energy solutions has become a fundamental task of spatial planning. This dissertation considers the field of tension between higher-tier energy schemes and local-level implementation practices by analysing regional planning policies regarding wind power from an institutional perspective. Institutional challenges in spatial planning are closely related in particular to the flexibility and adaptability of those planning practices that are needed to supply ´acceptable locations´. Similar trends can be detected at a European level: targeted energy values are combined with administratively defined spaces - by putting the zoning of wind energy generation on regional spatial planning agendas. The outlining of wind power zones is not merely a technical act that determines the territorial spread of wind turbines. Rather, it configures social-organisational entities in which regionally varying sets of actors interact and, in the best case, join forces.

Experiences of Test Automation
Experiences of Test Automation

Author: Dorothy Graham

Publisher: Addison-Wesley Professional

Published: 2012

Total Pages: 672

ISBN-13: 0321754069

DOWNLOAD EBOOK

In this work, over 40 pioneering implementers share their experiences and best practices in 28 case studies. Drawing on their insights, you can avoid the pitfalls associated with test automation, and achieve powerful results on every metric you care about: quality, cost, time to market, usability, and value.