Search results for "proof"

A Lattice-Geometric Proof of Wedderburn’s Theorem

1993

This note presents a proof of Wedderburn’s theorem concerning the classification of semisimple rings within the conceptual frame of projective lattice geometry.

Fast Available Bandwidth sampling for ADSL links: rethinking the estimation for larger-scale measurements

2009

Most existing tools for measuring the end-to-end available bandwidth require access to both end-hosts of the measured path, which severely restricts their usability. Few tools have been developed to overcome this limitation, but all of them focus on achieving high precision and are not suitable for large campaigns. In this paper we develop FAB-Probe , a tool aimed at characterizing the available bandwidth of a large number of paths, adapting it particularly for ADSL settings. FAB-Probe is an evolution of ABwProbe , a tool that estimates the available bandwidth in non-cooperative ADSL environments. Analyzing carefully the needs of such a characterization tool, we optimize and rethink ABwProb…

Self-Powered IoT Device for Indoor Applications

2018

This paper presents a proof of concept for selfpowered Internet of Things (IoT) device, which is maintenance free and completely self-sustainable through energy harvesting. These IoT devices can be deployed in large scale and placed anywhere as long as they are in range of a gateway, and as long as there is sufficient light levels for the solar panel, such as indoor lights. A complete IoT device is designed, prototyped and tested. The IoT device can potentially last for more than 5 months (transmission interval of 30 seconds) on the coin cell battery (capacity of 120mAh) without any energy harvesting, sufficiently long for the dark seasons of the year. The sensor node contains ultra-low pow…

BIO-Bragg gratings: structured molecular networks for on-fiber bioanalysis

2021

The research on photonic biosensors is a scientific hot topic at the moment, with a significant potential impact on industry and medicine. Label-free, miniaturized, inexpensive and low-loss biosensors are developed based on optical fiber technology. Our approach is based on a Bio-Bragg-Grating (BBG) patterned on the surface of a microfiber. We present the design, fabrication and proof of concept of our device, as well as its multiplexing and tunability perspectives [1] .

Atomic Decomposition of Weighted Besov Spaces

1996

We find the atomic decomposition of functions in the weighted Besov spaces under certain factorization conditions on the weight. Introduction. After achieving the atomic decomposition of Hardy spaces (see [8,22, 33]), many of the function saces have been shown to admit similar decompositions. Let us mention the decomposition of B.M.O. (see [32, 25]), Bergman spaces (see [9, 23]), the predual of Bloch space (see [ 11]), Besov spaces (see [15, 4, 10]), Lipschitz spaces (see [18]), Triebel-Lizorkin spaces (see [16, 31]),... They are obtained by quite different methods, but there is a unified and beautiful approach to get the decomposition for most of the spaces. This is the use of a formula du…

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…