Miracle-dz/UniFAR-FTUs huggingface dataset:
Architects as Service Providers

Architects provide those system qualities as values to their customers, communicating and implementing them in close cooperation with developers. In this way, architects also can and should play an important role in agile development projects. As a service to application developers, architects participate in coding activities and sustain the architecture's effectiveness throughout a project's lifetime.
A Dynamic Path Generation Method for a UAV Swarm in the Urban Environment

In this paper, a dynamic path planning method for swarming of unmanned aerial vehicles (UAVs) in the urban environment is presented. For the missions of a team of UAVs in a complex environment, conflict-free paths for all vehicles should be calculated dynamically in real-time using the latest information on the changes in the surroundings such as pop-up threats. Therefore, we propose a hierarchical dynamic path planner that consists of a offline path planning and a real-time model predictive trajectory generator. In this framework, many existing and proven off-line algorithms can be deployed for globally optimal path planning. The pre-computed trajectory is sent to the model predictive layer, which generates locally feasible trajectory free from conflicts. In this manner, each vehicle is able to fly along its designated path to reach the destination while avoiding obstacles or vehicles in collision path with minimal deviation from the designated path. For validation, the proposed algorithm is applied to a deployment scenario of sixteen rotary-wing UAVs flying in a cluttered urban area and showed a satisfactory performance.
Getting to the Heart: Autonomic Nervous System Function in the Context of Evidence-Based Music Therapy

As evidence-based music therapy turns its attention to physiological responses, it will need outcome measures that are grounded in an understanding of mechanisms which drive physiological activity. Despite strong indications for the involvement of the autonomic nervous system (ANS) in health and disease and its response to music, few studies have systematically explored the therapeutic or interventional effects of music on ANS dysfunction. After reviewing the experimental and interventional lit- eratures on music and ANS response, a ‘‘neurovisceral integration’’ perspective on the interplay between the central nervous system and ANS is introduced, and the associated implications for physiological, emotional, and cognitive health are explored. The construct of heart rate variability is discussed both as an example of this complex interplay and as a useful metric for exploring the sometimes subtle effect of music on autonomic response. Suggestions for future investigations using musical interventions are offered based on this integrative account.
Why longer prison terms fail to serve a specific deterrent effect: an empirical assessment on the remembered severity of imprisonment

ABSTRACT For a prison sentence to exert a specific deterrent effect, the ultimate question is that imprisonment is remembered as aversive once the offender is released, and is contemplating future criminal activities. Drawing on insights from social psychology and cognition, this study assessed (1) how inmates remember the severity of their imprisonment following release, and (2) how the severity as experienced while being incarcerated (e.g. the worst or the last moment) affects its recollected aversiveness among a sample of Dutch inmates who were released for approximately six months (n = 696). The findings indicated that the severity as experienced while being incarcerated is strongly related to the severity as recollected following release, net of the duration of confinement. Strikingly, to the extent that the length of imprisonment affected its recollected aversiveness, it did so in the opposite direction than traditional deterrence research presumes. Implications for correctional policy and future research are discussed.
New human resources infrastructures: computer mediated performance appraisals

INTRODUCTION A wide range of human resources (HR) activities including job analysis, job evaluation, applicant and resume tracking, EEO reporting, salary administration, collective bargaining, succession and HR planning are now supported by software applications. The purpose of this research is to examine the role of computer applications in one central HR activity, performance appraisal. Following a review of the research documenting the use of computerized performance evaluation systems and a discussion of the controversy surrounding computer mediated performance assessment, an open systems model of computer performance monitoring (CPM) is presented which takes into account the interplay between characteristics of the traditional appraisal process and information technology. Moreover, the proposed model is presented as a road map for research linking CPM inputs to critical work related outcomes such as job satisfaction, organizational commitment and turnover propensity.
Towards a Practical Approach to Testing Pointcut Descriptors With JQuati

Pointcut descriptors (PCDs) are an important part of aspect orientation, they describe where a certain behavior will be woven into, it’s correct accuracy is an important issue to be addressed by tests. Previous works on the subject lack on providing a way to independently verify PCDs accuracy, making the test cases less maintainable and more dependent on base code. This paper introduces the JQuati tool, which allows the elimination of the base class dependency, simulating execution contexts and offering a metadata­based syntax which provides a human readable test code for more maintainability and evolutive test development. Keywords­Aspect Orientation; AOP; Testing; Verification; Validation; Quality; Pointcut Descriptors;
Robust biped walking with active interaction control between foot and ground

