The paper presents a case study where the energy demand for a listed building constructed in 1900 is reduced. Many older buildings are listed and have restrictions that include the entire building or that include only its exterior. For the building presented, only its exterior facade is listed. The paper demonstrates measures for the improvement of the thermal insulation of the building with so...

With respect to disasters, earthquake is one of the leading causes of death. Its aftermath can be abated if proper actions take place before the onset of the earthquake. Various sectors in a country are responsible for managing disasters, but the lack of knowledge about the positive effects of their actions makes them reluctant to act decisively. Retrofitting buildings and structures, positioni...

BACKGROUND Bacterial artificial chromosomes (BACs) have been used extensively for sequencing the human and mouse genomes and are thus readily available for most genes. The large size of BACs means that they can generally carry intact genes with all the long range controlling elements that drive full levels of tissue-specific expression. For gene expression studies and gene therapy applications ...

In the present paper, the focus is on the evaluation of steel dual-system frame buildings using four main types of structural analysis (Linear Static, Linear Dynamic, Nonlinear Static and Nonlinear Dynamic Analyses) with regard to "Seismic Rehabilitation Code for Existing Buildings in Iran" (based on FEMA 273 and 356) where the first two authors of the article tend to follow the previous work (...

Non-null types can detect certain null-related errors in object-oriented programs earlier and avoid other such errors altogether. This paper gives a proposal for retrofitting a language like C# or Java with non-null types. It addresses the complications that arise in constructors, where non-null fields may not yet have been initialized.

The computer security community has long advocated defense in depth, the concept of building multiple layers of defense to protect a system. Unfortunately, it has been difficult to realize this vision in practice, and software often ships with inadequate defenses, typically developed in an ad hoc fashion. Currently, programmers reason about security manually and lack tools to validate assurance...

Researchers have long argued that the best way to construct a secure system is to proactively integrate security into the design of the system. However, this tenet is rarely followed because of economic and practical considerations. Instead, security mechanisms are added as the need arises, by retrofitting legacy code. Unfortunately, existing techniques to do so are manual and adhoc, and often ...

We provide a method for obtaining simple models of supersymmetry breaking, with all small mass scales generated dynamically, and illustrate it with explicit examples. We start from models of perturbative supersymmetry breaking, such as O’Raifeartaigh and Fayet models, that would respect an R symmetry if their small input parameters transformed as the superpotential does. By coupling the system ...