Miracle-dz/UniFAR-FTUs huggingface dataset:
Employing Ontologies for an Improved Development Process in Collaborative Engineering

This work brings a contribution to the improvement of the product development process in the engineering domain. The overall goal of the design process is to realize in a short time and with minimal costs a high quality design solution that satisfies all customer requirements. In order to achieve this goal and to master the product complexity, a divide-and-conquer approach is applied: The design task is split in several development branches, each of them being concerned with only one aspect of the product. At different stages of the design process, the design models resulting from the different development branches are synchronized with each other in order to ensure the consistency of the overall design. However, checking the consistency of a design model and between different design models is a very challenging task. One of the reasons is that the engineering tools employed by the development branches operate on models that have different conceptualization of a product according to their own viewpoint. For instance, a computer-aided design (CAD) tool will model the geometrical characteristics of a product, while a simulation tool will model the behavior of the product. Although the two design models represent different viewpoints on the product, they must be consistent with each other, if a common implementation (i.e., the product) of the two design models should be realized. Besides the consistency checking of design models, the propagation of design changes from one model to another is also important. These two tasks are very frequently done in the design process, and ideally they should be automated. However, there are several hindrances to an automation of these tasks. First, the engineering tools do not typically interoperate. Exchanging model information between engineering tools is often done manually, is errorprone and difficult, considering the size and complexity of the design models. Second, the design models are represented using different modeling languages with their own syntax and modeling methodology. Third, the design models operate with different conceptualization of the product according to their own view on the product. Very often many aspects of the design model remain implicit and are known only to the engineers who have actually built the model. Forth, there are no explicit or formal correspondences between the design models that could be used to asses the consistency between the models and to propagate the design changes. The contribution that this work brings to the improvement of the design process is two fold. First, it provides a framework for building higher quality design models. Second, it provides a framework that supports the automation of the consistency checking between the design models and for change propagation. The two goals are achieved by using a formal approach to modeling engineering systems based on ontologies. Ontologies are formal descriptions of the objects, of their properties and relationships in a certain domain. Ontologies also con-
Optimization of two-alternative batch data processing

We consider optimization of batch data processing if there are two alternative processing methods available with different unknown efficiencies. One should determine more efficient method and provide its predominant usage. Formally, the problem is presented as Gaussian two-armed bandit problem with a priori unknown mathematical expectations and variances of incomes. We consider the problem in robust (minimax) setting. According to the main theorem of game theory, minimax strategy and minimax risk are sought for as Bayesian ones corresponding to the worst-case prior distribution of parameter. We describe the properties of the worst-case prior distribution and present corresponding recursive equations for determining Bayesian risk and expected losses. Some numerical examples are presented. We show that the control performance almost does not depend on the number of processed batches if this number is large enough.
Sports Tournaments and Social Choice Theory

Sports tournaments provide a procedure for producing a champion and ranking the contestants based on game results. As such, tournaments mirror aggregation methods in social choice theory, where diverse individual preferences are put together to form an overall social preference. This connection allows us a novel way of conceptualizing sports tournaments, their results, and significance. I argue that there are genuine intransitive dominance relationships in sports, that social choice theory provides a framework for understanding rankings in such situations and that these considerations provide a new reason to endorse championship pluralism.
Managing scientific workflow provenance

An advantage of scientific workflow systems over traditional approaches is their ability to automatically record the provenance (or lineage) of intermediate and final data products generated during workflow execution. The provenance of a data product contains information about how the product was derived, and is crucial for enabling scientists to easily understand, reproduce, and verify scientific results. This work addresses challenges for managing large amounts of provenance information, and describes efficient approaches to model, store, query, visualize, and explore provenance information. Specifically, a model of provenance is presented that extends the conventional provenance model, supports nested data, and captures fine-grained lineage information. Novel reduction techniques are described to optimize storage size, update time, and query-response time. A high-level query language is proposed to allow nonexperts to easily express provenance graph queries over the model. Query optimization techniques that leverage the storage reductions are described. These optimizations scale with the size of provenance and query complexity, and can also be used in more general settings to efficiently answer a broad range of path queries over labeled, acyclic directed graphs. To further allow users to explore relevant provenance information, a navigation model for provenance is proposed that provides an integrated approach for creating provenance views, navigating between views, and summarizing views. To demonstrate the approaches presented, a Provenance Browser application has been developed and integrated into the Kepler scientific workflow system.
Improving the attainment gap of Direct Entry Chinese students – lessons learnt and recommendations.