Describes a biped walking control system based on the reactive force interaction control at the foothold: 1) robust control of reactive force/torque interaction at the foothold based on Cartesian space motion controller: 2) posture control considering the physical constraints of the reactive force/torque at the foothold by quadratic programming. The proposed approach realizes robust biped locomotion because the environmental interaction is directly controlled. The control is applied to the 20 axes simulation model, and the stable biped locomotion is realized even if an unknown small slope exists. Stable attitude control is confirmed by 14-axis biped robot experiments.
The Diffusion of Enterprise Systems Within Organizations: A Social Learning Theory Perspective

Enterprise systems (ES) diffusion in organisations has been described in the technological innovation literature to progress linearly from one stage to the next. However, empirical investigations in the area suggest ES implementation is an ongoing process, going back and forward, and that in some cases never stop. Having reviewed studies using social learning theory (SLT), we propose that companies should manage the implementation of an ES as a gradual and progressive diffusion process that takes a long journey. Our investigation focused on the study of ES diffusion within sales and distribution area in a Latin American company dedicated to the processing and distribution of roasted and ground coffee. It has been found that a particular set of characteristics force companies to implement ES by phases, going forward and back, and activating several projects over the same areas once and again. Therefore, it has been suggested that companies could consider the implementation and diffusion of ES as a seamless process, which may be an endless one. This study contributes to the theoretical understanding of the diffusion of ES from a novel SLT perspective.
Assessing usability readiness of collaborative projects

It’s believed that free and open source software (F/OSS) developers are inclined to build feature-centric projects rather than following a user-centric design, ignoring the necessity of usability inside the resulting product. While there are many reasons behind this, main cause can be attributed to lack of awareness of usability from developers’ point of view and little interaction of project stakeholders with Human-Computer Interaction (HCI) studies. In order to increase the usability and the competitiveness of open source software applications, developers need to measure their usability activities during the project, therefore they can conduct appropriate user centered design methodologies. In this paper, a measurement method and a corresponding application is developed based on the motivation to improve the usability of applications and to increase the efficiency of communication and collaboration level of HCI experts and developers.
Faults and failures in SQL-based data manipulation programming

Database applications, including SQL-based applications, have received little attention directed towards improving the knowledge of their possible faults. This paper deals with issues related to software faults and failures aiming at understanding what types of faults occur in SQL manipulation commands, and how they are propagated to the output of command execution. SQL manipulation commands are studied and their structure is organized into structural items, a step towards understanding and grouping fault types. A list of manipulation fault types is determined and presented with SQL command examples. Failure dimensions are discussed along with query and state changing operations. An experiment to abstract the types of manipulation faults for SQL was carried out and the results are presented. The experiment built databases and faulty commands to promote failure in command execution. A database was built and a set of faulty SQL commands used to map fault types and failure dimensions. The analysis of data mapping indicates: i) there is a many-to-many mapping between faults and failures; ii) failure dimensions are dependent on fault type, faulty command, and the database itself; and iii) manipulation fault knowledge is crucial for SQL programming and testing of database applications. This work represents an initial step for testing SQL programming.
Fault Tolerant Control of a Class of Unknown Multivariable Nonlinear Systems Using Fuzzy Approximation

In this paper, we have developed an adaptive fuzzy fault tolerant control approach for a class of MIMO unknown nonlinear systems based on the idea of a corrective control law which activated in the presence of a fault. Online approximators, in the forms of fuzzy logic systems, are used to learn the unknown dynamics and the unknown fault functions on-line and provide the fault tolerant control law. The closed-loop stability of the proposed fault tolerant control scheme is rigorously proved using Lyapunov theory and illustrated based on a simulation example.
In-sensor low-complexity audio pattern recognition for pervasive networking

In the last years, wireless sensor networking has become a key technology for making pervasive communications a reality. To this end, wireless sensor nodes need to consume as less energy as possible and, thus, the complexity of any onboard signal processing operation needs to be kept as low as possible. In this paper, we present a low-complexity detection approach for the recognition of different audio signal patterns, expedient, for example, for intrusion control in critical areas. To this end, the proposed detection algorithm evolves through two main processing phases: (a) coarse and (b) fine. The evolution between these two phases is described through a finite state machine (FSM) model. In fact, fine processing (in the frequency domain) is carried out only when an “atypical” audio signal is detected. On the other hand, coarse processing (in the time domain), performed a larger number of times, has a much lower complexity. Our results show that our processing technique allows to detect efficiently the presence of signals of interest (identified by properly selected spectral signatures) and to reliably distinguish different audio signal patterns, e.g., between speech and non-speech signals. While we first present simulation-based performance results of the proposed detection algorithm, we then validate our approach with realistic experimental results based on audio signals acquired with a commercial microphone.
Lst1p and Sec24p Cooperate in Sorting of the Plasma Membrane Atpase into Copii Vesicles in Saccharomyces cerevisiae

