Miracle-dz/UniFAR-FTUs huggingface dataset:
RESEARCH OF THE SYNCHRONOUS WAVEN COORDINATION MODEL OF PRODUCTION PROCESSES

40 [4] V.A. Khobin and M.V. Levinskyi, Adaptyvne keruvannia obiektamy tekhnolohichnoho typu: alhorytmy pasyvnoho samonalahodzhennia koefitsiienta peredachi rehuliatoriv. Monohrafiia. Kherson: Vydavnychyi dim Helvetyka, 228 p., 2019. [5] S.I. Osadchyi, “Tekhnolohii i alhorytm strukturnoi identyfikatsii matematychnoi modeli bahatovymirnoho rukhomoho obiekta z dovilnoiu dynamikoiu u skladi zamknenoi systemy upravlinnia,” Zbirnyk naukovykh prats Kharkivskoho universytetu Povitrianykh Syl, no. 4(22), pp. 98-101, 2009. [6] F.R. Hantmakher, Teoryia matryts, 4th ed. Moskow: Nauka, 552 p., 1988. [7] H. Korn, Spravochnik po matematike (dlia nauchnykh rabotnikov i inzhenerov) (Transl.: Y.H. Abramovych et al., Eds) Moskow: Nauka, 831 p., 1977. [8] F.A. Alyev et al., Vremennye y chastotnye metody synteza optymalnykh rehuliatorov. Baku: Institut fiziki AN Azerbaidzhanskoi SSR, 46 p., 1988. [9] M. Davis, “Factoring the spectral matrix,” in IEEE Transactions on Automatic Control, vol. 8, no. 4, pp. 296-305, October 1963, doi: https://doi.org/10.1109/TAC.1963. 1105614. [10] R.Otes and L. Enokson, Prikladoi analiz vremennykh riadov. Osnovnye metody (monohrafiia). Moskow: Mir, 428 p., 1982. [11] Metody klassicheskoi i sovremennoi teorii avtomaticheskoho upravlenia, 2nd ed., vol. 3 (Syntez rehuliatorov system upravlenyia) K.A. Pupkov and N.D. Ehupov, Eds. MGTU, Moskow, Russia, 616 p., 2004.
THE INTRODUCTION OF INNOVATIVE CONCEPTS IN THE MANAGEMENT SYSTEM OF THE SANATORIUM-RESORT ENTERPRISE IN THE CONTEXT OF ENSURING SOCIOECONOMIC SECURITY

Goal. Coverage of introduction of innovative concepts in the system of management of activity of sanatorium and resort enterprises. Research methodology. The following methods were used: analysis (theoretical review of scientific literature on the problem of research); a synthesis that made it possible to integrate individual parts of the facility into a single unit (development of a Balanced Scorecard for health resort enterprises in terms of socio-economic security); benchmarking that allowed us to map concepts (spa marketing, business performance management, and balanced scorecard). Results. The peculiarities of the management system of the sanatorium and resort enterprises in the conditions of social and economic security are considered. It is stated that the concept of management in terms of ensuring the socio-economic security of any enterprise of the sanatorium and resort complex is based on clearly formed systems of organization of management of socio-economic development. The basic methods of implementation, organization and management of social and economic security at the enterprise are distinguished. It is noted that spa marketing is a concept of management of the spa enterprise, which provides a comprehensive study of the needs of clients in the spa treatment and recreation for their fullest satisfaction through complex efforts to produce, sell and promote the spa product in a competitive market with the aim ensuring socio-economic security and profit. The basic processes covered by the concept of Business Performance Management for spa companies are presented. The Balanced Scorecard Balance Scorecard system has been developed for sanatorium and resort enterprises in terms of social and economic security. Scientific novelty. The basic innovative concepts (spa marketing, Business Performance Management and Balanced Scorecard) are proposed, which introduction into the enterprise management system will ensure effective management decisions, achievement of strategic goals, increase of profit and social and economic security in general. Practical proposed concepts management system of sanatorium and resort enterprises an institution complete and effective managing its activities, providing customer service and optimizing the functions and management procedures performed.
Correcting and Refining Users' Queries: the Contribution of Morphological Knowledge and Association Rules

