Measurements of ZZ production in the ℓ+ℓ−ℓ′+ℓ′− channel in proton–proton collisions at 13 TeV center-of-mass energy at the Large Hadron Collider are presented. The data correspond to 36.1 fb−1 of collisions collec...
详细信息
Measurements of ZZ production in the ℓ+ℓ−ℓ′+ℓ′− channel in proton–proton collisions at 13 TeV center-of-mass energy at the Large Hadron Collider are presented. The data correspond to 36.1 fb−1 of collisions collected by the ATLAS experiment in 2015 and 2016. Here ℓ and ℓ′ stand for electrons or muons. Integrated and differential ZZ→ℓ+ℓ−ℓ′+ℓ′− cross sections with Z→ℓ+ℓ− candidate masses in the range of 66 GeV to 116 GeV are measured in a fiducial phase space corresponding to the detector acceptance and corrected for detector effects. The differential cross sections are presented in bins of twenty observables, including several that describe the jet activity. The integrated cross section is also extrapolated to a total phase space and to all standard model decays of Z bosons with mass between 66 GeV and 116 GeV, resulting in a value of 17.3±0.9[±0.6(stat)±0.5(syst)±0.6(lumi)] pb. The measurements are found to be in good agreement with the standard model. A search for neutral triple gauge couplings is performed using the transverse momentum distribution of the leading Z boson candidate. No evidence for such couplings is found and exclusion limits are set on their parameters.
The reliability on Safety Instrumented Systems (SIS) is critical for the safe operation of many industrial applications. In particular, SIS play an important role in oil and gas processing plants. SIS are responsible ...
详细信息
The reliability on Safety Instrumented Systems (SIS) is critical for the safe operation of many industrial applications. In particular, SIS play an important role in oil and gas processing plants. SIS are responsible not only for the continuous operation of the plant, it also keeps the plant in a safe state, avoiding damages to the environment and minimizing risks to employees. Therefore, the correct behavior of such systems is an important goal to achieve when building industrial plants. Verification and testing of SIS programs is a very hard task to accomplish. This happens mainly for two reasons. First, testing the real system is very expensive and sometimes it may take a huge amount of time, weeks or even months. Second, those systems deal with a huge number of variables. It is not always possible for a human tester to check if all of them are correct when performing tests. Providing an automatic and formal testing approach for such systems is an important contribution for the development of such systems. In this work we introduce a new method for generating test cases for SIS programs running on programable Logic Controller (PLC). As we did on previous work, ISA 5.2 diagrams are used as specification of the systems, but now we are using a hardware-in-the-loop technique, and the target artifact is a software running on a PLC. To avoid the execution of redundant tests, we introduced a new test case generation algorithm that is based on equivalence classes. Finally, we discussed a study case in which our method is used to detect error, that were introduced on purpose, on a simple system.
A step-based tutoring system for linear circuit analysis is being developed with the capabilities to automatically generate circuit problems with specified characteristics, including randomly generated topologies and ...
详细信息
A step-based tutoring system for linear circuit analysis is being developed with the capabilities to automatically generate circuit problems with specified characteristics, including randomly generated topologies and element values. The system further generates fully-worked, error-free solutions using the methods typically taught in such classes, and accepts a rich variety of student input such as equations, matrix equations, numerical and multiple-choice answers, re-drawn circuit diagrams, and sketches of waveforms. A randomized, controlled study was conducted using paid student volunteers to compare the effectiveness of two of our tutorials in comparison to working conventional textbook-based problems. The average learning gain was only 3/100 points for the textbook users, but 29/100 points, about 10 times higher, for the tutorial users. The effect size on the post-test scores was 1.21 pooled standard deviations (Cohen d-value) and was statistically significant. A motivational survey administered to these students yielded a 0.53 point higher rating for the software than for the textbook (on a 1-5 scale). The system is being used in Spring 2013 by over 340 students in EEE 202 at Arizona State and two community colleges. About 99% of these students rated the system as “very helpful” or “somewhat helpful”.
This paper presents a study of and triboson production using events from proton-proton collisions at a centre-of-mass energy of recorded with the ATLAS detector at the LHC and corresponding to an integrated luminos...
This paper presents a study of and triboson production using events from proton-proton collisions at a centre-of-mass energy of recorded with the ATLAS detector at the LHC and corresponding to an integrated luminosity of 20.2 fb . The production cross-section is determined using a final state containing an electron, a muon, a photon, and neutrinos ( ). Upper limits on the production cross-section of the final state and the and final states containing an electron or a muon, two jets, a photon, and a neutrino ( or ) are also derived. The results are compared to the cross-sections predicted by the Standard Model at next-to-leading order in the strong-coupling constant. In addition, upper limits on the production cross-sections are derived in a fiducial region optimised for a search for new physics beyond the Standard Model. The results are interpreted in the context of anomalous quartic gauge couplings using an effective field theory. Confidence intervals at 95% confidence level are derived for the 14 coupling coefficients to which and production are sensitive.
S1 Health literacy and health education in adolescence Catarina Cardoso Tomás S2 The effect of a walking program on the quality of life and well-being of people with schizophrenia Emanuel Oliveira, D. Sousa, M. U...
S1 Health literacy and health education in adolescence Catarina Cardoso Tomás S2 The effect of a walking program on the quality of life and well-being of people with schizophrenia Emanuel Oliveira, D. Sousa, M. Uba-Chupel, G. Furtado, C. Rocha, A. Teixeira, P. Ferreira S3 Diagnosis and innovative treatments - the way to a better medical practice Celeste Alves S4 Simulation-based learning and how it is a high contribution Stefan Gisin S5 Formative research about acceptability, utilization and promotion of a home fortification programme with micronutrient powders (MNP) in the Autonomous Region of Príncipe, São Tomé and Príncipe Elisabete Catarino, Nelma Carvalho, Tiago Coucelo, Luís Bonfim, Carina Silva S6 Safety culture of the patient: a reflexion about the therapeutic approach on the patient with vocal pathology Débora Franco S7 About wine, fortune cookies and patient experience Jesús Alcoba González O1 The psychological impact on the emergency crews after the disaster event on February 20, 2010 Helena G. Jardim, Rita Silva O2 Musculoskeletal disorders in midwives Cristina L. Baixinho, Mª Helena Presado, Mª Fátima Marques, Mário E. Cardoso O3 Negative childhood experiences and fears of compassion: Implications for psychological difficulties in adolescence Marina Cunha, Joana Mendes, Ana Xavier, Ana Galhardo, Margarida Couto O4 Optimal age to give the first dose of measles vaccine in Portugal João G. Frade, Carla Nunes, João R. Mesquita, Maria S. Nascimento, Guilherme Gonçalves O5 Functional assessment of elderly in primary care Conceição Castro, Alice Mártires, Mª João Monteiro, Conceição Rainho O6 Smoking and coronary events in a population of Spanish health-care centre: An observational study Francisco P. Caballero, Fatima M. Monago, Jose T. Guerrero, Rocio M. Monago, Africa P. Trigo, Milagros L. Gutierrez, Gemma M. Milanés, Mercedes G. Reina, Ana G. Villanueva, Ana S. Piñero, Isabel R. Aliseda, Francisco B. Ramirez O7 Prevalence of musculoskeletal injuries in Por
Background: Association rules are more comprehensive and understandable than fault-prone module predictors (such as logistic regression model, random forest and support vector machine). One of the challenges is that t...
详细信息
Background: Association rules are more comprehensive and understandable than fault-prone module predictors (such as logistic regression model, random forest and support vector machine). One of the challenges is that there are usually too many similar rules to be extracted by the rule mining. Aim: This paper proposes a rule reduction technique that can eliminate complex (long) and/or similar rules without sacrificing the prediction performance as much as possible. Method: The notion of the method is to removing long and similar rules unless their confidence level as a heuristic is high enough than shorter rules. For example, it starts with selecting rules with shortest length (length=1), and then it continues through the 2nd shortest rules selection (length=2) based on the current confidence level, this process is repeated on the selection for longer rules until no rules are worth included. Result: An empirical experiment has been conducted with the Mylyn and Eclipse PDE datasets. The result of the Mylyn dataset showed the proposed method was able to reduce the number of rules from 1347 down to 13, while the delta of the prediction performance was only. 015 (from. 757 down to. 742) in terms of the F1 prediction criteria. In the experiment with Eclipsed PDE dataset, the proposed method reduced the number of rules from 398 to 12, while the prediction performance even improved (from. 426 to. 441.) Conclusion: The novel technique introduced resolves the rule explosion problem in association rule mining for software proneness prediction, which is significant and provides better understanding of the causes of faulty modules.
Dimensionality reduction has been considered as one of the most significant tools for data analysis. In general, supervised information is helpful for dimensionality reduction. However, in typical real applications, s...
详细信息
The AAAI-11 workshop program was held Sunday and Monday, August 7-18, 2011, at the Hyatt Regency San Francisco in San Francisco, California USA. The AAAI-11 workshop program included 15 workshops covering a wide range...
详细信息
This paper presents a quiz game agent who is attentive to the dynamics of multiple concurrent participants. The attentiveness of this agent is meant to be achieved by an utterance policy that determines the nature of ...
详细信息
This paper presents two approaches to achieve attentiveness of a virtual quiz agent in the interactions with multiple users at the same time. One attempts to improve the agent with an utterance strategy to determine w...
详细信息
暂无评论