Miracle-dz/UniFAR-FTUs huggingface dataset:
Computational Statistics and Data Analysis Bayesian Projection Approaches to Variable Selection in Generalized Linear Models

A Bayesian approach to variable selection which is based on the expected Kullback–Leibler divergence between the full model and its projection onto a submodel has recently been suggested in the literature. For generalized linear models an extension of this idea is proposed by considering projections onto subspaces defined via some form of L 1 constraint on the parameter in the full model. This leads to Bayesian model selection approaches related to the lasso. In the posterior distribution of the projection there is positive probability that some components are exactly zero and the posterior distribution on the model space induced by the projection allows exploration of model uncertainty. Use of the approach in structured variable selection problems such as ANOVA models is also considered, where it is desired to incorporate main effects in the presence of interactions. Projections related to the non-negative garotte are able to respect the hierarchical constraints. A consistency result is given concerning the posterior distribution on the model induced by the projection, showing that for some projections related to the adaptive lasso and non-negative garotte the posterior distribution concentrates on the true model asymptotically.
Finite Time Analysis of Stratified Sampling for Monte Carlo

We consider the problem of stratified sampling for Monte-Carlo integration. We model this problem in a multi-armed bandit setting, where the arms represent the strata, and the goal is to estimate a weighted average of the mean values of the arms. We propose a strategy that samples the arms according to an upper bound on their standard deviations and compare its estimation quality to an ideal allocation that would know the standard deviations of the strata. We provide two regret analyses: a distribution-dependent bound O(n-3/2) that depends on a measure of the disparity of the strata, and a distribution-free bound O(n-4/3) that does not.
A Numeric Library for Use in Modelica Simulations with Lapack, SuperLU, Interpolation, and MatrixIO

This paper introduces a numerical Modelica library that provides access to some of the most well-known powerful libraries for numerical methods. Our approach has been to develop wrappers that allow Modelica users easy access as functions both from textual and graphical Modelica environments . This library also includes additional external functions withcorresponding Modelica wrappers to interpolate data and to read/write matrix data from/to files.
Self‐Passivation of Defects: Effects of High‐Energy Particle Irradiation on the Elastic Modulus of Multilayer Graphene

The elastic modulus of multilayer graphene is found to be more robust to damage created by high-energy α-particle irradiation as compared to monolayer graphene. Theoretical analysis indicates that irradiation of multilayer graphene generates interlayer links that potentially increase the stiffness of the multilayer by passivating local defects.
Facet evolution on supported nanostructures: Effect of finite height

The surface of a nanostructure relaxing on a substrate consists of a finite number of interacting steps and often involves the expansion of facets. Prior theoretical studies of facet evolution have focused on models with an infinite number of steps, which neglect edge effects caused by the presence of the substrate. By considering diffusion of adsorbed atoms (adatoms) on terraces and attachment-detachment of atoms at steps, we show that these edge or finite height effects play an important role in the structure's macroscopic evolution. We assume diffusion-limited kinetics for adatoms and a homoepitaxial substrate. Specifically, using data from step simulations and a continuum theory, we demonstrate a switch in the time behavior of geometric quantities associated with facets: the facet edge position in a straight-step system and the facet radius of an axisymmetric structure. Our analysis and numerical simulations focus on two corresponding model systems where steps repel each other through entropic and elastic dipolar interactions. The first model is a vicinal surface consisting of a finite number of straight steps; for an initially uniform step train, the slope of the surface evolves symmetrically about the centerline, i.e., the middle step when the number of steps is odd. The second model is an axisymmetric structure consisting of a finite number of circular steps; in this case, we include curvature effects which cause steps to collapse under the effect of line tension. In the first case, we show that the position of the facet edge, measured from the centerline, switches from O(t^1/4) behavior to O(t^1/5) (where t is time). In the second case, the facet radius switches from O(t^1/4) to O(t). For the axisymmetric case, we also predict analytically through a continuum shock wave theory how the individual collapse times are modified by the effects of finite height under the assumption that step interactions are weak compared to the step line tension.
Transition states in protein folding

The folding dynamics of small single-domain proteins is a current focus of simulations and experiments. Many of these proteins are 'two-state folders', i.e. proteins that fold rather directly from the denatured state to the native state, without populating metastable intermediate states. A central question is how to characterize the instable, partially folded conformations of two-state proteins, in particular the rate-limiting transition-state conformations between the denatured and the native state. These partially folded conformations are short-lived and cannot be observed directly in experiments. However, experimental data from detailed mutational analyses of the folding dynamics provide indirect access to transition states. The interpretation of these data, in particular the reconstruction of transition-state conformations, requires simulation and modeling. The traditional interpretation of the mutational data aims to reconstruct the degree of structure formation of individual residues in the transition state, while a novel interpretation aims at degrees of structure formation of cooperative substructures such as alpha-helices and beta-hairpins. By splitting up mutation-induced free energy changes into secondary and tertiary structural components, the novel interpretation resolves some of the inconsistencies of the traditional interpretation.
A design of efficient transport layer protocol for wireless sensor network gateway

