Miracle-dz/UniFAR-FTUs huggingface dataset:
SchemeLens: A Content-Aware Vector-Based Fisheye Technique for Navigating Large Systems Diagrams

System schematics, such as those used for electrical or hydraulic systems, can be large and complex. Fisheye techniques can help navigate such large documents by maintaining the context around a focus region, but the distortion introduced by traditional fisheye techniques can impair the readability of the diagram. We present SchemeLens, a vector-based, topology-aware fisheye technique which aims to maintain the readability of the diagram. Vector-based scaling reduces distortion to components, but distorts layout. We present several strategies to reduce this distortion by using the structure of the topology, including orthogonality and alignment, and a model of user intention to foster smooth and predictable navigation. We evaluate this approach through two user studies: Results show that (1) SchemeLens is 16-27% faster than both round and rectangular flat-top fisheye lenses at finding and identifying a target along one or several paths in a network diagram; (2) augmenting SchemeLens with a model of user intentions aids in learning the network topology.
E-GOVERNMENT DEVELOPMENT: A GLOBAL PERSPECTIVE

Drawing from the resource complementarity perspective of the resource-based view of a firm; this study examines the complementary role of governance dimensions namely, voice and accountability, political stability, government effectiveness, regulatory quality, rule of law, and control of corruption on the relationship between telecommunication infrastructure in a country and its e-government development. Based on publicly available archival data from 178 countries, our results provided support for the hypothesized model. Specifically, while political stability, government effectiveness, and rule of law moderated the relationship of telecommunication infrastructure with egovernment development in the positive direction; voice and accountability, and control of corruption moderated the relationship negatively. Further, the relationship between telecommunication infrastructure and e-government development was not contingent on regulatory quality. Our findings contribute to the theoretical discourse on e-government development by understanding the complementary role of governance, and provide indications to practice on managing e-government development by enhancing governance, thereby leveraging the effect of telecommunication infrastructure on egovernment development.
Consistency of timbre patterns in expressive music performance

Musical interpretation is an intricate process due to the interaction of the musician’s gesture and the physical possibilities of the instrument. From a perceptual point of view, these elements induce variations in rhythm, acoustical energy and timbre. This study aims at showing the importance of timbre variations as an important attribute of musical interpretation. For this purpose, a general protocol aiming at emphasizing specific timbre patterns from the analysis of recorded musical sequences is proposed. An example of the results obtained by analyzing clarinet sequences is presented, showing stable timbre variations and their correlations with both rhythm and energy deviations.
Implementation and Evaluation of a Psycho-Educational Training on Sexual and Gender Minority Needs for Military Sexual Assault Victim Advocates

Abstract The present study examined impacts of an interactive psycho-educational training in sexual and gender minority (SGM) issues for military sexual assault victims’ advocates (SAVA). Twenty-seven SAVA personnel completed pre–post demographic, SGM health literacy, negative attitudes toward lesbians and gay men (ATLG), and training feedback questionnaires. The training (a) yielded positive gains in SGM health literacy; (b), was favorably rated, and (c) had no impact on participant negative ATLG. Intent to use training content was highest for female SAVA personnel and those higher in pre-training SGM health literacy. The training demonstrates preliminary positive impacts with regard to health literacy and intent to implement training content.
ATTED-II Updates: Condition-Specific Gene Coexpression to Extend Coexpression Analyses and Applications to a Broad Range of Flowering Plants

