Miracle-dz/UniFAR-FTUs huggingface dataset:
Embedding, Evolution, and Validation of Model-Driven Spreadsheets

This paper proposes and validates a model-driven software engineering technique for spreadsheets. The technique that we envision builds on the embedding of spreadsheet models under a widely used spreadsheet system. This means that we enable the creation and evolution of spreadsheet models under a spreadsheet system. More precisely, we embed ClassSheets, a visual language with a syntax similar to the one offered by common spreadsheets, that was created with the aim of specifying spreadsheets. Our embedding allows models and their conforming instances to be developed under the same environment. In practice, this convenient environment enhances evolution steps at the model level while the corresponding instance is automatically co-evolved. Finally, we have designed and conducted an empirical study with human users in order to assess our technique in production environments. The results of this study are promising and suggest that productivity gains are realizable under our model-driven spreadsheet development setting.
Dual Inoculation with Mycorrhizal and Saprotrophic Fungi Applicable in Sustainable Cultivation Improves the Yield and Nutritive Value of Onion

The aim of this paper was to test the use of dual microbial inoculation with mycorrhizal and saprotrophic fungi in onion cultivation to enhance yield while maintaining or improving the nutritional quality of onion bulbs. Treatments were two-factorial: (1) arbuscular mycorrhizal fungi (AMF): the mix corresponding to fungal part of commercial product Symbivit (Glomus etunicatum, G. microaggregatum, G. intraradices, G. claroideum, G. mosseae, and G. geosporum) (M1) or the single-fungus inoculum of G. intraradices BEG140 (M2) and (2) bark chips preinoculated with saprotrophic fungi (mix of Gymnopilus sp., Agrocybe praecox, and Marasmius androsaceus) (S). The growth response of onion was the highest for the M1 mix treatment, reaching nearly 100% increase in bulb fresh weight. The effectiveness of dual inoculation was proved by more than 50% increase. We observed a strong correlation (r = 0.83) between the growth response of onion bulbs and AM colonization. All inoculation treatments but the single-fungus one enhanced significantly the total antioxidant capacity of bulb biomass, was the highest values being found for M1, S + M1, and S + M2. We observed some induced enhancement of the contents of mineral elements in bulb tissue (Mg and K contents for the M2 and M2, S, and S + M2 treatments, resp.).
“Closing the Loop” in Cervical Dystonia: A New Clinical Phenomenon

Background The sensory trick or geste antagoniste is a cardinal feature of cervical dystonia. Patients are often aware of their tricks, using them to their advantage to temporarily improve dystonic symptoms. The typical sensory trick must be internally generated by the patient in order to be effective, and external mechanical pressure alone may not be sufficient. Methods We present a case description. We present and demonstrate a new clinical phenomenon in patients with cervical dystonia, which we call “closing the loop”. Discussion We discuss the possible mechanisms underlying this finding.
Model-predictive control with stochastic collision avoidance using Bayesian policy optimization

Robots are increasingly expected to move out of the controlled environment of research labs and into populated streets and workplaces. Collision avoidance in such cluttered and dynamic environments is of increasing importance as robots gain more autonomy. However, efficient avoidance is fundamentally difficult since computing safe trajectories may require considering both dynamics and uncertainty. While heuristics are often used in practice, we take a holistic stochastic trajectory optimization perspective that merges both collision avoidance and control. We examine dynamic obstacles moving without prior coordination, like pedestrians or vehicles. We find that common stochastic simplifications lead to poor approximations when obstacle behavior is difficult to predict. We instead compute efficient approximations by drawing upon techniques from machine learning. We propose to combine policy search with model-predictive control. This allows us to use recent fast constrained model-predictive control solvers, while gaining the stochastic properties of policy-based methods. We exploit recent advances in Bayesian optimization to efficiently solve the resulting probabilistically-constrained policy optimization problems. Finally, we present a real-time implementation of an obstacle avoiding controller for a quadcopter. We demonstrate the results in simulation as well as with real flight experiments.
Materials Properties Handbook: Titanium Alloys

