Miracle-dz/UniFAR-FTUs huggingface dataset:
Towards a Clean Architecture for Android Apps using Model Transformations

—In the last years, mobile applications have gained a lot of importance in the software industry, since every day more people become users of mobile devices and companies create a lot of mobile applications to keep competitive in the market. Then, it has become necessary to adopt new strategies that help the industry produce applications that can be extensible, scalable, testable, and deployable effectively and efﬁciently. Based on this, several architectural approaches have been proposed to provide the required features in mobiles applications. In the paper, we propose an approach that uses concepts of model-driven engineering and model-driven architecture to build a model to text transformation that allows generating Android applications using Clean Architecture.
Petri-Nets@Run.Time: Handling Uncertainty during Run-Time Adaptation using Digital Twins

In this paper we study systems containing uncertainty about quantitative aspects, like delays etc. System design for such systems faces the problem that usually the system’s initial configuration is chosen in a sub-optimal way due to these uncertainties. An adaptive system will adjust its configuration whenever it obtains new knowledge about the uncertain aspects. In our setting we like to derive the optimal configuration from the system’s model. Therefore our models have to include a description of the uncertainties as well. To handle the change of knowledge at run-time, we integrate the model into the run-time system: models@run.time Adaptation of the configuration often requires to evaluate different variations of the model, which arise from the uncertainties. To evaluate the impact of different configurations, we simulate a digital twin of the system. Therefore, we need a formalism that allows for an easy simulation of models. To simplify the approach, we would like to use the same formalism for the simulator and the system model, i.e. we use a formalism that is able to execute itself as a sub-system. As our system model is based on Petri nets we use the reflexive approach of Hornets, which follow the Nets-within-Nets principle. In this paper, we will specify a Hornet model to handle digital twins during the planning phase of the well-known MAPE-loop (monitor-analyse-plan-execute). A simple scenario based on stochastic workflow Petri nets will serve as a proof-of-concept.
GCS: A Quick and Dirty Guideline Compliance Scale

Expert-based usability evaluation methods offer valuable alternatives to traditional user testing in Human-Machine Interaction (HMI) development. While general measures of usability for user-based empirical studies are well-known throughout the community of researchers, expert-based approaches often lack such general measures of usability. This research introduces the Guideline Compliance Scale (GCS), a measure that can be applied during guideline reviews to assess the overall level of usability. Several guidelines relevant for the system being evaluated are rated by the evaluators according to their compliance. In the case study for our research, an automotive user interface was empirically evaluated in a user study as well as a guideline review with experts. The usability problem lists, which form part of the output, were made comparable by classification using the Usability Problem Classifier (UPC). An in-depth analysis revealed differences and similarities in the problem identification of both applied methods. Comparing the results of the GCS from the guideline review with the results of the System Usability Scale (SUS) from the user study, regarding the overall level of usability, showed similar results for both scales.
Numerical validation of the two-scale actuator disc theory for marine turbine arrays

The challenge in the hydrodynamic modelling of tidal and marine turbine farms is to take into account the interaction of flow events across a wide range of scales, such as the blade scale, turbine scale, array scale and regional scale. Whilst the interaction of the blade and turbine scales can be studied using the classical Blade-Element-Momentum (BEM) theory, no basic theory was available until recently to describe the interaction of the turbine and larger scales. The two-scale actuator disc theory (ADT), first proposed in 2012 by Nishino and Willden, explains the interaction of the turbine and array scales at a fundamental level; however, its validity or applicability to real problems has only partially been confirmed. Hence in this study we perform 3D RANS simulations of single and double rows of porous discs (8 discs for each row) in the middle of a shallow open channel with a vertically sheared flow. The simulation results are shown to agree qualitatively with the two-scale ADT and importantly, the optimal intra-disc spacing predicted by the simulations (to maximise the total power) agrees well with the theory, for both singleand double-row cases. Keywords—Tidal stream energy, Ocean current energy, Multiscale modelling, Hydrodynamics, Optimal turbine array
Inhomogeneity and Lagrangian unsteadiness in turbulent thermal convection

