: Results of a search for the electroweak associated production of charginos and next-to-lightest neutralinos, pairs of charginos or pairs of tau sleptons are presented. These processes are characterised by final states with at least two hadronically decaying tau leptons, missing transverse momentum and low jet activity. The analysis is based on an integrated luminosity of 20.3 fb−1 of proton-proton collisions at recorded with the ATLAS experiment at the Large Hadron Collider. No significant excess is observed with respect to the (...) predictions from Standard Model processes. Limits are set at 95% confidence level on the masses of the lighter chargino and next-to-lightest neutralino for various hypotheses for the lightest neutralino mass in simplified models. In the scenario of direct production of chargino pairs, with each chargino decaying into the lightest neutralino via an intermediate tau slepton, chargino masses up to 345 GeV are excluded for a massless lightest neutralino. For associated production of mass-degenerate charginos and next-to-lightest neutralinos, both decaying into the lightest neutralino via an intermediate tau slepton, masses up to 410 GeV are excluded for a massless lightest neutralino.[Figure not available: see fulltext.]. (shrink)
The PUC in São Paulo is a college of the Church and keeps the catholic identity. In the academic range, the university preserves its identity, ensures its autonomy in relation to the good of the Church and maintains a dialogue with society. Gospel values should be preserved for an efficient and mature scientific reflection. This article indicates the Apostolic Constitution of the Supreme Pontiff John Paul II, about the catholic universities, and presents the instruction on the Ecclesial Vocation of the (...) theologian of the Congregation for the Doctrine of the Faith. In fact, what is the contribution of the catholic university to society? What is the relationship between Revelation and Reason as an authentic and mature scientific reflection in PUC SP? How to understand catholic identity and university’s autonomy? (shrink)
The present report is a, somewhat lengthy, addendum to "A new deconstructive logic: linear logic," where the elimination of cuts from derivations in sequent calculus for classical logic was studied ‘from the point of view of linear logic’. To that purpose a formulation of classical logic was used, that - as in linear logic - distinguishes between multiplicative and additive versions of the binary connectives.The main novelty here is the observation that this type-distinction is not essential: we can allow classical (...) sequent derivations to use any combination of additive and multiplicative introduction rules for each of the connectives, and still have strong normalization and confluence of tq-reductions.We give a detailed description of the simulation of tq-reductions by means of reductions of the interpre- tation of any given classical proof as a proof net of PN2 (the system of second order proof nets for linear logic), in which moreover all connectives can be taken to be of one type, e.g., multiplicative.We finally observe that dynamically the different logical cuts, as determined by the four possible combinations of introduction rules, are independent: it is not possible to simulate them internally, i.e., by only one specific combination, and structural rules. (shrink)