We propose in this paper to combine two knowledge-based methods to correct and to refine the user queries submitted over the CISMeF catalogue, in which the resources are indexed according to a structured terminology of the medical domain. There are two possible cases of queries: queries that don’t match any term of the terminology and then give no answer, and queries that are too general and give too many answers. The first method consists of building and using morphological knowledge of the terms to correct the queries. The second method consists of extracting association rules between terms by applying a data mining technique over the indexed resources of the catalogue, the aim being to refine the queries. We show the preliminary results that we have obtained.
Fairness-aware Task Assignment in Spatial Crowdsourcing: Game-Theoretic Approaches

The widespread diffusion of smartphones offers a capable foundation for the deployment of Spatial Crowdsourcing (SC), where mobile users, called workers, perform location- dependent tasks assigned to them. A key issue in SC is how best to assign tasks, e.g., the delivery of food and packages, to appropriate workers. Specifically, we study the problem of Fairness-aware Task Assignment (FTA) in SC, where tasks are to be assigned in a manner that achieves some notion of fairness across workers. In particular, we aim to minimize the payoff difference among workers while maximizing the average worker payoff. To solve the problem, we first generate so-called Valid Delivery Point Sets (VDPSs) for each worker according to an approach that exploits dynamic programming and distance- constrained pruning. Next, we show that FTA is NP-hard and proceed to propose two heuristic algorithms, a Fairness-aware Game-Theoretic (FGT) algorithm and an Improved Evolutionary Game-Theoretic (IEGT) algorithm. More specifically, we formulate FTA as a multi-player game. In this setting, the FGT approach represents a best-response method with sequential and asynchronous updates of workers' strategies, given by the VDPSs, that achieves a satisfying task assignment when a pure Nash equilibrium is reached. Next, the IEGT approach considers a setting with a large population of workers that repeatedly engage in strategic interactions. The IEGT approach exploits replicator dynamics that cause the whole population to evolve and choose better resources, i.e., VDPSs. Using the property of evolutionary equilibrium, a satisfying task assignment is obtained that corresponds to a stable state with similar payoffs among workers and good average worker payoff. Extensive experiments offer insight into the effectiveness and efficiency of the proposed solutions.
Cyan Superluminescent Light-Emitting Diode Based on InGaN Quantum Wells

An InGaN superluminescent light-emitting diode (SLED) with emission as long as 500 nm is presented. Up to now, an SLED with such a long wavelength was hindered, because the gain of indium-rich layers was not sufficient for operating in superluminescence mode. We used an epitaxial structure with high material gain as well as a special chip design of curved waveguide to solve this problem. The SLED reached an output power of >4 mW with a spectral bandwidth of 4.4 nm driven in pulsed mode.
Erratum: Electrochemical Detection of Avian Influenza Virus Genotype Using Amino-ssDNA Probe Modified Gold Electrodes

A DNA biosensor for the detection of specific oligonucleotide sequences of Avian Influenza Virus type H5N1 has been proposed. The NH2-ssDNA probe was deposited onto a gold electrode surface to form an amide bond between the carboxyl group of thioacid and the amino group from ssDNA probe. The signals generated as a result of hybridization were registered in square wave voltammetry and electrochemical impedance spectroscopy in the presence of [Fe(CN)6]3�/4� as a redox marker. The genosensor is capable to determine 20-mer and 180-bp (PCR products) oligonucleotides complementary sequences with detection limit in the fM range. The genosensor displays good selectivity and sensitivity. The 20-mer as well as 180-bp oligonucleotides without a complementary sequence generate very low signal.
DATA AUGMENTATION AND MODEL OPTIMIZATION FOR PIANO TRANSCRIPTION

We present two data augmentation methods that are suitable for an automatic piano transcription. After deep learning-based approaches are applied to the diverse music information retrieval problems, the performance of automatic piano transcription is also improved. However, a lack of dataset with various music genres causes the difﬁculty in model generalization. To solve this problem, we analyzed the two major piano transcription dataset and suggest data augmentation methods in both symbolic and audio domain based on Onsets-and-Frames architecture. Also, to maximize the performance, we tried the meta learner system to ﬁnd out the best hyperpa-rameters, and used model ensemble.
Language-parametric compiler validation with application to LLVM

