Miracle-dz/UniFAR-FTUs huggingface dataset:
A Model-based Approach to Engineering Behavior of Complex Aerospace Systems

One of the most challenging yet poorly defined aspects of engineering a complex aerospace system is behavior engineering, including definition, specification, design, implementation, and verification and validation of the system's behaviors. This is especially true for behaviors of highly autonomous and intelligent systems. Behavior engineering is more of an art than a science. As a process it is generally ad-hoc, poorly specified, and inconsistently applied from one project to the next. It uses largely informal representations, and results in system behavior being documented in a wide variety of disparate documents. To address this problem, JPL has undertaken a pilot project to apply its institutional capabilities in Model-Based Systems Engineering to the challenge of specifying complex spacecraft system behavior. This paper describes the results of the work in progress on this project. In particular, we discuss our approach to modeling spacecraft behavior including 1) requirements and design flowdown from system-level to subsystem-level, 2) patterns for behavior decomposition, 3) allocation of behaviors to physical elements in the system, and 4) patterns for capturing V&V activities associated with behavioral requirements. We provide examples of interesting behavior specification patterns, and discuss findings from the pilot project.
Towards efficient detection of sybil attacks in location-based social networks

A location-based social network (LBSN) can facilitate interactions between nearby strangers. However, it is vulnerable to a Sybil attack, in which an attacker can subvert the reputation system of the LBSN by manipulating trust relationships among users. Such an attack cannot be detected using the existing community analysis-based countermeasures designed for regular social networks, since both the Sybil communities and the non-Sybil communities are quite sparse and rarely connected in LBSNs. By carefully analyzing honest user trajectories and Sybil attack behavior, we observe that in LBSNs, a Sybil attack usually comes together with continuous user gatherings. Based on this observation, we design a Bloom filter-based user gathering detection scheme, which can effectively and efficiently detect Sybil attacks in LBSNs. Experimental evaluation using real-world user location data validates the effectiveness and efficiency of our scheme.
Parasite-microbiota interactions potentially affect intestinal communities in wild mammals

Detecting interaction between species is notoriously difficult, and disentangling species associations in host-related gut communities is especially challenging. Nevertheless, due to contemporary methods, including metabarcoding and 16S sequencing, collecting observational data on community composition has become easier and much more common. We studied the previously collected data sets of intestinal microbiota and parasite compositions within longitudinally followed mouse lemurs by analysing the potential interactions with diversity metrics and novel joint species distribution modelling. Both methods showed consistent statistical association between certain parasite species and microbiotal composition. Both unicellular Eimeria sp. and cestode Hymenolepis diminuta had an effect on diversity of gut microbiota. These parasite species also had negative associations with several bacterial orders. In comparison, closely related species H. nana did not have an effect on diversity, and it had positive associations with several bacterial orders. Our results reveal potential interactions between some, but not all, intestinal parasites and gut microbiota. While environmental variables explained almost half of the total variation, of which almost half could be explained by traits of parasites and microbiota, there were no clear patterns regarding mouse lemur individual variables explaining variation in the occurrence patterns of parasite and microbiota significantly. Our results provide new hypothesis for interactions between and among parasites and microbiota to be tested further with experimental studies.
Qualitative Methods in Program Evaluation

The choice of evaluation methodology is as important as any part of the assessment process. In the past, most selections have been made from among various quantitative strategies and techniques. Recently, program evaluation researchers have begun to discuss some of the limitations of quantitative techniques for addressing some evaluation questions. In response to these limitations — most of which characterize the evaluation of health promotion programs — some have turned to a set of techniques which can complement or, at times, replace quantitative evaluation methods. These methods are collectively called “qualitative” evaluation methods. In this article, we highlight some of the differences between quantitative and qualitative approaches and suggest ways in which both may be used in a given evaluation effort.
Intrinsic F₀ in Tense and Lax Vowels with Special Reference to German

