Revista Jurídica Digital UANDES
Not a member yet
69002 research outputs found
Sort by
Are the kids alright? Examining the intersection between education and mental health
No full textChildren's mental health services have experienced major cuts since 2010. In parallel, our education system has undergone a period of significant transformation. In this paper, I discuss the implications of these developments for the mental health of children and young people. This includes examination of the differing ways in which mental health is conceptualised, the often contradictory positions schools are required to adopt in relation to their role in promoting mental health, assumed truths about evidence-based interventions, and what research can (and cannot) tell us about changes in the prevalence of mental health difficulties among children and young people over time. In exploring these important issues and debates, I encourage the reader to consider whether we are, in fact, on the brink of a public health crisis for which schools may provide a means of resolution, or if the current focus on children's mental health in education is simply the latest generational ‘child panic’
DIGITAL CAPABILITIES FOR ADVANCED SERVICES: A MULTI-ACTOR PERSPECTIVE
No full textPurpose: To create a framework to investigate the digital capabilities required by manufacturers and other actors Design/Methodology/Approach: Conceptual studyFindings: The digital capabilities required by manufacturers for advanced services have been investigated through some exploratory research but those required by other actors (customers, intermediaries) have not so far been addressed in the literature. This study provides the first attempt to classify digital capabilities using an existing frameworkOriginality/Value: The first study is to consider the digital capabilities required by multiple actors. <br/
On The Stability of Feature Selection in the Presence of Feature Correlations
No full textFeature selection is central to modern data science. The `stability' of a feature selection algorithm refers to the sensitivity of its choices to small changes in training data. This is, in effect, the robustness of the chosen features. This paper considers the estimation of stability when we expect strong pairwise correlations, otherwise known as feature redundancy. We demonstrate that existing measures are inappropriate here, as they systematically underestimate the true stability, giving an overly pessimistic view of a feature set. We propose a new statistical measure which overcomes this issue, and generalises previous work
Anti-3-hydroxy-3-methylglutaryl-coenzyme A reductase (HMGCR) myopathy: An unusual presentation
No full textAnti-3-hydroxy-3-methylglutaryl-coenzyme A reductase (HMGCR) myopathy is adistinct necrotising autoimmune myopathy associated with statin use. This does notimprove after discontinuation of the statin and usually has a progressive course that requires immunosuppressive treatment. We herein describe a case of HMGCRmyopathy that went into remission without treatment suggesting that spontaneousremission may be possible in some patients with this diagnosis. Spontaneousresolution of a case of HMGCR myopathy has not been described in the literaturebefore
Vulnerability of IEEE 1588 under Time Synchronization Attacks
No full textTime Synchronization is critically important in the alignment of signals resulting from a power system event or the measurement of data required to perform a protection and control action. IEEE 1588 Precision Time Protocol (PTP) achieves sub-microsecond accuracy via Ethernet with the aid of hardware timestamping techniques. Although PTP is being deployed in more newly-built IEC 61850 substations, the cybersecurity perspectives are often ignored or receive inadequate attention. Time Synchronization Attacks (TSA) targeting on IEEE 1588 may result in timing errors or cause the loss of synchronization, which may potentially lead to catastrophic failures of monitoring, protection and control applications. In this paper, mathematical analysis is first presented to illustrate the impact of TSA on PTP. A hardware testbed was then implemented to perform TSA including delay attacks, packet modification attacks, spoofing attacks and excessive traffic injection attacks on commercial PTP devices. The characteristics of PTP clocks under attack are compared, and the severity of different types of TSA are discussed
Using Frame Embeddings to Identify Semantically Related Software Requirements
No full textIn requirements engineering (RE), software requirements typicallycome in the form of unstructured text, written in natural language.Consequently, identifying related requirements becomes a time consumingtask. In this paper, we propose a novel method for measuringsemantic relatedness between software requirements, with the aim todevelop software tools that can automate or semi-automate the processingof identifying requirements traceability in requirements documents.The proposed method is based on an embedding-based representationof semantic frames in FrameNet, trained on a large corpus ofuser requirements. Applying the method to the task of detecting semanticallyrelated software requirements, the performance of the proposedmethod was evaluated against a manually labelled corpus andbaseline system. Our method obtained a satisfactory performance of86.36% against a manually labelled data set of software requirements,and outperformed the baseline system by 24 percentage points. Theseencouraging results demonstrate the potential of our method to be integratedwith RE tools for facilitating software requirement analysis andtraceability tasks
Interval Multi-objective Optimization with Memetic Algorithms
No full textOne of the most important and widely faced optimization problems in real applications is the interval multiobjective optimization problems (IMOPs). The state-of-the-art evolutionary algorithms (EAs) for IMOPs (IMOEAs) need a great deal of objective function evaluations to find a final Pareto front with good convergence and even distribution. Further, the final Pareto front is of great uncertainty. In this paper, we incorporate several local searches into an existing IMOEA, and propose a memetic algorithm (MA) to tackle IMOPs. At the start, the existing IMOEA is utilized to explore the entire decision space; then, the increment of the hyper-volume is employed to develop an activation strategy for every local search procedure; finally, the local search procedure is conducted by constituting its initial population, whose center is an individual with a small uncertainty and a big contribution to the hyper-volume, taking the contribution of an individual to the hyper-volume as its fitness function, and performing the conventional genetic operators. The proposed MA is empirically evaluated on 10 benchmark IMOPs as well as an uncertain solar desalination optimization problem and compared with three state-of-the-art algorithms with no local search procedure. The experimental results demonstrate the applicability and effectiveness of the proposed MA
Microbial contamination of heater cooler units used in ECMO is not aerosolised into the environment: a single centre experience.
No full textBackgroundHeater-cooler units (HCUs) used in cardiopulmonary bypass and extracorporeal membrane oxygenation (ECMO) can generate infectious aerosols containing Mycobacterium chimaera.ObjectiveTo ascertain if HICO-Variotherm units (Chalice Medical) used in ECMO were colonised with Mycobacterium species and to assess the potential for these units to release a bioaerosol.MethodsWater samples were taken from three ECMO HCUs in the Cardiothoracic Critical Care Unit of the Manchester University NHS Foundation Trust (Wythenshawe Hospital) Air samples were taken whilst patients were undergoing veno-venous ECMO. The presence of mycobacteria (or appropriate marker organism(s) was detected via culture and/or real-time qPCR.ResultsMycobacterium spp. were detected in water taken from two of the three ECMO units.All three ECMO units were colonised with Ralstonia spp. Aerosolisation from the machines into the environment was not demonstrated.ConclusionAerosolisation (bioaerosols) of infectious particles from the HICO-Variotherm HCU was not demonstrated. However, as an aerosolisation risk remains when ECMO machines are decontaminated, emptied or the circuits broken during use, effective disinfection and ongoing microbiological surveillance of the circulating water is vital.<br/
Generating Verified LLVM from Isabelle/HOL
No full textWe present a framework to generate verified LLVM programs from Isabelle/HOL. It is based on a code generator that generates LLVM text from a simplified fragment of LLVM, shallowly embedded into Isabelle/HOL. On top, we have developed a separation logic, a verification condition generator, and an LLVM backend to the Isabelle Refinement Framework. As case studies, we have produced verified LLVM implementations of binary search and the Knuth-Morris-Pratt string search algorithm. These are one order of magnitude faster than the Standard-ML implementations produced with the original Refinement Framework, and on par with unverified C implementations. Adoption of the original correctness proofs to the new LLVM backend was straightforward. The trusted code base of our approach is the shallow embedding of the LLVM fragment and the code generator, which is a pretty printer combined with some straightforward compilation step
Proof Pearl: Purely Functional, Simple and Efficient Priority Search Trees and Applications to Prim and Dijkstra
No full textThe starting point of this paper is a new, purely functional, simple and efficient data structure combining a search tree and a priority queue, which we call a priority search tree. The salient feature of priority search trees is that they offer a decrease-key operation, something that is missing from other simple, purely functional priority queue implementations. As two applications of this data structure we verify purely functional, simple and efficient implementations of Prim’s and Dijkstra’s algorithms. This constitutes the first verification of an executable and even efficient version of Prim’s algorithm