For the investigation of the minimal structural requirements for cytokine induction, Staphylococcus aureus lipoteichoic acid derivatives with two, three, four, and five glycerophosphate backbone moieties, carrying each a d-alanyl residue, were needed. Based on two different glycerophosphate building blocks and 6b-O-phosphitylated gentiobiosyl diacylglycerol the desired target molecules (compoun...

We provide a detailed analysis of atomic ∗-representations of rank 2 graphs on a single vertex. They are completely classified up to unitary equivalence, and decomposed into a direct sum or direct integral of irreducible atomic representations. The building blocks are described as the minimal ∗-dilations of defect free representations modelled on finite groups of rank 2.

With the rising cost of energy and growing environmental concerns, the demand for sustainable building facilities with minimal environmental impact is increasing. The most effective decisions regarding sustainability in a building facility are made in the early design and preconstruction stages. In this context, Building Information Modeling (BIM) can aid in performing complex building performa...

We address the problem of generating a minimal state graph from a program, without building the whole state graph. Minimality is considered here with respect to bisimulation. A generation algorithm is derived and illustrated. Applications concern program veriication and control synthesis in reactive program compilation.

We introduce a linear code based on resilient maps on vector spaces over finite fields, we give a basis of this code and upper and lower bounds for its minimal distance. Then the use of the introduced code for building vector space secret sharing schemes is explained and an estimation of the robustness of the schemes against cheaters is provided.

This paper introduces a novel “Autotune” methodology under development for calibrating building energy models (BEM). It is aimed at developing an automated BEM tuning methodology that enables models to reproduce measured data such as utility bills, sub-meter, and/or sensor data accurately and robustly by selecting bestmatch E+ input parameters in a systematic, automated, and repeatable fashion....

In this paper, we study the factorability of linear time-varying (LTV) lossless filters and filter banks. We give a complete characterization of all degree-one lossless LTV systems and show that all degree-one lossless systems can be decomposed into a time-dependent unitary matrix followed by a lossless dyadicbased LTV system. The lossless dyadic-based system has several properties that make it...

building contraventions have become one of the important dilemmas of many cities like tehran. the wide aftereffects of the contraventions and the large cost of removing their negative effects, make the reduction of the possibility of their occurrence essential. this paper tries to find the reasons and roots of building contraventions in order to prevent their occurrence through appropriate plan...