Provision of education for sustainability development and sustainability literacy in business programs in three higher education institutions in Brazil, Colombia and Peru

Purpose: This paper aims to report on the status and the development of education for sustainable development (ESD) and sustainability literacy (SL) in three Latin American (LA) higher education institutions (HEIs) business programs in Peru, Brazil and Colombia. The paper examines institutional efforts to both introduce and implement ESD curricula and provide SL. Design/methodology/approach: The methods used in this paper included reviews of university Web pages and course materials. Structured interviews were also conducted with program leaders, to examine the level of ESD, as input affecting the business programs curricula of the universities concerned. Findings: Initial findings suggest that, in the three HEIs surveyed, there is still a tendency to talk about issues related to ESD but actions that confirm this interest are not sufficiently advanced. The authors surveys a sample of business programs curricula and interviewed its leaders and a mixed and dated picture emerged. When compared to other regions particularly the USA and Europe, the findings show that the HEIs surveyed still have not developed enough work to distinguish conceptually between sustainable development, ESD and SL making the embedment of these concepts in the curriculum not fully developed. Originality/value: In LA HEIs, the ESD message seems to be slowly taking ground, equipping HEIs to respond to SL concerns. Implementation and practice in some HEIs are still at an embryonic and conceptually confused stage with regard to LA HEIs SL. This paper sheds light to help ESD delivery. It offers some strategies for moving on from this inception phase to a more structured SL provision and ESD outlook

Testing robots using CSP

This paper presents a technique for automatic generation of tests for robotic systems based on a domain-specific notation called RoboChart. This is a UML-like diagrammatic notation that embeds a component model suitable for robotic systems, and supports the definition of behavioural models using enriched state machines that can feature time properties. The formal semantics of RoboChart is given using tockCSP, a discrete-time variant of the process algebra CSP. In this paper, we use the example of a simple drone to illustrate an approach to generate tests from RoboChart models using a mutation tool called Wodel. From mutated models, tests are generated using the CSP model checker FDR. The testing theory of CSP justifies the soundness of the tests

Interruptions of the FXN GAA Repeat Tract Delay the Age at Onset of Friedreich’s Ataxia in a Location Dependent Manner

Copyright: © 2021 by the authors. Friedreich’s ataxia (FRDA) is a comparatively rare autosomal recessive neurological disorder primarily caused by the homozygous expansion of a GAA trinucleotide repeat in intron 1 of the FXN gene. The repeat expansion causes gene silencing that results in deficiency of the frataxin protein leading to mitochondrial dysfunction, oxidative stress and cell death. The GAA repeat tract in some cases may be impure with sequence variations called interruptions. It has previously been observed that large interruptions of the GAA repeat tract, determined by abnormal MboII digestion, are very rare. Here we have used triplet repeat primed PCR (TP PCR) assays to identify small interruptions at the 5′ and 3′ ends of the GAA repeat tract through alterations in the electropherogram trace signal. We found that contrary to large interruptions, small interruptions are more common, with 3′ interruptions being most frequent. Based on detection of interruptions by TP PCR assay, the patient cohort (n = 101) was stratified into four groups: 5′ interruption, 3′ interruption, both 5′ and 3′ interruptions or lacking interruption. Those patients with 3′ interruptions were associated with shorter GAA1 repeat tracts and later ages at disease onset. The age at disease onset was modelled by a group-specific exponential decay model. Based on this modelling, a 3′ interruption is predicted to delay disease onset by approximately 9 years relative to those lacking 5′ and 3′ interruptions. This highlights the key role of interruptions at the 3′ end of the GAA repeat tract in modulating the disease phenotype and its impact on prognosis for the patient.European Union Seventh Framework Programme (FP7/2007–2013) under grant agreement number 242193/EFACTS; National Brain Appeal—Small Acorns Fund; The Wellcome Centre for Human Neuroimaging is supported by core funding from the Wellcome (203147/Z/16/Z); Department of Health’s National Institute for Health Research Biomedical Research Centres funding scheme; CRN; North Thames, National Institute for Health Research (NIHR). Medical Research Council (MR/N028767/1)

Frozen and Invariant Quantum Discord under Local Dephasing Noise

In this chapter, we intend to explore and review some remarkable dynamical properties of quantum discord under various different open quantum system models. Specifically, our discussion will include several concepts connected to the phenomena of time invariant and frozen quantum discord. Furthermore, we will elaborate on the relation of these two phenomena to the non-Markovian features of the open system dynamics and to the usage of dynamical decoupling protocols.Comment: 29 pages, 8 figure

Measurements on the reality of the wavefunction

Quantum mechanics is an outstandingly successful description of nature, underpinning fields from biology through chemistry to physics. At its heart is the quantum wavefunction, the central tool for describing quantum systems. Yet it is still unclear what the wavefunction actually is: does it merely represent our limited knowledge of a system, or is it an element of reality? Recent no-go theorems argued that if there was any underlying reality to start with, the wavefunction must be real. However, that conclusion relied on debatable assumptions, without which a partial knowledge interpretation can be maintained to some extent. A different approach is to impose bounds on the degree to which knowledge interpretations can explain quantum phenomena, such as why we cannot perfectly distinguish non-orthogonal quantum states. Here we experimentally test this approach with single photons. We find that no knowledge interpretation can fully explain the indistinguishability of non-orthogonal quantum states in three and four dimensions. Assuming that some underlying reality exists, our results strengthen the view that the entire wavefunction should be real. The only alternative is to adopt more unorthodox concepts such as backwards-in-time causation, or to completely abandon any notion of objective reality.Comment: 7 pages, 4 figure

The sudden change phenomenon of quantum discord

Even if the parameters determining a system's state are varied smoothly, the behavior of quantum correlations alike to quantum discord, and of its classical counterparts, can be very peculiar, with the appearance of non-analyticities in its rate of change. Here we review this sudden change phenomenon (SCP) discussing some important points related to it: Its uncovering, interpretations, and experimental verifications, its use in the context of the emergence of the pointer basis in a quantum measurement process, its appearance and universality under Markovian and non-Markovian dynamics, its theoretical and experimental investigation in some other physical scenarios, and the related phenomenon of double sudden change of trace distance discord. Several open questions are identified, and we envisage that in answering them we will gain significant further insight about the relation between the SCP and the symmetry-geometric aspects of the quantum state space.Comment: Lectures on General Quantum Correlations and their Applications, F. F. Fanchini, D. O. Soares Pinto, and G. Adesso (Eds.), Springer (2017), pp 309-33