Search results for "Roof"

Vegetation growth parameters and leaf temperature: Experimental results from a six plots green roofs' system

2016

Abstract The paper provides a contribution for populating database of three physical parameters needed to model energy performance of buildings with green roofs: “coverage ratio” ( σ f ), leaf area index (LAI) and leaf temperature ( T f ). On purpose, six plant species were investigated experimentally: Phyla nordiflora, Aptenia lancifolia , Mesembryanthenum barbatus , Gazania nivea, Gazania uniflora , and Sedum . Proper ranges of the cited parameters have been found for each species. The here indicated ranges of σ f values refer to different growth levels of the species in the same lapse of time, that is four months. Single measured LAI values are also reported for the same plants. As for t…

Asynchronous Runtime Verification of Business Processes: Proof of Concept

2020

Causalità e responsabilità contrattuale (tenzone tra un giudice e un professore). Parte II: La causalità materiale e le obbligazioni di facere profes…

2022

Il saggio si articola in due parti. Nella prima vengono affrontate le due fasi del giudizio sulla causalità materiale, soffermandosi, in particolare, sul nodo dell'individuazione delle regole di causalità generale, sul problema sistematico dell'unitarietà o meno della nozione di causalità materiale, anche alla luce della portata degli art. 40 e 41 c.p., e sulla necessità di differenziare le regole probatorie della causalità materiale nel diritto civile rispetto a quelle operanti nel diritto penale. Nella seconda parte viene approfondito il tema controverso dell'autonomo rilievo o meno della causalità materiale nella responsabilità per inadempimento delle obbligazioni di facere professionale…

Geant4-aided Quantum State Selective Decay Spectroscopy of 213 Ra

2017

Utilizing the excellent mass resolving power of SHIPTRAP and the charged-particle-g multicoincidence setup TASISpec, the decay path of the 213Ra ground state can be exclusively studied. Based on virtual experiments with Geant4 it is possible to refine the a-branching ratios of the 213Ra ground state as well as g-ray branching ratios in the 209Rn daughter. The present study provides a proof of concept where clean quantum-state selective particle-g decay spectroscopy is used in conjunction with detailed Geant4 Monte-Carlo simulations to gain insight into nuclear structure properties.

CITES, wild plants, and opportunities for crime

2017

The illegal trade in endangered plants damages both the environment and localcommunities by threatening and destroying numerous species and important natural resources. There is very little research which systematically addresses this issue by identifying specific opportunities for crime. This article presents the results of an interdisciplinary study which brings together criminological and conservation science expertise to identify criminal opportunities in the illegal wild plant trade and suggest strategies in order to prevent and mitigate the problem. Methodologically, the study adapts a crime proofing of legislation approach to the UN Convention on the International Trade in Endangered…

Are locally finite MV-algebras a variety?

2021

We answer Mundici's problem number 3 (D. Mundici. Advanced {\L}ukasiewicz calculus. Trends in Logic Vol. 35. Springer 2011, p. 235): Is the category of locally finite MV-algebras equivalent to an equational class? We prove: (i) The category of locally finite MV-algebras is not equivalent to any finitary variety. (ii) More is true: the category of locally finite MV-algebras is not equivalent to any finitely-sorted finitary quasi-variety. (iii) The category of locally finite MV-algebras is equivalent to an infinitary variety; with operations of at most countable arity. (iv) The category of locally finite MV-algebras is equivalent to a countably-sorted finitary variety. Our proofs rest upon th…

On an Inequality for Trigonometric Polynomials In Several Variables

1990

Publisher Summary This chapter presents trigonometric polynomials in n variables. Using the methods of approximation theory, an inequality can be extended to almost periodic functions and to still more general classes of functions as in the case for Bohr's inequality. However, no analogous result exists in the case of two variables. For the solution of problems containing small divisors, the estimate has to be completed by theorems concerning the best approximation of holomorphic functions by trigonometric polynomials in polystrips. The chapter also presents equations to provide an estimate for a differential operator.

Cloud Computing Adoption Factors and Processes for Enterprises - A Systematic Literature Review

2014

Cloud computing has received an increasing interest from enterprises since its inception. With its innovative Information Technology (IT) services delivery model, cloud computing could add technical and strategic business values to enterprises. However, it poses highly concerning, internal and external, issues. This paper presents a systematic literature review to explore cloud computing adoption processes in the context of enterprise users and the factors that affect these processes. This is achieved by reviewing 37 articles published about cloud computing adoption. Using the grounded theory approach, articles are classified into eight main categories: internal, external, evaluation, proof…

A simple proof of the polylog counting ability of first-order logic

2007

The counting ability of weak formalisms (e.g., determining the number of 1's in a string of length N ) is of interest as a measure of their expressive power, and also resorts to complexity-theoretic motivations: the more we can count the closer we get to real computing power. The question was investigated in several papers in complexity theory and in weak arithmetic around 1985. In each case, the considered formalism (AC 0 -circuits, first-order logic, Δ 0 ) was shown to be able to count up to a polylogarithmic number. An essential part of the proofs is the construction of a 1-1 mapping from a small subset of {0, ..., N - 1} into a small initial segment. In each case the expressibility of …

The McKay conjecture and Galois automorphisms

2004

The main problem of representation theory of finite groups is to find proofs of several conjectures stating that certain global invariants of a finite group G can be computed locally. The simplest of these conjectures is the ?McKay conjecture? which asserts that the number of irreducible complex characters of G of degree not divisible by p is the same if computed in a p-Sylow normalizer of G. In this paper, we propose a much stronger version of this conjecture which deals with Galois automorphisms. In fact, the same idea can be applied to the celebrated Alperin and Dade conjectures.