We present an experimental study of non-homogeneous turbulence using a Rayleigh-Benard convection cell. The fluid motion is forced by a temperature difference between two horizontal plates. Using Lagrangian tracking on a large volume we can capture part of the Large Scale Circulation. The velocity statistics are strongly affected by the inhomogeneous mean flow but we recover the typical Homogeneous Isotropic Turbulence statistics by removing the local average. We discuss and explain a Lagrangian unsteadiness which persists because of the Large Scale Circulation oscillations. Our Lagrangian approach is a new way to study specificities of the convective roll motions in turbulent thermal convection. We propose a model based on the convolution between the Large Scale Circulation oscillations and the turbulent fluctuations to explain the shape of the velocity PDFs. However, the acceleration statistics are not affected by the mean flow.
RESEARCH INTO HOOVER ’ S THREE DOMAINS OF EXPERIENTIAL LEARNING: THE IMPACT OF BUSINESS SIMULATION GAMING

At the inaugural ABSEL meeting, Hoover (1974) presented a definition of Experiential Learning which has set the tone for ABSEL research ever since. Hoover conceptualized that experiential learning involved a continuum of three domains which were: cognitive, behavioral, and affective. A research review of empirical studies by two marketing educators to assess the level of impact that business simulation gaming as an instructional methodology has on the three domains of experiential learning was undertaken. The findings from the review uncovered evidence in support of an experiential learning impact from business simulation gaming as being: weak for the cognitive domain, medium for the behavioral domain, and strong for the affective domain. The conclusion drawn from this research review was that business simulation gaming has a presence in all three of Hoover ’ s domains of experiential learning and is thus an effective instructional methodology.
Impact of Urban Ecology and Related Stresses on Photosynthetic Activities of Plants

Urban plants have an important role in the maintenance and sustainability of urban ecosystem. They provide CO 2 sequestration, air pollution reduction, cooling effect through shading and evapotranspiration, prevention of water runoff and soil erosion, and aesthetic values. Urban plants are ex - posed to various abiotic stresses such as drought, flooding, low/high temperature/light, dust, salinity, heavy metal tox - icity, nutritional deficiency, pollution, proximity to concrete/ metal structures, vandalism and root obstructions with underground structures. Plant’s development, growth and yield are severely affected due to these stresses. This review explores mechanistic and molecular aspects (especially photosynthesis) of environmental perturbations i
HIV-1 Protease-Substrate Coevolution in Nelﬁnavir Resistance

Resistance to various human immunodeﬁciency virus type 1 (HIV-1) protease inhibitors (PIs) challenges the effectiveness of therapies in treating HIV-1-infected individuals and AIDS patients. The virus accumulates mutations within the protease (PR) that render the PIs less potent. Occasionally, Gag sequences also coevolve with mutations at PR cleavage sites contributing to drug resistance. In this study, we investigated the structural basis of coevolution of the p1-p6 cleavage site with the nelﬁnavir (NFV) resistance D30N/N88D protease mutations by determining crystal structures of wild-type and NFV-resistant HIV-1 protease in complex with p1-p6 substrate peptide variants with L449F and/or S451N. Alterations of residue 30’s interaction with the substrate are compensated by the coevolving L449F and S451N cleavage site mutations. This interdependency in the PR–p1-p6 interactions enhances intermolecular contacts and reinforces the overall ﬁt of the substrate within the substrate envelope, likely enabling coevolution to sustain substrate recognition and cleavage in the presence of PR resistance mutations.
Safety of Suction in Management of Pneumothorax-A Review of the Literature, Evidence and Physiological Basis for Negative Pressure Suction