Comprehensive datasheets on more than 60 titanium alloys More than 200 pages on metallurgy and fabrication procedures Input from more than 50 contributors from several countries Careful editorial review for accuracy and usefulness. Materials Properties Handbook: Titanium Alloys provides a data base for information on titanium and its alloys, and the selection of specific alloys for specific applications. The most comprehensive titanium data package ever assembled provides extensive information on applications, physical properties, corrosion, mechanical properties (including design allowances where available), fatigue, fracture properties, and elevated temperature properties. The appropriate specifications for each alloy are included. This international effort has provided a broad information base that has been compiled and reviewed by leading experts within the titanium industry, from several countries, encompassing numerous technology areas. Inputs have been obtained from the titanium industry, fabricators, users, government and academia. This up-to-date package covers information from almost the inception of the titanium industry, in the 1950s, to mid-1992. The information, organized by alloy, makes this exhaustive collection an easy-to-use data base at your fingertips, which generally includes all the product forms for each alloy. The 60-plus data sheets supply not only extensive graphical and tabular information on properties, but the datasheets also describe or illustrate important factors which would aid in the selection of the proper alloy or heat treatment. The datasheets are further supplemented with back-ground information on the metallurgy and fabrication characteristics of titanium alloys. An especially extensive coverage of properties, processing and metallurgy is provided in the datasheet for the workhorse of the titanium industry, Ti-6Al-4V. This compendium includes the newest alloys made public. even those still under development. In many cases, key references are included for further information on a given subject. Comprehensive datasheets provide extensive information on: Applications, Specifications, Corrosion, Mechanical Design Properties, Fatigue and Fracture
Two-step tuberculin testing of passengers and crew on a commercial airplane.

OBJECTIVES We investigated the risk of tuberculosis transmission from a person with highly infectious pulmonary tuberculosis to fellow passengers and crew members on a 14-hour commercial flight. The 2-step tuberculin testing was used to minimize the effects of the booster phenomenon. METHODS Passengers and flight crew members identified from airline records were contacted by letter, telephone, or both to notify them of their potential exposure to Mycobacterium tuberculosis. The subjects were advised to undergo Mantoux tuberculin skin testing within the required time period to assess a conversion. In addition, information regarding tuberculosis history and other sources of potential exposure was solicited by means of a questionnaire. RESULTS Of the 277 passengers and crew members on the aircraft, 225 (81.2%) responded. Of these, 173 (76.9%) had positive tuberculin results on the first test (induration > 10 mm). Thirteen subjects with negative results refused further testing; 11 (28%) of the remaining 39 exhibited the booster phenomenon on the second test. Subjects who exhibited the booster phenomenon were significantly more likely to have received previous BCG vaccination. Nine contacts with negative results on the initial test had positive results on a third test administered at 12 weeks after the flight exposure Of these, 6 contacts had previous BCG vaccination, old tuberculosis, or a family member with tuberculosis; the remaining 3 reported on other risk factors for positive reactions. None of these 3 contacts had sat in the same section of the plan as the index patient. CONCLUSIONS The 2-step tuberculin testing procedure is an effective tool for minimization of the booster effect, thus allowing accurate monitoring of subsequent tuberculin conversion rates. Moreover, the clustering of tuberculin skin test conversions among passengers in this study demonstrates the possible risk of M tuberculosis transmission during air travel.
Implementation of PI controller for fourth order Resonant Power Converter with capacitive output filter

A closed loop control of the fourth order (LCLC configuration) resonant converter has been simulated and presented in this paper. The PI controller has been used for closed loop operation and the performance of proposed converter has been estimated with the closed loop and the open loop condition. The steady state-transient responses of nominal load, sudden line and load disturbances have been obtained to validate the controller performance. The proposed approach is expected to provide better voltage regulation for dynamic load conditions.
K-Nearest Neighbor Classification on Spatial Data Streams Using