We propose a new design for a Translation Validation (TV) system geared towards practical use with modern optimizing compilers, such as LLVM. Unlike existing TV systems, which are custom-tailored for a particular sequence of transformations and a specific, common language for input and output programs, our design clearly separates the transformation-specific components from the rest of the system, and generalizes the transformation-independent components. Specifically, we present Keq, the first program equivalence checker that is parametric to the input and output language semantics and has no dependence on the transformation between the input and output programs. The Keq algorithm is based on a rigorous formalization, namely cut-bisimulation, and is proven correct. We have prototyped a TV system for the Instruction Selection pass of LLVM, being able to automatically prove equivalence for translations from LLVM IR to the MachineIR used in compiling to x86-64. This transformation uses different input and output languages, and as such has not been previously addressed by the state of the art. An experimental evaluation shows that Keq successfully proves correct the translation of over 90% of 4732 supported functions in GCC from SPEC 2006.
Correction for Forbes and Deane, Reformulation of the standard theory of Fowler–Nordheim tunnelling and cold field electron emission

Correction for ‘Reformulation of the standard theory of Fowler–Nordheim tunnelling and cold field electron emission’ by Richard G. Forbes and Jonathan H. B. Deane (Proc. R. Soc. A 463, 2907–2927. (doi: 10.1098/rspa.2007.0030)). The following equations contain typographical errors that have no consequence for any other equations or results in the above paper.
Empirical and Causal Models in Hydrology

XT HON B. F1EKINU. Hsrvsid Univeis i ty , CAairaan V1CTOH K. BAKL'K, U n i v e r s i t y of Tesss J. w. B1GGAA, University of California, Davis JOHN D. BHfDEHOKyT, U.S. Geological Survey JOHN CAIRNS, JR., virgin** Polytecnnsc Ins t i tu te and Stat* University THOMAS DUNNB, University o( Wasninqion PETtK s . CAGLEsoN, Massachusetts Inst i tute of Tecnnolosy ViT <LEH£S, Fisneries end Environs* .t c*»ada titOhut KUCZKRA, Harvard University JUHAVt KAC1UNAS LANIMEHK, U.S. Geological Survey' LUNA u. LtuPOU), university of California. Berkeley NICHOLAS C. MATALAS, U.S. Geological Survey OONALU NElLSbN, university of California, Davis KAYHOND SIEVEH, Harvard Univrrsity HEKNEK STUHH, Sviss Federal Inst i tute ot Technology H. GOKOON wo LOAN, Tile Jonns Hopkins University
Transmission Line above Ground: Circuit Models for the Open, Short, and Ground Rod Terminating Loads

In this paper we investigate a transmission line consisting of an aerial wire above a conducting ground excited by a plane wave. In particular, we are interested in constructing simple circuit models for the terminating impedances at the ends of the line including radiation effects. We consider the following load topologies: open circuit, short circuit, and grounded rods. Results from the transmission line model with these loads show good agreement with full-wave simulations. These circuit models can be then used to achieve fast and reliable results in a timely manner, as opposed to the generally slow response of full-wave simulators, especially for long lines.
Nanostructures from Single Amino Acid‐Based Molecules: Stability, Fibrillation, Encapsulation, and Fabrication of Silver Nanoparticles

The small‐sized molecules that have been developed from single hydrophobic amino acids (Phe, Trp, Tyr and Leu) by suitably protecting the –NH2 and –CO2H groups generate diverse nanoscopic structures – such as nanorods, nanofibrils, nanotubes, and nanovesicles – depending upon the protection parameters and solvent polarity. The vesicular structures get disrupted in the presence of various salts, such as KCl, CaCl2, (NH4)2SO4 and N(n‐Bu)4Br. Insertion of unnatural (o/m/p)‐aminobenzoic acids as a protecting group and the lack of conventional peptide bonds in the molecules give the nanostructures proteolytic stability. The nanostructures also show significant thermal stability along with a morphological transformation upon heat treatment. Our in vitro studies reveal that the addition of micromolar concentration “curcumin” significantly reduces the formation of amyloid‐like fibrils. These diverse nanostructures are used as a template for fabricating silver nanoparticles on their outer surfaces as well as in the inner part, followed by calcination in air which helps to obtain a 1D silver nanostructure. Furthermore, the nanovesicles are observed to encapsulate a potent drug (curcumin) and other biologically important molecules, which could be released through salt‐triggered disruption of vesicles.
Growth and neurodevelopmental outcome of neonatal intensive care Unit graduates till 1 year at a tertiary care centre in eastern India and identification of the clinical and electrophysiological predictors of adverse developmental outcome