A pneumothorax is a collection of air in the space out ‐ side the lungs that is trapped within the thorax. Drainage of this air can be achieved with the insertion of an intercostal catheter or chest tube. Resolution of a pneumothorax may be aided by the use of negative pressure suction applied to an underwater seal drain. This method has long been regarded with caution due to several perceived adverse consequences such as re-expansion pulmonary oedema or tissue damage. This article aims to review the literature that such caution is based on and assess its validity, as well as provide reassurance about the safety of negative pressure suction when managing a pleural space.
The Relevance of Market Correlation for the Portfolio Selection – An Individual Investor Long Term Perspective

: This paper applies BEKK-type model to explain the interdependence between markets that might be relevant to a Polish individual saving for retirement. The investor is assumed to look for cross-country and cross-asset diversification of the long-term investment yielding the optimal portfolio, with performance assessed using local currency returns. Monte Carlo simulation methodology was used to better capture the market dynamics, especially with respect to market interdependence assumptions. The high level findings of the optimal portfolio composition reconfirm that even a local currency investor, looking at local currency returns, can benefit from broadening of the investment spectrum, at the same time however providing supportive arguments for a strong bias towards local currency government bonds. The results question relatively high proportion of eq-uity component offered as default by majority savings providers or mutual funds. This encourages reflection on the society-wide consequences of following predefined structures, frequently supported by policy reforms, which may lead to excessive shift of business risks onto the households. These results prove robust when using various measures of market interdependence as well as when capturing the recent COVID related market turmoil.
The Influence of Leadership, Competence and Job Satisfaction on the Performance of Nagari Employees in Sintoga Sub-District

: This study aims to analyze the influence of leadership, competence, and job satisfaction on the performance of Nagari employees in the Sintoga sub-district. The population of this study was Nagari employees in Sintoga sub-district. The population of this study was Nagari employees in Sintoga sub-district, with a total sample of 147 respondents. The analysis technique used in this research is the Multiple Linear Regression analysis.
The Novodiag

– Objectives : We provide the ﬁ rst evaluation of the CE-IVD marked Novodiag (cid:1) stool parasites assay (NVD), allowing rapid and high-plex detection of 26 distinct targets, encompassing protozoans, helminths and micro-sporidia in stool samples. Methods : A total of 254 samples ( n = 205 patients) were prospectively processed by the NVD and our routine procedure (RP). Performances of the NVD were compared with RP. Samples only positive by the NVD assay were investigated by external PCR assays. Sensitivity and speci ﬁ city (Se/Sp) and time from sample receipt to results were determined for each method. The NVD was also evaluated against 77 additional samples positive for a wide range of parasites. Results : Overall positivity rate was 16.9% for RP compared with 34% using the NVD assay, and 164 samples (66%) were negative by both methods. Only 30 positive samples (12%) showed full concordance between RP and NVD. Fifty-three discordant samples were sent for external investigations. Except for Giardia intestinalis and Trichuris spp. , higher Se was observed for the NVD assay for Blastocystis spp. (100% vs. 63%), Dientamoeba fragilis (100% vs. 0%), Schistosoma spp. (100% vs. 17%), and Enterobius vermicularis (100% vs. 67%) but roughly similar to RP for the remaining parasites tested. False-positive results were identi ﬁ ed for Blastocystis spp. , G. intestinalis , and Trichuris spp. using the NVD assay. The NVD mostly provides a diagnosis on the day of sample receipt compared with a mean of three days with RP. Conclusions : Besides some limitations, the NVD is a new diagnostic strategy allowing rapid and high-plex detection of gastrointestinal parasites from unpreserved stools.
Generalized Wiener expansions for individual based control: theory and applications

This thesis deals with two problems arising in the application of polynomial chaos (PC) in dynamical systems with parametric uncertainty. In the first part, an algorithm for the parametrization of a random variable in terms of a polynomial basis from given observations is presented. PC expansions do not preserve positivity in general, although this property is central for problems in mathematical biology. A solution to this problem is proposed in the second part based on the construction of positive summability kernels.
Maturation of the Central Auditory Nervous System in Children with Auditory Processing Disorder

