943 research outputs found
On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control
International audienceWe construct a partially-ordered hierarchy of delimited control operators similar to those of the CPS hierarchy of Danvy and Filinski. However, instead of relying on nested CPS translations, these operators are directly interpreted in linear logic extended with subexponentials (i.e., multiple pairs of ! and ?). We construct an independent proof theory for a fragment of this logic based on the principle of focusing. It is then shown that the new constraints placed on the permutation of cuts correspond to multiple levels of delimited control
External carotid steal and lateral medullary infarction - is there a pathogenetic connection?
The three-nucleon bound state using realistic potential models
The bound states of H and He have been calculated using the Argonne
plus the Urbana three-nucleon potential. The isospin state
have been included in the calculations as well as the - mass difference.
The H-He mass difference has been evaluated through the charge
dependent terms explicitly included in the two-body potential. The calculations
have been performed using two different methods: the solution of the Faddeev
equations in momentum space and the expansion on the correlated hyperspherical
harmonic basis. The results are in agreement within 0.1% and can be used as
benchmark tests. Results for the CD-Bonn interaction are also presented. It is
shown that the H and He binding energy difference can be predicted
model independently.Comment: 5 pages REVTeX 4, 1 figures, 6 table
The neutron halo of He in a microscopic model
The two--neutron separation energy of He has been reproduced for the
first time in a realistic parameter--free microscopic multicluster model
comprising the and clusterizations, with cluster
breathing excitations included. The contribution of the channel is
substantial. A very thick (0.85 fm) neutron halo has been found in full
agreement with the results of the latest phenomenological analysis.Comment: Submitted to Phys. Rev. C, 8 pages, Latex with Revtex, 2 figures (not
included) available on request, 08-03-9
A community benchmark for 2-D Cartesian compressible convection in the Earth's mantle
Benchmark comparisons are an essential tool to verify the accuracy and validity of computational approaches to mantle convection. Six 2-D Cartesian compressible convection codes are compared for steady-state constant and temperature-dependent viscosity cases as well as time-dependent constant viscosity cases. In general we find good agreement between all codes when comparing average flow characteristics such as Nusselt number and rms velocity. At Rayleigh numbers near 10 6 and dissipation numbers between 0 and 2, the results differ by approximately 1 per cent. Differences in discretization and use of finite volumes versus finite elements dominate the differences. There is a small systematic difference between the use of the anelastic liquid approximation (ALA) compared to that of the truncated ALA. In determining the onset of time-dependence, there was less agreement between the codes with a spread in the Rayleigh number where the first bifurcation occurs ranging from 7.79 × 10 5 to 1.05 × 10 6 .Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/78651/1/GJI_4413_sm_TableS1-S17.pd
Lunin-Maldacena backgrounds from the classical Yang-Baxter equation -- Towards the gravity/CYBE correspondence
We consider \gamma-deformations of the AdS_5xS^5 superstring as Yang-Baxter
sigma models with classical r-matrices satisfying the classical Yang-Baxter
equation (CYBE). An essential point is that the classical r-matrices are
composed of Cartan generators only and then generate abelian twists. We present
examples of the r-matrices that lead to real \gamma-deformations of the
AdS_5xS^5 superstring. Finally we discuss a possible classification of
integrable deformations and the corresponding gravity solution in terms of
solutions of CYBE. This classification may be called the gravity/CYBE
correspondence.Comment: 18 pages, no figure, LaTeX, v2:references and further clarifications
adde
Literature-based discovery of diabetes- and ROS-related targets
Abstract Background Reactive oxygen species (ROS) are known mediators of cellular damage in multiple diseases including diabetic complications. Despite its importance, no comprehensive database is currently available for the genes associated with ROS. Methods We present ROS- and diabetes-related targets (genes/proteins) collected from the biomedical literature through a text mining technology. A web-based literature mining tool, SciMiner, was applied to 1,154 biomedical papers indexed with diabetes and ROS by PubMed to identify relevant targets. Over-represented targets in the ROS-diabetes literature were obtained through comparisons against randomly selected literature. The expression levels of nine genes, selected from the top ranked ROS-diabetes set, were measured in the dorsal root ganglia (DRG) of diabetic and non-diabetic DBA/2J mice in order to evaluate the biological relevance of literature-derived targets in the pathogenesis of diabetic neuropathy. Results SciMiner identified 1,026 ROS- and diabetes-related targets from the 1,154 biomedical papers (http://jdrf.neurology.med.umich.edu/ROSDiabetes/). Fifty-three targets were significantly over-represented in the ROS-diabetes literature compared to randomly selected literature. These over-represented targets included well-known members of the oxidative stress response including catalase, the NADPH oxidase family, and the superoxide dismutase family of proteins. Eight of the nine selected genes exhibited significant differential expression between diabetic and non-diabetic mice. For six genes, the direction of expression change in diabetes paralleled enhanced oxidative stress in the DRG. Conclusions Literature mining compiled ROS-diabetes related targets from the biomedical literature and led us to evaluate the biological relevance of selected targets in the pathogenesis of diabetic neuropathy.http://deepblue.lib.umich.edu/bitstream/2027.42/78315/1/1755-8794-3-49.xmlhttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/2/1755-8794-3-49-S7.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/3/1755-8794-3-49-S10.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/4/1755-8794-3-49-S8.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/5/1755-8794-3-49-S3.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/6/1755-8794-3-49-S1.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/7/1755-8794-3-49-S4.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/8/1755-8794-3-49-S2.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/9/1755-8794-3-49-S12.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/10/1755-8794-3-49-S11.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/11/1755-8794-3-49-S9.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/12/1755-8794-3-49-S5.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/13/1755-8794-3-49-S6.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/14/1755-8794-3-49.pdfPeer Reviewe
On the true identity of Mendoncia “stellate” trichomes
ABSTRACT The present survey of leaf-blade trichomes of Mendoncia used SEM and light microscopy to investigate the diversity of trichome types in Neotropical and Paleotropical species of the genus. The eglandular trichomes are filiform, uniseriate, with asymmetric epidermal cells arranged radially around the trichome, these epidermal cells may be short or elongated, oriented in two groups. These cells, when elongated, are covered with epicuticular wax, forming smooth thick plates. African species have dendritic but not stellate trichomes. Character states such as number and length of basal cells were shown to overlap within the same species and therefore their use in isolation is not recommended for subgeneric classification of Mendoncia. Neotropical Mendoncia trichomes with well-developed epidermal cells arranged radially around the trichome appear to be unique to this group, without parallel in other plant families
- …