Miracle-dz/UniFAR-FTUs huggingface dataset:
An overview: Towards ontology-driven software development

The Semantic Web and Software Engineering are two separate communities.Recent efforts in the context of Semantic Web vision have lead to a number of standards such as OWL and Web Services technologies.However, in the context of Software Engineering, most of software developers have little guidance on how to build a real-world Semantic Web application. In addition, most software developers are not aware of ontology concepts, which it is a backbone for the Semantic Web technologies. Therefore, recent research should be focused on creating a bridge between these two communities.This paper provides an overview on some backgrounds about ontology-driven software development particularly to review on recent efforts towards the development of real -world semantic web application. We outline a link between two separate communities by describing OMG’s efforts to bring MDA standard for ontology-driven software development. From the review, we agree that to give software developers a standard guidance on how to build real-world Semantic Web applications, the answer is OMG’s initiatives that lead to a standard in MDA- based where it can exploit current existing tools such as UML-based tool for developing ontology.Finally, we also try to point out some possible future works about the efforts.
A Comparison of Credit Risk Models Risk Theory

In this paper we present the most important models of credit risk. We begin by a description of classical structural models that make use of an analogy of option pricing models. Then we proceed by reduced-form (or, intensity) models, which are market-based and in general show better prediction possibilities. A very recent stream of reconciliation models that tries to incorporate both classical approaches is explained afterwards. Finally, we define and theoretically analyse a new, behavioral model of credit risk.
A VMM-Based System Call Interposition Framework for Program Monitoring

System call interposition is a powerful method for regulating and monitoring program behavior. A wide variety of security tools have been developed which use this technique. However, traditional system call interposition techniques are vulnerable to kernel attacks and have some limitations on effectiveness and transparency. In this paper, we propose a novel approach named VSyscall, which leverages virtualization technology to enable system call interposition outside the operating system. A system call correlating method is proposed to identify the coherent system calls belonging to the same process from the system call sequence. We have developed a prototype of VSyscall and implemented it in two mainstream virtual machine monitors, Qemu and KVM, respectively. We also evaluate the effectiveness and performance overhead of our approach by comprehensive experiments. The results show that VSyscall achieves effectiveness with a small overhead, and our experiments with six real-world applications indicate its practicality.
Reframing peer mentoring as a route for developing an educational community of practice

ABSTRACT The benefits of peer mentoring in school settings are well-documented, however, the focus has been on the perceptions of teachers, as opposed to teaching assistants, who report distinct beliefs about their professional development. A mixed methodology was used in which 304 primary school teaching assistants completed questionnaires regarding their views of their professional development while undertaking training on a mathematics intervention for underachieving pupils. Open-ended questions elicited the perceived benefits of the peer mentoring aspect of the training. We utilized Lave and Wenger’s (1991) community of practice framework to inform the qualitative analysis and the principles of grounded theory to arrive at three themes representing the perceived benefits: an opportunity to discuss and share experiences; increased confidence; and a safe space to test teaching plans and resources. Findings were used to reframe the benefits of peer mentoring for teaching assistants undertaking intervention training, which can inform further research and future training programs.
Difference in Yield and Physiological Features in Response to Drought and Salinity Combined Stress during Anthesis in Tibetan Wild and Cultivated Barleys

Soil salinity and drought are the two most common and frequently co-occurring abiotic stresses constraining crop growth and productivity. Greenhouse pot experiments were conducted to investigate the tolerance potential and mechanisms of Tibetan wild barley genotypes (XZ5, drought-tolerant; XZ16, salinity/aluminum tolerant) during anthesis compared with salinity-tolerant cv CM72 in response to separate and combined stresses (D+S) of drought (4% soil moisture, D) and salinity (S). Under salinity stress alone, plants had higher Na+ concentrations in leaves than in roots and stems. Importantly, XZ5 and XZ16 had substantially increased leaf K+ concentrations; XZ16 was more efficient in restricting Na+ loading in leaf and maintained a lower leaf Na+/K+ ratio. Moreover, a signiﬁcant decrease in cell membrane stability index (CMSI) and an increase in malondialdehyde (MDA) were accompanied by a dramatic decrease in total biomass under D+S treatment. We demonstrated that glycine-betaine and soluble sugars increased signiﬁcantly in XZ5 and XZ16 under all stress conditions, along with increases in protease activity and soluble protein contents. Significant increases were seen in reduced ascorbate (ASA) and reduced glutathione (GSH) contents, and in activities of H+K+-, Na+K+-, Ca++Mg++-, total- ATPase, and antioxidant enzymes under D+S treatment in XZ5 and XZ16 compared to CM72. Compared with control, all stress treatments significantly reduced grain yield and 1000-grain weight; however, XZ5 and XZ16 were less affected than CM72. Our results suggest that high tolerance to D+S stress in XZ5 and XZ16 is closely related to the lower Na+/K+ ratio, and enhanced glycine-betaine and soluble protein and sugar contents, improved protease, ATPase activities and antioxidative capacity for scavenging reactive oxygen species during anthesis. These results may provide novel insight into the potential responses associated with increasing D+S stress in wild barley genotypes.
TOWARDS FULLY AUTOMATIC GENERATION OF CITY MODELS