ATTED-II (http://atted.jp) is a gene coexpression database for a wide variety of experimental designs, such as prioritizations of genes for functional identification and analyses of the regulatory relationships among genes. Here, we report updates of ATTED-II focusing on two new features: condition-specific coexpression and homologous coexpression with rice. To analyze a broad range of biological phenomena, it is important to collect data under many diverse experimental conditions, but the meaning of coexpression can become ambiguous under these conditions. One approach to overcome this difficulty is to calculate the coexpression for each set of conditions with a clear biological meaning. With this viewpoint, we prepared five sets of experimental conditions (tissue, abiotic stress, biotic stress, hormones and light conditions), and users can evaluate the coexpression by employing comparative gene lists and switchable gene networks. We also developed an interactive visualization system, using the Cytoscape web system, to improve the network representation. As the second update, rice coexpression is now available. The previous version of ATTED-II was specifically developed for Arabidopsis, and thus coexpression analyses for other useful plants have been difficult. To solve this problem, we extended ATTED-II by including comparison tables between Arabidopsis and rice. This representation will make it possible to analyze the conservation of coexpression among flowering plants. With the ability to investigate condition-specific coexpression and species conservation, ATTED-II can help researchers to clarify the functional and regulatory networks of genes in a broad array of plant species.
Sequential and Parallel Approximation of Shortest Superstrings

Superstrings have many applications in data compression and genetics. However, the decision version of the shortest superstring problem is NP-complete. In this paper we examine the complexity of approximating shortest superstrings. There are two basic measures of the approximations: the length factor and the compression factor. The well known and practical approximation algorithm is the sequential algorithm Greedy. It approximates the shortest superstring with the compression factor of12and with the length factor of 4. Our main results are: (1) A sequential length approximation algorithm which achieves a length factor of 2.83. This result improves the best previously known bound of 2.89 due to Teng and Yao. Very recently, this bound was improved by Kosaraju, Park, and Stein to 2.79, and by Armen and Stein to 2.75. (2) A proof that the algorithm Greedyis not parallelizable, the computation of its output is P-complete. (3) An NC algorithm which achieves the compression factor of 1/(4+? ). (4) The design of an RNC algorithm with constant length factor and an NC algorithm with logarithmic length factor.
Evaluation of the Cittaslow Administrators to the Process of Cittaslow Participation and Sustainability

Cittaslow Movement has developed rapidly around the world in recent years. Cittaslow movement is turning into an important tool for our cities to become sustainable destinations. In this context, cittaslow administrators, who are coordinators and stakeholders in the expansion of the movement, have great importance for the spread of the cittaslow movement and for its sustainability. The aim of this study is to reveal the assessments of cittaslow administrators regarding the destination and cittaslows in terms of cittaslows’ objectives, criteria, involvement process and sustainability by putting forth their profiles. The further aim of this study is to evaluate the factors prominent in the process of participation in the cittaslow movement, aspiring to conserve the original identity of the cities and to develop them in terms of the cittaslows’ administrators. In this study, by taking the opinions of the administrators in the process of their participation, supplying the compulsory conditions which are required and revealing the contributions which the movement will make, identifying the similarities and the differences between the administrators has been aimed. In the study, as a data collection tool, the questionnaire technique was used. Within the scope of the study, the data collection instrument was developed in line with the related literature and with expert opinions. The population of this study included directors of cittaslows. The questionnaires were applied to all Cittaslow administrators (167 administrators), and the feedback was returned from 70 administrators. In addition to the descriptive statistics; Mann-Whitney U and Kruskal-Wallis H tests were used for the analysis of the obtained data, and the profiles of cittaslow administrators were determined. The objectives of cittaslows were classified according to their severity, and their criteria were classified in accordance with their degree of difficulty by the administrators. Evaluation of administrators regarding involvement in cittaslow movement was identified, and contribution of cittaslows to sustainability and the sustainability of the destination were evaluated by the directors. Finally, the conclusions and the implications were discussed in detail on the basis of the research findings. In addition, the contributions of the study to the literature were mentioned, and related suggestions were put forward to develop cittaslow movement.
NEAR-INFRARED PHOTOMETRY OF FOUR STELLAR CLUSTERS IN THE SMALL MAGELLANIC CLOUD

We present high-quality J, H, and Ks photometry of four Small Magellanic Cloud stellar clusters with intermediate ages in the 1–7 Gyr range (namely NGC 339, 361, 416, and 419). We obtained deep color–magnitude diagrams to study the evolved sequences and provide a detailed census of the red giant branch (RGB), asymptotic giant branch (AGB), and carbon star populations in each cluster and their contribution to the total cluster light. We find that in the ∼5–7 Gyr old clusters AGB stars account for ∼6% of the total light in the Ks band, carbon stars are lacking, and RGB stars account for ∼45% of the total bolometric luminosity. These empirical findings are in good agreement with the theoretical predictions. Finally, we derived photometric metallicities computed by using the properties of the RGB and find an iron content of [Fe/H] = −1.18, −1.08, −0.99, and −0.96 dex for NGC 339, 361, 416, and 419, respectively.
Stride Directed Prefetching In Scalar Processors

The execution of numerically intensive programs presents a challenge to memory system designers. Numerical program execution can be accelerated by pipelined arithmetic units, bur to be effective, must be supported by high speed memory access. A cache memory is a well known hardware mechanism used to reduce the average memory access latency. Numerical programs, however, often have poor cache pei$ormance. Stride directed prefetching has been proposed to improve the cache performance of numerical programs executing on a vector processor. This paper shows how this approach can be extended to a scalar processor by using a simple hardware mechanism, called a stride prediction table (SPT), to calculate the stride distances of array accesses made from within the loop body of a program. The results using selected programs from the PERFECT and SPEC benchmark show that stride directed prefetching on a scalar processor can significantly reduce the cache miss rate of particular programs and a SPT need only a small number of entries to be effective.
Secure Multidimensional Queries in Tiered Sensor Networks

In this paper, aiming at securing range query, top-k query, and skyline query in tiered sensor networks, we propose the Secure Range Query (SRQ), Secure Top-$k$ Query (STQ), and Secure Skyline Query (SSQ) schemes, respectively. In particular, SRQ, by using our proposed \emph{prime aggregation} technique, has the lowest communication overhead among prior works, while STQ and SSQ, to our knowledge, are the first proposals in tiered sensor networks for securing top-$k$ and skyline queries, respectively. Moreover, the relatively unexplored issue of the security impact of sensor node compromises on multidimensional queries is studied; two attacks incurred from the sensor node compromises, \emph{collusion attack} and \emph{false-incrimination attack}, are investigated in this paper. After developing a novel technique called \emph{subtree sampling}, we also explore methods of efficiently mitigating the threat of sensor node compromises. Performance analyses regarding the probability for detecting incomplete query-results and communication cost of the proposed schemes are also studied.
Energy Efficient IoT Data Collection in Smart Cities Exploiting D2D Communications

Fifth Generation (5G) wireless systems are expected to connect an avalanche of “smart” objects disseminated from the largest “Smart City” to the smallest “Smart Home”. In this vision, Long Term Evolution-Advanced (LTE-A) is deemed to play a fundamental role in the Internet of Things (IoT) arena providing a large coherent infrastructure and a wide wireless connectivity to the devices. However, since LTE-A was originally designed to support high data rates and large data size, novel solutions are required to enable an efficient use of radio resources to convey small data packets typically exchanged by IoT applications in “smart” environments. On the other hand, the typically high energy consumption required by cellular communications is a serious obstacle to large scale IoT deployments under cellular connectivity as in the case of Smart City scenarios. Network-assisted Device-to-Device (D2D) communications are considered as a viable solution to reduce the energy consumption for the devices. The particular approach presented in this paper consists in appointing one of the IoT smart devices as a collector of all data from a cluster of objects using D2D links, thus acting as an aggregator toward the eNodeB. By smartly adapting the Modulation and Coding Scheme (MCS) on the communication links, we will show it is possible to maximize the radio resource utilization as a function of the total amount of data to be sent. A further benefit that we will highlight is the possibility to reduce the transmission power when a more robust MCS is adopted. A comprehensive performance evaluation in a wide set of scenarios will testify the achievable gains in terms of energy efficiency and resource utilization in the envisaged D2D-based IoT data collection.
What the Current System Development Trends tell us about Systems Development Methodologies: Toward explaining SSDAM, Agile and IDEF0 Methodologies

Systems integration, customization and component based development approach are of increasing attention. This trend facilitates the research attention to also focus on systems development methodologies. The availability of systems development tools, rapid change in technologies, evolution of mobile computing and the growth of cloud computing have necessitated a move toward systems integration and customization rather than developing systems from scratch. This tendency encourages component based development and discourages traditional systems development approach. The paper presents and evaluates SSADM, IDEF0 and Agile systems development methodologies. More specifically, it examines how they fit or not fit into the current competitive market of systems development. In the view of this perspective, it is anticipated that despite of its popularity, SSADM methodology is becoming obsolete while Agile and IDEF0 methodologies are still gaining acceptance in the current competitive market of systems development. The present study more likely enrich our understanding of the systems development methodologies concepts and draw attention regarding where the current trends in system development are heading.
AUTOMATIC TERM EXTRACTION USING STATISTICAL TECHNIQUES A COMPARATIVE In-Depth STUDY & APPLICATIONS

This paper is a comparative study aimed at leading to the use of statistical techniques in automatic term extraction; it compares between the most frequently used statistical techniques. We have also developed a computational tool for automatic term extraction named ATEWB to be used in the comparison; three experiments are used for this purpose to specify the conditions in which each technique is mostly efficient and/or accurate. On the other hand, this paper aims at improving statistical techniques efficiency through the utilization of database engines in computations to reduce the time of their algorithms. As well as improving documents retrieval by caching them in the database. We have tested our model on a collection of aِbstracts of papers in the field of automatic term extraction, containing keywords composed by their authors in the first experiment, and a collection of documents prepared for test available on some web sites concerned with IR.
Laser frequency stabilization to a single ion

A fundamental limit to the stability of a single-ion optical frequency standard is set by quantum noise in the measurement of the internal state of the ion. We discuss how the interrogation sequence and the processing of the atomic resonance signal can be optimized in order to obtain the highest possible stability under realistic experimental conditions. A servo algorithm is presented that stabilizes a laser frequency to the single-ion signal and that eliminates errors due to laser frequency drift. Numerical simulations of the servo characteristics are compared to experimental data from a frequency comparison of two single-ion standards based on a transition at 688 THz in 171Yb+. Experimentally, an instability σy(100 s) = 9 × 10−16 is obtained in the frequency difference between both standards.
Semantic Parsing of Mathematics by Context-based Learning from Aligned Corpora and Theorem Proving

We study methods for automated parsing of informal mathematical expressions into formal ones, a main prerequisite for deep computer understanding of informal mathematical texts. We propose a context-based parsing approach that combines efficient statistical learning of deep parse trees with their semantic pruning by type checking and large-theory automated theorem proving. We show that the methods very significantly improve on previous results in parsing theorems from the Flyspeck corpus.
ABC: Using Object Tracking to Automate Behavioural Coding

Video data of people interacting with devices contains rich information about human behaviour that can be used to design or improve user experience. As a first step, it must be interpreted -- or coded -- into a form that can be analyzed systematically. The coding process is currently performed manually, and it can be slow and difficult, and biased by subjectivity. This is particularly problematic when trying to obtain data that should be objective, such as the movements of a user in relation to a device. We describe Automated Behavioural Coding (ABC), an open source object tracking technique designed to log user and device movements, and then output positional data that can be used to model interaction. We validate the technique in a study of dual screen TV viewing, and show that the ABC tool is able to correctly classify the direction of gaze to the TV or tablet up to 95% of the time, in a fraction of the time it takes to capture this data manually.
Status and Career Mobility in Organizational Fields: Chefs and Restaurants in the United States, 1990–2013

Abstract:Using a set of user-generated data, we examine patterns in the careers of professional chefs. We argue that this is one of many cases in which careers must be understood as shaped by dual structures—the typical occupational structure within a firm, and the organization of firms in a larger field. We then demonstrate how career trajectories may be formalized as movement through a two-dimensional space defined by status in these structures. Building on previous ethnographic work finding that chefs understand the logic of their careers as involving repeated trade-offs between their occupational status (their rank within the kitchen) and organizational status (the status of the restaurant at which they work), we attempt to determine how different trajectories are associated with different outcomes. We find that, despite the somewhat random nature of entrance into the culinary profession, future top-tier chefs disproportionately begin their careers at high-status restaurants. Beyond their auspicious beginnings, these top-chefs-to-be also commonly devote their early careers to maximizing organizational status, forgoing promotions to higher kitchen ranks in favor of low-level jobs at more prestigious restaurants. By comparison, chefs destined to run lower-status restaurants tend to spend their early careers prioritizing rapid advancement within the kitchen, only pursuing jobs at more prestigious restaurants much later in their careers, with limited success.
Inactivation of BK Channels by the NH2 Terminus of the β2 Auxiliary Subunit

An auxiliary β2 subunit, when coexpressed with Slo α subunits, produces inactivation of the resulting large-conductance, Ca2+ and voltage-dependent K+ (BK-type) channels. Inactivation is mediated by the cytosolic NH2 terminus of the β2 subunit. To understand the structural requirements for inactivation, we have done a mutational analysis of the role of the NH2 terminus in the inactivation process. The β2 NH2 terminus contains 46 residues thought to be cytosolic to the first transmembrane segment (TM1). Here, we address two issues. First, we define the key segment of residues that mediates inactivation. Second, we examine the role of the linker between the inactivation segment and TM1. The results show that the critical determinant for inactivation is an initial segment of three amino acids (residues 2–4: FIW) after the initiation methionine. Deletions that scan positions from residue 5 through residue 36 alter inactivation, but do not abolish it. In contrast, deletion of FIW or combinations of point mutations within the FIW triplet abolish inactivation. Mutational analysis of the three initial residues argues that inactivation does not result from a well-defined structure formed by this epitope. Inactivation may be better explained by linear entry of the NH2-terminal peptide segment into the permeation pathway with residue hydrophobicity and size influencing the onset and recovery from inactivation. Examination of the ability of artificial, polymeric linkers to support inactivation suggests that a variety of amino acid sequences can serve as adequate linkers as long as they contain a minimum of 12 residues between the first transmembrane segment and the FIW triplet. Thus, neither a specific distribution of charge on the linker nor a specific structure in the linker is required to support the inactivation process.