It is necessary that in the small-or-medium-size wireless sensor networks, the networking information of network and monitoring data of sensors should be sent to the remote computers through the gateway to achieve remote monitoring for the target area. Wireless sensor network data characterize strong bursts, instability of traffic and small amount of data in a single packet. Considering these features as well as the bandwidth of wireless network, the paper proposes a Transport Control Protocol (TCP) with an improved Nagle algorithm. The experiments prove that the improved algorithm obviously enhances the utilization of wireless channel and reduces system energy consumption, while it ensures transmission reliability.
A mathematical framework for forcing turbulence applied to horizontally homogeneous stratified flow

It is often desirable to study turbulent flows at steady state even if the flow has no inherent source of turbulence kinetic energy. Doing so requires a forcing schema, and various methods applicable to laboratory experiments or numerical simulations have been studied extensively for turbulence that is isotropic and homogeneous in three dimensions. A review of existing schemata for simulations is used to form a framework for more general forcing methods. In this framework, the problem of developing a forcing method is abstracted into the two problems of (1) prescribing the spectrum of the input power and (2) specifying a force that has the desired characteristics and that adds energy to the flow with the correct spectrum. The framework is used to construct three forcing methods for simulating horizontally homogeneous and isotropic, vertically stratified turbulence. They are implemented in a pseudo-spectral large-eddy simulations and their characteristics are analyzed. The framework is then used to charact.
A Career Development Program for Higher Education in Indonesia; The Strategy to Achieve Career Maturity

Career maturity is not a thing that occurs naturally for every individual as well as physical development but is achieved through a series of activities that must be performed by an individual in a structured program. Through a career development program activities undertaken can make individuals achieve career maturity especially at the college level. In Indonesia, the phenomenon of students who felt wrong to choose a major in college is the case, as well as the discrepancy between the background of education with the occupation, was practiced. This phenomenon occurs because individuals are not yet mature enough to plan his career before undergoing studies in college or during the study underwent at college. Career development programs developed aimed to help students in the college reached a level of maturity in his career. Keywords—higher education, career development, career maturity
Language-dependent cue weighting: An investigation of perception modes in L2 learning

This study examines relative weighting of two acoustic cues, vowel duration and spectra, in the perception of high front vowels by Japanese learners of English. Studies found that Japanese speakers rely heavily on duration to distinguish /iː/ and /ɪ/ in American English (AmE) as influenced by phonemic length in Japanese /ii/ and /i/, while spectral cues are more important for native AmE speakers. However, little is known as to whether and how this non-native perceptual weighting can change as a result of L2 learning. By employing computational and experimental methods, the present study shows that Japanese learners of English exhibit different cue weighting depending on which language they think they hear. The experiment shows that listeners use more spectral cues and less durational cues when they think they are listening to ‘English’ stimuli as opposed to ‘Japanese’ stimuli, despite the stimuli being identical. This result is generally in line with our computer simulation, which predicts distinct developmental paths in first language (L1) and second language (L2) perception. The Second Language Linguistic Perception (L2LP) model, which incorporates the language mode hypothesis, provides a comprehensive explanation for the current findings.
Projective varieties invariant by one-dimensional foliations

to those of algebraic varieties in-variant by them. More precisely: if M is a connected complex manifold, aone-dimensional holomorphic foliation F of M is a morphism Φ : L −→ TMwhere L is a holomorphic line bundle on M. The singular set of F is theanalytic subvariety sing(F) = {p : Φ(p) = 0} and the leaves of F are the leavesof the nonsingular foliation induced by F on M \ sing(F). If M is P
Hebrew Named Entity Recognition Naama

This paper presents a named entity recognition (NER) system for the Hebrew language. The Hebrew language has high morphological ambiguity, which makes automatic processing difficult. The first step in our work was to define the tagging task for the Hebrew language. Tagging guidelines were phrased and agreements tests were performed among human taggers. We present three models for approaching the NER problem in Hebrew: Hidden Markov Model, Maximum Entropy model and a simple model based on regular expressions and a lexicon extracted from the training corpus. Our main work was finding features suitable for the Hebrew language. The Maximum Entropy model has shown the best results out of the three. However, best results are achieved when combining the three models. The combined system has achieved good results, the best results achieved so far for Hebrew and comparable with those obtained for English.
Bedside heparin monitoring by activated partial thromboplastin time measured with a dry reagent.

