1,326 research outputs found
Developments in electromagnetic tomography instrumentation.
A new EMT sensor and instrumentation is described which combines the best features of previous systems and has a modular structure to allow for future system expansion and development
The Cost of Stability in Coalitional Games
A key question in cooperative game theory is that of coalitional stability,
usually captured by the notion of the \emph{core}--the set of outcomes such
that no subgroup of players has an incentive to deviate. However, some
coalitional games have empty cores, and any outcome in such a game is unstable.
In this paper, we investigate the possibility of stabilizing a coalitional
game by using external payments. We consider a scenario where an external
party, which is interested in having the players work together, offers a
supplemental payment to the grand coalition (or, more generally, a particular
coalition structure). This payment is conditional on players not deviating from
their coalition(s). The sum of this payment plus the actual gains of the
coalition(s) may then be divided among the agents so as to promote stability.
We define the \emph{cost of stability (CoS)} as the minimal external payment
that stabilizes the game.
We provide general bounds on the cost of stability in several classes of
games, and explore its algorithmic properties. To develop a better intuition
for the concepts we introduce, we provide a detailed algorithmic study of the
cost of stability in weighted voting games, a simple but expressive class of
games which can model decision-making in political bodies, and cooperation in
multiagent settings. Finally, we extend our model and results to games with
coalition structures.Comment: 20 pages; will be presented at SAGT'0
High concentrations of flavor chemicals are present in electronic cigarette refill fluids.
We characterized the flavor chemicals in a broad sample of commercially available electronic cigarette (EC) refill fluids that were purchased in four different countries. Flavor chemicals in 277 refill fluids were identified and quantified by gas chromatography-mass spectrometry, and two commonly used flavor chemicals were tested for cytotoxicity with the MTT assay using human lung fibroblasts and epithelial cells. About 85% of the refill fluids had total flavor concentrations >1 mg/ml, and 37% were >10 mg/ml (1% by weight). Of the 155 flavor chemicals identified in the 277 refill fluids, 50 were present at ≥1 mg/ml in at least one sample and 11 were ≥10 mg/ml in 54 of the refill fluids. Sixty-one% (170 out of 277) of the samples contained nicotine, and of these, 56% had a total flavor chemical/nicotine ratio >2. Four chemicals were present in 50% (menthol, triacetin, and cinnamaldehyde) to 80% (ethyl maltol) of the samples. Some products had concentrations of menthol ("Menthol Arctic") and ethyl maltol ("No. 64") that were 30 times (menthol) and 100 times (ethyl maltol) their cytotoxic concentration. One refill fluid contained cinnamaldehyde at ~34% (343 mg/ml), more than 100,000 times its cytotoxic level. High concentrations of some flavor chemicals in EC refill fluids are potentially harmful to users, and continued absence of any regulations regarding flavor chemicals in EC fluids will likely be detrimental to human health
Magnetic characterisation of microstructural feature distribution in P9 and T22 steels by major and minor BH loop measurements
This paper investigates the magnetic properties and parameters measured from major/minor loops and used to characterise different microstructural feature distributions in P9 and T22 steel in different heat treatment or service conditions. The present study introduces a non-destructive way of selecting microstructural features of interest and/or excluding those of little relevance by examination of minor loop measurements at a selected range of applied fields and discusses the fundamental mechanism in terms of domain processes. There is remarkable consistency in magnetic behaviours and properties such as initial/incremental permeability values between the measurements by different techniques. This behaviour has been ascribed to the similar underlying domain processes and hence similar selected microstructural features that are affecting the domain processes
Electromagnetic evaluation of the microstructure of grade 91 tubes/pipes
This paper assesses the feasibility of transferring a laboratory-based electromagnetic (EM) sensor technique, which has already proved sensitive to significant (e.g. phase balance) or subtle (e.g. number density of fine precipitates) microstructural changes in steel, to non-destructive evaluation of the microstructure of power generation components such as tubes/pipes. It has been found that Grade 91 steels, in different conditions representative of service entry, thermally aged or ex-service, can be distinguished using laboratory-based measurement systems on small machined cylindrical samples as well as by an industry deployment EM sensor system on full-diameter tube samples. The measurements for the tube samples follow the same trend as the machined cylindrical samples. The results indicate an industrial deployable sensor system can be used for sorting service-exposed or mis-heat-treated/mis-manufactured Grade 91 steel tubes/pipes from the correctly heat treated service-entry ones
Three-dimensional object location and inversion of the magnetic polarizability tensor at a single frequency using a walk-through metal detector
Maximal Sharing in the Lambda Calculus with letrec
Increasing sharing in programs is desirable to compactify the code, and to
avoid duplication of reduction work at run-time, thereby speeding up execution.
We show how a maximal degree of sharing can be obtained for programs expressed
as terms in the lambda calculus with letrec. We introduce a notion of `maximal
compactness' for lambda-letrec-terms among all terms with the same infinite
unfolding. Instead of defined purely syntactically, this notion is based on a
graph semantics. lambda-letrec-terms are interpreted as first-order term graphs
so that unfolding equivalence between terms is preserved and reflected through
bisimilarity of the term graph interpretations. Compactness of the term graphs
can then be compared via functional bisimulation.
We describe practical and efficient methods for the following two problems:
transforming a lambda-letrec-term into a maximally compact form; and deciding
whether two lambda-letrec-terms are unfolding-equivalent. The transformation of
a lambda-letrec-term into maximally compact form proceeds in three
steps:
(i) translate L into its term graph ; (ii) compute the maximally
shared form of as its bisimulation collapse ; (iii) read back a
lambda-letrec-term from the term graph with the property . This guarantees that and have the same unfolding, and that
exhibits maximal sharing.
The procedure for deciding whether two given lambda-letrec-terms and
are unfolding-equivalent computes their term graph interpretations and , and checks whether these term graphs are bisimilar.
For illustration, we also provide a readily usable implementation.Comment: 18 pages, plus 19 pages appendi
Arginase Promotes Skeletal Muscle Arteriolar Endothelial Dysfunction in Diabetic Rats
Endothelial dysfunction is a characteristic feature in diabetes that contributes to the development of vascular disease. Recently, arginase has been implicated in triggering endothelial dysfunction in diabetic patients and animals by competing with endothelial nitric oxide synthase for substrate L-arginine. While most studies have focused on the coronary circulation and large conduit blood vessels, the role of arginase in mediating diabetic endothelial dysfunction in other vascular beds has not been fully investigated. In the present study, we determined whether arginase contributes to endothelial dysfunction in skeletal muscle arterioles of diabetic rats. Diabetes was induced in male Sprague Dawley rats by streptozotocin injection. Four weeks after streptozotocin administration, blood glucose, glycated hemoglobin, and vascular arginase activity were significantly increased. In addition, a significant increase in arginase I and II mRNA expression was detected in gracilis muscle arterioles of diabetic rats compared to age-matched, vehicle control animals. To examine endothelial function, first-order gracilis muscle arterioles were isolated, cannulated in a pressure myograph system, exposed to graded levels of luminal flow, and internal vessel diameter measured. Increases in luminal flow (0-50µL/min) caused progressive vasodilation in arterioles isolated from control, normoglycemic animals. However, flow-induced vasodilation was absent in arterioles obtained from streptozotocin-treated rats. Acute in-vitro pretreatment of blood vessels with the arginase inhibitors Nω-hydroxy-nor-L-arginine or S-(2-boronoethyl)-L-cysteine restored flow-induced responses in arterioles from diabetic rats and abolished differences between diabetic and control animals. Similarly, acute in-vitro pretreatment with L-arginine returned flow-mediated vasodilation in vessels from diabetic animals to that of control rats. In contrast, D-arginine failed to restore flow-induced dilation in arteri
Recommended from our members
Interfacial-Redox-Induced Tuning of Superconductivity in YBa2Cu3O7-δ.
Solid-state ionic approaches for modifying ion distributions in getter/oxide heterostructures offer exciting potentials to control material properties. Here, we report a simple, scalable approach allowing for manipulation of the superconducting transition in optimally doped YBa2Cu3O7-δ (YBCO) films via a chemically driven ionic migration mechanism. Using a thin Gd capping layer of up to 20 nm deposited onto 100 nm thick epitaxial YBCO films, oxygen is found to leach from deep within the YBCO. Progressive reduction of the superconducting transition is observed, with complete suppression possible for a sufficiently thick Gd layer. These effects arise from the combined impact of redox-driven electron doping and modification of the YBCO microstructure due to oxygen migration and depletion. This work demonstrates an effective step toward total ionic tuning of superconductivity in oxides, an interface-induced effect that goes well into the quasi-bulk regime, opening-up possibilities for electric field manipulation
Bilirubin Inhibits Neointima Formation and Vascular Smooth Muscle Cell Proliferation and Migration
Bilirubin is a heme metabolite generated by the concerted action of the enzymes heme oxygenase and biliverdin reductase. Although long considered a toxic byproduct of heme catabolism, recent preclinical, and clinical studies indicate the bilirubin exerts beneficial effects in the circulation. In the present study, we determined whether local administration of bilirubin attenuates neointima formation following injury of rat carotid arteries. In addition, the ability of bilirubin to regulate the proliferation and migration of human arterial smooth muscle cells (SMCs) was investigated. Local perivascular administration of bilirubin immediately following balloon injury of rat carotid arteries significantly attenuated neointima formation. Bilirubin-mediated inhibition of neointimal thickening was associated with a significant decrease in ERK activity and cyclin D1 and A protein expression, and an increase in p21 and p53 protein expression in injured blood vessels. Treatment of human aortic SMCs with bilirubin inhibited proliferation and migration in a concentration-dependent manner without affecting cell viability. In addition, bilirubin resulted in a concentration-dependent increase in the percentage of cells in the G0/G1 phase of the cell cycle and this was paralleled by a decrease in the fraction of cells in the S and G2M phases of the cell cycle. Finally, bilirubin had no effect on mitochondrial function and ATP content of vascular SMCs. In conclusion, these studies demonstrate that bilirubin inhibits neointima formation after arterial injury and this is associated with alterations in the expression of cell cycle regulatory proteins. Furthermore, bilirubin blocks proliferation and migration of human arterial SMCs and arrests SMCs in the G0/G1 phase of the cell cycle. Bilirubin represents an attractive therapeutic agent in treating occlusive vascular disease
- …