Using soft computing tools for piezometric level prediction

The safety assessment of dams is a complex task that is made possible thanks to a constant monitoring of pertinent parameters. Once collected, the data is processed by statistical analysis models in order to describe the behaviour of the structure. The aim of those models is to detect early signs of abnormal behaviour so as to take corrective actions when required. Because of the uniqueness of each structure, the behavioural models need to adapt to each of these structures, thus flexibility is required. Simultaneously, generalisation capacities are sought, so a trade-off has to be found. This flexibility is even more important when the analysed phenomenon is characterised by non-linear features, as it is the case for the piezometric levels (PL) monitored at the rockconcrete interface of the arch dam that this study focuses on. In that case, the linear models that are classically used by engineers show insufficient performances. Consequently, interest naturally grows for the advanced learning algorithms known as machine learning techniques. In this work, the aim is to compare the predictive performances and generalization capacities of three different Data Mining algorithms that are likely to be used for monitoring purposes: Artificial Neural Networks (ANN), Support Vector Machines (SVM) and Multiple Regression (MR). The achieved results show that SVM and ANN stand out as the most efficient algorithms, when it comes to analysing non-linear monitored phenomenon. Through a global sensitivity analysis, the influence of the models’ attributes was measured, evidencing a high impact of Z (relative trough) in PL prediction.info:eu-repo/semantics/publishedVersio

Total Haskell is Reasonable Coq

We would like to use the Coq proof assistant to mechanically verify properties of Haskell programs. To that end, we present a tool, named hs-to-coq, that translates total Haskell programs into Coq programs via a shallow embedding. We apply our tool in three case studies -- a lawful Monad instance, "Hutton's razor", and an existing data structure library -- and prove their correctness. These examples show that this approach is viable: both that hs-to-coq applies to existing Haskell code, and that the output it produces is amenable to verification.Comment: 13 pages plus references. Published at CPP'18, In Proceedings of 7th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP'18). ACM, New York, NY, USA, 201

Implémentation de l’application mobile « EP – Vivre Actif » au sein du cours d’éducation physique de l’enseignement secondaire supérieur

peer reviewedIntroduction et objectifs La littérature actuelle souligne le potentiel éducatif des applications mobiles dans le milieu de l’éducation physique (EP) (Casey et al., 2017). Ces outils numériques contribuent également au soutien à l’adoption d’un style de vie actif en dehors du contexte scolaire (Vega-Ramirez et al., 2020). Au vu de ces constats, l'application « EP – Vivre Actif » a été développée pour encourager les élèves à lier l'EP à leur vie quotidienne et maintenir une activité physique régulière. Cette étude vise à recueillir les perceptions des enseignants et des élèves relatives à l’implémentation de la première version de l’application mobile « EP – Vivre Actif » au sein du cours d’EP de l’enseignement secondaire supérieur en Belgique francophone. Méthodologie Cette recherche inclut 5 enseignants en EP et 72 élèves de l’enseignement secondaire supérieur (15-18 ans). Les enseignants sont invités à implémenter l’application mobile « EP – Vivre Actif » pendant 8 semaines afin d’aborder 4 thématiques santé au sein de leur cours d’EP. Des données seront récoltées avant et après l’intervention, d’une part, par des entretiens individuels et des focus group pour les enseignants et, d’autre part, par des questionnaires individuels et des focus group pour les élèves. Résultats et discussion Cette étude s’étend de février 2024 à juin 2024. Les résultats préliminaires seront présentés lors de ce symposium. Ceux-ci permettront d’évaluer l’utilité, l’utilisabilité et l’acceptabilité du dispositif numérique dans le milieu scolaire (Tricot et al., 2003) et de mettre en évidence les adaptations nécessaires pour l’utilisation de l’application mobile sur le long terme. Conclusions et perspectives Cette étude pilote permettra d’ajuster l’application mobile aux besoins des élèves et des enseignants en EP. Elle servira de base au développement d’une version améliorée de « EP – Vivre Actif », étudiée lors d’une recherche expérimentale à plus large échelle dès la rentrée scolaire 2024-2025.4. Quality educatio

