Relational Galois connections between transitive fuzzy digraphs

Fuzzy-directed graphs are often chosen as the data structure to model and implement solutions to several problems in the applied sciences. Galois connections have also shown to be useful both in theoretical and in practical problems. In this paper, the notion of relational Galois connection is extended to be applied between transitive fuzzy directed graphs. In this framework, the components of the connection are crisp relations satisfying certain reasonable properties given in terms of the so-called full powering

Dual ifgMosaic: A Versatile Method for Multispectral and Combinatorial Mosaic Gene-Function Analysis

Improved methods for manipulating and analyzing gene function have provided a better understanding of how genes work during organ development and disease. Inducible functional genetic mosaics can be extraordinarily useful in the study of biological systems; however, this experimental approach is still rarely used in vertebrates. This is mainly due to technical difficulties in the assembly of large DNA constructs carrying multiple genes and regulatory elements and their targeting to the genome. In addition, mosaic phenotypic analysis, unlike classical single gene-function analysis, requires clear labeling and detection of multiple cell clones in the same tissue. Here, we describe several methods for the rapid generation of transgenic or gene-targeted mice and embryonic stem (ES) cell lines containing all the necessary elements for inducible, fluorescent, and functional genetic mosaic (ifgMosaic) analysis. This technology enables the interrogation of multiple and combinatorial gene function with high temporal and cellular resolution.This work was supported by grants to the PI R.B. from the Spanish Ministry of Economy, Industry and Competitiveness (SAF2013-44329-P, SAF2013-42359-ERC, and RYC-2013-13209) and European Research Council (ERC-2014-StG - 638028). S.P.-Q., M.F.-C., and I.G.-G. were supported by PhD fellowships from Fundacion La Caixa (CX-SO-2013-02, CX\_E-2015-01, and CX-SO-16-1, respectively). W.L. by a FP7-PEOPLE-2012-COFUND GA600396 postdoctoral contract. We thank Simon Bartlett for English editing, Ralf H. Adams for sharing the Cdh5(PAC)-CreERT2 mice, Jose Luis de La Pompa for comments throughout the project and for sharing the Tie2-Cre mice, Gonzalo Gancedo for the help with the mouse colony, Valeria Caiolfa for the help with the microscopy, and all the members of the CNIC gene targeting, transgenesis, cellomics, and microscopy units. The CNIC is supported by MEIC/MINECO and the Pro CNIC Foundation and is a Severo Ochoa Center of Excellence (SEV-2015-0505).S

Long-term Plan to Monitor Venus using Earth-orbiting CubeSats: Chasing the Long-term Variability of Our Nearest Neighbor Planet Venus (CLOVE)

Past Venus studies reported unexpected temporal variations on a global scale in terms of ultraviolet (UV) reflectivity, SO _{2} and H _{2}O gas abundances, cloud top altitudes, and zonal wind speed. These variations are plausibly connected to each other and to global atmospheric circulation, atmospheric chemistry, volcanism, and solar activity cycles. The nature of these reported variations is unknown: are they periodic? What is the driving mechanism? What are the implications for the current climate? To answer these questions, we plan a long-term Venus monitoring campaign. Our plan has been selected by the Institute for Basic Science (IBS), South Korea, and funded for the first 5 years by a research grant (2022-2027). Our international and ambitious project includes long-term monitoring with ground-based telescopes and space-based CubeSats. Ground-based telescopes will perform observations from 320 nm to the near-infrared (NIR). CubeSats in Earth orbit will provide a high temporal resolution and a unique UV wavelength coverage, as is only possible to achieve from space. We will simultaneously retrieve reflectivity, SO _{2} abundance, cloud top altitude, and haze abundance above the clouds to elucidate the mechanism behind their correlations. Our effort will benefit from coordinated observations with the active space missions Akatsuki and BepiColombo. We will perform a feasibility study to assess the use of CubeSats for Venus observations, with the goal of having the first CubeSat ready within 5 years, for a mission that can be extended with other CubeSats for a total of 15 years, covering the time of future Venus missions by NASA and ESA. Long-term monitoring will characterize the temporal variability of the variations, allowing us to reveal their origin and nature

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

Search for chargino-neutralino production with mass splittings near the electroweak scale in three-lepton final states in √s=13 TeV pp collisions with the ATLAS detector

A search for supersymmetry through the pair production of electroweakinos with mass splittings near the electroweak scale and decaying via on-shell W and Z bosons is presented for a three-lepton final state. The analyzed proton-proton collision data taken at a center-of-mass energy of √s=13  TeV were collected between 2015 and 2018 by the ATLAS experiment at the Large Hadron Collider, corresponding to an integrated luminosity of 139  fb−1. A search, emulating the recursive jigsaw reconstruction technique with easily reproducible laboratory-frame variables, is performed. The two excesses observed in the 2015–2016 data recursive jigsaw analysis in the low-mass three-lepton phase space are reproduced. Results with the full data set are in agreement with the Standard Model expectations. They are interpreted to set exclusion limits at the 95% confidence level on simplified models of chargino-neutralino pair production for masses up to 345 GeV

Measurement of the Z/gamma* + b-jet cross section in pp collisions at 7 TeV

The production of b jets in association with a Z/gamma* boson is studied using proton-proton collisions delivered by the LHC at a centre-of-mass energy of 7 TeV and recorded by the CMS detector. The inclusive cross section for Z/gamma* + b-jet production is measured in a sample corresponding to an integrated luminosity of 2.2 inverse femtobarns. The Z/gamma* + b-jet cross section with Z/gamma* to ll (where ll = ee or mu mu) for events with the invariant mass 60 < M(ll) < 120 GeV, at least one b jet at the hadron level with pT > 25 GeV and abs(eta) < 2.1, and a separation between the leptons and the jets of Delta R > 0.5 is found to be 5.84 +/- 0.08 (stat.) +/- 0.72 (syst.) +(0.25)/-(0.55) (theory) pb. The kinematic properties of the events are also studied and found to be in agreement with the predictions made by the MadGraph event generator with the parton shower and the hadronisation performed by PYTHIA.Comment: Submitted to the Journal of High Energy Physic