Abstract The main purpose of this paper is to show that the observation which is the starting point for almost all attempts at explaining intrinsic fundamental frequency (intrinsic F₀) in vowels, i.e. that it is correlated with vowel height (interpreted as tongue height), does not hold if short lax vowels are included, since they have a considerably lower tongue height but practically the same F₀ as their corresponding tense counterparts. Section 1 contains a discussion of some explanations of intrinsic F₀ and vowel height and a short exposition of its connection with other vowel features. Section 2 gives a survey of the properties of tense and lax vowels based on data from the phonetic literature. Section 3 reports on an investigation of German tense and lax front unrounded vowels, including duration, tongue height, jaw opening, vertical lip opening, formant frequencies, and F₀. Section 4 contains a discussion of various possible explanations of the results.
Upflow Anaerobic Sludge Blanket Reactor Codigestion of Algae and Acetate to Produce Methane

Algae grown in wastewater treatment lagoons are a potentially important substrate for biofuel production. The feasibility of using upflow anaerobic sludge blanket (UASB) reactors in anaerobic digestion of algae to produce methane was investigated. A favorable carbon to nitrogen (C/N) weight ratio of 21/1 was determined in batch reactor experiments in which the ratio was adjusted by blending algal biomass with sodium acetate as a carbon source. This blend of algae and acetate was used in the feedstock applied to the UASB reactors. Duplicate, 34‐L, UASB reactors initially received an organic loading rate (OLR) of 0.9 g chemical oxygen demand (COD)/L.d at a 7.2‐day hydraulic retention time (HRT). The OLR was gradually increased to 5.4 g/L.d and the HRT was decreased to 5.5 days resulting in a methane production increase from 247 to 298 mL/g COD biodegraded. The COD removal efficiency was 80% with a biogas methane composition of 90%.
Rituximab with chemotherapy in children and adolescents with central nervous system and/or bone marrow‐positive Burkitt lymphoma/leukaemia: a Children's Oncology Group Report

Children and adolescents with Burkitt Lymphoma (BL) and combined central nervous system (CNS) and bone marrow involvement still have a poor prognosis with chemotherapy alone. We therefore investigated in children and adolescents with bone marrow (≥25% blasts) and/or CNS‐positive Burkitt lymphoma the chemoimmunotherapy combination of rituximab (375 mg/m2) and the standard chemotherapy arm of our previously reported French‐American‐British (FAB) Lymphome Malins de Burkitt (LMB) 96 trial. Central pathological and cytogenetic characterization was also performed. There were 40 evaluable patients with Burkitt histology (25 with leukaemia and 15 with CNS disease ± leukaemia). The chemoimmunotherapy regimen was well tolerated. The incidence of grade III/IV mucositis during induction cycles with combined chemotherapy and rituximab was 31% and 26%, respectively. The 3‐year event‐free survival (EFS)/overall survival (OS) was 90% (95% confidence interval [CI], 76–96%) in the entire cohort and 93% (95% CI, 61–99%) in patients with CNS disease. Based on the results of this trial, an international randomized study of FAB/LMB 96 chemotherapy ± rituximab for high‐risk patients is currently under investigation.
New insights into survival trend analyses in cancer population-based studies: the SUDCAN methodology

The main objective of the SUDCAN study was to compare, for 15 cancer sites, the trends in net survival and excess mortality rates from cancer 5 years after diagnosis between six European Latin countries (Belgium, France, Italy, Portugal, Spain and Switzerland). The data were extracted from the EUROCARE-5 database. The study period ranged from 6 (Portugal, 2000–2005) to 18 years (Switzerland, 1989–2007). Trend analyses were carried out separately for each country and cancer site; the number of cases ranged from 1500 to 104 000 cases. We developed an original flexible excess rate modelling strategy that accounts for the continuous effects of age, year of diagnosis, time since diagnosis and their interactions. Nineteen models were constructed; they differed in the modelling of the effect of the year of diagnosis in terms of linearity, proportionality and interaction with age. The final model was chosen according to the Akaike Information Criterion. The fit was assessed graphically by comparing model estimates versus nonparametric (Pohar-Perme) net survival estimates. Out of the 90 analyses carried out, the effect of the year of diagnosis on the excess mortality rate depended on age in 61 and was nonproportional in 64; it was nonlinear in 27 out of the 75 analyses where this effect was considered. The model fit was overall satisfactory. We analysed successfully 15 cancer sites in six countries. The refined methodology proved necessary for detailed trend analyses. It is hoped that three-dimensional parametric modelling will be used more widely in net survival trend studies as it has major advantages over stratified analyses.
Reading Behind the Lines: The Factors Affecting the Text Reception Threshold in Hearing Aid Users.

