Search results for "Roof"
showing 10 items of 303 documents
Self-powered IoT Device based on Energy Harvesting for Remote Applications
2018
In this paper, we present the design and prototype implementation of self-powered Internet of Things (IoT) device based on energy harvesting from a small solar panel of size 63mm x 63mm and 0.36W for remote applications. These IoT devices can be deployed in remote places within the range of a gateway. A complete proof of concept IoT device based on ambient energy harvesting is designed, prototyped and tested with super capacitors and Lithium cells in star topology. Based on the measurements, the IoT device can potentially last for one year with 55 seconds transmission interval with the fully charged 120mAh coin cell battery. On the other hand, a fully charged single 5F supercapacitor lasts …
Resource Quantification for the No-Programming Theorem
2018
The no-programming theorem prohibits the existence of a Universal Programmable Quantum Processor. This statement has several implications in relation to quantum computation, but also to other tasks of quantum information processing, making this construction a central notion in this context. Nonetheless, it is well known that even when the strict model is not implementable, it is possible to conceive of it in an approximate sense. Unfortunately, the minimal resources necessary for this aim are still not completely understood. Here, we investigate quantitative statements of the theorem, improving exponentially previous bounds on the resources required by such a hypothetical machine. The proof…
Finitary formal topologies and Stone’s representation theorem
2008
AbstractWe study the concept of finitary formal topology, a point-free version of a topological space with a basis of compact open subsets. The notion of finitary formal topology is defined from the perspective of the Basic Picture (introduced by the second author) and thus it is endowed with a binary positivity relation. As an application, we prove a constructive version of Stone’s representation theorem for distributive lattices. We work within the framework of a minimalist foundation (as proposed by Maria Emilia Maietti and the second author). Both inductive and co-inductive methods are used in most proofs.
Surfaces with Boundary
2012
One of the objectives of this book is to obtain a rigorous proof of a version of Green’s formula for compact subsets of \(\mathbb{R}^2\) whose topological boundary is a regular curve of class C 2. These sets are typical examples of what we will call regular 2-surfaces with boundary in \(\mathbb{R}^2\). The analogous three-dimensional example would consist of a compact set of \(\mathbb{R}^3\) whose topological boundary is a regular surface of class C 2. The following example is perhaps instructive.
Verde pensile estensivo ad alto valore ecologico in ambiente mediterraneo. Aspetti progettuali e funzionali
2013
Green areas are open spaces holding an unexpected kind of local biodiversity within the city, linked to species and habitats frequently found in human settlements. Green roofs can be an important means for environmental mitigation and, if designed according to the principles of restoration ecology, can improve the thermodynamic performance / hydraulic system and at the same time encouraging the development of urban biodiversity. With this work, we propose a methodology approach for green roofs in Mediterranean areas, that integrate aesthetic values with the functional traits of native species, in order to make green roofs “local tanks of biodiversity”.
Il ruolo del white paper sulle offerte al pubblico di cripto-attività alla luce della proposta MiCA
2022
La proposta MiCA, nel regolare il white paper sulle offerte di crypto-assets, sembra tenere in considerazione i benefici e i limiti dei sistemi di voluntary e di mandatory disclosure, non optando integralmente né per il primo, né per il secondo. In quest’ottica, se può condividersi l’approccio regolamentare diretto a graduare, a seconda della tipologia di token offerto, sia il contenuto che l’assoggettamento del documento a mera notifica o ad approvazione ex ante da parte dell’Autorità competente, dubbi sorgono in ordine all’indistinta allocazione dell’onere della prova in capo all’oblato, nei casi di violazione della disciplina del relativo white paper.
La scoperta, sistemazione e conservazione della grande Iscrizione di Gortina, nell'isola di Creta (1884-1921): la protezione delle testimonianze e le…
2013
La scoperta e la conservazione della Grande Iscrizione di Gortina a Creta, da parte degli studiosi italiani, fra la fine del XIX sec. e i primi decenni del XX sec., rappresentò un grande riconoscimento scientifico-culturale per la giovane nazione italiana. Nel passato, l’isola di Creta era stata legata alla Repubblica di Venezia e anche questo rapporto favorì l’invio a Creta del giovane epigrafista F. Halbherr, il quale fra notevoli peripezie rinvenne, assieme all’epigrafista tedesco E. Fabricius, la famosa l’iscrizione nell’antica città di Gortina. L’iscrizione, fra le più antiche e complete finora conosciute in tutta Europa, conteneva le norme sulla famiglia, l’eredità e in generale i dir…
How much geometry it takes to reconstruct a 2-manifold in R 3
2009
Known algorithms for reconstructing a 2-manifold from a point sample in R 3 are naturally based on decisions/predicates that take the geometry of the point sample into account. Facing the always present problem of round-off errors that easily compromise the exactness of those predicate decisions, an exact and robust implementation of these algorithms is far from being trivial and typically requires employment of advanced datatypes for exact arithmetic, as provided by libraries like CORE, LEDA, or GMP. In this article, we present a new reconstruction algorithm, one whose main novelties is to throw away geometry information early on in the reconstruction process and to mainly operate combina…
Code Interoperability and Standard Data Formats in Quantum Chemistry and Quantum Dynamics: The Q5/Q5cost Data Model
2014
Code interoperability and the search for domain-specific standard data formats represent critical issues in many areas of computational science. The advent of novel computing infrastructures such as computational grids and clouds make these issues even more urgent. The design and implementation of a common data format for quantum chemistry (QC) and quantum dynamics (QD) computer programs is discussed with reference to the research performed in the course of two Collaboration in Science and Technology Actions. The specific data models adopted, Q5Cost and D5Cost, are shown to work for a number of interoperating codes, regardless of the type and amount of information (small or large datasets) …