Once thought of being useful primarily for planning the location of telecommunication antennas, it has become clear in the meantime that three-dimensional city models are of importance in their own right. This paper presents some of our latest results on the reconstruction of building models from laser scanning DSM’s and digital ground plans. First, we show how buildings can be reconstructed from ground plans and generalize the standard straight skeleton algorithm. In a second step, we introduce the information which can be obtained from DSM segmentation in order to recover building structures which cannot be inferred directly from the ground plan. The work presented in this paper is actually part of our larger ATOP approach, a new framework for the fully automatic generation of city models.
Explaining Student Behavior at Scale: The Influence of Video Complexity on Student Dwelling Time

Understanding why and how students interact with educational videos is essential to further improve the quality of MOOCs. In this paper, we look at the complexity of videos to explain two related aspects of student behavior: the dwelling time (how much time students spend watching a video) and the dwelling rate (how much of the video they actually see). Building on a strong tradition of psycholinguistics, we formalize a definition for information complexity in videos. Furthermore, building on recent advancements in time-on-task measures we formalize dwelling time and dwelling rate based on click-stream trace data. The resulting computational model of video complexity explains 22.44% of the variance in the dwelling rate for students that finish watching a paragraph of a video. Video complexity and student dwelling show a polynomial relationship, where both low and high complexity increases dwelling. These results indicate why students spend more time watching (and possibly contemplating about) a video. Furthermore, they show that even fairly straightforward proxies of student behavior such as dwelling can already have multiple interpretations; illustrating the challenge of sense-making from learning analytics.
Solar Energy Block-Based Residential Construction for Rural Areas in the West of China

Based on the Great Western Development Strategy and the requirement for sustainable development in the west of China, rural affordable housing, energy conservation, and environmental protection are becoming development standards in the construction field. This paper mainly explores an innovative, sustainable, residential construction method for rural areas in western China, particularly the integration of solar energy technology with modern prefabricated building techniques, formally named solar energy block-based construction. The conscious approach of using volumetric blocks provides superior adaptability and expansibility in integration with a steel structure, thereby reducing the construction time and cost. Allowing a wide variety of configurations and styles in the building layout, this approach can be customized to the end-user’s precise location and climate, making rural residential buildings much more flexible and modern. To take advantage of adequate solar energy resource in western China, the blocks are associated with active and passive solar energy technologies, thereby reducing pollution, mitigating global warming, and enhancing sustainability. Therefore, we concluded that solar energy block-based construction could bring significant benefits to the environment, economy, and society. It could also promote sustainable development in the rural regions of western China.
Fuzzy Control of the Position Servo Motor Drives with Elasticity and Friction

for electric machine, servo drive, object positioning, intelligent control, two-mass load. Abstract— It is known that existing algorithms for control position of precision electric drive of systems with nonliarities: elasticity and friction do not provide damping of autooscillations at infralow tracking speed. Therefore control algorithms, which ensure smooth motion of the load at acceptable transient response has high priority. Mathematical modeling has shown that the use of Fuzzycontroller in position loop instead of the traditional PI-controller can significantly reduce tracking errors and eliminate system oscillation. The proposed technique can improve the accuracy and robustness of precision servo drives of tracking and positioning.
A Study on Security Threats and Dynamic Access Control Technology for BYOD, Smart-work Environment

collectively refers to the related technologies, concepts and policies, where employees do works by accessing corporate's internal IT resources, such as database and applications, using their personal mobile devices like smart phones, laptop computers and tablet PCs. As operational convenience has improved with the advent of a new IT environment, such as BYOD and smart-work, security threats are increasing at the same time. To deal with those threats, there are several security solutions such as NAC(Network Access Control) and MDM(Mobile Device Management) products. However, it is insufficient to resolve risk factors occurring in BYOD environment with them due to their limitations and users' psychological repulsion to the control of personal devices. Thus, it is necessary to establish a flexible security policy considering numerous and diverse types of terminals and various circumstances. In addition, security policy must be aimed at protecting corporate data by isolating users of abnormal behaviors as well as at ensuring utilization of various personal devices and work continuity. This paper studies on security issues possibly occurred in the new IT environments of BYOD and smart-work and describes problems which cannot be solved with the existing technologies and solutions. Finally, this paper proposes an integrated security system to resolve this new security threats. It shows that this system examines the context information conducting a dynamic access control based on it.
RLS Channel Estimation and Data Detection in Space-Time Coded MIMO-OFDM Systems