Purpose The visual Text Reception Threshold (TRT) test (Zekveld et al., 2007) has been designed to assess modality-general factors relevant for speech perception in noise. In the last decade, the test has been adopted in audiology labs worldwide. The 1st aim of this study was to examine which factors best predict interindividual differences in the TRT. Second, we aimed to assess the relationships between the TRT and the speech reception thresholds (SRTs) estimated in various conditions. Method First, we reviewed studies reporting relationships between the TRT and the auditory and/or cognitive factors and formulated specific hypotheses regarding the TRT predictors. These hypotheses were tested using a prediction model applied to a rich data set of 180 hearing aid users. In separate association models, we tested the relationships between the TRT and the various SRTs and subjective hearing difficulties, while taking into account potential confounding variables. Results The results of the prediction model indicate that the TRT is predicted by the ability to fill in missing words in incomplete sentences, by lexical access speed, and by working memory capacity. Furthermore, in line with previous studies, a moderate association between higher age, poorer pure-tone hearing acuity, and poorer TRTs was observed. Better TRTs were associated with better SRTs for the correct perception of 50% of Hagerman matrix sentences in a 4-talker babble, as well as with better subjective ratings of speech perception. Age and pure-tone hearing thresholds significantly confounded these associations. The associations of the TRT with SRTs estimated in other conditions and with subjective qualities of hearing were not statistically significant when adjusting for age and pure-tone average. Conclusions We conclude that the abilities tapped into by the TRT test include processes relevant for speeded lexical decision making when completing partly masked sentences and that these processes require working memory capacity. Furthermore, the TRT is associated with the SRT of hearing aid users as estimated in a challenging condition that includes informational masking and with experienced difficulties with speech perception in daily-life conditions. The current results underline the value of using the TRT test in studies involving speech perception and aid in the interpretation of findings acquired using the test.
Serial dilution microchip for cytotoxicity test

Today's pharmaceutical industry is facing challenges resulting from the vast increases in sample numbers produced by high-throughput screening (HTS). In addition, the bottlenecks created by increased demand for cytotoxicity testing (required to assess compound safety) are becoming a serious problem. We have developed a polymer PDMS (polydimethylsiloxane) based microfluidic device that can perform a cytotoxicity test in a rapid and reproducible manner. The concept that the device includes is well adjustable to automated robots in huge HTS systems, so we can think of it as a potential dilution and delivery module. Cytotoxicity testing is all about the dilution and dispensing of a drug sample. Previously, we made a PDMS based microfluidic device which automatically and precisely diluted drugs with a buffer solution with serially increasing concentrations. This time, the serially diluted drug solution was directly delivered to 96 well plates for cytotoxicity testing. Cytotoxic paclitaxel solution with 2% RPMI 1640 has been used while carrying out cancerous cell based cytotoxicity tests. We believe that this rapid and robust use of the PDMS microchip will overcome the growing problem in cytotoxicity testing for HTS.
Effect of Start-Up Strategies and Electrode Materials on Carbon Dioxide Reduction on Biocathodes

