Miracle-dz/UniFAR-FTUs huggingface dataset:
Contribution of mixing to the upward transport across the TTL

During the second part of the TROCCINOX campaign that took place in Brazil in early 2005, chemical species were measured on-board of the high altitude research aircraft Geophysica (ozone, water vapor, NO, NOy, CH4 and CO) in the altitude range up to 20 km (or up to 450 K potential temperature), i.e. spanning the TTL region roughly extending between 350 and 420 K. Analysis of transport across TTL is performed using a new version of the Chemical Lagrangian Model of the Stratosphere (CLaMS). In this new version, the stratospheric model has been extended to the earth surface. Above the tropopause, the isentropic and cross-isentropic advection in CLaMS is driven by ECMWF winds and heating/cooling rates derived from a radiation calculation. Below the tropopause the model smoothly transforms from the isentropic to hybrid-pressure coordinate and, in this way, takes into account the effect of large-scale convective transport as implemented in the ECMWF vertical wind. As with other CLaMS simulations, the irreversible transport, i.e. mixing, is controlled by the local horizontal strain and vertical shear rates. Stratospheric and tropospheric signatures in the TTL can be seen both in the observation and in the model. The composition of air above ≈350 K is mainly controlled by mixing on a time scale of weeks or even months. Based on CLaMS transport studies where mixing can be completely switched off, we deduce that vertical mixing, mainly driven by the vertical shear in the outflow regions of the large-scale convection and in the vicinity of the subtropical jets, is necessary to understand the upward transport of the tropospheric air from the main convective outflow around 350 K up to the tropical tropopause around 380 K. This mechanism is most effective if the outflow of the mesoscale convective systems interacts with the subtropical jets.
Verification of reaction wheel functional model in HIL test-bed

Reaction Wheel (RW) is the most popular actuator in the Attitude Control System (ACS) of satellites which has a significant role in performing satellite missions. Reaction wheel supplies the torque and the momentum that is required for satellite attitude control. The RW model which is used in the ACS simulations and FDI algorithms should be an accurate model. On the other hand, each physical module has a special role in the reaction wheel modeling. In this regard, based on elements in the internal structure of this actuator, a precise model of RW is presented. Furthermore, the proposed model of RW is more general and can be used in other types of RW. Moreover, in this paper proposed a new model of the reaction wheel for ACS simulation. The proposed model of RW is validated by a Real-Time HIL test bed in the form of set point commands and profile command.
Reducing Text Complexity through Automatic Lexical Simplification: an Empirical Study for Spanish

In this paper we present the result of a study directed towards developing a lexical simplification module of an automatic simplification system for Spanish, intended for readers with cognitive disabilities. We here observe the word length and frequency distribution of two sets of texts that make up our parallel corpus, and we focus on cases of information expansion (through the insertion of definitions)and content reduction (through summarisation). Our ultimate goal is computational implementation of lexical changes in the future.
Avoiding deadlocks of mobile robots in narrow passages of environments populated with moving obstacles

This paper presents a strategy for deadlock avoidance of mobile robots in narrow passages of environments populated with other moving objects. The proposed strategy detects deadlocks in narrow passages only by robot's perceptive sensors, i.e., no other communication means with moving objects is assumed. The strategy is based on the random multi-access algorithm for the network congestion avoidance. The strategy is implemented within our existing motion planning and control system for mobile robots and thoroughly tested by simulation and experimentally on the Pioneer 3DX mobile robot equipped with SICK LMS-200 laser range finder. The test results illustrate the appropriateness of the proposed strategy for resolving deadlocks in narrow passages.
Methods for selecting and improving software clustering algorithms

Several software clustering algorithms have been proposed in the literature, each with its own strengths and weaknesses. Most of these algorithms have been applied to particular software systems with considerable success. However, the question of how to select a software clustering algorithm that is best suited for a specific software system remains unanswered. In this paper, we introduce a method for the selection of a software clustering algorithm for specific needs. The proposed method is based on a newly introduced formal description template for software clustering algorithms. Using the same template, we also introduce a method for software clustering algorithm improvement.
The Schroeder Frequency of Furnished and Unfurnished Spaces

This paper considers the situation in which an empty room is furnished. Hence, the Schroeder frequency of an empty room is compared with the Schroeder frequency of the same room when it is furnished. It is concluded that the Schroeder frequency of empty spaces is more accurate compared with the Schroeder frequency of furnished spaces.
Concurrent dynamic logic