The expansion of Chinese articulations, which offer Chinese students the opportunity to study in the United Kingdom (UK), by entering directly into the final year of an undergraduate study programme, has provided a financially attractive market. However, it has also raised concerns that these students do not have the same student experience as other students and so may find it more difficult to attain a good degree classification. The culture shock, in terms of day to day life and pedagogical approaches in the UK and China creates additional barriers unique to these students. Therefore this case study outlines experiences from two departments within a post-1992 Business School that has been recruiting students via articulations for thirteen years. The case study highlights the journey towards adopting new approaches to teaching these students, thereby reducing the attainment gap. Therefore, it offers an insight into which initiatives have proven successful, ineffective, and future plans to further reduce the attainment gap. The purpose of this case study is to share our experience of creating conditions that support student success.
Correlation between Atrophic Gastritis Prevalence and Gastric Cancer Mortality among Middle-aged Men in 5 Areas in Japan

The suggested association between atrophic gastritis as a precursor lesion and subsequent high risk of gastric cancer was examined at the population level in a cross-sectional study of men 40 to 49 years of age in 5 populations with different gastric cancer mortalities. Subjects toltalled 634 men, randomly selected from each population of about 100, 000, whose atrophic gastritis was diagnosed serologically based on a combination of the serum pepsinogen I (PG I) level <70 ng/ml and pepsinogen I/pepsinogen 11 (PG I/PG II) ratio<3.0. The number of atrophic gastritis cases discriminated was 121 among 624 evaluated men (19.4% overall) and its prevalence rates in 5 areas (range : 9.4-26.8%) correlated almost perfectly (r=0.999, p<0.0001) with age-adjusted mortality rates averaged for 1985-89 for gastric cancer (range : 17.3-49.1 per 100, 000). Although some misclassifications could not be denied, especially in discriminating mild/moderate cases, which were separated from severe ones diagnosed more definitively under stricter criteria of PG I< 30 ng/ml and PG I/PG II ratio<2.0, it was unlikely that they affected the above correlation significantly, since a similar good correlation was observed even when a criterion of PG I/PG II ratio<2.5 alone, for which high specificity and sensitivity are known, was applied. Thus, the strong correlation found in the present study not only suggests that the number of middle-aged men with atrophic gastritis may be a basis on which gastric cancer mortality in an area can be determined almost exclusively but also that the serologiccal diagnosis is useful in screening of a group of high risk for gastric cancer. Therefore, this diagnostic method provides a practical method of gastric cancer prevention, although a combination with other methods to diagnose particularly mild/moderate atrophic gastritis is recommended for following-up the high-risk group on an individual basis. J Epidemiol, 1993; 3 : 35-39.
Pneumopathies chroniques infiltrantes diffuses et virus

(1) Service de pneumologie et réanimation respiratoire, UPRES EA 2705 Maladies vasculaires pulmonaires, hôpital Antoine-Béclère, 157, rue de la Porte-de-Trivaux, 92140 Clamart. (2) Service de bactériologie virologie et hygiène, UPRES EA 1622, hôpital Avicenne, 125, route de Stalingrad, 93000 Bobigny. (3) Service d’hématologie biologique, UPRES EA 1625, hôpital Avicenne, 125, route de Stalingrad, 93000 Bobigny. (4) Service de pneumologie, Fédération des maladies respiratoires et thoraciques de l’adulte, UPRES EA 2363 Réponses cellulaires et fonctionnelles à l’hypoxie, hôpital Avicenne, 125, route de Stalingrad, 93000 Bobigny.
Mise en place d'un démonstrateur expérimental de fonctionnalités avancées d'aide à la conduite

La recherche de nouveaux systemes d'aide a la conduite (Advanced Driver Assistance System, ADAS) est un processus long dans lequel plusieurs parties prenantes collaborent. Inria et Toyota cooperent afin de proposer de nouveaux ADAS. Dans le but de valider et demontrer ces recherches, ils utilisent un vehicule appele « demonstrateur ». Ce demonstrateur est base sur une voiture qui est equipee de capteurs et d'un ordinateur contenant des briques logicielles implantees par l'equipe. Pour faciliter l'interaction entre ces briques logicielles et permettre de rejouer des donnees preenregistrees, il est commun d'utiliser une brique logicielle appelee « intergiciel ». Au vu des avancees technologiques des intergiciels, l'equipe e-Motion a recemment decide de remplacer le sien, appele « Hugr ». Ainsi, les objectifs principaux de ce stage sont : le choix d'un remplacant (« ROS » largement utilise dans le domaine), la conception de la nouvelle architecture systeme et l'implantation logicielle des modules existants en prenant en compte le nouvel intergiciel. Parallelement a ce travail, j'ai eu l'opportunite de mettre en place la partie pilote des capteurs du nouveau demonstrateur de Toyota. Les resultats obtenus avec le demonstrateur Inria et celui de Toyota ont montre l'efficacite de la nouvelle architecture systeme.
Secure Vehicle-to-roadside Communication Protocol Using Certificate-based Cryptosystem