Activated partial thromboplastin time (APTT; also coagulation surface induced time [ID is a routine method for monitoring heparin treatment [2-5]. This time is influenced by the type of reagent, the method of analysis, and the laboratory instrument used; thus, the result will vary from one laboratory to another [6, 7]. Variation in heparin sensitivity between batches of re-agents produced from the same manufacturer has been reported [8], and attempts to standardize AP'TT reagents have not been entirely successful [9, 10]. Temperature and duration of sample storage until centrifugation and analysis also affect the APYT' [Ii]. The APTT in whole blood decreases with time if left without centrifugation [12] because the heparin is neutralized by plasma proteins, the most important of which is considered to be platelet factor 4. Among the bedside methods developed for APTT' measurement, some appear to be reliable alternatives to a central laboratory method [12, 13]. Here we compare a dry-reagent bedside system for APTT analysis with a central laboratory method for monitoring patients treated with heparin for unstable angina or after percutaneous transluminal coronary angioplasty (PTCA). Seventy-five patients (ages 36-84 years) treated with heparin at the Department of Cardiology, Karolinska Hospital, Stock-holm, Sweden, for either unstable angina (n = 54) or after P'FCA (n = 21) were included in the study between November 1994 and April 1995. We also sampled healthy volunteers (n = 15) and patients without heparin treatment (n = 10) to compare the two AP'TT methods at values near the reference interval. The procedure followed was part of the routine care and in accordance with the ethical standards of our institution. Samples from all patients were taken only once, by a well-trained nurse applying minimum stasis. Venous blood from either an intravenous catheter or from a disposable needle was drawn into two 5-mL Vacutainer Tubes (Becton Dickinson, Rutherford, NJ) containing 0.5 mL of 129 mmol/L trisodium citrate (pH 7.4). One tube was sent for AP1IT analysis to the central laboratory at the hospital and one tube was used for APTI' analysis by the Thrombolytic Assessment System (TAS; Cardiovascular Diag-nostics, Raleigh, NC). The latter analysis was performed within 15 mm by one specially trained research nurse, who had performed >100 analyses with the TAS before the study. The TAS is a portable instrument designed for bedside monitoring of AP1T with a dry reagent system. The dry reagent contains phospholipids derived from a chlorofrom extract …
JOVE: A Dynamic Load Balancing Framework for Adaptive Computations on an SP-2 Distributed-Memory Multiprocessor

Computational requirements of full scale computational fluid dynamics change as computation progresses on a parallel machine. The change in computational intensity causes workload imbalance of processors, which in turn requires a large amount of data movement at runtime. If parallel CFD is to be successful on a parallel or massively parallel machine, balancing of the runtime load is indispensable. Here a framework is presented for dynamic load balancing for CFD applications, called Jove. One processor is designated as a decision maker Jove while others are assigned to computational fluid dynamics. Processors running CFD send flags to Jove in a predetermined number of iterations to initiate load balancing. Jove starts working on load balancing while other processors continue working with the current data and load distribution. Jove goes through several steps to decide if the new data should be taken, including preliminary evaluate, partition, processor reassignment, cost evaluation, and decision. Jove running on a single IBM SP2 node has been completely implemented. Preliminary experimental results show that the Jove approach to dynamic load balancing can be effective for full scale grid partitioning on the target machine IBM SP2. 1. Dept. of Computer and Information Science, New Jersey Institute of Technology, Newark, New Jersey 07102-1982, sohn@cis.njit. edu. This work was supported in part by the NASA/University Joint Venture in Research Program. 2. NAS Applied Research Branch, Mail Stop T27A-1, NASA Ames Research Center, Moffett Field, CA 94035-1000, simon@nas.nasa. gov. The author is an employee of Computer Sciences Corporation. This work is supported through NASA contract NAS2-12961.
A Support Vector Machine for Recognizing Control Chart Patterns in Multivariate Processes

Statistical process control charts have been widely used for monitoring the quality characteristics of manufacturing processes. Analysis of unnatural patterns is an important aspect of control charting. The occurrence of unnatural patterns implies that a process is influenced by assignable causes, and corrective actions should be taken. In practice, there are many situations in which the simultaneous monitoring or control of two or more related quality characteristics is necessary. However, the traditional 2 T chart was insufficient for tasks of pattern recognition in multivariate processes. The main purpose of this paper is to develop a support vector machine-based (SVM) classifier for control chart pattern recognition in multivariate processes. In this study, we investigated four types of unnatural patterns identified in the literature, namely, trends, sudden shifts, mixtures, cyclic patterns. We considered multivariate processes with various covariance matrices to cover the whole range of parameters for each pattern type. The discriminant analysis in multivariate statistics is used as a baseline for comparison. A series of experiment s had been conducted to evaluate the sensitivity of the SVM-based classifier to the change of training parameters. The performance of the proposed approach was evaluated by computing its classification accuracy. Results from simulation studies indicate that the SVM-based classifier can perform significantly better than the discriminant analysis in identifying the multivariate unnatural patterns. We also proposed a two-stage classification procedure to further improve the performance of the SVM-based classifier. The proposed system may facilitate the diagnosis of out-of-control conditions in multivariate process control.
Usability in open source software development: opinions and practice

Open Source Software (OSS) development has gained significant importance in the production of soft-ware products. Open Source Software developers have produced systems with a functionality that is competitive with similar proprietary software developed by commercial software organizations. Yet OSS is usually designed for and by power-users, and OSS products have been criticized for having little or no emphasis on usability. We have conducted an empirical study of the developers’ opinions about usability and the way usability engineering is practiced in a variety of OSS projects. The study included a questionnaire survey and a series of interviews, where we interviewed OSS contributors with both technical and usability backgrounds. Overall we found that OSS developers are interested in usability, but in practice it is not top priority, and OSS projects rarely employs systematic usability evaluation. Most of the efforts are based on common sense. Most developers have a very limited understanding of usability, and there is a lack of resources and evaluation methods fitting into the OSS paradigm.
The Dynamic Model of Doubly-fed Induction Generator Based on Wind Turbine

According to grid codes issued by utilities, tripping of wind turbines following grid faults is not allowed, and it is necessary to provide reactive power support to grid sometime. So this paper sets up a complete DFIG dynamic model, including the generator model, converter model and converter protection, grid model etc. to study the transient characters. The method of sensorless direct torque control (DTC) and model referencing adaptive system (MRAS) method were used in the converter control. At last, the results of simulation on DFIG transient power control performance based on 1.5 MW SUT-1500 wind turbine prototype indicated that the DTC control and the MRAC principle improve the system phase-ground fault ride-through capacity ,and fulfil the dynamic regulating of the DFIG external fault.
Generic integer linear programming formulation for 3D IC partitioning

The success of 3D ICs requires novel EDA techniques. Among them, this paper focuses on 3D IC partitioning, especially at the architectural level to maximize its benefits. We first derive logical formulations for 3D IC partitioning problems and then transform the formulations into integer linear programs (ILPs). The ILPs can minimize the footprint and the usage of vertical interconnects simultaneously. Our results conducted on the GSRC benchmark show that our approach outperforms the extended multi-way partitioning method in the usage of vertical interconnects under the same footprint settings. More importantly, our approach is very flexible and can readily extend to the partitioning problems with variant objectives and constraints, and with different abstract levels, e.g., from the architectural level down to the physical level. This flexibility makes the ILP formulations superior alternatives to the 3D IC partitioning problems.
Estimation for Rotational Processes with One Degree Sf Freedom-part I: Introduction and Contimuous-time Processes

5) Establishing criteria for stability. 6) Application of estimation theory. Finally, of a more general nature, the techniques and concepts of optimal control could be extended to the spatial model. as an Assistant Professor where he is teaching courses and is engaged in active research in digital systems. Abstmet-A class of bilinear estimation problems involving single-degree-of-freedom rotation is formulated and resolved. Continuous-time problems are considered here, and discrete-time analogs wiU be studied in a second paper. Error criteria, probabii densities, and optimal estimates on the circle are studied. An effective synthesis procedore for amtinuous-time estimation is provided, and a generalization to estimation on arbitrary Abelian Lie groups is included. Applications of these results to a number of practical problems including frequency demodulation will be considered in a third paper.
Gendered dating messages have consequences for both intended and unintended audiences

Would-be-daters are surrounded by media messages that both target one gender and pit men and women against each other in the dating game (i.e., gendered relationship messages). How do these messages influence relationship initiation? In the present research, we focus on the consequences of being primed with gendered dating messages via actual book titles. We propose that such messages should have mixed consequences depending on (a) whether the reader’s gender is congruent with the message’s target gender and (b) the dating outcome. In two experiments, we tested how exposure to gendered dating messages influences emotions, motivation, and self-presentation. Individuals exposed to gender-incongruent messages exhibited higher self-protection motives. Conversely, those exposed to gender-congruent messages experienced reduced feelings of vulnerability, yet had the counterproductive consequence of creating less likeable self-presentations. Would-be-daters should be cautious in their exposure to both gender-congruent and gender-incongruent dating messages.