Miracle-dz/UniFAR-FTUs huggingface dataset:
Component-based development and verification of safety critical software for a brake-by-wire system with synchronous software components

In this paper we describe the development and verification of software for an automotive brake-by-wire system. This is a new brake system without mechanical or hydraulic backup. The system is based on a time-triggered communication architecture. The central control computer in this distributed system, called Brake-by-Wire Manager, is a redundant design in order to tolerate any single failure. The software of this computer is subject to a set of safety related requirements which must be verified. We have developed the software using synchronous software components based on the synchronous ESTEREL. Many safety properties have been verified successfully and the software has been integrated in a prototype brake-by-wire system in a research car.
Comparison of Experimental Diabetic Periodontitis Induced by Porphyromonas gingivalis in Mice

Periodontitis is one of the severe complications in diabetic patients and gingival epithelium plays an initial role on the onset and progression of this disease. However the potential mechanism is yet sufficiently understood. Meanwhile, the research on the correlational experimental animal models was also insufficient. Here, we established periodontitis with type 2 diabetes in db/db and Tallyho/JngJ (TH) mice and periodontitis with type 1 diabetes in streptozotocin induced diabetes C57BL/6J (STZ-C57) mice by oral infection of periodontal pathogen Porphyromonas gingivalis W50. We demonstrated that periodontal infected mice with high blood glucose levels showed dramatically more alveolar bone loss than their counterparts, in which infected db/db mice exhibited the most bone defects. No contrary impact could be observed between this periodontal infection and onset and severity of diabetes. The expressions of PTPN2 were inhibited whereas the expression of JAK1, STAT1, and STAT3 increased dramatically in gingival epithelia and the serum TNF-α also significantly increased in the mice with diabetic periodontitis. Our results indicated that the variations of inflammation-related protein expressions in gingival epithelia might lead to the phenotype differences in the mice with diabetic periodontitis.
Evaluation of Image Pre-processing Techniques for Eigenface Based Face Recognition

We present a range of image processing techniques as potential pre-processing steps, which attempt to improve the performance of the eigenface method of face recognition. Verification tests are carried out by applying thresholds to gather false acceptance rate (FAR) and false rejection rate (FRR) results from a data set comprised of images that present typical difficulties when attempting recognition, such as strong variations in lighting direction and intensity, partially covered faces and changes in facial expression. Results are compared using the equal error rate (EER), which is the error rate when FAR is equal to FRR. We determine the most successful methods of image processing to be used with eigenface based face recognition, in application areas such as security, surveillance, data compression and archive searching.
Dynamic Allocation and Scheduling of Multi-Resources Based on Multi-Agent Ant Colony Algorithm

Resource-constrained project scheduling and configuration determine the progress of the construction and quality. This paper constructs a model for dynamic resources allocation and scheduling based on priority and fuzzy theory. And use ant colony algorithm with trust mechanism to solve it. The algorithm simulates ant feeling of mutual trust and act and is subject to significant interaction between consciousness and unconsciousness in path selection, so that in the initial time to use their own experience, thereafter conditionally accept the trust mechanism for peers to influence the information volume, at the same time modify the amount of information on the path adaptively. In this way have good balance between accelerating the convergence and preventing early-maturing, stagnation. Each ant as an Agent, the autonomy of ant Agent shall be autonomous; each has some control of their own behavior. Through the port logistics scheduling system simulation applications, the results reflect the algorithm has good convergence and meet the actual production. Keywords-ACO; scheduling; multi-resource; port;model
A Scheduling Algorithm for Hybrid Distributed Real-Time Systems

Real-time systems that support only a finite set of discrete configurations can be referred to as hybrid systems. However, recent feedback control scheduling (FCS) algorithms for hybrid real-time systems are only applicable to single processor systems. And existing FCS algorithms for distributed systems often assume that the systems have continuous control inputs. This paper proposes a FCS algorithm for hybrid distributed real-time systems, which include both tasks supporting continuous configurations and tasks supporting discrete configurations. The algorithm is based on a mixed integer predictive control approach. The experimental results show that this algorithm can provide real-time performance guarantees efficiently, even in open environments.
Morphology Based POS Tagging on Telugu

In this paper, we present a morphological based automatic tagging for Telugu without requiring any machine learning algorithm or training data. We believe that inflectional and agglutinating languages, the critical information required for tagging comes more from word internal structure than from the context and we show how a well designed morphological analyzer can assign correct tags and disambiguate many cases of tag ambiguities too. We have used fine grained, hierarchical tag set, carrying not only morph-syntactic information but also some aspects of lexical and semantic information that is necessary or useful for syntactic parsing. We give details of our experiments and results obtained. We believe our approach can also be applied to other Dravidian languages.
PMTR: Privacy-Enhancing Multilayer Trajectory-Based Routing Protocol for Vehicular Ad Hoc Networks

