Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description

The goal of this project is to (i) accumulate annotated informal/formal mathematical corpora suitable for training semi-automated translation between informal and formal mathematics by statistical machine-translation methods, (ii) to develop such methods oriented at the formalization task, and in particular (iii) to combine such methods with learning-assisted automated reasoning that will serve as a strong semantic component. We describe these ideas, the initial set of corpora, and some initial experiments done over them

Preparation and Investigation of Silver Nanoparticle–Antibody Bioconjugates for Electrochemical Immunoassay of Tick-Borne Encephalitis

A new simple electrochemical immunosensor approach for the determination of antibodies to tick-borne encephalitis virus (TBEV) in immunological products was developed and tested. The assay is performed by detecting the silver reduction signal in the bioconjugates with antibodies (Ab@AgNP). Here, signal is read by cathodic linear sweep voltammetry (CLSV) through the detection of silver chloride reduction on a gold–carbon composite electrode (GCCE). Covalent immobilization of the antigen on the electrode surface was performed after thiolation and glutarization of the GCCE. Specific attention has been paid to the selection of conditions for stabilizing both the silver nanoparticles and their Ab@AgNP. A simple flocculation test with NaCl was used to select the concentration of antibodies, and the additional stabilizer bovine serum albumin (BSA) was used for Ab@AgNP preparation. The antibodies to TBEV were quantified in the range from 50 IU·mL?1 to 1600 IU·mL?1, with a detection limit of 50 IU·mL?1. The coefficient of determination (r2) is 0.989. The electrochemical immunosensor was successfully applied to check the quality of immunological products containing IgG antibodies to TBEV. The present work paves the path for a novel method for monitoring TBEV in biological fluids

Label-Free Electrochemical Biosensors for the Determination of Flaviviruses: Dengue, Zika, and Japanese Encephalitis

A highly effective way to improve prognosis of viral infectious diseases and to determine the outcome of infection is early, fast, simple, and efficient diagnosis of viral pathogens in biological fluids. Among a wide range of viral pathogens, Flaviviruses attract a special attention. Flavivirus genus includes more than 70 viruses, the most familiar being dengue virus (DENV), Zika virus (ZIKV), and Japanese encephalitis virus (JEV). Haemorrhagic and encephalitis diseases are the most common severe consequences of flaviviral infection. Currently, increasing attention is being paid to the development of electrochemical immunological methods for the determination of Flaviviruses. This review critically compares and evaluates recent research progress in electrochemical biosensing of DENV, ZIKV, and JEV without labelling. Specific attention is paid to comparison of detection strategies, electrode materials, and analytical characteristics. The potential of so far developed biosensors is discussed together with an outlook for further development in this field

A Laser Reduced Graphene Oxide Grid Electrode for the Voltammetric Determination of Carbaryl

Laser-reduced graphene oxide (LRGO) on a polyethylene terephthalate (PET) substrate was prepared in one step to obtain the LRGO grid electrode for sensitive carbaryl determination. The grid form results in a grid distribution of different electrochemically active zones affecting the electroactive substance diffusion towards the electrode surface and increasing the electrochemical sensitivity for carbaryl determination. Carbaryl is electrochemically irreversibly oxidized at the secondary amine moiety of the molecule with the loss of one proton and one electron in the pH range from 5 to 7 by linear scan voltammetry (LSV) on the LRGO grid electrode with a scan rate of 300 mV/s. Some interference of the juice matrix molecules does not significantly affect the LSV oxidation current of carbaryl on the LRGO grid electrode after adsorptive accumulation without applied potential. The LRGO grid electrode can be used for LSV determination of carbaryl in fruit juices in the concentration range from 0.25 to 128 mg/L with LOD of 0.1 mg/L. The fabrication of the LRGO grid electrode opens up possibilities for further inexpensive monitoring of carbaryl in other fruit juices and fruits

Innovative education and training in high power laser plasmas (PowerLaPs) for plasma physics, high power laser matter interactions and high energy density physics: experimental diagnostics and simulations

The second and final year of the Erasmus Plus programme "Innovative Education and Training in high power laser plasmas", otherwise known as PowerLaPs, is described. The PowerLaPs programme employs an innovative paradigm in that it is a multi-centre programme where teaching takes place in five separate institutes with a range of different aims and styles of delivery. The "in class" time is limited to four weeks a year, and the programme spans two years. PowerLaPs aims to train students from across Europe in theoretical, applied, and laboratory skills relevant to the pursuit of research in laser plasma interaction physics and inertial confinement fusion (ICF). Lectures are intermingled with laboratory sessions, and continuous assessment activities. The programme, which is led by workers from the Hellenic Mediterranean University, and supported by co-workers from Queens University Belfast, the University of Bordeaux, the Czech Technical University in Prague, Ecole Polytechnique, the University of Ioannina, the University of Salamanca, and the University of York, has just finished its second and final year. Six Learning Teaching Training (LTT) activities have been held, at the Queens University Belfast, the University of Bordeaux, the Czech Technical University, the University of Salamanca, and the Institute of Plasma Physics and Lasers (CPPL) of the Hellenic Mediterranean University. The last of these institute hosted two two-week long Intensive Programmes (IPs), whilst the activities at the other four universities were each five days in length. In addition to this a "Multiplier Event" was held at the University of Ioannina, which will be briefly described. In this second year the work has concentrated upon training in both experimental diagnostics and simulation techniques appropriate to the study of Plasma Physics, High Power Laser-Matter Interactions and High Energy Density Physics. The nature of the programme will be described in detail and some metrics relating to the activities carried out will be presented. In particular this paper will focus upon the overall assessment of the programme