Circadian regulation of human cortical excitability

peer reviewe

A first-in-human study investigating biodistribution, safety and recommended dose of a new radiolabeled MAb targeting FZD10 in metastatic synovial sarcoma patients

Background: Synovial Sarcomas (SS) are rare tumors occurring predominantly in adolescent and young adults with a dismal prognosis in advanced phases. We report a first-in-human phase I of monoclonal antibody (OTSA-101) targeting FZD10, overexpressed in most SS but not present in normal tissues, labelled with radioisotopes and used as a molecular vehicle to specifically deliver radiation to FZD10 expressing SS lesions. Methods: Patients with progressive advanced SS were included. In the first step of this trial, OTSA-101 in vivo biodistribution and lesions uptake were evaluated by repeated whole body planar and SPECT-CT scintigraphies from H1 till H144 after IV injection of 187 MBq of 111In-OTSA-101. A 2D dosimetry study also evaluated the liver absorbed dose when using 90Y-OTSA-101. In the second step, those patients with significant tumor uptake were randomized between 370 MBq (Arm A) and 1110 MBq (Arm B) of 90Y-OTSA-101 for radionuclide therapy. Results: From January 2012 to June 2015, 20 pts. (median age 43 years [21–67]) with advanced SS were enrolled. Even though 111In-OTSA-101 liver uptake appeared to be intense, estimated absorbed liver dose was less than 20 Gy for each patient. Tracer intensity was greater than mediastinum in 10 patients consistent with sufficient tumor uptake to proceed to treatment with 90Y-OTSA-101: 8 were randomized (Arm A: 3 patients and Arm B: 5 patients) and 2 were not randomized due to worsening PS. The most common Grade ≥ 3 AEs were reversible hematological disorders, which were more frequent in Arm B. No objective response was observed. Best response was stable disease in 3/8 patients lasting up to 21 weeks for 1 patient. Conclusions: Radioimmunotherapy targeting FZD10 is feasible in SS patients as all patients presented at least one lesion with 111In-OTSA-101 uptake. Tumor uptake was heterogeneous but sufficient to select 50% of pts. for 90Y-OTSA-101 treatment. The recommended activity for further clinical investigations is 1110 MBq of 90Y-OTSA-101. However, because of hematological toxicity, less energetic particle emitter radioisopotes such as Lutetium 177 may be a better option to wider the therapeutic index. Trial registration: The study was registered on the NCT01469975 ( https://clinicaltrials.gov/ct2/show/NCT01469975 ) website with a registration code NCT01469975 on November the third, 2011

: Final report

63 p.Interest in cities is growing again in Europe. Theories of "growth poles" forgotten since the 1960s re-emerge, although in different form, without the idea of building new cities in the desert. Metropolitanisation, although sometimes difficult to grasp empirically, is recognized as a post-fordist phenomena, with a gain of the importance of large cities, linked to the increasing need for size-based agglomeration effect in the global, networked knowledge economy. And European policy makers are once again discussing the need of and the form for new urban policies at European (as witnessed by the above quote), but also at national scale. From the outset, this project has had two, complementary, but not always easily reconcilable orientations: provide a broad overview of the current and future issues relevant to urban development in all of Europe, advance scientifically beyond the established and well-known data and analyses, provide innovative research. As this report was elaborated in parallel to the new State of European Cities report to be published by DG Regio, we also aimed at complementarity with that report, not wanting to repeat the same analyses based on the same data. In this project, we, therefore, worked in three parallel strands. First, all teams went through the current literature to extract the knowledge about trends, perspectives and, most importantly, driving forces for urban development in their thematic fields. Second, each of the teams focused on one or two innovative empirical research questions, generally tapping new data sources. Finally, our scenario team has taken the work of the other teams, and substantially augmented it through additional literature review, aiming at covering an even larger horizon and to provide a complete knowledge base on urban development, necessary for integrated prospective thinking. On this basis the scenarios were developed. The structure of the report reflects these three strands, adding a fourth, new strand, which consists in an assessment of the current national policy visions on urban issues across Europe. Details of all the literature reviews and analyses are presented in the scientific report

: Final report

63 p.Interest in cities is growing again in Europe. Theories of "growth poles" forgotten since the 1960s re-emerge, although in different form, without the idea of building new cities in the desert. Metropolitanisation, although sometimes difficult to grasp empirically, is recognized as a post-fordist phenomena, with a gain of the importance of large cities, linked to the increasing need for size-based agglomeration effect in the global, networked knowledge economy. And European policy makers are once again discussing the need of and the form for new urban policies at European (as witnessed by the above quote), but also at national scale. From the outset, this project has had two, complementary, but not always easily reconcilable orientations: provide a broad overview of the current and future issues relevant to urban development in all of Europe, advance scientifically beyond the established and well-known data and analyses, provide innovative research. As this report was elaborated in parallel to the new State of European Cities report to be published by DG Regio, we also aimed at complementarity with that report, not wanting to repeat the same analyses based on the same data. In this project, we, therefore, worked in three parallel strands. First, all teams went through the current literature to extract the knowledge about trends, perspectives and, most importantly, driving forces for urban development in their thematic fields. Second, each of the teams focused on one or two innovative empirical research questions, generally tapping new data sources. Finally, our scenario team has taken the work of the other teams, and substantially augmented it through additional literature review, aiming at covering an even larger horizon and to provide a complete knowledge base on urban development, necessary for integrated prospective thinking. On this basis the scenarios were developed. The structure of the report reflects these three strands, adding a fourth, new strand, which consists in an assessment of the current national policy visions on urban issues across Europe. Details of all the literature reviews and analyses are presented in the scientific report

Neuronal excitation/inhibition balance is set by the need for sleep and the biological clock

peer reviewe

Search for squarks and gluinos in events with isolated leptons, jets and missing transverse momentum at s√=8 TeV with the ATLAS detector

The results of a search for supersymmetry in final states containing at least one isolated lepton (electron or muon), jets and large missing transverse momentum with the ATLAS detector at the Large Hadron Collider are reported. The search is based on proton-proton collision data at a centre-of-mass energy s√=8 TeV collected in 2012, corresponding to an integrated luminosity of 20 fb−1. No significant excess above the Standard Model expectation is observed. Limits are set on supersymmetric particle masses for various supersymmetric models. Depending on the model, the search excludes gluino masses up to 1.32 TeV and squark masses up to 840 GeV. Limits are also set on the parameters of a minimal universal extra dimension model, excluding a compactification radius of 1/R c = 950 GeV for a cut-off scale times radius (ΛR c) of approximately 30

Evidence for the Higgs-boson Yukawa coupling to tau leptons with the ATLAS detector

Results of a search for H → τ τ decays are presented, based on the full set of proton-proton collision data recorded by the ATLAS experiment at the LHC during 2011 and 2012. The data correspond to integrated luminosities of 4.5 fb−1 and 20.3 fb−1 at centre-of-mass energies of √s = 7 TeV and √s = 8 TeV respectively. All combinations of leptonic (τ → `νν¯ with ` = e, µ) and hadronic (τ → hadrons ν) tau decays are considered. An excess of events over the expected background from other Standard Model processes is found with an observed (expected) significance of 4.5 (3.4) standard deviations. This excess provides evidence for the direct coupling of the recently discovered Higgs boson to fermions. The measured signal strength, normalised to the Standard Model expectation, of µ = 1.43 +0.43 −0.37 is consistent with the predicted Yukawa coupling strength in the Standard Model