Background: Despite serious neonatal morbidity, the neurodevelopmental outcome of NICU (Neonatal Intensive Care Unit) graduates is often reasonably good. Infants with neurodevelopmental abnormality need to start therapy early, and hence, they should be detected as soon as possible. Therefore we need well designed follow-up services. Objectives: To study the outcome of growth and development till one year of age of NICU graduates from a tertiary care centre in eastern India. Design and setting: A prospective neurodevelopmental follow-up study on graduates from the Calcutta National Medical College and Hospital NICU. Methodology: We selected a cohort of 177 consecutive NICU graduates according to high-risk criteria and followed them up at the high risk clinic of Paediatrics department up to 1 year of age on a predetermined schedule. Growth monitoring (weight, length, head circumference measurements), neurologic examination by Amiel-Tison method, developmental assessment using Denver Development Screening Test (DDST) as screening tool and Developmental Assessment Scale for Indian Infants (DASII) as a definitive test, neuroimaging (cranial ultrasound or magnetic resonance imaging of brain) and electrophysiological investigations visual evoked potential (VEP), brainstem auditory evoked response (BAER), and electroencephalogram (EEG) were done. Early stimulation and physiotherapy were advised as per need. Ongoing illnesses were identified and treated. Results: Out of 177 consecutive NICU graduates enrolled in the study, 155 were followed up to 1 year of age. There were no statistically significant difference in the occurrence of growth failure, and neurodevelopmental delay between term and preterm and between appropriate for gestational age (AGA) and small for gestational age (SGA) infants. However growth failure was significantly higher among infants with neurodevelopmental delay. (the word conclusion deleted here) Persistence of abnormalities in tone, BAER, EEG & neuroimaging strongly predicted adverse neurodevelopmental outcome. Recurrent respiratory tract infection was found to be the most common morbidity among NICU graduates followed by seizure disorder.
Automatically detecting and fixing concurrency bugs in go software systems

Go is a statically typed programming language designed for efficient and reliable concurrent programming. For this purpose, Go provides lightweight goroutines and recommends passing messages using channels as a less error-prone means of thread communication. Go has become increasingly popular in recent years and has been adopted to build many important infrastructure software systems. However, a recent empirical study shows that concurrency bugs, especially those due to misuse of channels, exist widely in Go. These bugs severely hurt the reliability of Go concurrent systems. To fight Go concurrency bugs caused by misuse of channels, this paper proposes a static concurrency bug detection system, GCatch, and an automated concurrency bug fixing system, GFix. After disentangling an input Go program, GCatch models the complex channel operations in Go using a novel constraint system and applies a constraint solver to identify blocking bugs. GFix automatically patches blocking bugs detected by GCatch using Go’s channel-related language features. We apply GCatch and GFix to 21 popular Go applications, including Docker, Kubernetes, and gRPC. In total, GCatch finds 149 previously unknown blocking bugs due to misuse of channels and GFix successfully fixes 124 of them. We have reported all detected bugs and generated patches to developers. So far, developers have fixed 125 blocking misuse-of-channel bugs based on our reporting. Among them, 87 bugs are fixed by applying GFix’s patches directly.
From Radiosynthesis Development to GMP Production

