Search results for "pur"
showing 10 items of 5529 documents
The Chinese Postman Problem with Load-Dependent Costs
2018
[EN] We introduce an interesting variant of the well-known Chinese postman problem (CPP). While in the CPP the cost of traversing an edge is a constant (equal to its length), in the variant we present here the cost of traversing an edge depends on its length and on the weight of the vehicle at the moment it is traversed. This problem is inspired by the perspective of minimizing pollution in transportation, since the amount of pollution emitted by a vehicle not only depends on the travel distance but also on its load, among other factors. We define the problem, study its computational complexity, provide two mathematical programming formulations, and propose two metaheuristics for its soluti…
Quine’s Fluted Fragment is Non-elementary
2016
We study the fluted fragment, a decidable fragment of first-order logic with an unbounded number of variables, originally identified by W.V. Quine. We show that the satisfiability problem for this fragment has non-elementary complexity, thus refuting an earlier published claim by W.C. Purdy that it is in NExpTime. More precisely, we consider, for all m greater than 1, the intersectionof the fluted fragment and the m-variable fragment of first-order logic. We show that this subfragment forces (m/2)-tuply exponentially large models, and that its satisfiability problem is (m/2)-NExpTime-hard. We round off by using a corrected version of Purdy’s construction to show that the m-variable fluted f…
Online Intercultural Exchanges Through Digital Storytelling
2017
This article focuses on the affordances of a digital storytelling project in developing students' language, digital and other skills: learning and innovation, creativity, critical thinking, problem solving, team working, and life and career skills. The project was undertaken by university English for Specific Purposes students and was conducted within an Online Intercultural Exchange between the Cyprus University of Technology and the University of Valencia. Its design was based on a Project-Based Learning (PBL) methodology. It incorporated active learning and multimodal resources and capabilities. The need for transforming language teaching pedagogies was borne in mind, as it is necessary …
Beyond the “student” position: Pursuing agency by drawing on learners’ life-worlds on an EAP course
2018
AbstractIn today’s world, individuals should be able to maintain their expertise amidst constant changes. Thus, this type of agency should be supported in higher education. One approach for a teacher-researcher to examine supporting agency and how it manifests itself in higher education courses is through the learning design. In this article, learning design is defined as the planned course path and the way in which that path is enacted in the course in a real-life setting. Thus, the learning design of a blended EAP course is examined, with a focus on the course assignments in two different groups in two consecutive years. Different types of agency were assumed through the tasks and those t…
Knowledge ecology for conceptual growth:Teachers as active agents in developing a PluriLiteracies approach to Teaching for Learning (PTL)
2017
This article explores how a group of educators and researchers enacted an inclusive process of conceptual growth involving teachers and teacher educators as active agents, knowledge builders and meaning-makers in the development of a Pluriliteracies approach to Teaching for Learning (PTL). The evolution of a working model based on five emergent principles, foregrounded the need for stakeholders across different languages, cultures and disciplines, to work together from the start so that learning spaces were created where teacher development went alongside researcher development, and theorizing was not only inclusive of praxis but validated by it. A growth cycle emerged using theories of pra…
Carbon isotope stratigraphy, magnetostratigraphy, and 40Ar/39Ar age of the Cretaceous South Atlantic coast, Namibe Basin, Angola
2014
This publication results from Projecto PaleoAngola, an international cooperative research effort among the contributing authors and their institutions, funded by the National Geographic Society, the Petroleum Research Fund of the American Chemical Society, Sonangol E.P., Esso Angola, Fundacao Vida of Angola, LS Films, Maersk, Damco, Safmarine, ISEM at SMU, The Royal Dutch Embassy in Luanda, TAP Airlines, Royal Dutch Airlines, The Saurus Institute, and the Perot Museum of Nature and Science. JS was additionally funded by Yale University and the Alfred Kordelin Foundation. We dedicate this contribution to the late Kalunga Lima, our friend and colleague in Projecto PaleoAngola. We thank Margar…
Evidence for the production of three massive vector bosons with the ATLAS detector
2019
A search for the production of three massive vector bosons in proton–proton collisions is performed using data at TeV recorded with the ATLAS detector at the Large Hadron Collider in the years 2015–2017, corresponding to an integrated luminosity of 79.8 fb−1. Events with two same-sign leptons ℓ (electrons or muons) and at least two reconstructed jets are selected to search for . Events with three leptons without any same-flavour opposite-sign lepton pairs are used to search for , while events with three leptons and at least one same-flavour opposite-sign lepton pair and one or more reconstructed jets are used to search for . Finally, events with four leptons are analysed to search for and .…
Study of J/ψ Production in Jets
2017
The production of $J/\psi$ mesons in jets is studied in the forward region of proton-proton collisions using data collected with the LHCb detector at a center-of-mass energy of 13 TeV. The fraction of the jet transverse momentum carried by the $J/\psi$ meson, $z \equiv p_{\rm T}(J/\psi)/p_{\rm T}({\rm jet})$, is measured using jets with $p_{\rm T}({\rm jet}) > 20$ GeV in the pseudorapidity range $2.5 < \eta({\rm jet}) < 4.0$. The observed $z$ distribution for $J/\psi$ mesons produced in $b$-hadron decays is consistent with expectations. However, the results for prompt $J/\psi$ production do not agree with predictions based on fixed-order non-relativistic QCD. This is the first measurement o…
Constraints on off-shell Higgs boson production and the Higgs boson total width in ZZ → 4ℓ and ZZ → 2ℓ2ν final states with the ATLAS detector
2018
A measurement of off-shell Higgs boson production in the and decay channels, where ℓ stands for either an electron or a muon, is performed using data from proton–proton collisions at a centre-of-mass energy of TeV. The data were collected by the ATLAS experiment in 2015 and 2016 at the Large Hadron Collider, and they correspond to an integrated luminosity of . An observed (expected) upper limit on the off-shell Higgs signal strength, defined as the event yield normalised to the Standard Model prediction, of 3.8 (3.4) is obtained at 95% confidence level (CL). Assuming the ratio of the Higgs boson couplings to the Standard Model predictions is independent of the momentum transfer of the Higgs…
Observation of $Z$ production in proton-lead collisions at LHCb
2014
The first observation of $Z$ boson production in proton-lead collisions at a centre-of-mass energy per proton-nucleon pair of $\sqrt{s_{NN}}=5~\text{TeV}$ is presented. The data sample corresponds to an integrated luminosity of $1.6~\text{nb}^{-1}$ collected with the LHCb detector. The $Z$ candidates are reconstructed from pairs of oppositely charged muons with pseudorapidities between 2.0 and 4.5 and transverse momenta above $20~\text{GeV}/c$. The invariant dimuon mass is restricted to the range $60-120~\text{GeV}/c^2$. The $Z$ production cross-section is measured to be \begin{eqnarray*} ��_{Z\to��^+��^-}(\text{fwd})&=&13.5^{+5.4}_{-4.0}\text{(stat.)}\pm1.2\text{(syst.)}~\text{nb} …