In this paper concurrent dynamic logic (CDL) is introduced as an extension of dynamic logic tailored toward handling concurrent programs. Properties of CDL are discussed, both on the propositional and first-order level, and the extension is shown to possess most of the desirable properties of DL. Its relationships with the μ-calculus, game logic, DL with recursive procedures, and PTIME are further explored, revealing natural connections between concurrency, recursion, and alternation.
Evolutionary Dynamics of Microsatellite Distribution in Plants: Insight from the Comparison of Sequenced Brassica, Arabidopsis and Other Angiosperm Species

Despite their ubiquity and functional importance, microsatellites have been largely ignored in comparative genomics, mostly due to the lack of genomic information. In the current study, microsatellite distribution was characterized and compared in the whole genomes and both the coding and non-coding DNA sequences of the sequenced Brassica, Arabidopsis and other angiosperm species to investigate their evolutionary dynamics in plants. The variation in the microsatellite frequencies of these angiosperm species was much smaller than those for their microsatellite numbers and genome sizes, suggesting that microsatellite frequency may be relatively stable in plants. The microsatellite frequencies of these angiosperm species were significantly negatively correlated with both their genome sizes and transposable elements contents. The pattern of microsatellite distribution may differ according to the different genomic regions (such as coding and non-coding sequences). The observed differences in many important microsatellite characteristics (especially the distribution with respect to motif length, type and repeat number) of these angiosperm species were generally accordant with their phylogenetic distance, which suggested that the evolutionary dynamics of microsatellite distribution may be generally consistent with plant divergence/evolution. Importantly, by comparing these microsatellite characteristics (especially the distribution with respect to motif type) the angiosperm species (aside from a few species) all clustered into two obviously different groups that were largely represented by monocots and dicots, suggesting a complex and generally dichotomous evolutionary pattern of microsatellite distribution in angiosperms. Polyploidy may lead to a slight increase in microsatellite frequency in the coding sequences and a significant decrease in microsatellite frequency in the whole genome/non-coding sequences, but have little effect on the microsatellite distribution with respect to motif length, type and repeat number. Interestingly, several microsatellite characteristics seemed to be constant in plant evolution, which can be well explained by the general biological rules.
Examining Relationships Between Basic Emotion Perception and Musical Training in the Prosodic, Facial, and Lexical Channels of Communication and in Music