Positron emission tomography (PET) is an imaging technique that can be used to follow various biological processes, such as receptor function, in a living body. PET utilises radiopharmaceuticals, tracers containing short-lived positron-emitting radioisotopes. The aim of this thesis was to develop labelling methods using fluorine-18 and 18F-labelled tracers in order to translate 18F-labelling methods to clinical radiopharmaceutical production. Traditionally, 18F-fluorination has been divided into electrophilic and nucleophilic fluorination with “[18F]F+” and [18F]fluoride ([18F]F-), respectively. This thesis used the recently developed approach of transition metal-mediated 18F-fluorination with copper and ruthenium. In transition metal-mediated fluorination chemistry, the reactivity of electrophilic fluorination and high molar activity of nucleophilic fluorination can be combined. The conditions for copper-mediated 18F-fluorination, including [18F]fluoride activation, were optimised and the method utilised for production of the norepinephrine transporter tracer [18F]NS12137 and the dopamine transporter tracer [18F]CFT. To evaluate the usefulness of the new methodology compared to traditional electrophilic 18F-fluorination, [18F]CFT was also produced via the electrophilic pathway. Ruthenium-mediated 18F-fluorination was applied successfully to the production of a new cannabinoid subtype 1 receptor tracer (CB1R), [18F]FPATPP. The tracer was evaluated in mice and [18F]FPATPP found to be specific for CB1R with high uptake in the CB1R-rich areas in the brain. These studies showed the suitability of transition metal-mediated 18F-fluorination in the development of PET tracers. Another CB1R tracer, [F]FMPEP-d2, was translated to clinical production according to good manufacturing practices (GMP) utilising an in-house built synthesis device. The production was followed for 5 years.
THE BIRATIONAL GEOMETRY OF UNRAMIFIED IRREGULAR HIGGS BUNDLES ON CURVES

We give a variant of the Beauville–Narasimhan–Ramanan correspondence for irregular parabolic Higgs bundles on smooth projective curves with fixed semi-simple irregular part and show that it defines a Poisson isomorphism between certain irregular Dolbeault moduli spaces and relative Picard bundles of families of ruled surfaces over the curve.
MORAL IDENTITY AND MORAL DISENGAGEMENT 1 ON MORAL GROUNDS: MORAL IDENTITY AND MORAL DISENGAGEMENT IN RELATION TO MILITARY DEPLOYMENT MIRIAM C. DE GRAAFF NETHERLANDS MINISTRY OF DEFENCE

Following Blasi’s self-model of moral functioning, this exploratory study aims to gain insight into the construction of moral identity among military professionals experiencing daily moral dilemmas during deployment. Semi-structured interviews with 45 servicemen were contentcoded and analyzed, exploring relationships between moral identity and verbalized moral disengagement. The results revealed three patterns, giving direction for further research. First, the analyses suggest that a higher moral awareness is associated with more justifications for one’s own behavior. Second, leaders showed more inclination towards conscious moral identity than their subordinates. Third, the number of moral dilemmas experienced during deployment were similar for servicemen of all ranks. Moreover, critical self-reflection and self-assessment were relatively underreported across all ranks. Public Significance Statement: This study suggests that individuals showing a higher inclination towards a moral identity (i.e. making more expressions regarding the morality of their activities, either evaluating them as good or as bad), also try to distance themselves from situations and behavior they consider bad. This moral disengagement is found for both military leaders and subordinates. This study suggests that leaders utter more expressions that imply a moral identity, even though all ranks describe similar numbers of moral dilemmas.
ÅÊÑÏÅÐÈÌÅÍÒÀËÜÍ2 ÏÐÀÖ2 EXPERIMENTAL WORKS

Carbohydrate component of viral glycoproteins plays the leading role in the virus genome expression. Rhabdoviruses contain 3 % of carbohydrates. They are presented by N-glycan chains on the surface G-protein as well as by glycolipids (1, 2). G-protein function due to its association with specific monosaccharides determines to certain degree its properties; the most important G-protein property is peplomer formation on the virion surface, the peplomers being, in their turn responsible for virus binding to its host cell receptors (3). Besides, the carbohydrate roles in virus life cycle includes the glycoprotein transport to the cell surface and its intracellular migration (4), as well as carbohydrate participation in the formation and establishment of glycoproteins conformation necessary to assure their immunological properties; carbohydrates defend glycoprotein polypeptide chains against their non-specific cleavage by cell proteinases (5). Many laboratories investigate the different properties and the role of glycoproteins contained by vertebrates (6, 7) and plants (8). The importance of such investigations is without any doubt because of increasing interest in biological evolution and properties of Rhabdoviridae family members infecting plants and animals. Taking into account these considerations, we have carried out the comparative study concerning detection and identification of carbohydrates contained by phytorhabdoviruses – curly potato dwarf virus (CPDV) and spot sweetflag virus (SSV), as well as by an animal rhabdovirus – causative agent of vesicular stomatitis (vesicular stomatitis virus, VSV).