Classification of spatial data has become important due to the fact that there are huge volumes of spatial data now available holding a wealth of valuable information. In this paper we consider the classification of spatial data streams, where the training dataset changes often. New training data arrive continuously and are added to the training set. For these types of data streams, building a new classifier each time can be very costly with most techniques. In this situation, k-nearest neighbor (KNN) classification is a very good choice, since no residual classifier needs to be built ahead of time. For that reason KNN is called a lazy classifier. KNN is extremely simple to implement and lends itself to a wide variety of variations. The traditional k-nearest neighbor classifier finds the k nearest neighbors based on some distance metric by finding the distance of the target data point from the training dataset, then finding the class from those nearest neighbors by some voting mechanism. There is a problem associated with KNN classifiers. They increase the classification time significantly relative to other non-lazy methods. To overcome this problem, in this paper we propose a new method of KNN classification for spatial data streams using a new, rich, data-mining-ready structure, the Peano-count-tree or Ptree. In our method, we merely perform some logical AND/OR operations on P-trees to find the nearest neighbor set of a new sample and assign the class label. We have fast and efficient algorithms for AND/OR operations on P-trees, which reduce the classification time significantly, compared with traditional KNN classifiers. Instead of taking exactly the k nearest neighbors we form a closed-KNN set. Our experimental results show closed-KNN yields higher classification accuracy as well as significantly higher speed.
Immature T lineage lymphocytes in athymic mice Presence of TL, lifespan and homeostatic regulation

Lymphocytes belonging to the T lineage were described in athymic nude mice. We showed previously that they were distinguished from usual peripheral lymphocytes by their low density of Θ antigen, their slow electrophoretic mobility and their absence of recirculation through the thoracic duct. We now report that they also express the TL antigen, have a life span of 1 to 2 days, are produced in the bone marrow and are under the homeostatic influence of the thymus. Indeed they appear rapidly in surgically T‐deprived mice and their production is blocked in both surgically or congenitally athymic mice receiving a thymus graft. This homeostatic control may be mediated via a humoral factor. Cells with similar characteristics are present in the thymus at early stages of embryogenesis.
Whisker isotopic signature depicts migration patterns and multi-year intra- and inter-individual foraging strategies in fur seals

The movement and dietary history of individuals can be studied using stable isotope records in archival keratinous tissues. Here, we present a chronology of temporally fine-scale data on the trophic niche of otariid seals by measuring the isotopic signature of serially sampled whiskers. Whiskers of male Antarctic fur seals breeding at the Crozet Islands showed synchronous and regular oscillations in both their δ13C and δ15N values that are likely to represent their annual migrations over the long term (mean 4.8 years). At the population level, male Antarctic fur seals showed substantial variation in both δ13C and δ15N values, occupying nearly all the ‘isotopic space’ created by the diversity of potential oceanic habitats (from high Antarctica to the subtropics) and prey (from Antarctic krill to subantarctic and subtropical mesopelagic fishes). At the individual level, whisker isotopic signatures depict a large diversity of foraging strategies. Some seals remained in either subantarctic or Antarctic waters, while the migratory cycle of most animals encompassed a wide latitudinal gradient where they fed on different prey. The isotopic signature of whiskers, therefore, revealed new multi-year foraging strategies of male Antarctic fur seals and is a powerful tool for investigating the ecological niche during cryptic stages of mammals' life.
Mucopolysaccharidosis I, II, and VI: Brief review and guidelines for treatment