Multiple-input and multiple-out (MIMO) can increase the channel capacity. Orthogonal frequency division multiplexing (OFDM) can mitigate the effects of delay spread in the frequency selective-fading channels. And space-time coding techniques can improve the system performance. So the combination of MIMO, OFDM and space-time coding techniques (space-time coded MIMO-OFDM) is an attractive method for high-data-rate wireless applications. Moreover, accurate channel state information is essential to diversity combination, coherent detection and decoding in a space-time coded MIMO-OFDM system. Therefore, a method of RLS (recursive least squares) channel estimation and maximum likelihood (ML) data detection is proposed in this paper. The RLS filter is employed in proposed channel estimation method. Simulation results confirm that this proposed RLS channel estimation method has better performances than the LMS (least mean square) or LS (least square) channel estimation method at the cost of moderate computational complexity.
Random Forests-Based Confidence Annotation Using Novel Features from Confusion Network

In this paper, we propose a set of new features for confidence annotation, including three features derived from confusion network and one from statistical significance test. We also propose using random forests as confidence classifier. The new features are combined with a set of eight previously proposed confidence features, and the random forests is compared with decision tree and support vector machine. Experiments were conducted on telehealth captioning task with a vocabulary size of 46,489. Average confidence annotation accuracy of 84.69% was achieved on 5 doctors' test set. In addition, random forests was shown useful for feature importance ranking. The proposed features are shown important in confidence annotation and random forests achieved best results among the three classifiers
Monotremes and marsupials : Comparative models to better

Lactation is the signature characteristic of mammals wherein the mother nourishes the young by secreting a nutrient-rich milk from her mammary gland. Indeed, naming of the class Mammalia by Linnaeus in 1758 (Linnaeus 1758) emphasizes lactation as the dominant characteristic for the identification of mammals, despite the existence of other anatomical characteristics. This preference reflects the fundamental influence that lactation has during the early life on all mammals and there is ample evidence that lactation has developed as a very effective and adaptable means of postnatal nutrient provision among the vertebrates during the course of evolution (Blackburn 1993). Different reproductive strategies classify the mammals into three subclasses: the Monotremes, Marsupials and Eutherians. Monotremes and marsupials represent less than 10% of the total mammalian species, whereas the majority of mammals are grouped under the subclass Eutheria. Nevertheless, milk secretion is a common and complex process in all the mammals and it is now apparent that milk has roles that extend beyond the provision of nutrition to the suckling young. For example, milk may direct the development of organs such as the gut, can stimulate either the proliferation or apoptosis in the mammary gland and can deliver antimicrobials to protect the mammary gland and the young from infections (Berseth et al. 1983; Yamashiro et al. 1989; Wilde et al. 1999; Gallois et al. 2007). This concept can be better understood by reviewing the lactation processes in animals with extreme adaptations to reproduction. The different lactation strategies of monotremes and marsupials allow us to better unravel the role of milk proteins in the reproductive process (Brennan et al. 2007; Sharp et al. 2008; Menzies et al. 2009; Wang et al. 2011).
THE PHONOLOGICAL ANALYSIS OF A JAPANESE SINGER: THE CRITICISM OF USING SONGS IN ENGLISH TEACHING

This study deals with the phonological analysis of a Japanese singer in some English sounds in live performance music videos. It aims to analyse and describe the pronunciation process of Japanese singer in producing tense vowels, diphthongs, and liquids. It also criticizes the use of songs in English teaching based on the findings. The data are from live performance videos of Japanese singer. The researcher watched and listened to the videos. After that, the researcher listed the words in the lyrics of the songs containing tense vowels, diphthongs, and liquids. The words were transcribed into standard phonetic transcription. Then, the researcher transcribed the words into the phonetic transcription according to the pronunciation of the singer. After that, the data were classified into three parts which were the words containing tense vowels, diphthongs, and liquids. After the researcher analyzed the videos, the findings of this study showed that the Japanese singer as an EFL speaker had different pronunciation process in producing tense vowels, diphthongs, and liquids sound. The findings also gave the criticism on the use of songs in English teaching in a form of caution and contribution.DOI: https://doi.org/10.24071/ijhs.2018. 020108
How Can I Index My Thousands of Photos Effectively and Automatically? An Unsupervised Feature Selection Approach

