Supersymmetry breaking branes on solvmanifolds and de Sitter vacua in string theory

We consider IIA compactifications on solvmanifolds with O6/D6 branes and study the conditions for obtaining de Sitter vacua in ten dimensions. While this is a popular set-up for searching de Sitter vacua, we propose a new method to include supersymmetry breaking sources. For space-time filling branes preserving bulk supersymmetry, the energy density can easily be extremized with respect to all fields, thanks to the replacement of the DBI action by a pullback of a special form given by a pure spinor. For sources breaking bulk supersymmetry, we propose to replace the DBI action by the pullback of a more general polyform, which is no longer pure. This generalization provides corrections to the energy-momentum tensor which give a positive contribution to the cosmological constant. We find a de Sitter solution to all (bulk and world-volume) equations derived from this action. We argue it solves the equations derived from the standard source action. The paper also contains a review of solvmanifolds.Comment: 57 pages, 3 figures. Important additions (concerning the validity of our solution in string theory); version to appear in JHE

Persepsi Remaja Nonperokok terhadap Pictorial Health Warnings di Kota Gorontalo

The 13-15 year old male smoker increased from 23.4% in 2007 to 29.3% in 2013. Meanwhile, the age of the initial smoker begin to shift from 15-24 years to 10-14 years. To anticipate the rate of increase in the number of smokers, especially in the younger generation, the Indonesian Government has obliged tobacco companies to include Pictorial Health Warnings (PHW) on the cigarette packaging they produce. PHW is an image contained in cigarette packaging that contains about smoking can causes cancer of the mouth, throat, lungs/bronchitis chronic; death, and endanger small children. This study aims to identify characteristics, knowledge, and perception of non-smoker teenagers to PHW and the relationship between variables. The study design was cross-sectional with non-smoking male teen research population of 2,473 people. As for the sample of 219 people selected by stratified random sampling. The research variables are characteristic, knowledge, and perception toward PHW. Data analysis used Chi-squared for bivariate and logistic regression for multivariate. The results showed 86.8% respondents had good knowledge and 71.7% had very good perception about PHW although 69.9% of their parents were smokers. There is a significant relationship between knowledge and perception of PHW in non-smoker teenagers

Rewriting Systems over Nested Data Words

We propose a generic framework for reasoning about infinite state systems handling data like integers, booleans etc. and having complex control structures. We consider that configurations of such systems are represented by nested data words, i.e., words of ... words over a potentially infinite data domain. We define a logic called $ndwl$ allowing to reason about nested data words, and we define rewriting systems called $ndwrs$ over these nested structures. The rewriting systems are constrained by formulas in the logic specifying the rewriting positions as well as structure/data transformations. We define a fragment $Sigma_2^*$ of $ndwl$ with a decidable satisfiability problem. Moreover, we show that the transition relation defined by rewriting systems with $Sigma_2^*$ constraints can be effectively defined in the same fragment. These results can be used in the automatization of verification problems such as inductive invariance checking and bounded reachability analysis. Our framework allows to reason about a wide range of concurrent systems including multithreaded programs (with procedure calls, thread creation, global/local variables over infinite data domains, locks, monitors, etc.), dynamic networks of timed systems, cache coherence/mutex/communication protocols, etc

An Approach to the Simulation of a Batch-respirometer

Dynamic models in activated sludge processes have demonstrated to be a reliable and useful instrument in design and management of wastewater treatment plants. The biochemical nature of the processes involved the models which need a specific calibration to local conditions. A common method to determine kinetic and stoichiometric parameters of the biomass or wastewater/sludge fractionations is respirometry. Theoretically, nearly all biomass parameters and fractions can be estimated by respirometry, but a lot of difficulties rise when some parameters, such as saturation and hydrolysis rate constants, have to be drawn from experimental data. The aim of our work is the setting up of a simple method to calibrate Activated Sludge Model No. 1 applying traditional batch respirometric tests together with dynamic simulations of the respirometer itself

The effect of using mixed initiator systems on the efficiency of photopolymerization of dental resins

A study was performed in order to determine the efficiency of the simultaneous use of the photoinitiators phenylpropanedione (PPD) and camphorquinone (CQ) in the polymerization of acrylic polymers and evaluate possible mechanisms leading to synergism or antagonism. It was found that efficiencies of both initiators taken individually are higher than that of their mixture, indicating that when both dyes are used simultaneously there will be an energy transfer from the more efficient initiator (CQ) to the less efficient one (PPD). Also, there was no proof of any reaction between the amine present in the CQ formulation and the PPD excited state.Foi realizado um estudo para determinar a eficiência da utilização simultânea dos fotoiniciadores fenilpropanodiona (PPD) e canforquinona (CQ) para a polimerização de polímeros acrílicos e avaliar possíveis mecanismos que levem à sinergia ou antagonismo. Foi encontrado que as eficiências de ambos iniciadores usados individualmente são maiores que a da mistura, indicando que quando os iniciadores são usados simultaneamente há uma transferência de energia do iniciador mais eficiente (CQ) para o menos eficiente (PPD). Também, não foi encontrada nenhuma evidência de reação entre a amina presente na formulação da CQ e o PPD no estado excitado.FAPESPCNP