Mucopolysaccharidoses (MPS) are rare genetic diseases caused by the deficiency of one of the lysosomal enzymes involved in the glycosaminoglycan (GAG) breakdown pathway. This metabolic block leads to the accumulation of GAG in various organs and tissues of the affected patients, resulting in a multisystemic clinical picture, sometimes including cognitive impairment. Until the beginning of the XXI century, treatment was mainly supportive. Bone marrow transplantation improved the natural course of the disease in some types of MPS, but the morbidity and mortality restricted its use to selected cases. The identification of the genes involved, the new molecular biology tools and the availability of animal models made it possible to develop specific enzyme replacement therapies (ERT) for these diseases. At present, a great number of Brazilian medical centers from all regions of the country have experience with ERT for MPS I, II, and VI, acquired not only through patient treatment but also in clinical trials. Taking the three types of MPS together, over 200 patients have been treated with ERT in our country. This document summarizes the experience of the professionals involved, along with the data available in the international literature, bringing together and harmonizing the information available on the management of these severe and progressive diseases, thus disclosing new prospects for Brazilian patients affected by these conditions.
Modeling and Test Generation Algorithms for MOS Circuits

An application of the D-algorithm in generating tests for MOS circuit faults is described. The MOS circuits considered are combinational and acyclic but may contain transmission gates and buses. Tests are generated for both the stuck type faults and the transistor faults (open and short). A logic model is derived for the MOS circuits. In addition to the conventional logic gates, a new type of modeling block is used to represent the "memory" state caused by the "open" transistors. Every fault, whether a stuck type fault or a transistor fault, is represented in the model as a stuck fault at a certain gate input. For generating tests, however, the D-algorithm needs modification. The singular cover and the D-cubes for the new gate include some memory states. To handle the memory state, an initialization procedure has been added to the consistency part of the D-algorithm. The procedure of modeling and test generation is finally extended to transmission gates and buses.
1.2-μm GaInAs/GaAs lasers: are they useful for high-capacity single-mode fiber datacom?

Gigabit/s-LANs with 0.85 micrometers vertical cavity surface emitting lasers (VCSELs) are now going into the market. But, their link length is limited to be shorter than 500 m due to modal dispersion of employed multi-mode fibers and various modal problems should be considered in system design. The next step will be to develop long wavelength VCSELs matching to a single model fiber with longer link lengths of several km and higher data rates. Long wavelength single mode fiber datacom should be advantageous because of avoiding modal noise and relaxing eye safe issues. Recently, we demonstrated a 1.2 micrometers wavelength highly strained GaInAs/GaAs quantum well edge emitting laser, which exhibits reasonably low threshold and excellent temperature characteristics. The threshold current is as low as 13 mA for an as-cleaved 5 X 380 micrometers laser. A characteristic temperature T0 under pulsed operating is as high as 140 K. This is the record high T0 in 1.2-1.3 micrometers wavelength band. Even under 'heatsink-free' cw operations, T0 was much higher than that of conventional 1.3 micrometers GaInAsP/InP systems. We can avoid thermoelectric coolers as well as heatsink itself, thus, an all-plastic mold package without heatsink may give us a drastic cost reduction. It is interesting to note than commercial standard single mode fibers are designed to locate a cut-off wavelength at around 1.2 micrometers for the purpose of production tolerance. A question arises: whether this 1.2 micrometers wavelength band can be utilized for single mode fiber datacom or not.We have demonstrated a 2 Gb/s-5km single mode fiber data transmission experiment using a fabricated 1.22 micrometers uncooled GaInAs/GaAs laser. We believe that the VCSEL technology may drastically improve the transmitter performances at this new wavelength band and this 1.2 micrometers Gigabit LAN may become realistic by extensive developments. In this paper, we would like to discuss a possibility of high speed datacom using a newly developed 1.2 micrometers highly strained GaInAs/GaAs lasers.
Use of Sentinel Lymph Node Biopsy and High-dose Interferon in Pediatric Patients With High-risk Melanoma: The Hospital for Sick Children Experience

