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

The three-nucleon bound state using realistic potential models

The bound states of $^3$H and $^3$He have been calculated using the Argonne $v_{18}$ plus the Urbana three-nucleon potential. The isospin $T=3/2$ state have been included in the calculations as well as the $n$-$p$ mass difference. The $^3$H-$^3$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 $^3$H and $^3$He binding energy difference can be predicted model independently.Comment: 5 pages REVTeX 4, 1 figures, 6 table

The neutron halo of 6^6He in a microscopic model

The two--neutron separation energy of $^6$He has been reproduced for the first time in a realistic parameter--free microscopic multicluster model comprising the $\alpha +n+n$ and $t+t$ clusterizations, with $\alpha$ cluster breathing excitations included. The contribution of the $t+t$ 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