Formation of ER-derived protein transport vesicles requires three cytosolic components, a small GTPase, Sar1p, and two heterodimeric complexes, Sec23/24p and Sec13/31p, which comprise the COPII coat. We investigated the role of Lst1p, a Sec24p homologue, in cargo recruitment into COPII vesicles in Saccharomyces cerevisiae. A tagged version of Lst1p was purified and eluted as a heterodimer complexed with Sec23p comparable to the Sec23/24p heterodimer. We found that cytosol from an lst1-null strain supported the packaging of α-factor precursor into COPII vesicles but was deficient in the packaging of Pma1p, the essential plasma membrane ATPase. Supplementation of mutant cytosol with purified Sec23/Lst1p restored Pma1p packaging into the vesicles. When purified COPII components were used in the vesicle budding reaction, Pma1p packaging was optimal with a mixture of Sec23/24p and Sec23/Lst1p; Sec23/Lst1p did not replace Sec23/24p. Furthermore, Pma1p coimmunoprecipitated with Lst1p and Sec24p from vesicles. Vesicles formed with a mixture of Sec23/Lst1p and Sec23/24p were similar morphologically and in their buoyant density, but larger than normal COPII vesicles (87-nm vs. 75-nm diameter). Immunoelectronmicroscopic and biochemical studies revealed both Sec23/Lst1p and Sec23/24p on the membranes of the same vesicles. These results suggest that Lst1p and Sec24p cooperate in the packaging of Pma1p and support the view that biosynthetic precursors of plasma membrane proteins must be sorted into ER-derived transport vesicles. Sec24p homologues may comprise a more complex coat whose combinatorial subunit composition serves to expand the range of cargo to be packaged into COPII vesicles. By changing the geometry of COPII coat polymerization, Lst1p may allow the transport of bulky cargo molecules, polymers, or particles.
Subword-based Tagging by Conditional Random Fields for Chinese Word Segmentation

We proposed two approaches to improve Chinese word segmentation: a subword-based tagging and a confidence measure approach. We found the former achieved better performance than the existing character-based tagging, and the latter improved segmentation further by combining the former with a dictionary-based segmentation. In addition, the latter can be used to balance out-of-vocabulary rates and in-vocabulary rates. By these techniques we achieved higher F-scores in CITYU, PKU and MSR corpora than the best results from Sighan Bakeoff 2005.
Optimal pilot design with CSI feedback in massive MIMO systems

In this paper, we study the optimal pilot design problem and CSI feedback method in a massive MIMO system. We get the asymptotically optimal solution for pilot design based on minimizing the Mean Square Error (MSE) of channel estimation with both the Sum Power Constraint (SPC) and the Per Antenna Power constraint (PAPC) utilizing a t-norm approximation method. To further improve the transmission efficiency and reduce the computation load, we propose a CSI estimation feedback method with pilot weight to gradually discover the CSI. The CSI fed back to the BS is collected to design beamforming matric for different users aiming at improving users' achievable rate. Simulation results validate that the method can provide an acceptable achievable rate consuming much less transmission and computation resources.
A Reduced Complexity Instruction Set architecture for low cost embedded processors

Implementing advanced DSP applications in software on a low power and low cost embedded RISC processors is a challenging task because of ISA shortcomings that inhibits performance. An embedded CISC processor can potentially deliver higher performance but not enough to meet the demand of complex DSP applications. We present a novel ISA that eliminates unnecessary overheads and speeds up the performance of embedded DSP applications on resource constrained processors. The implementation of the novel mixed ISA requires minor modification to the base architecture which translates to less than 5% increase in total power consumption. The novel ISA reduces the number of instructions used to implement a complex Fast Fourier Transform by less than half and speeds the processing by three folds leading to a substantial improvement in energy efficiency. Simulation results of a number of embedded benchmark programs show an average two fold increase in performance compared to a RISC processor.
Biomarker Validation of Dietary Intervention in Two Multiethnic Populations