Background Melanoma comprises less than 3% of all cancers seen in children. Sentinel lymph node biopsy (SLNBX) is an important predictor of outcome in adult melanoma and has not been widely used in pediatrics. Furthermore, adjuvant interferon has only been rarely used in childhood high-risk disease. Objective To review our experience with high-risk melanoma, the feasibility of SLNBX and the tolerance of high-dose interferon (HDI) therapy. Methods We retrospectively reviewed the medical records of patients with the diagnosis of cutaneous melanoma at our center over a 10-year period. Results Eleven patients were identified (median age of 12 y). Six of 10 patients who underwent SLNBX had disease in the lymph nodes and no complications from this procedure were observed. After complete lymph node dissection in these 6 patients, 1 developed wound infection and 2 had chronic lymph edema. Five patients were treated with adjuvant HDI of whom 2 patients required dose modification due to myelosuppression and liver toxicity. After a median follow-up of 26 months, 10 out of 11 patients are in remission. Conclusions SLNBX is feasible and safe in pediatric melanoma and offers the potential to identify patients at high risk for disease progression who could benefit from HDI.
Numerical validation of split Hopkinson pressure bar technique for evaluating tensile mechanical properties of CFRP laminates

The present study proposes a simple numerical simulation technique for the split Hopkinson pressure bar (SHPB) and then investigates the experimental conditions for composite materials in a tensile-loading SHPB. The following issues were investigated through experiment and numerical simulation: (i) the effects of the cross section and acoustic mismatch between the jig with a slit and screw and the input/output bars on the loading condition and (ii) the effects of the duration time of the applied load and the acoustic impedance mismatch on the stress–strain curve obtained by SHPB testing. From the numerical simulation results, the following conclusions were found: (i) the proposed jig with a slit and screw can apply an ideal one-dimensional displacement to a specimen and (ii) the material characterization of a composite material by SHPB testing might be possible by optimizing a longer duration time if the acoustic mismatch is greater.
A Distributed Multimodality Sensor System for Home-Used Sleep Condition Inference and Monitoring

In this paper, we propose a distributed system consists of heart-rate, passive infrared, and audio sensors for sleep condition inference. We apply machine learning methods to infer the sleep-awake condition during the time a user spends on the bed. This sleep-awake information would be useful for estimating critical factors including sleep latency, sleep duration, and habitual sleep efficiency related to sleep quality measurement. Our experimental results show that the proposed approach could be a good alternative to the traditional motion sensor Actigraph, with competitive performance on the sleep-related activity monitoring. Furthermore, the distributed computation nature of our system also makes it favorable for practical health-care applications
Circular RNAs: a new frontier in the study of human diseases

Circular RNAs (circRNAs) are recently discovered new endogenous non-coding RNAs and an area of much research activity. In addition to their potential as major gene regulators, reports are linking heterogeneous circRNA groups with many different human disorders, especially cancer. In this review, we focus on the rapidly advancing field of circRNAs that play a part in human diseases. We list tools (eg, public databases) that scan genome spans of interest to identify known circRNAs; describe the relationship between dysregulated circRNAs and human disease, highlighting their specific roles; and consider the possible use of current and potential circRNA research applications in treating human diseases. Specifically, we review the role of circRNAs as biomarkers, drug targets and therapeutic agents.
A pilot investigation of information extraction in the semantic annotation of archaeological reports

The paper discusses a prototype investigation of semantic annotation, a form of metadata assigning conceptual entities to textual instances; in the case of archaeological grey literature. The use of Information Extraction (IE), a Natural Language Processing (NLP) technique, is central to the annotation process while the use of Knowledge Organization System (KOS) is explored for the association of semantic annotation with both ontological and terminological references. The annotation process follows a rule-based information extraction approach using the GATE NLP toolkit, together with the CIDOC CRM ontology, its CRM-EH archaeological extension and English Heritage thesauri and glossaries. Results are reported from an initial evaluation, which suggest that these information extraction techniques can be applied to archaeological grey literature reports. Further work is discussed drawing on the evaluation and consideration of the characteristics of the archaeology domain.