3,953 research outputs found
Resource-driven Substructural Defeasible Logic
Linear Logic and Defeasible Logic have been adopted to formalise different
features relevant to agents: consumption of resources, and reasoning with
exceptions. We propose a framework to combine sub-structural features,
corresponding to the consumption of resources, with defeasibility aspects, and
we discuss the design choices for the framework
A novel topology for a HEMT negative current mirror
A new solution for the implementation of a HEMT negative current source is presented. The topology can be also profitably employed as a current mirror and as an active load in high-gain MMICs voltage amplifiers. A small-signal model of the proposed circuit is developed which allows to find accurate expressions for the required transfer functions (i.e., the output impedance of the current source, and the current gain of the circuit when operated as a current mirror). Design examples using Philips PML ED02AH GaAs PHEMT process are provided. Spice simulations show that a 10- kW output impedance for the current source and a 35dB voltage gain for a differential pair loaded with the proposed current mirror are easily achieved
MicroRNAs in age-related diseases
Aging is a complex process that is linked to an increased incidence of major diseases such as cardiovascular and neurodegenerative disease, but also cancer and immune disorders. MicroRNAs (miRNAs) are small non-coding RNAs, which post-transcriptionally control gene expression by inhibiting translation or inducing degradation of targeted mRNAs. MiRNAs target up to hundreds of mRNAs, thereby modulating gene expression patterns. Many miRNAs appear to be dysregulated during cellular senescence, aging and disease. However, only few miRNAs have been so far linked to age-related changes in cellular and organ functions. The present article will discuss these findings, specifically focusing on the cardiovascular and neurological systems
Sum of exit times in series of metastable states in probabilistic cellular automata
Reversible Probabilistic Cellular Automata are a special class
of automata whose stationary behavior is described by Gibbs--like
measures. For those models the dynamics can be trapped for a very
long time in states which are very different from the ones typical
of stationarity.
This phenomenon can be recasted in the framework of metastability
theory which is typical of Statistical Mechanics.
In this paper we consider a model presenting two not degenerate in
energy
metastable states which form a series, in the sense that,
when the dynamics is started at one of them, before reaching
stationarity, the system must necessarily visit the second one.
We discuss a rule for combining the exit times
from each of the metastable states
Perturbative analysis of disordered Ising models close to criticality
We consider a two-dimensional Ising model with random i.i.d. nearest-neighbor
ferromagnetic couplings and no external magnetic field. We show that, if the
probability of supercritical couplings is small enough, the system admits a
convergent cluster expansion with probability one. The associated polymers are
defined on a sequence of increasing scales; in particular the convergence of
the above expansion implies the infinite differentiability of the free energy
but not its analyticity. The basic tools in the proof are a general theory of
graded cluster expansions and a stochastic domination of the disorder
Metastability for reversible probabilistic cellular automata with self--interaction
The problem of metastability for a stochastic dynamics with a parallel
updating rule is addressed in the Freidlin--Wentzel regime, namely, finite
volume, small magnetic field, and small temperature. The model is characterized
by the existence of many fixed points and cyclic pairs of the zero temperature
dynamics, in which the system can be trapped in its way to the stable phase.
%The characterization of the metastable behavior %of a system in the context of
parallel dynamics is a very difficult task, %since all the jumps in the
configuration space are allowed. Our strategy is based on recent powerful
approaches, not needing a complete description of the fixed points of the
dynamics, but relying on few model dependent results. We compute the exit time,
in the sense of logarithmic equivalence, and characterize the critical droplet
that is necessarily visited by the system during its excursion from the
metastable to the stable state. We need to supply two model dependent inputs:
(1) the communication energy, that is the minimal energy barrier that the
system must overcome to reach the stable state starting from the metastable
one; (2) a recurrence property stating that for any configuration different
from the metastable state there exists a path, starting from such a
configuration and reaching a lower energy state, such that its maximal energy
is lower than the communication energy
Delay-Tolerant, Low-Power Protocols for Large Security-Critical Wireless Sensor Networks
This paper reports the analysis, implementation, and experimental testing of a delay-tolerant and energy-aware protocol for a wireless sensor node, oriented to security applications. The solution proposed takes advantages from different domains considering as a guideline the low power consumption and facing the problems of seamless and lossy connectivity offered by the wireless medium along with very limited resources offered by a wireless network node. The paper is organized as follows: first we give an overview on delay-tolerant wireless sensor networking (DTN); then we perform a simulation-based comparative analysis of state-of-the-art DTN approaches and illustrate the improvement offered by the proposed protocol; finally we present experimental data gathered from the implementation of the proposed protocol on a proprietary hardware node
Rejection of randomly coinciding events in ZnMoO scintillating bolometers
Random coincidence of events (particularly from two neutrino double beta
decay) could be one of the main sources of background in the search for
neutrinoless double beta decay with cryogenic bolometers due to their poor time
resolution. Pulse-shape discrimination by using front edge analysis, mean-time
and methods was applied to discriminate randomly coinciding events in
ZnMoO cryogenic scintillating bolometers. These events can be effectively
rejected at the level of 99% by the analysis of the heat signals with rise-time
of about 14 ms and signal-to-noise ratio of 900, and at the level of 92% by the
analysis of the light signals with rise-time of about 3 ms and signal-to-noise
ratio of 30, under the requirement to detect 95% of single events. These
rejection efficiencies are compatible with extremely low background levels in
the region of interest of neutrinoless double beta decay of Mo for
enriched ZnMoO detectors, of the order of counts/(y keV kg).
Pulse-shape parameters have been chosen on the basis of the performance of a
real massive ZnMoO scintillating bolometer. Importance of the
signal-to-noise ratio, correct finding of the signal start and choice of an
appropriate sampling frequency are discussed
Quality aware selective ECC for approximate DRAM
Approximate DRAMs are DRAM memories where energy saving techniques have been implemented by trading off bit-cell error rate with power consumption. They are considered part of the building blocks in the larger area of approximate computing. Relaxing refresh rate has been proposed as an interesting solution to achieve better efficiency at the expense of rising error rate. However, some works have demonstrated that much better results are achieved if at word-level some bits are retained without errors (i.e. their cells are refreshed at nominal rate), resulting in architectures using multiple refresh rates. In this paper we present a technique that can be applied to approximate DRAMs under reduced refresh rate. It allows to trim error rate at word-level, while still performing the refresh operation at the same rate for all cells. The number of bits that are protected is configurable and depends on output quality degradation that can be accepted by the application
Selective interactions between short-distance pollen and seed dispersal in self-compatible species.
In plants, genes may disperse through both pollen and seeds. Here we provide a first theoretical study of the mechanisms and consequences of the joint evolution of pollen and seed dispersal. We focus on hermaphroditic self-compatible species distributed in structured populations, assuming island dispersal of pollen and seeds among small patches of plants within large populations. Three traits are studied: the rate of among-patch seed dispersal, the rate of among-patch pollen dispersal, and the rate of within-patch pollen movement. We first analytically derive the evolutionary equilibrium state of each trait, dissect the pairwise selective interactions, and describe the joint three-trait evolutionary equilibrium under the cost of dispersal and kin competition. These results are then analytically and numerically extended to the case when selfed seeds suffer from depressed competitiveness (inbreeding depression, no heterosis). Finally individual-based simulations are used to account for a more realistic model of inbreeding load. Pollen movement is shown to generate opposite selection pressures on seed dispersal depending on spatial scale: within-patch pollen movement favors seed dispersal, whereas among-patch pollen dispersal inhibits seed dispersal. Seed dispersal selects for short-distance movements of pollen and it selects against long-distance dispersal. These interactions shape the joint evolution of these traits. Kin competition favors among-patch seed dispersal over among-patch pollen dispersal for low costs of within-patch pollen movement (and vice versa for significant costs of within-patch pollen movement). Inbreeding depression favors allogamy through high rates of within- and among-patch pollen movement. Surprisingly, it may select either for or against seed dispersal depending on the cost of among-patch pollen dispersal. Heterosis favors increased among-patch dispersal through pollen and seeds. But because these two stages inhibit each other, their joint evolution might lead to decreased seed dispersal in the presence of heterosis. Of crucial importance are the costs of dispersal
- …