ABSTRACT The enrichment of CO2-reducing microbial biocathodes is challenging. Previous research has shown that a promising approach could be to first enrich bioanodes and then lower the potential so the electrodes are converted into biocathodes. However, the effect of such a transition on the microbial community on the electrode has not been studied. The goal of this study was thus to compare the start-up of biocathodes from preenriched anodes with direct start-up from bare electrodes and to investigate changes in microbial community composition. The effect of three electrode materials on the long-term performance of the biocathodes was also investigated. In this study, preenrichment of acetate-oxidizing bioanodes did not facilitate the start-up of biocathodes. It took about 170 days for the preenriched electrodes to generate substantial cathodic current, compared to 83 days for the bare electrodes. Graphite foil and carbon felt cathodes produced higher current at the beginning of the experiment than did graphite rods. However, all electrodes produced similar current densities at the end of the over 1-year-long study (2.5 A/m2). Methane was the only product detected during operation of the biocathodes. Acetate was the only product detected after inhibition of the methanogens. Microbial community analysis showed that Geobacter sp. dominated the bioanodes. On the biocathodes, the Geobacter sp. was succeeded by Methanobacterium spp. , which made up more than 80% of the population. After inhibition of the methanogens, Acetobacterium sp. became dominant on the electrodes (40% relative abundance). The results suggested that bioelectrochemically generated H2 acted as an electron donor for CO2 reduction. IMPORTANCE In microbial electrochemical systems, living microorganisms function as catalysts for reactions on the anode and/or the cathode. There is a variety of potential applications, ranging from wastewater treatment and biogas generation to production of chemicals. Systems with biocathodes could be used to reduce CO2 to methane, acetate, or other high-value chemicals. The technique can be used to convert solar energy to chemicals. However, enriching biocathodes that are capable of CO2 reduction is more difficult and less studied than enriching bioanodes. The effect of different start-up strategies and electrode materials on the microbial communities that are enriched on biocathodes has not been studied. The purpose of this study was to investigate two different start-up strategies and three different electrode materials for start-up and long-term operation of biocathodes capable of reducing CO2 to valuable biochemicals.
To boldly climb: behavioural and cognitive differences in migrating European glass eels

European eel (Anguilla anguilla) is a catadromous fish species that received substantial attention as its population has markedly declined in the last three decades. The possible causes of this decline include habitat fragmentation factors such as dams and weirs. In some cases, these obstacles are equipped with fish friendly passage devices that may select young eels according to their climbing behaviour. We tested how individual climbing tendency was related to the event of fishway passage experienced in the field and classified fish climbing profiles as climbing ‘leaders’, ‘followers’, ‘finishers’ and ‘no climbers’. Moreover, we analysed the brain transcription level of genes related to neurogenesis and synaptic plasticity and compared it to climbing profiles. We found that fish from the upstream segments of an impounded river had a higher climbing propensity. Their behaviour was also more repeatable throughout the whole test than the obstacle-naive fish from the downstream segment. Moreover, we found that boldly climbing ‘leaders’ had lower levels of transcription of synapse-related genes than the climbing ‘followers’. These differences could be related to coping styles of fish, where proactive ‘leaders’ express a routine and risky behaviour, whereas reactive fish need an environmental assessment before exploratory behaviour. Our study showed that differences in climbing propensity exist in glass eels separated by water obstacles. Moreover, eels could adopt climbing different strategies according to the way they deal with environmental stress and to the cognitive abilities they possess.
OpenFlow-based mechanisms for QoS in LTE backhaul networks

The growing data traffic demand is forcing network operators to deploy more base stations, culminating in dense heterogeneous networks that require a high-connectivity backhaul. This scenario imposes significant challenges for current and future cellular networks, and Software Defined Networking (SDN) has been pointed as an enabling technology to overcome existing limitations. This paper shows how the OpenFlow protocol can be integrated into existing Long Term Evolution (LTE) networks to provide the required Quality of Service (QoS) in the network infrastructure. Three OpenFlow-based mechanisms are proposed: a traffic routing, an admission control function, and a traffic coexistence mechanism. Together, they can effectively control the bandwidth usage in the backhaul infrastructure, improving the QoS and ensuring a better user experience. Simulations were performed to validate the proposed mechanisms and highlight the benefits that can be achieved with the flexibility offered by the SDN technology.
Alpine algorithms-time series of innovative remote sensing products for Alpine areas: Snow cover leaf area index and soil moisture