Introduction Intervention studies have been designed to change dietary and lifestyle factors associated with chronic diseases, but self-reported behavior change may incorporate intervention-related bias. This study examines plasma nutrient concentration and correlations with self-reports in the Healthy Directions intervention study. The Healthy Directions intervention studies were designed to increase multivitamin use, fruit and vegetable consumption, and physical activity in working-class, multiethnic populations. Methods Participants in both studies completed interviewer-administered questionnaires that collected information on sociodemographic and health behavior characteristics. Postintervention blood samples were collected from 209 participants and pooled in pairs within study and within intervention group. Results We found significantly higher plasma concentrations of retinol (P = .01) and α-carotene (P = .03) in the intervention than in the usual care group. Self-reported multivitamin users had significantly higher concentrations of retinol (P < .001), β-carotene (P = .02), and α-tocopherol (P < .001). Those who reported four or more fruit and vegetable servings per day had higher lutein and zeaxanthin (P = .05) and β-cryptoxanthin (P = .05) concentrations than those consuming fewer. Plasma nutrient concentrations were associated with reported multivitamin use and fruit and vegetable intake, but the correlations were generally higher in the usual care group. Conclusion We found significant postintervention differences in plasma carotenoid and tocopherol concentrations by treatment group, multivitamin use, and fruit and vegetable intake. However, because we only obtained postintervention blood samples, we were unable to assess preintervention-to-postintervention changes in plasma nutrients. Self-reported intakes were significantly correlated with plasma nutrient concentrations, but the strength of the correlations differed by group, suggesting some intervention-related bias in the questionnaire responses.
A METTL 3-METTL 14 complex mediates mammalian nuclear RNA N 6-adenosine methylation

N6-methyladenosine (m6A) is the most prevalent and reversible internal modification in mammalian messenger and non-coding RNAs. We report here that human METTL14 catalyzes m6A RNA methylation. Together with METTL3, the only previously known m6A methyltransferase, these two proteins form a stable heterodimer core complex of METTL3-14 that functions in cellular m6A deposition on mammalian nuclear RNAs. WTAP, a mammalian splicing factor, can interact with this complex and affect this methylation. N6-methyladenosine (m6A) is a conserved internal modification found in almost all eukaryotic nuclear RNAs1–3, as well as in the viral RNA that replicates inside host nuclei4. The discoveries of functionally significant demethylases that reverse this methylation5,6, together with the recently revealed m6A distributions in mammalian transcriptomes7,8, strongly indicate regulatory functions of this dynamic modification. The m6A modification is post-transcriptionally installed by a multi-component N6-adenosine methyltransferase (MT) complex yet to be fully identified and characterized. Of a ~200 kD MT complex isolated from mammalian cell nuclear extract that exhibits methyltransferase activity, only a 70 kD protein was identified and named MT-A70 or METTL3 (methyltransferase like 3)9. The knockdown of METTL3 led to apoptosis of human HeLa Users may view, print, copy, download and text and datamine the content in such documents, for the purposes of academic research, subject always to the full Conditions of use: http://www.nature. com/authors/editorial_policies/license.html#terms To whom correspondence should be addressed: chuanhe@uchicago.edu. 2These authors contributed equally to this work Author Contributions C. H. conceived the project. J. L. and Y. Y. designed and performed most experiments. D. H. and Z. L. performed high-throughput sequencing data analyses. X.W. and Y. F. helped perform PAR-CLIP experiment, biochemistry assay, and data analysis. L. Z. and M. Y. assisted in expressing recombinant proteins in insect cells. G. J. and W. C. participated in the subcloning. X. D. participated in nuclear extract separation. Q. D. synthesized the d3-m6A standard for LC-MS/MS analysis. J. L. , Y. Y. , and C. H. wrote the manuscript. Competing financial interests The authors declare no competing financial interests. Supplementary information is available in the online version of the paper. The PAR-CLIP and m6A-seq data were deposited in the Gene Expression Omnibus (http://www.ncbi.nlm.nih.gov/geo) under accession number GEO46705. Reprints and permissions information is available online at http://www.nature. com/reprints/index.html. HHS Public Access Author manuscript Nat Chem Biol. Author manuscript; available in PMC 2014 August 01. Published in final edited form as: Nat Chem Biol. 2014 February ; 10(2): 93–95. doi:10.1038/nchembio.1432. A uhor M anscript
The number of invariant subspaces under a linear operator on finite vector spaces

Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb F$q and $T$ a linear operator on $V$. For each $k\in\{1,\ldots,n\}$ we determine the number of $k$-dimensional $T$-invariant subspaces of $V$. Finally, this method is applied for the enumeration of all monomially nonisometric linear $(n,k)$-codes over $\mathbb F$q.