Neurodevelopmental delay has been proposed as the underlying cause of the majority of cases of auditory processing disorder (APD). The current study employs the cortical auditory evoked potential (CAEP) to assess if maturational differences of the central auditory nervous system (CANS) can be identiﬁed between children who do and do not meet the diagnostic criterion for APD. The P1-N1 complex of the CAEP has previously been used for tracking development of the CANS in children with hearing impairment. Twenty-seven children (7 to 12 years old) who failed an APD behavioral test battery were age-matched (within 3 months) to children who had passed the same battery. CAEP responses to 500-Hz tone burst stimuli were recorded and analyzed for latency and amplitude measures. The P1-N1 complex of the CAEP, which has previously been used for tracking development of the CANS in children with hearing impairment, showed signiﬁcant group differences. The children diagnosed with APD showed signiﬁ-cantly increased latency ( (cid:1) 10 milliseconds) and signiﬁcantly reduced amplitude ( (cid:1) 10 m V) of the early components of the CAEP compared with children with normal auditory processing. No signiﬁcant differences were seen in the later P2 wave. The normal developmental course is for a decrease in latency and increase in amplitude as a function of age. The results of this study are, therefore, consistent with an immaturity of the CANS as an underlying cause of APD in children.
Multidecadal Modulation of ENSO Teleconnection with Europe in Late Winter: Analysis of CMIP5 Models

Many studies point to a robust ENSO signature on the North Atlantic–European (NAE) sector associated with a downstream effect of Rossby wave trains. Some of these works also address a nonstationary behavior oftheaforementionedlink,butonlyfewhaveexploredthepossiblemodulatingfactors.Inthisstudytheinternalcauseswithintheocean–atmospherecoupledsysteminﬂuencingthetroposphericENSO–Euro-Mediterranean rainfall teleconnection have been analyzed. To this aim, unforced long-term preindustrial control simulations from 18 different CMIP5 models have been used. A nonstationary impact of ENSO on Euro-Mediterranean rainfall, being spatially consistent with the observational one, is found. This variable feature is explained by a changing ENSO-related Rossbywavepropagation fromthe tropical Paciﬁctothe NAE sector, which, inturn,is modulated by multidecadal variability of the climatological jet streams associated with the underlying sea surface temperature (SST). The results, therefore, indicate a modulation of the ENSO–Euro-Mediterranean rainfall teleconnection by the internal (and multidecadal) variability of the ocean–atmosphere coupled system.
Inégalités isopérimétriques et intégrales de Dirichlet gaussiennes