The derivation of bio-physical parameter time series from remote sensing data is of high importance for the monitoring and understanding of mountain ecosystems. However, their retrieval in mountain environments represents a challenging task due to the heterogeneous landscape and the topography. Already available global products may therefore present limitations in mountain areas. In this paper, innovative approaches for the derivation of snow cover, leaf area index (LAI), and soil moisture over the Alps are described, taking into account the peculiarity of the mountain areas. In order to account for the high heterogeneity, snow and leaf area index products rely on the use of 250 m spatial resolution MODIS data, in conjunction with elevation data and, in the case of soil moisture, radar data. Further, the correction of the topography on the remote sensing signal in implemented in all algorithms. Special conditions of mountain vegetation, such as snow in forests or the biophysical conditions of mountain grasslands, are also accounted for. The time series are used in conjunction in order to better understand key processes such as water and carbon cycles or vegetation phenology.
A Numerically Efficient Method for Predicting the Scattering Characteristics of a Complex Metallic Target Located Inside a Large Forested Area

An efficient electromagnetic model for the scattering analysis of targets placed in large natural environments is presented. A hybrid formulation combining volume and surface integral equations is used to describe forest environment (dielectric objects) in which metallic structures are present. A large part of the forest can be analyzed electromagnetically by using the characteristic basis function method, whose use enables us to simulate the problem at hand and significantly reduce the dimension of the linear system that needs to be solved.
Shedding of Syndecan-1 and -4 Ectodomains Is Regulated by Multiple Signaling Pathways and Mediated by a Timp-3–Sensitive Metalloproteinase

The syndecan family of four transmembrane heparan sulfate proteoglycans binds a variety of soluble and insoluble extracellular effectors. Syndecan extracellular domains (ectodomains) can be shed intact by proteolytic cleavage of their core proteins, yielding soluble proteoglycans that retain the binding properties of their cell surface precursors. Shedding is accelerated by PMA activation of protein kinase C, and by ligand activation of the thrombin (G-protein–coupled) and EGF (protein tyrosine kinase) receptors (Subramanian, S.V., M.L. Fitzgerald, and M. Bernfield. 1997. J. Biol. Chem. 272:14713–14720). Syndecan-1 and -4 ectodomains are found in acute dermal wound fluids, where they regulate growth factor activity (Kato, M., H. Wang, V. Kainulainen, M.L. Fitzgerald, S. Ledbetter, D.M. Ornitz, and M. Bernfield. 1998. Nat. Med. 4:691–697) and proteolytic balance (Kainulainen, V., H. Wang, C. Schick, and M. Bernfield. 1998. J. Biol. Chem. 273:11563–11569). However, little is known about how syndecan ectodomain shedding is regulated. To elucidate the mechanisms that regulate syndecan shedding, we analyzed several features of the process that sheds the syndecan-1 and -4 ectodomains. We find that shedding accelerated by various physiologic agents involves activation of distinct intracellular signaling pathways; and the proteolytic activity responsible for cleavage of syndecan core proteins, which is associated with the cell surface, can act on unstimulated adjacent cells, and is specifically inhibited by TIMP-3, a matrix-associated metalloproteinase inhibitor. In addition, we find that the syndecan-1 core protein is cleaved on the cell surface at a juxtamembrane site; and the proteolytic activity responsible for accelerated shedding differs from that involved in constitutive shedding of the syndecan ectodomains. These results demonstrate the existence of highly regulated mechanisms that can rapidly convert syndecans from cell surface receptors or coreceptors to soluble heparan sulfate proteoglycan effectors. Because the shed ectodomains are found and function in vivo, regulation of syndecan ectodomain shedding by physiological mediators indicates that shedding is a response to specific developmental and pathophysiological cues.