EXAMINING RELATIONSHIPS BETWEEN BASIC EMOTION PERCEPTION AND MUSICAL TRAINING IN THE PROSODIC, FACIAL, AND LEXICAL CHANNELS OF COMMUNICATION AND IN MUSIC By Jamie T. Twaite Dissertation chairperson: Joan C. Borod, Ph.D. Research has suggested that intensive musical training may result in transfer effects from musical to non-musical domains. There is considerable research on perceptual and cognitive transfer effects associated with music, but, comparatively, fewer studies examined relationships between musical training and emotion processing. Preliminary findings, though equivocal, suggested that musical training is associated with enhanced perception of emotional prosody, consistent with a growing body of research demonstrating relationships between music and speech. In addition, few studies directly examined the relationship between musical training and the perception of emotions expressed in music, and no studies directly evaluated this relationship in the facial and lexical channels of emotion communication. In an effort to expand on prior findings, the current study characterized emotion perception differences between musicians and non-musicians in the prosodic, lexical, and facial channels of communication and in music. A total of 119 healthy adults (18-40 years old) completed the study. Fifty-eight were musicians and 61 were controls. Participants were screened for neurological and psychiatric illness. They completed emotion perception tasks from the New York Emotion Battery (Borod, MUSICAL TRAINING AND EMOTION PERCEPTION!
The Early Angular Momentum History of Low-Mass Stars: Evidence for a Regulation Mechanism

We examine the early angular momentum history of stars in young clusters via 197 photometric periods in fields flanking the Orion Nebula cluster (ONC), 81 photometric periods in NGC 2264, and 202 measurements of v sin i in the ONC itself. We show that pre–main-sequence stars spanning an age range from 0.1 to 3 Myr do not appear to conserve stellar angular momentum as they evolve down their convective tracks, but instead preserve the same range of periods even though they have contracted by about a factor of 3. This result seems to require a mechanism that regulates the angular velocities of young stars. We discuss several candidate mechanisms. The most plausible appears to be disk locking, though most of our stars do not have IC-Ks excesses suggestive of disks. However, a decisive test of this hypothesis requires a more sensitive diagnostic than the IC-Ks excesses used here.
Pedestrian detection in traffic scenes using multi-attitude classifiers

We propose a novel algorithm that detects pedestrians based on their body appearance. As a pedestrian has a high variance in shape we create a star based classification scheme that contains a cascaded root classifier (trained on multiple attitudes) and four classifiers trained on specific pedestrian attitudes (rear, front, lateral left and lateral right). We use Histogram of Oriented Gradient features and Local Binary Patterns that are extracted on parts positioned along different regions of the pedestrian model. The parts are composed of several blocks that are chosen such that a homogeneity function of edge variation is minimized. The block based approach is useful for capturing the variations in shape and position of pedestrian body parts. The novelty of our method resides in the combination of multi-attitude classification model with the usage of block-based feature extraction.
Computer Aided Dynamic Simulation of Six- Legged Robot

In this study, kinematics and dynamic simulation of a six-legged robot is performed based on virtual prototyping technology. Modeling and simulation of six- legged robot with three joint legs are carried out with CATIA solid modeler, SimDesigner and ADAMS multi- body dynamic solver. Tripod periodic gait pattern was generated varying the cycle time as well as stroke of the swing of the legs. Variation of joint torques and aggregate center of mass of the robot during periodic gait were analysed. The simulation result provides theoretical basis for developing algorithm for robot motion control.
A New Framework for High Performance Processing of Voluminous Multisource Datasets

In this paper we present a new framework to process high-volumes of data generated from heterogeneous sources with different formats (text, image’s features …etc.). The framework consists of three phases. The first phase selects appropriate data reduction technique that closely preserves all of the relevant information in the original data set. The second phase determines the suitable algorithm to apply the selected data reduction technique. The third phase integrates the reduced datasets and makes it ready to fit into different models (Visualization, Reports, Decision making, and predictions). This framework is ideal for knowledge management of data-intensive applications.
Imbalanced Classification Algorithm in Botnet Detection

An Imbalanced Classification anomaly detection algorithm called “I-SVDD” for detecting Botnet was put forward in this paper. The algorithm combines the One-Class classification with the known Intrusion behaviors. This algorithm has proven effective in reducing the number of botnet clients. The true positives reaches nearly 100% and False Positive reaches 0% respectively. Hence, adjusting some parameters can make the false positive rate better. So using Imbalanced Classification method in Anomaly detection may be a future orientation in Pervasive computing area.
THINKING WITH SKETCHES

DESIGNERS sketch. One reason they sketch is that they design things that can be seen. A sketch can resemble what the designer wants to create. Unlike the contents of the imagination, a sketch can be seen. Thus, sketches serve to amplify a designer’s imagination and relieve limited-capacity working memory. Sketches map on paper things that exist in the world or the imagination and the relations among them, spatial or abstract, to elements and relations on paper: a natural mapping. They can be used to convey concepts that are literally spatial, such as objects, buildings, and environments, as well as concepts that are metaphorically spatial, such as information systems, organization charts, and family trees. Models can convey objects and spaces as well, perhaps more so than sketches, since models are three-dimensional. Both have a place in design. Early in the design process, sketches have advantages over models, especially when the designer is considering many alternatives, which may be vague or partial. Sketches are just that, sketchy; for example, they can represent incomplete objects as blobs, or incomplete connections as wavy lines, so that a designer can consider general configurations before committing to particular connections and specific shapes. Models demand completeness.
Joint Conference on Neural Networks , Orlando , Florida , USA , August 12-17 , 2007 BeSOM : Bernoulli on Self-Organizing Map

This paper introduces a probabilistic selforganizing map for clustering, analysis and visualization of multivariate binary data. We propose a probabilistic formalism dedicated to binary data in which cells are represented by a Bernoulli distribution. Each cell is characterized by a prototype with the same binary coding as used in the data space and the probability of being different from this prototype. The learning algorithm, BeSOM, that we propose is an application of the EM standard algorithm. We illustrate the power of this method with two data sets taken from a public data set repository: a handwritten digit data set and a zoo data set. The results show a good quality of the topological ordering and homogenous clustering.
Fuzzy adaptive control method with biological character

Aiming at a type of complex nonlinear dynamic systems, a T-S fuzzy control system based on niche model is proposed in this paper. The ecological environment actually occupied by the organism, and the organism's ability to exploit and use it, is regarded as a unit of a dissipative structure-"niche". The "costae escarole" theory of niche is used to found a general fuzzy mathematic model. The biological adaptation is combined with the design of fuzzy control system to found a fuzzy inference system and give out a fuzzy T-S model with biotechnology. The measurement of niche is regarded as a consequence of fuzzy control regularity. In this paper, the theoretical proof of this method's universal approximation is given out, and the method is applied in the control of nonlinear systems. The simulation results suggest this controller is effective.
Identification and Adoption of Total Quality Management Practices in Indian Information and Communication Technology and Banking Industries: An Empirical Study

The Indian service sector forms a backbone of social and economic growth of the country and emerged as the largest and fastest developing sector. Apart from the several service industries in this sector, two major functional pillars of this sector are information and communication technology (ICT) and banking industries. These two service industries have been making continuous efforts to stand India a front-runner in the age of quality revolution and in the overall growth of Indian service sector. Further, these industries are also adopting many strategic approaches to maintain number one position in the world market, one of them is total quality management (TQM) approach which utilizes some sound TQM practices resulting in enhanced business performance.In this study, the key TQM practices in the two Indian service industries (i.e. ICT and banking) are identified and ranked through extensive survey of literature as well as investigated the adoption of the identified practices across these industries. The research methodology used was review of literature based on TQM studies in service sector followed by a survey of selected Indian ICT and banking companies through self-administered questionnaire. Using empirical data gathered from a sample of 121 ICT and banking industries obtained from stratified sampling method, findings were reported. The primary data was analyzed using descriptive statistics, Pearson correlation and independent-samples t-test analyses. The literature identified 17 TQM practices and further analysis of these TQM practices in the two industries categorizes them into three categories i.e. most important, moderately important and least important. The study also revealed that out of 17 TQM practices, 14 practices were significantly adopted across Indian ICT and banking industries while three practices namely supplier management, quality system and quality culture have showed significant difference in their adoption. Finally, some managerial implications and scope for future research are presented at the end.
User Acceptance of Intergovernmental Services: The Case of Electronic Document Management System

The traditional focus of intergovernmental services research has been on the technological development, not on user acceptance; yet intergovernmental services in each electronic government (e-Government) implementation affect the ultimate success of the e-Government project. In the e-Government implementation context, many governments have invested huge amounts of money to make intergovernmental services both available and user-accepted, although some individuals have no intention of using them. The electronic document management system (EDMS) is the most popular intergovernmental service in the e-Government project. Thus, e-Government researchers need to identify the factors that determine user acceptance of EDMS. Using the theory of planned behavior (TPB) as a theoretical framework, this study investigates the effect of a set of antecedent factors on the intention to accept EDMS. Collected from a sample of 186 users of real e-Government's EDMS in Taiwan, the results strongly support the utilization of TPB in predicting users' intention to accept EDMS. In addition, the findings indicate that perceived usefulness, perceived ease of use, training, compatibility, external influence, interpersonal influence, self- efficacy, and facilitating conditions are significant predictors of users' intention to utilize EDMS. Finally, implications for research and practice are discussed.
Factors that shape the patient's hospital experience and satisfaction with lower limb arthroplasty: an exploratory thematic analysis

Objective It is generally accepted that the patients’ hospital experience can influence their overall satisfaction with the outcome of lower limb arthroplasty; however, little is known about the factors that shape the hospital experience. The aim of this study was to develop an understanding of what patients like and do not like about their hospital experience with a view to providing insight into where service improvements could have the potential to improve the patient experience and their satisfaction, and whether they would recommend the procedure. Design A mixed methods (quan-QUAL) approach. Setting Large regional teaching hospital. Participants 216 patients who had completed a postoperative postal questionnaire at 12 months following total knee or total hip arthroplasty. Outcome measures Overall satisfaction with the outcome of surgery, whether to recommend the procedure to another and the rating of patient hospital experience. Free text comments on the best and worst aspects of their hospital stay were evaluated using qualitative thematic analysis. Results Overall, 77% of patients were satisfied with their surgery, 79% reported a good–excellent hospital experience and 85% would recommend the surgery to another. Qualitative analysis revealed clear themes relating to communication, pain relief and the process experience. Comments on positive aspects of the hospital experience were related to feeling well informed and consulted about their care. Comments on the worst aspects of care were related to being made to wait without explanation, moved to different wards and when they felt invisible to the healthcare staff caring for them. Conclusions Positive patient experiences were closely linked to effective patient–health professional interactions and logistics of the hospital processes. Within arthroplasty services, the patient experience of healthcare could be enhanced by further attention to concepts of patient-centred care. Practical examples of this include more focus on developing staff–patient communication and the avoidance of ‘boarding’ procedures.
Towards a paradigmatic shift in IS: designing for social practice

The paper elaborates on the theoretical foundation of Information System understood as a field of design science. Revisiting Hevner's et al. seminal paper [44], we elaborate on theoretical and conceptual shortcomings. Theoretically, we state a somehow limited perception of pragmatist thinking. Conceptually, we criticize a limited definition of the IS research field and argue in favour of an (obligatory) evaluation of IT artifacts in real world settings. To develop the design science paradigm beyond these shortcomings, we present a theoretical framework which takes the interrelation of IT artifacts and social practices as a central focus of research. Such an epistemological and ontological opening of the design science perspective leads to methodological implications. We exemplify methodological shifts by taking the Canonical Action Research (CAR) method as a problematic example. Design probes are discussed as a method which holds considerable promises under a reframed paradigm. The consequences of the theoretical and methodological reflections for a socially relevant IS design science are discussed finally.