Search results for "Roof"

The design of absorbing Bayesian pursuit algorithms and the formal analyses of their ε-optimality

2016

The fundamental phenomenon that has been used to enhance the convergence speed of learning automata (LA) is that of incorporating the running maximum likelihood (ML) estimates of the action reward probabilities into the probability updating rules for selecting the actions. The frontiers of this field have been recently expanded by replacing the ML estimates with their corresponding Bayesian counterparts that incorporate the properties of the conjugate priors. These constitute the Bayesian pursuit algorithm (BPA), and the discretized Bayesian pursuit algorithm. Although these algorithms have been designed and efficiently implemented, and are, arguably, the fastest and most accurate LA report…

Solving the Discrete Multiple Criteria Problem using Convex Cones

1984

An interactive method employing pairwise comparisons of attainable solutions is developed for solving the discrete, deterministic multiple criteria problem assuming a single decision maker who has an implicit quasi-concave increasing utility (or value) function. The method chooses an arbitrary set of positive multipliers to generate a proxy composite linear objective function which is then maximized over the set of solutions. The maximizing solution is compared with several solutions using pairwise judgments asked of the decision maker. Responses are used to eliminate alternatives using convex cones based on expressed preferences, and then a new set of weights is found that satisfies the i…

Conformal equivalence of visual metrics in pseudoconvex domains

2017

We refine estimates introduced by Balogh and Bonk, to show that the boundary extensions of isometries between smooth strongly pseudoconvex domains in $\C^n$ are conformal with respect to the sub-Riemannian metric induced by the Levi form. As a corollary we obtain an alternative proof of a result of Fefferman on smooth extensions of biholomorphic mappings between pseudoconvex domains. The proofs are inspired by Mostow's proof of his rigidity theorem and are based on the asymptotic hyperbolic character of the Kobayashi or Bergman metrics and on the Bonk-Schramm hyperbolic fillings.

Parked electric car's cabin heat management using photovoltaic powered ventilation system

2019

Abstract This paper explores the use of electric car roof mounted photovoltaic (PV) powered ventilation for cabin heat management/ventilation. A fully-functional Renault Zoe electric car has been used for performance evaluation of parked electric car ventilation directly powered by PV. This work has been part of a research project of testing electric cars in the urban environment and it has been conducted at the Edinburgh Napier University’s Transport Research Institute. In this work, parked electric car ventilation has been reported, when roof-mounted PV modules were used to operate DC powered fans for ventilation. It has been found that the DC motor-fan selection for removing the hot air …

Studies on sedum taxa found in Sicily (Italy) for mediterranean extensive green roofs

2018

One type of green roof whose function is ecological and environmental rather than aesthetic is the extensive green roof. Many studies have shown that Sedum performs very well compared to other hardy species in substrates of less than 10 cm. It seems that Sedum species are able to survive in very thin substrates; they tolerate extreme temperatures and sudden variations in temperatures, high levels of solar radiation, strong winds, poor substrate fertility and extreme drought. In particular, this paper looks at the potential of a number of species from the Sicilian taxa of the genus Sedum (Crassulaceae), which are considered to be those xerophytes most suited for use in extensive green roof s…

Installazione di un tetto verde multistrato in un tipico ambiente urbano del sud Italia

Il verde pensile è un sistema tecnologico che prevede l’utilizzo della vegetazione come strato superiore della copertura di un edificio, impiegato sia per le sue funzioni ambientali che per le sue caratteristiche estetiche (Cascone, 2019). Infatti, la realizzazione di un tetto verde, oltre al suo intrinseco valore ecologico, consente numerosi vantaggi economici ed ambientali rispetto alle coperture tradizionali (Berardi & Ghaffarianhoseini, 2014). Nel tempo, l’interesse nei confronti dei tetti verdi è sempre più cresciuto, sia per i benefici conseguibili che rispondono a molti degli obiettivi delle diverse politiche nazionali, europee e internazionali per la mitigazione e l’adattamento …

A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

2021

One of the most popular state-space reduction techniques for model checking is partial-order reduction (POR). Of the many different POR implementations, stubborn sets are a very versatile variant and have thus seen many different applications over the past 32 years. One of the early stubborn sets works shows how the basic conditions for reduction can be augmented to preserve stutter-trace equivalence, making stubborn sets suitable for model checking of linear-time properties. In this paper, we identify a flaw in the reasoning and show with a counter-example that stutter-trace equivalence is not necessarily preserved. We propose a stronger reduction condition and provide extensive new correc…

Consistency Analysis of Genome-Scale Models of Bacterial Metabolism: A Metamodel Approach.

2015

Genome-scale metabolic models usually contain inconsistencies that manifest as blocked reactions and gap metabolites. With the purpose to detect recurrent inconsistencies in metabolic models, a large-scale analysis was performed using a previously published dataset of 130 genome-scale models. The results showed that a large number of reactions (~22%) are blocked in all the models where they are present. To unravel the nature of such inconsistencies a metamodel was construed by joining the 130 models in a single network. This metamodel was manually curated using the unconnected modules approach, and then, it was used as a reference network to perform a gap-filling on each individual genome-s…

Correlation between mutation rate and genome size in riboviruses: mutation rate of bacteriophage Qβ.

2013

Abstract Genome sizes and mutation rates covary across all domains of life. In unicellular organisms and DNA viruses, they show an inverse relationship known as Drake’s rule. However, it is still unclear whether a similar relationship exists between genome sizes and mutation rates in RNA genomes. Coronaviruses, the RNA viruses with the largest genomes (∼30 kb), encode a proofreading 3′ exonuclease that allows them to increase replication fidelity. However, it is unknown whether, conversely, the RNA viruses with the smallest genomes tend to show particularly high mutation rates. To test this, we measured the mutation rate of bacteriophage Qβ, a 4.2-kb levivirus. Amber reversion-based Luria–D…

Inadempimento e causalità nelle obbligazioni di fare professionale

2020

Il saggio analizza e tenta di confutare i recenti tentativi, giurisprudenziali e dottrinari, di ritagliare alle obbligazioni di facere professionale un regime apposito di responsabilità contrattuale, specie sul versante della rilevanza autonoma del nesso di causalità materiale e dell’imposizione al creditore del relativo onere probatorio. Muovendo dall’esame dell’oggetto delle obbligazioni di facere professionale, il saggio si prefigge di offrire una conferma dell’unitarietà delle regole di responsabilità contrattuale e della ripartizione dei temi di prova tra creditore e debitore. The essay analyzes and tries to refute recent attempts, both in jurisprudence and in doctrine, to cut out to t…