Automatic deployment scripts for Covidsim/Episim web visualizer

These scripts perform post-processing tasks of data produced by the Episim simulation framework on a HPC cluster, and facilitate automated upload of the post-processed data to a webserver running the Covidsim visualizer. Authentication is based on SSH keys, and the upload itself can be triggered either via a cronjob on the webserver, or via a git hook initiated by an external CI/CD pipeline (e.g. GitLab)

Simulation d'expériences à flux calorifique critique a l'aide du programme NEPTUNE_CFD

Ce rapport décrit une simulation numérique d'expériences déterminées à flux calorifique ritique effectuées sur une boucle expérimentale "Large Water Loop". Les calculs ont été effectués à l'aide du programme NEPTUNE_CFD. "Large Water Loop" (LWL) est une boucle à pression hydraulique inactive dont les paramètres technologiques et calorifiques sont appropriés pour des réacteurs nucléaires à eau sous pression. Un dispositif expérimental visant à rechercher un flux calorifique critique dans un faisceau de tiges électriquement chauffées fait partie du LWL. Les conditions d'une ébullition critique sont fixées à pression constante, à temperature constante de l'eau à l'entrée et à débit constant, le rendement calorifique du faisceau augmentant peu à peu. Les tiges sont des tubes creux profilés à échauffement direct des parois. Les résultats des calculs de quatre expériences typiques sont présentées dans le rapport. On a pu noter à chaque fois un accroissement rapide de la température des parois. Les simulations des expériences à fort écoulement ont été couronnées de succès. Les calculs des expériences à faible écoulement ont montré que le procédé indiqué ne convenait pas pour des faibles écoulements. Les résultats montrent que le programme NEPTUNE présente un réel potentiel pour les calculs d'écoulement avec ébullition ou point critique d'ébullition dans la géométrie d'un caisson de chauffage d'un réacteur nucléaire. Cette étude a été réalisée dans le cadre du projet européen NURESIM. Le programme NEPTUNE_CFD fait partie de la plateforme NURESIM

COVID19 Model Based Projection Visualizer

Modifications done by the CASUS team to the visualization website for MATSim/EpiSim software, originally developed by TU Berlin at https://github.com/matsim-vsp/covid-sim, as used on the Where2Test website https://www.where2test.de/covidsim. Snapshot of the version used on the Where2Test website as of the project end by 26.06.2023 published here to fulfill the obligations of the AGPL license

Where2Test Website Backend

Source code for the backend of the Where2Test website. The backend connects to a database and scrapes online information needed to run the following mini-applications that make up the Where2Test COVID research project website: Retirement Home Testing Optimizer COVID-19 Workplace Occupancy Optimizer Saxony Wastewater Forecast Dashboard Regional Forecast Dashboards The backend is written in the Python programming language using the Flask web application framework

Tribological behaviour of nanostructured Ti-C:H coatings for biomedical applications

The development of a mechanically stable, functionally graded Ti-doped a-C:H interface layer in combination with a functional a-C:H coating requires a reduction of the brittle phases which induce generally problems in the transitions from Ti to TiC/a-C:H. The core objective of this study was to develop an optimum interlayer between the substrate and the functional top layer for biomedical applications, namely for tooth implants. Since the interlayer may be exposed to the sliding process, in the case of local failure of the top layer it has to fulfil the same criteria: biocompatibility, high wear resistance and low friction.The functional Ti-C:H layers with thickness in the range 2.5–3.5 ?m were deposited by a magnetron sputtering/PECVD hybrid process by sputtering a Ti-target in a C2H2 + Ar atmosphere in dc discharge regime. The sets of coating samples were prepared by varying the C and H concentrations controlled by the C2H2 flow during the deposition process. The tribological properties were evaluated on a pin-on-disc tribometer at room temperature (RT) and at 100 °C using 440C balls with a diameter of 6 mm. The tests at 100 °C were performed to investigate the effect of the sterilization temperature on the tribological properties and the coating lifetime as well. The tribological performance was examined with respect to the friction coefficient, the wear rates of the coating and the counter-parts and the analysis of the wear debris. The Ti/C ratio decreased almost linearly from 4.5 to 0.1 with increasing C2H2 flow; the hydrogen content showed a minimum of 5 at.% at C2H2 flow of 30 sccm, while for lower flows it was about 10 at.%. The coatings could be divided into three groups based on the C2H2 flow: (i) 10–15 sccm, exhibiting severe abrasive damage during the sliding tests, (ii) 20–45 sccm, showing the highest hardness and friction values, and (iii) 52–60 sccm, with moderate hardness and minimal values of the friction coefficient and the wear rate