Search results for "Teoria"
showing 10 items of 2647 documents
Il problema dell'origine del linguaggio e le scienze cognitive: un'ipotesi sull'evoluzione del meccanismo ricorsivo
2009
Reverse electrodialysis heat engine with multi-effect distillation: Exergy analysis and perspectives
2019
Abstract The increasing worldwide energy demand is rising the interest on alternative power production technologies based on renewable and emission-free energy sources. In this regard, the closed-loop reverse electrodialysis heat engine is a promising technology with the potential to convert low-grade heat into electric power. The reverse electrodialysis technology has been under investigation in the last years to explore the real potentials for energy generation from natural and artificial solutions, and recent works have been addressing also the potential of its coupling with regeneration strategies, looking at medium and large energy supply purposes. In this work, for the first time, a c…
Thermodynamic, Exergy, and Thermoeconomic analysis of Multiple Effect Distillation Processes
2018
Abstract Multiple effect distillation (MED) is nowadays the preferred technology for the construction of new plants based on thermal processes in the growing desalination market. MED technology, in fact, presents a number of advantages with respect to the more traditional multistage flash technology, among all the lower energy consumption achievable in MED plants. However, a large potential for improvement in terms of lowering production costs still exists, which stimulates further efforts on process optimization from companies and researchers involved in the field. Thermodynamic and exergy analysis provides useful insights regarding the identification of main inefficiencies and the margins…
Exergy analysis of reverse electrodialysis
2018
Abstract Reverse electrodialysis in closed loop configurations is a promising membrane technology in the energy conversion and storage fields. One of the main advantages of closed-loop reverse electrodialysis is the possibility of using a wide range of operating concentrations, flow rates and different salts for generating the salinity gradient. In this work, an original exergy analysis of the reverse electrodialysis process was carried out in order to investigate reverse electrodialysis performance in terms of energetic and exergetic efficiency parameters in a wide range of operating conditions. A mono-dimensional model of the reverse electrodialysis process was developed, in which all sou…
Combinatorial proofs of two theorems of Lutz and Stull
2021
Recently, Lutz and Stull used methods from algorithmic information theory to prove two new Marstrand-type projection theorems, concerning subsets of Euclidean space which are not assumed to be Borel, or even analytic. One of the theorems states that if $K \subset \mathbb{R}^{n}$ is any set with equal Hausdorff and packing dimensions, then $$ \dim_{\mathrm{H}} π_{e}(K) = \min\{\dim_{\mathrm{H}} K,1\} $$ for almost every $e \in S^{n - 1}$. Here $π_{e}$ stands for orthogonal projection to $\mathrm{span}(e)$. The primary purpose of this paper is to present proofs for Lutz and Stull's projection theorems which do not refer to information theoretic concepts. Instead, they will rely on combinatori…
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
2020
AbstractIn model checking, partial-order reduction (POR) is an effective technique to reduce the size of the state space. Stubborn sets are an established variant of POR and have seen many applications over the past 31 years. One of the early works on stubborn sets shows that a combination of several conditions on the reduction is sufficient 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 solution together with an updated correctness proof. Furthermore, we analyse in whi…
Surrogate outcomes and transportability
2019
Identification of causal effects is one of the most fundamental tasks of causal inference. We consider an identifiability problem where some experimental and observational data are available but neither data alone is sufficient for the identification of the causal effect of interest. Instead of the outcome of interest, surrogate outcomes are measured in the experiments. This problem is a generalization of identifiability using surrogate experiments and we label it as surrogate outcome identifiability. We show that the concept of transportability provides a sufficient criteria for determining surrogate outcome identifiability for a large class of queries.
The DMT of Real and Quaternionic Lattice Codes and DMT Classification of Division Algebra Codes
2021
In this paper we consider the diversity-multiplexing gain tradeoff (DMT) of so-called minimum delay asymmetric space-time codes. Such codes are less than full dimensional lattices in their natural ambient space. Apart from the multiple input single output (MISO) channel there exist very few methods to analyze the DMT of such codes. Further, apart from the MISO case, no DMT optimal asymmetric codes are known. We first discuss previous criteria used to analyze the DMT of space-time codes and comment on why these methods fail when applied to asymmetric codes. We then consider two special classes of asymmetric codes where the code-words are restricted to either real or quaternion matrices. We p…
Quantum Phases and Spin Liquid Properties of 1T-TaS2
2021
Quantum materials exhibiting magnetic frustration are connected to diverse phenomena including high-Tc superconductivity, topological order and quantum spin liquids (QSLs). A QSL is a quantum phase (QP) related to a quantum-entangled fluid-like state of matter. Previous experiments on QSL candidate materials are usually interpreted in terms of a single QP, although theories indicate that many distinct QPs are closely competing in typical frustrated spin models. Here we report on combined temperature-dependent muon spin relaxation and specific heat measurements for the triangular-lattice QSL candidate material 1T-TaS2 that provide evidence for competing QPs. The measured properties are assig…
Label swapper device for spectral amplitude coded optical packet networks monolithically integrated on InP
2011
In this paper the design, fabrication and experimental characterization of an spectral amplitude coded (SAC) optical label swapper monolithically integrated on Indium Phosphide (InP) is presented. The device has a footprint of 4.8x1.5 mm 2 and is able to perform label swapping operations required in SAC at a speed of 155 Mbps. The device was manufactured in InP using a multiple purpose generic integration scheme. Compared to previous SAC label swapper demonstrations, using discrete component assembly, this label swapper chip operates two order of magnitudes faster. © 2011 Optical Society of America.