Abstract As various applications of vehicular ad hoc networks (VANETs) have been proposed, security has become one of the big research challenges and is receiving increasing attention. In this paper, we propose a secure and an efficient vehicle-to-roadside communication protocol by using the recently developed concepts of a certificate-based cryptosystem. The proposed approach combines the best aspects of identity-based public key cryptography approaches (implicit certification) and traditional public key infrastructure approaches (no key escrow). As compared with the previous works, which were implemented with the traditional public key infrastructure and identity-based public key cryptography, the proposed approach is more secure and efficient.
Perceptions of the Limitations of Confidentiality Among Chinese Mental Health Practitioners, Adolescents and Their Parents

The present study aims to (a) survey Chinese mental health professionals’ attitudes toward therapeutic confidentiality with adolescent patients in specific clinical situations, and (b) compare Chinese adolescents’ and parents’ beliefs about when most mental health professionals would breach confidentiality. A sample of 36 mental health practitioners, 152 parents, and 164 adolescents completed a survey to assess their opinions about when confidentiality should be breached in 18 specific clinical situations (e.g., an adolescent tells his or her therapist that he or she smoked a cigarette, had unprotected sex, or attempted suicide). Nearly half of the parents (46%) and adolescents (41%) and 78% of the therapists in our sample selected “yes” in response to the question of whether the principle of confidentiality applies to adolescents. However, 49% of parents indicated “no,” and 53% of adolescents indicated “not sure. ” Compared to adolescents, parents were significantly more likely to believe that therapists would breach confidentiality for the high-breach-likelihood items. For the low-breach-likelihood items, adolescents and parents were significantly more likely than therapists to believe confidentiality should be breached. Results from this study provide data to inform the development, refinement, practical implementation, and communication of guidelines and recommendations specific to adolescents receiving psychotherapy in China.
Visual expertise and the Quiet Eye in sports – comment on Vickers

1 Department of Educational Development and Research, Maastricht University, Maastricht, the Netherlands 2 Department of Emergency Medicine, Queen’s University, Kingston, Canada * Corresponding author: Department of Educational Development and Research, Maastricht University, P.O. Box 616, NL-6200 MD Maastricht , The Netherlands, Tel: +31 43 3885791, Fax: +31 43 3885779, Email: a.gegenfurtner@maastrichtuniversity.nl
Research on Public Health Service Systems Based on Cloud Computing

This research is aimed at building a real time public fitness service system, with massive data storage and processing ability, to meet the public fitness service demand. In this research, we focus on the system positioning, cloud delegation model, service model, service content and operation mechanism of the fitness service system. Method used was system analysis method.
Biomarker guided treatment of advanced non-small cell lung cancer: does feasibility translate to improvements in patient care?

Molecular characterization of tumors has become integral in the management of advanced non-small cell lung cancer (NSCLC) (1). Over the last decade, major evolution in understanding the role of biomarkers has shaped the current management strategies of NSCLC. Molecularly targeted therapies have now become the preferred initial therapy for NSCLC patients with tumors containing epidermal growth factor receptor ( EGFR ) mutations, as well as translocations of the anaplastic lymphoma kinase ( ALK ) gene and c-ros oncogene 1 ( ROS1 ) (2-4). These successes have driven the goal to further personalize treatment decisions in NSCLC. Trials such as the Biomarker-integrated Approaches of Targeted Therapy for Lung Cancer Elimination (BATTLE) evaluated the feasibility of repeat tumor biopsy at the time of disease progression in order to direct further treatment, based on tumor molecular profile (5). The BATTLE trial demonstrated an 8-week disease control rate (DCR) of 46%. Biomarker analysis showed a higher DCR in patients with EGFR wild type (WT) and KRAS mutated tumors, randomized to sorafenib (6).
Efficacy of the Marlatt cognitive-behavioral model on decreasing relapse and craving in women with methamphetamine dependence: A clinical trial

ABSTRACT Methamphetamine use is now a global concern, which warrants a thorough assessment of the effectiveness of its different treatment modalities. To evaluate the efficacy of the Marlatt cognitive-behavioral model on decreasing the rate of relapse and craving in women with methamphetamine dependence, we conducted the present quasi-experimental study with a pretest–posttest and control group design in which 80 women with methamphetamine dependence who referred to Farabi Hospital of Kermanshah were chosen through convenience sampling and randomly allocated to two groups of intervention and control. Before and after the intervention, the members of both groups completed the Craving Belief Questionnaire (by Clark and Beck) and the Desire for Drug Questionnaire (by Franklin et al.). The results showed that in the intervention group, the Marlatt cognitive-behavioral treatment led to decreased relapse and craving. Cognitive-behavioral therapy can, therefore, be a treatment option to diminish relapse and craving in individuals with methamphetamine dependence.
Q‐Factors in Empirical Asset Pricing: A Review and Synthesis

