3,070 research outputs found
Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions
In this paper we turn the spotlight on a class of lexicographic ranking
functions introduced by Bradley, Manna and Sipma in a seminal CAV 2005 paper,
and establish for the first time the complexity of some problems involving the
inference of such functions for linear-constraint loops (without precondition).
We show that finding such a function, if one exists, can be done in polynomial
time in a way which is sound and complete when the variables range over the
rationals (or reals). We show that when variables range over the integers, the
problem is harder -- deciding the existence of a ranking function is
coNP-complete. Next, we study the problem of minimizing the number of
components in the ranking function (a.k.a. the dimension). This number is
interesting in contexts like computing iteration bounds and loop
parallelization. Surprisingly, and unlike the situation for some other classes
of lexicographic ranking functions, we find that even deciding whether a
two-component ranking function exists is harder than the unrestricted problem:
NP-complete over the rationals and -complete over the integers.Comment: Technical report for a corresponding CAV'15 pape
On Multiphase-Linear Ranking Functions
Multiphase ranking functions () were proposed as a means
to prove the termination of a loop in which the computation progresses through
a number of "phases", and the progress of each phase is described by a
different linear ranking function. Our work provides new insights regarding
such functions for loops described by a conjunction of linear constraints
(single-path loops). We provide a complete polynomial-time solution to the
problem of existence and of synthesis of of bounded depth
(number of phases), when variables range over rational or real numbers; a
complete solution for the (harder) case that variables are integer, with a
matching lower-bound proof, showing that the problem is coNP-complete; and a
new theorem which bounds the number of iterations for loops with
. Surprisingly, the bound is linear, even when the
variables involved change in non-linear way. We also consider a type of
lexicographic ranking functions, , more expressive than types
of lexicographic functions for which complete solutions have been given so far.
We prove that for the above type of loops, lexicographic functions can be
reduced to , and thus the questions of complexity of
detection and synthesis, and of resulting iteration bounds, are also answered
for this class.Comment: typos correcte
Characteristics of C-4 photosynthesis in stems and petioles of C-3 flowering plants
Most plants are known as C-3 plants because the first product of photosynthetic CO2 fixation is a three-carbon compound. C-4 plants, which use an alternative pathway in which the first product is a four-carbon compound, have evolved independently many times and are found in at least 18 families. In addition to differences in their biochemistry, photosynthetic organs of C-4 plants show alterations in their anatomy and ultrastructure. Little is known about whether the biochemical or anatomical characteristics of C-4 photosynthesis evolved first. Here we report that tobacco, a typical C-3 plant, shows characteristics of C-4 photosynthesis in cells of stems and petioles that surround the xylem and phloem, and that these cells are supplied with carbon for photosynthesis from the vascular system and not from stomata. These photosynthetic cells possess high activities of enzymes characteristic of C-4 photosynthesis, which allow the decarboxylation of four-carbon organic acids from the xylem and phloem, thus releasing CO2 for photosynthesis. These biochemical characteristics of C-4 photosynthesis in cells around the vascular bundles of stems of C-3 plants might explain why C-4 photosynthesis has evolved independently many times
Self-similarity in Laplacian Growth
We consider Laplacian Growth of self-similar domains in different geometries.
Self-similarity determines the analytic structure of the Schwarz function of
the moving boundary. The knowledge of this analytic structure allows us to
derive the integral equation for the conformal map. It is shown that solutions
to the integral equation obey also a second order differential equation which
is the one dimensional Schroedinger equation with the sinh inverse square
potential. The solutions, which are expressed through the Gauss hypergeometric
function, characterize the geometry of self-similar patterns in a wedge. We
also find the potential for the Coulomb gas representation of the self-similar
Laplacian growth in a wedge and calculate the corresponding free energy.Comment: 16 pages, 9 figure
Negative parental responses to coming out and family functioning in a sample of lesbian and gay young adults
Parental responses to youths' coming out (CO) are crucial to the subsequent adjustment of children and family. The present study investigated the negative parental reaction to the disclosure of same-sex attraction and the differences between maternal
and paternal responses, as reported by their homosexual daughters and sons. Participants' perceptions of their parents' reactions (evaluated through the Perceived Parental Reactions Scale, PPRS), age at coming out, gender, parental political
orientation, and religiosity involvement, the family functioning (assessed through the Family Adaptability and Cohesion Evaluation Scales, FACES IV), were assessed in 164 Italian gay and lesbian young adults. Pearson correlation coefficients were calculated to assess the relation between family functioning and parental reaction to CO. The paired sample t-test was used to compare mothers and fathers' scores on the PPRS. Hierarchical multiple regression was conducted to analyze the relevance of each variable. No differences were found between mothers and fathers in their reaction to the disclosure. The analysis showed that a negative reaction to coming out was predicted by parents' right-wing political conservatism, strong religious beliefs, and
higher scores in the scales Rigid and Enmeshed. Findings confirm that a negative parental reaction is the result of poor family resources to face a stressful situation and a strong belief in traditional values. These results have important implications in both clinical and social fields
Modeling and investigation of the wind resource in the gulf of Tunis, Tunisia
Paper presented at the 9th International Conference on Heat Transfer, Fluid Mechanics and Thermodynamics, Malta, 16-18 July, 2012.The development of wind energy conversion systems becomes one of the most important aims of any developing countries such as Tunisia. This is due to the reduction in wind turbine costs, and in fossil fuel atmospheric pollution. The evaluation of wind power potential is very necessary to estimate wind resource and therefore conduct the suitable decisions for the wind power generation projects, technical and economical feasibility researches. The presented work in this paper was to investigate the potential of wind resource in the Gulf of Tunis in Tunisia. The hourly mean wind speed and wind direction with a 10-min time step provided by the NRG weather station were used to analyze the wind speed characteristics and the wind power potential. Weibull parameters are estimated based on the most frequently used methods which their accuracy was compared on different goodness of fit tests. Those wind characteristics are required to give wind project users the picture of wind potential in the Gulf of Tunis.dc201
Insights into GABA receptor signalling in TM3 Leydig cells
gamma-Aminobutyric acid (GABA) is an emerging signalling molecule in endocrine organs, since it is produced by endocrine cells and acts via GABA(A) receptors in a paracrine/autocrine fashion. Testicular Leydig cells are producers and targets for GABA. These cells express GABA(A) receptor subunits and in the murine Leydig cell line TM3 pharmacological activation leads to increased proliferation. The signalling pathway of GABA in these cells is not known in this study. We therefore attempted to elucidate details of GABA(A) signalling in TM3 and adult mouse Leydig cells using several experimental approaches. TM3 cells not only express GABA(A) receptor subunits, but also bind the GABA agonist {[}H-3] muscimol with a binding affinity in the range reported for other endocrine cells (K-d = 2.740 +/- 0.721 nM). However, they exhibit a low B-max value of 28.08 fmol/mg protein. Typical GABA(A) receptor-associated events, including Cl- currents, changes in resting membrane potential, intracellular Ca2+ or cAMP, were not measurable with the methods employed in TM3 cells, or, as studied in part, in primary mouse Leydig cells. GABA or GABA(A) agonist isoguvacine treatment resulted in increased or decreased levels of several mRNAs, including transcription factors (c-fos, hsf-1, egr-1) and cell cycle-associated genes (Cdk2, cyclin D1). In an attempt to verify the cDNA array results and because egr-1 was recently implied in Leydig cell development, we further studied this factor. RT-PCR and Western blotting confirmed a time-dependent regulation of egr-1 in TM3. In the postnatal testis egr-1 was seen in cytoplasmic and nuclear locations of developing Leydig cells, which bear GABA(A) receptors and correspond well to TM3 cells. Thus, GABA acts via an untypical novel signalling pathway in TM3 cells. Further details of this pathway remain to be elucidated. Copyright (c) 2005 S. Karger AG, Base
Persistence of the immune response induced by BCG vaccination.
BACKGROUND: Although BCG vaccination is recommended in most countries of the world, little is known of the persistence of BCG-induced immune responses. As novel TB vaccines may be given to boost the immunity induced by neonatal BCG vaccination, evidence concerning the persistence of the BCG vaccine-induced response would help inform decisions about when such boosting would be most effective. METHODS: A randomised control study of UK adolescents was carried out to investigate persistence of BCG immune responses. Adolescents were tested for interferon-gamma (IFN-gamma) response to Mycobacterium tuberculosis purified protein derivative (M.tb PPD) in a whole blood assay before, 3 months, 12 months (n = 148) and 3 years (n = 19) after receiving teenage BCG vaccination or 14 years after receiving infant BCG vaccination (n = 16). RESULTS: A gradual reduction in magnitude of response was evident from 3 months to 1 year and from 1 year to 3 years following teenage vaccination, but responses 3 years after vaccination were still on average 6 times higher than before vaccination among vaccinees. Some individuals (11/86; 13%) failed to make a detectable antigen-specific response three months after vaccination, or lost the response after 1 (11/86; 13%) or 3 (3/19; 16%) years. IFN-gamma response to Ag85 was measured in a subgroup of adolescents and appeared to be better maintained with no decline from 3 to 12 months. A smaller group of adolescents were tested 14 years after receiving infant BCG vaccination and 13/16 (81%) made a detectable IFN-gamma response to M.tb PPD 14 years after infant vaccination as compared to 6/16 (38%) matched unvaccinated controls (p = 0.012); teenagers vaccinated in infancy were 19 times more likely to make an IFN-gamma response of > 500 pg/ml than unvaccinated teenagers. CONCLUSION: BCG vaccination in infancy and adolescence induces immunological memory to mycobacterial antigens that is still present and measurable for at least 14 years in the majority of vaccinees, although the magnitude of the peripheral blood response wanes from 3 months to 12 months and from 12 months to 3 years post vaccination. The data presented here suggest that because of such waning in the response there may be scope for boosting anti-tuberculous immunity in BCG vaccinated children anytime from 3 months post-vaccination. This supports the prime boost strategies being employed for some new TB vaccines currently under development
Fatigue evaluation in maintenance and assembly operations by digital human simulation
Virtual human techniques have been used a lot in industrial design in order
to consider human factors and ergonomics as early as possible. The physical
status (the physical capacity of virtual human) has been mostly treated as
invariable in the current available human simulation tools, while indeed the
physical capacity varies along time in an operation and the change of the
physical capacity depends on the history of the work as well. Virtual Human
Status is proposed in this paper in order to assess the difficulty of manual
handling operations, especially from the physical perspective. The decrease of
the physical capacity before and after an operation is used as an index to
indicate the work difficulty. The reduction of physical strength is simulated
in a theoretical approach on the basis of a fatigue model in which fatigue
resistances of different muscle groups were regressed from 24 existing maximum
endurance time (MET) models. A framework based on digital human modeling
technique is established to realize the comparison of physical status. An
assembly case in airplane assembly is simulated and analyzed under the
framework. The endurance time and the decrease of the joint moment strengths
are simulated. The experimental result in simulated operations under laboratory
conditions confirms the feasibility of the theoretical approach
Dynamic SU(2) Structure from Seven-branes
We obtain a family of supersymmetric solutions of type IIB supergravity with
dynamic SU(2) structure, which describe the local geometry near a stack of four
D7-branes and one O7-plane wrapping a rigid four-cycle. The deformation to a
generalized complex geometry is interpreted as a consequence of nonperturbative
effects in the seven-brane gauge theory. We formulate the problem for
seven-branes wrapping the base of an appropriate del Pezzo cone, and in the
near-stack limit in which the four-cycle is flat, we obtain an exact solution
in closed form. Our solutions serve to characterize the local geometry of
nonperturbatively-stabilized flux compactifications.Comment: 49 pages, 2 figures; v2: minor corrections, references adde
- …