© Gauthier-Villars (Éditions scientifiques et médicales Elsevier), 1984, tous droits réservés. L’accès aux archives de la revue « Annales scientifiques de l’É. N.S. » (http://www. elsevier.com/locate/ansens) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Convenience Rating of Post-disaster Recovery Housing Complexes Constructed in Fukushima Prefecture Following the 2011 Tohoku Earthquake

—This study evaluated the convenience of post-disaster recovery housing complexes constructed in Japan’s Fukushima Prefecture following the 2011 Tohoku Earthquake. We assumed that the convenience of daily facilities was very important especially for elder evacuees. Because the elder people often access them on foot. The study targeted three municipalities in the coastal area of Fukushima Prefecture that were most heavily struck by the earthquake-triggered tsunami: Soma, Minamisoma, and Iwaki. Using geographical information system software, we conducted a network analysis of the coordinate data on the locations of crucial infrastructure. Housing complexes within the deﬁned service area of each infrastructure facility were assigned a score of 10, while those within two and three times the deﬁned service area were assigned scores of 5.0 and 3.3, respectively. These scores were used to rate the convenience of each housing complex. In Minamisoma City, the post-disaster recovery housing complexes were found to offer better access to key infrastructure than ordinary housing complexes. In Soma City, however, the post-disaster recovery housing complexes had poorer access to key infrastructure than the ordinary complexes. And in Iwaki City, the two types had comparable access.
Interpreting Texts in Natural Scene Images

—Scene texts in natural images are important as they contain information that helps us understand the scenes. Mobile scene text detection applications have become popular in recent years due to their increasing fast performance and low price availability. Therefore, the 'Let Me Read for You' mobile solution is proposed to interpret scene texts of different orientations in natural scene images. Much research has been focused on automatic scene texts recognition. However, scene text orientations, image resolutions, various font sizes and more affect the accuracy of scene text recognition. Scene texts are commonly presented in many orientations, such as horizontal, arbitrary, curved and vertical. Research has recently focused on recognizing horizontal, arbitrary and curved scene texts but neglected the importance of recognizing vertically oriented scene texts (VOS). VOS can be differentiated into three types which are top-to-bottom (T2B) vertical scene texts, bottom-to-top (B2T) vertical scene texts and vertically stacked (VSt) vertical scene texts. Thus, 'Let Me Read for You' can detect and recognize types of VOS to access information from users' surroundings. A dataset, namely Vertically Oriented Scene Texts Dataset (VOD), consists of VOS images and is introduced for evaluation. The performance of 'Let Me Read for You' shows 86% accuracy in recognizing types of VOS, including T2B vertical texts, B2T vertical texts and VSt vertical texts, when evaluated with the VOD dataset.
Bayesian Multilevel Modeling and Its Application in Comparative Journalism Studies

Comparative approaches are frequently used in communication research, especially journalism studies. The purpose of this article is to argue that Bayesian multilevel regression is the most justifiable option for analyzing comparative data. We argue that it is the only approach that can simultaneously account for the non-atomicity (nested nature) and non-stochasticity (nonrandom sampling) of comparative data. Using the openly available Worlds of Journalism Study and useNews data sets, we demonstrate how to apply the Bayesian approach for the analysis of comparative data. We address the common challenges when using the Bayesian approach and highlight the advantages of posterior predictive checks for modeling checking.
Unconscious Perception and Unconscious Bias

Two parallel debates about unconscious mental content serve as fruitful domains in which to study the relationship between philosophy and em pir ic al science. The first debate, about unconscious perception, highlights conceptual confusion regarding its two central notions of consciousness and perception. Progress in understanding the nature of unconscious perception is due to a mutual exchange between philosophers and psychologists working in tandem to clarify concepts, test those concepts using empirical methods, and use the combined conceptualempirical methods to make progress on a general theory of unconscious content. A second debate, emerging more recently, concerns the existence of unconscious social bias. Though still in early stages, comparatively less attention has been paid to the possible exchange between philosophy and social psychology. But, as I’ll argue, here too empirical science and philosophy have much to gain from one another. In this chapter, I zoom in on these two contemporary debates concerning unconscious content in order to illustrate the benefits of exchange between philosophy and empirical science. I begin, in section 2, with some conceptual groundwork, introducing two philosophical marks of the mental that will be central to each debate to follow— consciousness and representational content— and associated problems that accompany empirical study of both. Then, in section 3, I investigate the debate around unconscious perception, demonstrating how it has clarified the conceptual problems facing any debate about unconscious content and how it has attempted to overcome these problems. In section 4, I investigate the debate of unconscious social
Effect of Group Reminiscence Therapy on the Loneliness, Depression and Life Satisfaction of the Elderly in the Nursing Homes

Objective: The study aimed to examine the effect of group reminiscence therapy among elderly people who living nursing homes. Methods: This randomized controlled trial was performed in two nursing homes in Turkey. A total of 76 elderly recruited the intervention group (n= 37) and the control group (n=39). The intervention group received reminiscence therapy in the form of group sessions lasting 30-45 minutes once a week for six weeks. The control group had no application. Data were collected using a socio-demographic form, the Loneliness Scale, Beck Depression Scale, and Life Satisfaction Scale. Results: After reminiscence therapy, Beck Depression Scale and Life Satisfaction Scale mean scores increased in elderly in the intervention group (p<0.05), but there were no significant differences for the UCLA Loneliness Scale mean scores (p>0.05). Conclusion: At the end of the study, reminiscence therapy was found to be a useful method for reducing depression and increasing life satisfaction in elderly.