5,929 research outputs found
Assume-guarantee verification for probabilistic systems
We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume- guarantee approach to verification, where both the assumptions made about system components and the guarantees that they provide are regular safety properties, represented by finite automata. Unlike previous proposals for assume-guarantee reasoning about probabilistic systems, our approach does not require that components interact in a fully synchronous fashion. In addition, the compositional verification method is efficient and fully automated, based on a reduction to the problem of multi-objective probabilistic model checking. We present asymmetric and circular assume-guarantee rules, and show how they can be adapted to form quantitative queries, yielding lower and upper bounds on the actual probabilities that a property is satisfied. Our techniques have been implemented and applied to several large case studies, including instances where conventional probabilistic verification is infeasible
The Transcriptional Corepressor NAB2 Inhibits NGF-induced Differentiation of PC12 Cells
The PC12 pheochromocytoma cell line responds to NGF by undergoing growth arrest and proceeding to differentiate toward a neuronal phenotype. Among the early genetic events triggered by NGF in PC12 cells are the rapid activation of the zinc finger transcription factor Egr1/NGFI-A, and a slightly delayed induction of NAB2, a corepressor that inhibits Egr1 transcriptional activity. We found that stably transfected PC12 cells expressing high levels of NAB2 do not differentiate, but rather continue to proliferate in response to NGF. Inhibition of PC12 differentiation by NAB2 overexpression was confirmed using two additional experimental approaches, transient transfection, and adenoviral infection. Early events in the NGF signaling cascade, such as activation of MAP kinase and induction of immediate-early genes, were unaltered in the NAB2-overexpressing PC12 cell lines. However, induction of delayed NGF response genes such as TGF-beta 1 and MMP-3 was inhibited. Furthermore, NAB2 overexpression led to downregulation of p21WAF1, a molecule previously shown to play a pivotal role in the ability of PC12 cells to undergo growth arrest and commit to differentiation in response to NGF. Cotransfection with p21WAF1 restored the ability of NAB2-overexpressing PC12 cells to differentiate in response to NGF
Does the interaction between the knowledge management process and sustainable development practices boost corporate green innovation?
Green innovations are being deployed in manufacturing industries to promote organisational sustainability by embracing sustainable development practices (SDPs). However, little is known about how corporate green innovation (CGI) is influenced by the knowledge management process (KMP). To fill this gap, we have developed a multidimensional framework based on the resource-based view (RBV) theory that provides a foundation for sculpturing the process by which KMP was observed to capture and sustain CGI through SDPs. Data were collected from 393 respondents of large- and medium-sized manufacturing corporations in Pakistan and analysed using partial least squares structural equation modelling (SEM) and fuzzy set qualitative comparative analysis (fsQCA). This study provides several key findings. First, KMP dimensions (acquisition, dissemination and application) significantly improve the SDPs' dimensions (environment, economic and social). Second, SDP dimensions play a significant role in achieving CGI. Third, the implementation of SDPs partially mediates the relationship between the KMP and CGI. Furthermore, the fsQCA results signify the robustness of all integrated constructs. Our results demonstrate that investing in and adopting the latest technologies and sustainable practices are not only valuable for long-term success but the soft concerns such as managing organisational knowledge are also vital in the current knowledge-based economy. Finally, in light of our findings, theoretical and managerial implications, with propositions for future studies, have been provided at the end of the paper
Guided Data Augmentation for Offline Reinforcement Learning and Imitation Learning
Learning from demonstration (LfD) is a popular technique that uses expert
demonstrations to learn robot control policies. However, the difficulty in
acquiring expert-quality demonstrations limits the applicability of LfD
methods: real-world data collection is often costly, and the quality of the
demonstrations depends greatly on the demonstrator's abilities and safety
concerns. A number of works have leveraged data augmentation (DA) to
inexpensively generate additional demonstration data, but most DA works
generate augmented data in a random fashion and ultimately produce highly
suboptimal data. In this work, we propose Guided Data Augmentation (GuDA), a
human-guided DA framework that generates expert-quality augmented data. The key
insight of GuDA is that while it may be difficult to demonstrate the sequence
of actions required to produce expert data, a user can often easily identify
when an augmented trajectory segment represents task progress. Thus, the user
can impose a series of simple rules on the DA process to automatically generate
augmented samples that approximate expert behavior. To extract a policy from
GuDA, we use off-the-shelf offline reinforcement learning and behavior cloning
algorithms. We evaluate GuDA on a physical robot soccer task as well as
simulated D4RL navigation tasks, a simulated autonomous driving task, and a
simulated soccer task. Empirically, we find that GuDA enables learning from a
small set of potentially suboptimal demonstrations and substantially
outperforms a DA strategy that samples augmented data randomly
Mesoscopic Electron and Phonon Transport through a Curved Wire
There is great interest in the development of novel nanomachines that use
charge, spin, or energy transport, to enable new sensors with unprecedented
measurement capabilities. Electrical and thermal transport in these mesoscopic
systems typically involves wave propagation through a nanoscale geometry such
as a quantum wire. In this paper we present a general theoretical technique to
describe wave propagation through a curved wire of uniform cross-section and
lying in a plane, but of otherwise arbitrary shape. The method consists of (i)
introducing a local orthogonal coordinate system, the arclength and two locally
perpendicular coordinate axes, dictated by the shape of the wire; (ii)
rewriting the wave equation of interest in this system; (iii) identifying an
effective scattering potential caused by the local curvature; and (iv), solving
the associated Lippmann-Schwinger equation for the scattering matrix. We carry
out this procedure in detail for the scalar Helmholtz equation with both
hard-wall and stress-free boundary conditions, appropriate for the mesoscopic
transport of electrons and (scalar) phonons. A novel aspect of the phonon case
is that the reflection probability always vanishes in the long-wavelength
limit, allowing a simple perturbative (Born approximation) treatment at low
energies. Our results show that, in contrast to charge transport, curvature
only barely suppresses thermal transport, even for sharply bent wires, at least
within the two-dimensional scalar phonon model considered. Applications to
experiments are also discussed.Comment: 9 pages, 11 figures, RevTe
Endotoxin induced peritonitis elicits monocyte immigration into the lung: implications on alveolar space inflammatory responsiveness
BACKGROUND: Acute peritonitis developing in response to gram-negative bacterial infection is known to act as a trigger for the development of acute lung injury which is often complicated by the development of nosocomial pneumonia. We hypothesized that endotoxin-induced peritonitis provokes recruitment of monocytes into the lungs, which amplifies lung inflammatory responses to a second hit intra-alveolar challenge with endotoxin. METHODS: Serum and lavage cytokines as well as bronchoalveolar lavage fluid cells were analyzed at different time points after intraperitoneal or intratracheal application of LPS. RESULTS: We observed that mice challenged with intraperitoneal endotoxin developed rapidly increasing serum and bronchoalveolar lavage fluid (BALF) cytokine and chemokine levels (TNFα, MIP-2, CCL2) and a nearly two-fold expansion of the alveolar macrophage population by 96 h, but this was not associated with the development of neutrophilic alveolitis. In contrast, expansion of the alveolar macrophage pool was not observed in CCR2-deficient mice and in wild-type mice systemically pretreated with the anti-CD18 antibody GAME-46. An intentional two-fold expansion of alveolar macrophage numbers by intratracheal CCL2 following intraperitoneal endotoxin did not exacerbate the development of acute lung inflammation in response to intratracheal endotoxin compared to mice challenged only with intratracheal endotoxin. CONCLUSION: These data, taken together, show that intraperitoneal endotoxin triggers a CCR2-dependent de novo recruitment of monocytes into the lungs of mice but this does not result in an accentuation of neutrophilic lung inflammation. This finding represents a previously unrecognized novel inflammatory component of lung inflammation that results from endotoxin-induced peritonitis
ARBITRATE-AND-MOVE PRIMITIVES FOR HIGH THROUGHPUT ON-CHIP INTERCONNECTION NETWORKS
An n-leaf pipelined balanced binary tree is used for
arbitration of order and movement of data from n input
ports to one output port. A novel arbitrate-and-move
primitive circuit for every node of the tree, which is based on
a concept of reduced synchrony that benefits from attractive
features of both asynchronous and synchronous designs, is
presented. The design objective of the pipelined binary tree
is to provide a key building block in a high-throughput
mesh-of-trees interconnection network for Explicit Multi
Threading (XMT) architecture, a recently introduced
parallel computation framework. The proposed reduced
synchrony circuit was compared with asynchronous and
synchronous designs of arbitrate-and-move primitives.
Simulations with 0.18m technology show that compared to
an asynchronous design, the proposed reduced synchrony
implementation achieves a higher throughput, up to 2 Giga-
Requests per second on an 8-leaf binary tree. Our circuit
also consumes less power than the synchronous design, and
requires less silicon area than both the synchronous and
asynchronous designs
Intermediate Phases, structural variance and network demixing in chalcogenides: the unusual case of group V sulfides
We review Intermediate Phases (IPs) in chalcogenide glasses and provide a
structural interpretation of these phases. In binary group IV selenides, IPs
reside in the 2.40 < r < 2.54 range, and in binary group V selenides they shift
to a lower r, in the 2.29< r < 2.40 range. Here r represents the mean
coordination number of glasses. In ternary alloys containing equal proportions
of group IV and V selenides, IPs are wider and encompass ranges of respective
binary glasses. These data suggest that the local structural variance
contributing to IP widths largely derives from four isostatic local structures
of varying connectivity r; two include group V based quasi-tetrahedral (r =
2.29) and pyramidal (r = 2.40) units, and the other two are group IV based
corner-sharing (r = 2.40) and edge-sharing (r = 2.67) tetrahedral units.
Remarkably, binary group V (P, As) sulfides exhibit IPs that are shifted to
even a lower r than their selenide counterparts; a result that we trace to
excess Sn chains either partially (As-S) or completely (P-S) demixing from
network backbone, in contrast to excess Sen chains forming part of the backbone
in corresponding selenide glasses. In ternary chalcogenides of Ge with the
group V elements (As, P), IPs of the sulfides are similar to their selenide
counterparts, suggesting that presence of Ge serves to reign in the excess Sn
chain fragments back in the backbone as in their selenide counterparts
An anode‐free Zn–graphite battery
The anode-free battery concept is proposed to pursue the aspiration of energy-dense, rechargeable metal batteries, but this has not been achieved with dual-ion batteries. Herein, the first anode-free Zn–graphite battery enabled by efficient Zn plating–stripping onto a silver-coated Cu substrate is demonstrated. The silver coating guides uniform Zn deposition without dendrite formation or side reaction over a wide range of electrolyte concentrations, enabling the construction of anode-free Zn cells. In addition, the graphite cathode operates efficiently under reversible bis(trifluoromethanesulfonyl)imide anion (TFSI−) intercalation without anodic corrosion. An extra high-potential TFSI− intercalation plateau is recognized at 2.75 V, contributing to the high capacity of graphite cathode. Thanks to efficient Zn plating–stripping and TFSI− intercalation–deintercalation, an anode-free Zn–graphite dual-ion battery that exhibits impressive cycling stability with 82% capacity retention after 1000 cycles is constructed. At the same time, a specific energy of 79 Wh kg−1 based on the mass of cathode and electrolyte is achieved, which is over two times higher than conventional Zn–graphite batteries (−1)
Stability and Electronic Properties of TiO2 Nanostructures With and Without B and N Doping
We address one of the main challenges to TiO2-photocatalysis, namely band gap
narrowing, by combining nanostructural changes with doping. With this aim we
compare TiO2's electronic properties for small 0D clusters, 1D nanorods and
nanotubes, 2D layers, and 3D surface and bulk phases using different
approximations within density functional theory and GW calculations. In
particular, we propose very small (R < 0.5 nm) but surprisingly stable
nanotubes with promising properties. The nanotubes are initially formed from
TiO2 layers with the PtO2 structure, with the smallest (2,2) nanotube relaxing
to a rutile nanorod structure. We find that quantum confinement effects - as
expected - generally lead to a widening of the energy gap. However,
substitutional doping with boron or nitrogen is found to give rise to
(meta-)stable structures and the introduction of dopant and mid-gap states
which effectively reduce the band gap. Boron is seen to always give rise to
n-type doping while depending on the local bonding geometry, nitrogen may give
rise to n-type or p-type doping. For under coordinated TiO2 surface structures
found in clusters, nanorods, nanotubes, layers and surfaces nitrogen gives rise
to acceptor states while for larger clusters and bulk structures donor states
are introduced
- …