Given a large photo collection without domain knowledge (e.g., tourism photos, conference photos, event photos, images wrapped from webpages), it is not easy for human beings to organize or only view them within a reasonable time. In this paper, we propose to automatically extract meaningful semantics from a photo collection named “dimensions” to help people view, search and organize photos conveniently and efficiently. However, due to the lack of additional domain knowledge or content information, existing image retrieval techniques are not applicable. To tackle the problem, we first propose a simple strategy to extract all meaningful semantics from original photos/images as candidate dimensions, and then propose an efficient unsupervised feature/dimension selection method to select a sufficient dimension subset to uniquely index each photo within this collection. Our experiments on several real-world photo/image collections validate both the efficiency and effectiveness of our proposed method.
Tiptoptalk!: A game to improve the perception and production of L2 sounds

Swain’s (1985) Comprehensible Output Hypothesis considers that input alone may not be enough for second/foreign language (L2) learners to acquire new language forms. The Hypothesis claims that producing an L2 will facilitate L2 learning due to the mental processes related with language production. Thus, learners will more likely notice discrepancies and gaps between linguistic aspects of their native language (L1) and those of their L2 when producing language than when only perceiving language. Taking Swain’s Hypothesis into account, in this talk we will present a Computer Assisted Pronunciation Training designed for non-native speakers of Chinese, English, German, Portuguese (Brazilian and European) and Spanish. The game makes use of automatic speech recognition (ASR) and text-to-speech systems available in Android smartphones and tablets to (i) present learners with the target sounds by means of synthesized stimuli; (ii) test learner’s discrimination of specific L2 sounds that are likely to cause intelligibility problems through exercises containing minimal pairs; and (ii) allow learners to record their speech and compare their production to that of the L2. The game provides users with immediate feedback in both perception and production exercises. In the latter exercises, when the recognizer is unable to identify an ideal or close-to-ideal response, the user can retry the answer up to five times. The main disadvantage of ASR pronunciation training is erroneous feedback, i.e., possibility of false alarms and false accepts (Neri et al., 2006). In order to encourage users’ engagement and desire to keep playing the game, each correct answer entitles users to collect points so as to reach a given game status. Moreover, different language-dependent leaderboards can be displayed at the end of each round. The advantages in using a gamification design strategy are (i) the increase of learners’ engagement, and (ii) the possibility of individualized and comprehensive feedback while keeping users active and comfortable to progress at their own pace in an anxiety-free context.
Outcomes of off- and on-hours admission in ST-segment elevation myocardial infarction patients undergoing primary percutaneous coronary intervention

AbstractStudies evaluating the outcomes of patients with ST-segment elevation myocardial infarction (STEMI) undergoing primary percutaneous coronary intervention (PCI) are scarce, particularly in China. The purpose of present study was therefore to compare the impact of off-hours and on-hours admission on clinical outcomes in STEMI patients from China.We retrospectively analyzed 1594 patients from 4 hospitals. Of these, 903 patients (56.65%) were admitted during off-hours (weekdays from 18:00 to 08:00, weekends and holidays) and 691 (43.35%) were during on-hours (weekdays from 08:00 to 18:00). Patients admitted during off-hours had higher thrombolysis in myocardial infarction risk score (4.67 ± 2.27 vs 4.39 ± 2.10, P = 0.012) and longer door-to-balloon time (72 [50–96] vs 64 [42–92] minutes, P < 0.001) than those admitted during on-hours. Off-hours admission had no association with in-hospital (unadjusted odds ratio 2.069, 95% confidence interval [CI] 0.956–4.480, P = 0.060) and long-term mortality (unadjusted hazards ratio [HR] 1.469, 95%CI 0.993–2.173, P = 0.054), even after adjustment for confounders. However, long-term outcomes, the composite of deaths and other adverse events, differed between groups with an unadjusted HR of 1.327 (95%CI, 1.102–1.599, P = 0.003), which remained significant in regression models. In a subgroup analysis, off-hours admission was associated with higher long-term mortality in the high-risk subgroup (unadjusted HR 1.965, 95%CI 1.103–3.512, P = 0.042), but not in low- and moderate-risk subgroups.This study showed no association between off-hours admission and in-hospital and long-term mortality. Stratified analysis indicated that off-hours admission was significantly associated with long-term mortality in the high-risk subgroup.
Quantification of the Different Security Algorithms in Wireless Network

Summary This paper studies and measures the effect of different security algorithms on the performance of a wireless LAN. Real experiments were performed on a wireless LAN and the data obtained was analyzed for throughput, jitter and delay under different security scenarios. Both TCP and UDP traffic streams were analyzed at three different data rates. The effect of congestion is also measured. The results tell that no important degradation in performance occurs by enabling security algorithms in a wireless LAN. In low bit rate, it shows there is no important degradation, but in case of high rate more than channel rate, it shows there is influence.