Analysis of events with b-jets and a pair of leptons of the same charge in pp collisions at √s=8 TeV with the ATLAS detector

An analysis is presented of events containing jets including at least one b-tagged jet, sizeable missing transverse momentum, and at least two leptons including a pair of the same electric charge, with the scalar sum of the jet and lepton transverse momenta being large. A data sample with an integrated luminosity of 20.3 fb−1 of pp collisions at s√=8 TeV recorded by the ATLAS detector at the Large Hadron Collider is used. Standard Model processes rarely produce these final states, but there are several models of physics beyond the Standard Model that predict an enhanced rate of production of such events; the ones considered here are production of vector-like quarks, enhanced four-top-quark production, pair production of chiral b′-quarks, and production of two positively charged top quarks. Eleven signal regions are defined; subsets of these regions are combined when searching for each class of models. In the three signal regions primarily sensitive to positively charged top quark pair production, the data yield is consistent with the background expectation. There are more data events than expected from background in the set of eight signal regions defined for searching for vector-like quarks and chiral b′-quarks, but the significance of the discrepancy is less than two standard deviations. The discrepancy reaches 2.5 standard deviations in the set of five signal regions defined for searching for four-top-quark production. The results are used to set 95% CL limits on various models.

Synthesis, antiangiogenesis evaluation and molecular docking studies of 1-Aryl-3-[(thieno[3,2-b]pyridin-7-ylthio)phenyl]ureas: Discovery of a new substitution pattern for type II VEGFR-2 Tyr kinase inhibitors

The synthesis and biological evaluation of novel 1-aryl-3-[2-, 3- or 4-(thieno[3,2-b]pyridin-7-ylthio)phenyl]ureas 3, 4 and 5 as VEGFR-2 tyrosine kinase inhibitors, are reported. The 1-aryl-3-[3-(thieno[3,2-b]pyridin-7-ylthio)phenyl]ureas 4a-4h, with the arylurea in the meta position to the thioether, showed the lowest IC50 values in enzymatic assays (10-206 nM), the most potent compounds 4d-4h (IC50 10-28 nM) bearing hydrophobic groups (Me, F, CF3 and Cl) in the terminal phenyl ring. A convincing rationalization was achieved for the highest potent compounds 4 as type II VEGFR-2 inhibitors, based on the simultaneous presence of: (1) the thioether linker and (2) the arylurea moiety in the meta position. For compounds 4, significant inhibition of Human Umbilical Vein Endothelial Cells (HUVECs) proliferation (BrdU assay), migration (wound-healing assay) and tube formation were observed at low concentrations. These compounds have also shown to increase apoptosis using the TUNEL assay. Immunostaining for total and phosphorylated (active) VEGFR-2 was performed by Western blotting. The phosphorylation of the receptor was significantly inhibited at 1.0 and 2.5 microM for the most promising compounds. Altogether, these findings point to an antiangiogenic effect in HUVECs.

On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

Evaluation of inflammatory response induced by different types of daily contact lenses

Dissertação de mestrado em Genética Molecular

Avaliação da performance clínica de lentes de contacto descartáveis diárias: um estudo piloto

Dissertação de mestrado em Optometria Avançada