In this paper we present a trajectory-based routing protocol for vehicular ad hoc networks (VANETs) that routes messages using historical vehicular traffic statistics and coarse privacy-preserving trajectory information provided by vehicles. The protocol is well suited for the initial deployment stage of VANET when the number of VANET-enabled vehicles and roadside units will be very low. Coarse trajectory information preserves privacy of carrier vehicles by allowing vehicles only to report their intended rough travel regions instead of detailed travel paths, and historical vehicular traffic statistics ensure high success rate of message delivery. We have compared the proposed routing protocol with three other routing protocols: a flooding type protocol, a geographical or position-based protocol, where message is greedily forwarded towards destination location using carriers' destination information (GeoDest), and a geographical or position-based protocol using carriers' exact trajectory information (GeoTrace). Simulation results have shown that our proposed protocol performs better than GeoDest and equally well or better than GeoTrace (while GeoTrace does not protect carrier vehicles' privacy). Further, it has far less overheads as compared to Flooding and performs equally well as Flooding in one of the operating modes.
Speech Intelligibility in Conversation of Postsurgical Oral Cancer Patients

口腔癌術後患者の会話能力の評価方法を検討するために, 患者15例に対して100音節発語明瞭度および会話明瞭度検査を行い, それぞれについて口腔外科医 (医局員) , 言語治療士 (ST) , 歯学部学生 (一般成人) を聴取者として比較検討した. また, 同時に患者の自覚的了解度について調査を行った. その結果は以下の通りである. 1. 聴取者別発語明瞭度の平均正答率はSTが最高で, 医局員, 一般成人の順であった. 2. 聴取者別会話明瞭度の平均は一般成人よりも医局員およびSTが良好であった. 3. 会話明瞭度の判定では一般成人および中重度群の医局員で検者間の差が認められた. 4. 発語明瞭度と会話明瞭度との関連ではSTにおいて最も相関が高かった. 5. 会話明瞭度と患者の自覚的了解度の関連ではSTで一致率が高く, 一般成人では低い値を示した.
PEMANFAATAN BAHAN SIGHT READING DALAM PEMBELAJARAN PIANO

Tujuan makalah ini adalah untuk mendeskripsikan hasil penelitian yang berkaitan dengan pembelajaran piano pada mahasiswa calon guru musik di Departemen Pendidikan Seni Musik FPSD UPI. Permasalahan yang dikaji mulai dari kesulitan apa saja yang dihadapi oleh mahasiswa ketika melakukan sight reading dan pengaruhnya terhadap kemampuan membaca partitur piano. Metode yang digunakan untuk mengkaji permasalahan tersebut yaitu studi kasus. Metode ini peneliti gunakan untuk mengkaji peristiwa kontemporer yang menjadi fokus kajian. Tujuan menggunakan metode ini bukan untuk mengontrol perilaku setiap subjek penelitian, tetapi mengkaji setiap kasus yang terjadi pada saat proses penelitian. Berdasarkan hasil penelitian, mahasiswa memiliki kesulitan dalam membaca partitur karena belum terbiasa membaca secara langsung tanpa latihan terlebih dahulu. Proses pembelajaran dengan menggunakan bahan-bahan sight reading pun memiliki pengaruh hanya pada tataran permukaan saja yaitu mahasiswa hanya mampu membaca dengan tepat nada dan ritmiknya saja. Sedangkan pada tataran yang lebih dalam, seperti kesadaran musikal dalam menerapkan konsep-konsep musikal secara praktek belum menunjukkan hasil yang maksimal.
Privacy Implications of Automated GPS Tracking and Profiling

The automobile has gradually evolved from an analog machine with mostly mechanical and hydraulic components to an electronic system with a growing number of computer-based systems. Within this "smart car" revolution, GPS vehicle navigation has attracted significant attention. There are efforts underway to use GPS vehicle navigation infrastructure for additional value-added services, for instance, mobility pricing of insurance infrastructure-less electronic toll collection, and GPS enabled parking fee collection. This article aims to raise awareness about privacy issues created as a result of GPS-based surveillance by conducting an experiment involving collecting positional data from a number of volunteers. A software protocol is implemented that takes this GPS data as input and generates a range of personal information about the individual including their home addresses, and social and work activities.
An Abnormal Network Behavior Detection System Based on Compound Session

In recent years, with the rapid development of the Internet on a global scale and the prompt popularization of various App applications, the Internet is increasingly becoming an integral part of people's lives. Meanwhile various network problems caused by abnormal network behavior have become more prominent than any time before. Furthermore we also have a lot of personal information on the Internet, which will bring us significant losses if are gave away. For that, to find an effective method to detect the abnormal network behavior is becoming more and more important. This paper first introduces a new detection method based on compound session, and then shows the effectiveness of the proposed method. A further objective of this method is to identify the infected host.
Identification of Male Gametogenesis Expressed Genes from the Scallop Nodipecten subnodosus by Suppressive Subtraction Hybridization and Pyrosequencing

Despite the great advances in sequencing technologies, genomic and transcriptomic information for marine non-model species with ecological, evolutionary, and economical interest is still scarce. In this work we aimed to identify genes expressed during spermatogenesis in the functional hermaphrodite scallop Nodipecten subnodosus (Mollusca: Bivalvia: Pectinidae), with the purpose of obtaining a panel of genes that would allow for the study of differentially transcribed genes between diploid and triploid scallops in the context of meiotic arrest and reproductive sterility. Because our aim was to isolate genes involved in meiosis and other testis maturation-related processes, we generated suppressive subtractive hybridization libraries of testis vs. inactive gonad. We obtained 352 and 177 ESTs by clone sequencing, and using pyrosequencing (454-Roche) we maximized the identified ESTs to 34,276 reads. A total of 1,153 genes from the testis library had a blastx hit and GO annotation, including genes specific for meiosis, spermatogenesis, sex-differentiation, and transposable elements. Some of the identified meiosis genes function in chromosome pairing (scp2, scp3), recombination and DNA repair (dmc1, rad51, ccnb1ip1/hei10), and meiotic checkpoints (rad1, hormad1, dtl/cdt2). Gene expression analyses in different gametogenic stages in both sexual regions of the gonad of meiosis genes confirmed that the expression was specific or increased towards the maturing testis. Spermatogenesis genes included known testis-specific ones (kelch-10, shippo1, adad1), with some of these known to be associated to sterility. Sex differentiation genes included one of the most conserved genes at the bottom of the sex-determination cascade (dmrt1). Transcript from transposable elements, reverse transcriptase, and transposases in this library evidenced that transposition is an active process during spermatogenesis in N. subnodosus. In relation to the inactive library, we identified 833 transcripts with functional annotation related to activation of the transcription and translation machinery, as well as to germline control and maintenance.
Hand specific representations in language comprehension

Theories of embodied cognition argue that language comprehension involves sensory-motor re-enactments of the actions described. However, the degree of specificity of these re-enactments as well as the relationship between action and language remains a matter of debate. Here we investigate these issues by examining how hand-specific information (left or right hand) is recruited in language comprehension and action execution. An fMRI study tested self-reported right-handed participants in two separate tasks that were designed to be as similar as possible to increase sensitivity of the comparison across task: an action execution go/no-go task where participants performed right or left hand actions, and a language task where participants read sentences describing the same left or right handed actions as in the execution task. We found that language-induced activity did not match the hand-specific patterns of activity found for action execution in primary somatosensory and motor cortex, but it overlapped with pre-motor and parietal regions associated with action planning. Within these pre-motor regions, both right hand actions and sentences elicited stronger activity than left hand actions and sentences—a dominant hand effect. Importantly, both dorsal and ventral sections of the left pre-central gyrus were recruited by both tasks, suggesting different action features being recruited. These results suggest that (a) language comprehension elicits motor representations that are hand-specific and akin to multimodal action plans, rather than full action re-enactments; and (b) language comprehension and action execution share schematic hand-specific representations that are richer for the dominant hand, and thus linked to previous motor experience.
On the impact of labialization contexts on unit selection speech synthesis

This paper presents a study on coarticulatory labialization and the significance of its respecting/violation during selection and concatenation of speech units in the unit selection speech synthesis. The aim of this study is to improve the overall speech quality, especially to increase the perceptual inconspicuousness between concatenated units. The labialization importance was verified by two listening tests-for phonetic laymen and specialists. To suppress the influence of other factors, both tests contained utterances with specially selected phones in specific contexts with respected and violated labialization. The preference for items with correct labialization was evident, which confirms the benefit of considering coarticulatory labialization in a unit selection speech synthesis.
Faith, Food and Fettle: Is Individual and Neighborhood Religiosity/Spirituality Associated with a Better Diet?

Diet is an important contributor to many non-communicable diseases. Religion and spirituality (R/S) has a salutary effect on physical health, and one of the possible links between R/S and positive health outcomes is a better diet. Religious neighborhoods might also play a role in influencing the adoption of a healthier diet. Suggestions for future research in R/S and diet are included.
Short- and long-term outcomes in onco-hematological patients admitted to the intensive care unit with classic factors of poor prognosis

Although the overall mortality of patients admitted to intensive care units (ICU) with hematological malignancy has decreased over the years, some groups of patients still have low survival rates. We performed a monocentric retrospective study including all patients with hematological malignancy in a ten-year period, to identify factors related to the outcome for the whole cohort and for patients with allogeneic hematopoietic stem cell transplantation (HSCT), neutropenia, or those requiring invasive mechanical ventilation (IMV). A total of 418 patients with acute leukemia (n=239; 57%), myeloma (n=69; 17%), and lymphoma (n=53; 13%) were studied. Day-28 and 1-year mortality were 49% and 72%, respectively. The type of disease was not associated with outcome. The disease status was independentlty associated with 1-year mortality only. Independent predictors of day-28 mortality were IMV, renal replacement therapy (RRT), and performance status. For allogeneic HSCT recipients (n=116), neutropenic patients (n=124) and patients requiring IMV (n=196), day-28 and 1-year mortality were 52%, 54%, 74% and 81%, 78%, 87%, respectively. Multivariate analysis showed that IMV and RRT for allogeneic HSCT recipients, performance status and IMV for neutropenic patients, and RRT for patients requiring IMV were independently associated with short-term mortality (p<0.05). These results suggest that IMV is the strongest predictor of mortality in hematological patients admitted to ICUs, whereas allogeneic HSCT and neutropenia do not worsen their short-term outcome.
A nonautonomous IC chaotic oscillator and its application for random bit generation

A nonautonomous chaotic circuit which is suitable for high-frequency IC realization is presented. Simulation and experimental results verifying the feasibility of the circuit are given. We have numerically verified that the bit streams obtained from the stroboscopic Poincare map of the system passed the four basic tests of FIPS-140-1 test suite. Finally, we have verified that the binary data obtained from the hardware realization of the circuit in the same way pass the full NIST random number test suite.
What is open design for ethnography?:an open discussion

Ethnography has been adopted in other fields for years, but the integration process has been a significant learning curve for both the ethnographers and practitioners from other fields. This wide adoption has created various subfields such as Design Ethnography, Urban Ethnography, and Anticipatory Ethnography etc. These ethno-fusions represent different interpretations of ethnography under the influence of other disciplinary nuances. Ethnography has shown us its potential flexibility and fluidity and the discussion continues: how and where will ethnography make its next big leap? In this research paper, we open a discussion with the Cumulus community by exploring the following three questions: 1. What could open design mean to Ethnography? 2. What are some challenges when applying ethnography in multi-/inter- disciplinary context? 3. What is the future of the openly designed ethnography?
The impact of timing and frequency of parental criminal behaviour and risk factors on offspring offending

This paper explores mechanisms of intergenerational transmission of criminal behaviour by investigating specifically the timing and frequency of the parents' criminal behaviour while including risk factors for criminal behaviour. The results demonstrate a dose–response relationship: parents' number of criminal convictions is positively related to offspring's conviction rate. Furthermore, children whose parents had only been convicted before the child's birth have more convictions than those whose parents had never been convicted. Children whose parents had been convicted after the child's birth have more convictions than those whose parents had only been convicted before the child's birth, but this difference can be explained partly by the observation that the latter group had fewer risk factors for crime. When parental convictions at different ages were examined, children whose parents had been convicted between their 7th and 13th birthdays exhibit more criminal behaviour than children whose parents were convicted in other periods, but none of the differences were significant. There does not appear to be a sensitive period for the impact of parental criminal behaviour. The results demonstrate support for static as well as dynamic explanations of intergenerational transmission such as the transmission of a criminogenic environment and/or mediation through risk factors.
Coherence between Rat Sensorimotor System and Hippocampus Is Enhanced during Tactile Discrimination

Rhythms with time scales of multiple cycles per second permeate the mammalian brain, yet neuroscientists are not certain of their functional roles. One leading idea is that coherent oscillation between two brain regions facilitates the exchange of information between them. In rats, the hippocampus and the vibrissal sensorimotor system both are characterized by rhythmic oscillation in the theta range, 5–12 Hz. Previous work has been divided as to whether the two rhythms are independent or coherent. To resolve this question, we acquired three measures from rats—whisker motion, hippocampal local field potential (LFP), and barrel cortex unit firing—during a whisker-mediated texture discrimination task and during control conditions (not engaged in a whisker-mediated memory task). Compared to control conditions, the theta band of hippocampal LFP showed a marked increase in power as the rats approached and then palpated the texture. Phase synchronization between whisking and hippocampal LFP increased by almost 50% during approach and texture palpation. In addition, a greater proportion of barrel cortex neurons showed firing that was phase-locked to hippocampal theta while rats were engaged in the discrimination task. Consistent with a behavioral consequence of phase synchronization, the rats identified the texture more rapidly and with lower error likelihood on trials in which there was an increase in theta-whisking coherence at the moment of texture palpation. These results suggest that coherence between the whisking rhythm, barrel cortex firing, and hippocampal LFP is augmented selectively during epochs in which the rat collects sensory information and that such coherence enhances the efficiency of integration of stimulus information into memory and decision-making centers.