The latest development in the asset pricing literature is the emergence of empirical asset pricing models comprising q&#8208;factors (profitability and investment factors) in conjunction with other factors. However, as in the case of the older empirical models, there is scepticism regarding the application of these newer factor models consisting of q&#8208;factors because of the debate surrounding the explanatory power of these empirically inspired asset pricing models. This review attempts to synthesize studies pertaining to the four alternative explanations of the asset pricing models comprising the q&#8208;factors (profitability and investment) &#8211; the data snooping hypothesis, the risk&#8208;based explanation, the irrational investor behaviour explanation and the interpretation that suggest that the combination of the risk&#8208;free asset and the factors comprising the model span the mean&#8208;variance efficient tangency portfolio that prices the universe of assets.
New trends in legged robots teleoperation

This paper considers legged robot teleoperation using advanced supervisory tools. It is nowadays recognized that designing completely autonomous robots to act in unstructured or not well known environments is a utopic goal. The human operator must be kept in the control loop (supervision) during the exploratory or manipulation procedure. We propose to use virtual reality (VR) technology to enhance human-legged robot control. However, contrary to other robot (arm, gripper) teleoperation, the sensory data feedback are an interpretation of robot sensors information and an adequate sensory substitution. Preliminary results on true robot teleoperation is presented, results are discussed.
Correlates of Job Satisfaction among Health Care Professionals in Kuwait

Objectives: Job satisfaction of health care providers (physicians, nurses, pharmacists, and medical laboratory technologists) was analyzed in relation to specific background and work environment characteristics in a multicultural setting. Methods: A stratified random sample was used to collect the data from six general hospitals in Kuwait. Data were collected through a self-administered questionnaire distributed to 500 health care providers, of whom 370 (74%) responded. Results: In bivariate analysis, nationality, education, age, and total experience were found to be significant determinants of job satisfaction. However, in multivariate analysis, three work environment characteristics emerged as significant determinants of job satisfaction. The nationality of the supervisor and in-service training showed a positive relationship with job satisfaction while the existence of unhealthy competition decreased job satisfaction. Conclusions: In view of the findings, employee job satisfaction can be improved through control of unhealthy competition, provision of an orientation to the job, and provision of effective in-service training.
Prioritized text spotting using SLAM

We show how to exploit temporal and spatial coherence of image observations to achieve efficient and effective text detection and decoding for a sensor suite moving through an environment rich in text at a variety of scales and orientations with respect to the observer. We use simultaneous localization and mapping (SLAM) to isolate planar “tiles” representing scene surfaces and prioritize each tile according to its distance and obliquity with respect to the sensor, and how recently (if ever) and at what scale the tile has been inspected for text. We can also incorporate prior expectations about the spatial locus and scale at which text occurs in the world, for example more often on vertical surfaces than non-vertical surfaces, and more often at shoulder height than at knee height. Finally, we can use SLAM-produced information about scene surfaces (e.g. standoff, orientation) and egomotion (e.g. yaw rate) to focus the system’s text extraction efforts where they are likely to produce usable text rather than garbage. The technique enables text detection and decoding to run effectively at frame rate on the sensor’s full surround, even though the the CPU resources typically available on a mobile platform (robot, wearable or handheld device) are not sufficient to such methods on full images at sensor rates. Moreover, organizing detected text in a locally stable 3D frame enables combination of multiple noisy text observations into a single higher-confidence estimate of environmental text. Thesis Supervisor: Seth Teller Title: Professor of Computer Science and Engineering
Segmentation of Textured Image Based on Gauss-MRF in Overcomplete Brushlet Domain

The focus of this paper is the improvement of the quality of texture image segmentation. We proposed a new unsupervised segmentation method based on Overcomplete Brushlet transform and Gaussian Markov Random Field. A texture image was transformed to Overcomplete Brushlet domain, in order to extract its high dimensional singularity information. In view of the influences of the spectral information and the spatial correlations between pixels to the segmentation result, Markov Random Filed model is used in the process of both feature extraction and region segmentation: Gauss Markov model is used to evaluate the arguments of the feature field; the probability of the marker field is calculated through Gibbs distribution function based on the second order neighborhood system of MRF. MAP criterion is adopted to obtain segmentation results. We did a lot of contrast experiments, using this paper’s algorithm, Markov Random Field algorithm in wavelet domain and Markov Random Field algorithm in Brushlet domain. Those experiment results indicate that this paper’s algorithm is an effective segmentation algorithm for it can detect better texture direction information and keep better regional consistency than other two traditional algorithms. Keywordsimage segmentation; Overcomplete Brushlet transform; Gaussian Markov Random Field; Gibbs distribution; MAP criterion