Miracle-dz/UniFAR-FTUs huggingface dataset:
The analysis of architectural languages for the needs of practitioners

Architectural languages (ALs) have attracted much attention as the modeling notations for specifying and reasoning about important design decisions. In this study, 124 different existing ALs have been analyzed for a set of requirements that are crucial for practitioners. These requirements are concerned with language definition, language features, and tool support. Some of the important findings obtained from the analysis are as follows: (1) performance is the top popular nonfunctional requirement supported by ALs; (2) no ALs offer both textual and visual notation sets, one of which could be used independently; (3) process algebras are the top preferred formal method by formal ALs; (4) the physical, deployment, and operational viewpoints are rarely supported by ALs; (5) the top preferred extension mechanism of the extensible ALs is XML for syntax extension; (6) Java is the top preferred programming language in generating software code; (7) the exhaustive model checking is the top preferred automated analysis method; (8) the logic‐based formal techniques are so popular in specifying system requirements; (9) among the analysis properties considered, consistency is the top supported property for the automated checking; and (10) most ALs do not provide any discussion platform (eg, forums). Hence, these findings can be used by the new AL developers in addressing the needs of practitioners and bridging the gaps in the field. Practitioners can also use the findings to find out about the existing ALs and compare them to choose the one(s) that suits their needs best.
Effect of obesity on oxygen uptake and cardiovascular dynamics during whole‐body and leg exercise in adult males and females

Obesity has been associated with a slowing of V˙ O2 dynamics in children and adolescents, but this problem has not been studied in adults. Cardiovascular mechanisms underlying this effect are not clear. In this study, 48 adults (18 males, 30 females) grouped according to body mass index (BMI) (lean < 25 kg·m−2, overweight = 25–29.9 kg·m−2, obese ≥30 kg·m−2) provided a fasting blood sample, completed a maximal graded exercise test and six bouts of submaximal exercise on a cycle ergometer, and performed two protocols of calf exercise. Dynamic response characteristics of V˙ O2 and leg vascular conductance (LVC) were assessed during cycling (80% ventilatory threshold) and calf exercise (30% MVC), respectively. Dynamic responses of cardiac output, mean arterial pressure and total systemic vascular conductance were also assessed during cycling based on measurements at 30 and 240 sec. The time constant of the second phase of the V˙ O2 response was significantly greater in obese than lean subjects (39.4 (9.2) vs. 29.1 (7.6) sec); whereas dynamic responses of cardiac output and systemic vascular conductance were not affected by BMI. For calf exercise, the time constant of the second growth phase of LVC was slowed significantly in obese subjects (22.1 (12.7) sec) compared with lean and overweight subjects (11.6 (4.5) sec and 13.4 (6.7) sec). These data show that obesity slows dynamic responses of V˙ O2 during cycling and the slower phase of vasodilation in contracting muscles of male and female adults.
Improved Selection of Internal Transcribed Spacer-Specific Primers Enables Quantitative, Ultra-High-Throughput Profiling of Fungal Communities

ABSTRACT Ultra-high-throughput sequencing (HTS) of fungal communities has been restricted by short read lengths and primer amplification bias, slowing the adoption of newer sequencing technologies to fungal community profiling. To address these issues, we evaluated the performance of several common internal transcribed spacer (ITS) primers and designed a novel primer set and work flow for simultaneous quantification and species-level interrogation of fungal consortia. Primer comparison and validation were predicted in silico and by sequencing a “mock community” of mixed yeast species to explore the challenges of amplicon length and amplification bias for reconstructing defined yeast community structures. The amplicon size and distribution of this primer set are smaller than for all preexisting ITS primer sets, maximizing sequencing coverage of hypervariable ITS domains by very-short-amplicon, high-throughput sequencing platforms. This feature also enables the optional integration of quantitative PCR (qPCR) directly into the HTS preparatory work flow by substituting qPCR with these primers for standard PCR, yielding quantification of individual community members. The complete work flow described here, utilizing any of the qualified primer sets evaluated, can rapidly profile mixed fungal communities and capably reconstructed well-characterized beer and wine fermentation fungal communities.
Micro Operators Accelerating 5 G Deployment ( Invited paper )

5G networks will address a variety of location specific deployment scenarios with stringent requirements for end-to-end service quality. This paper reviews the recent market and technology related trends in 5G deployments. To accelerate 5G deployment serving location specific needs arising in specific high-demand areas, the concept of 5G micro operators was recently proposed to open the mobile market for new entry. The micro operator concept allows different stakeholders to take a local operator role to deploy and operate small cell networks in specific premises and offer context related services and content. The local 5G micro operators can operate a closed network to serve its own customers, an open network for mobile network operators’ (MNO) customers or a mix of both. This paper expands the recent micro operator concept by identifying and addressing key regulatory elements related its introduction to the mobile communication market. These elements include the role of operator with rights and obligations, spectrum authorization for obtaining quality guaranteed spectrum, access rights to infrastructure, and building of indoor networks. Keywords—5G; mobile network operator; regulation; small cell; spectrum sharing;
A Mechanistic Model for Ncd Directionality*

Ncd is a kinesin-related protein that drives movement to the minus-end of microtubules. Pre-steady-state kinetic experiments have been employed to investigate the cooperative interactions between the motor domains of the MC1 dimer and to establish the ATPase mechanism. Our results indicate that the active sites of dimeric Ncd free in solution are not equivalent; ADP is held more tightly at one site than at the other. Upon microtubule binding, fast release of ADP from the first motor domain is stimulated at 18 s−1, yet rate-limiting ADP release from the second motor domain occurs at 1.4 s−1. We propose that the head with the low affinity for ADP binds the microtubule first to establish the directional bias of the microtubule·Ncd intermediate where one motor domain is bound to the microtubule with the second head detached and directed toward the minus-end of the microtubule. The force generating cycle is initiated as ATP binds to the empty site of the microtubule-bound head. ATP hydrolysis at head 1 is required for head 2 to bind to the microtubule. The kinetics indicate that two ATP molecules are required for a single step and force generation for minus-end directed movement generated by this non-processive dimeric motor.
SACR: A Drag-and-Drop Based Tool for Coreference Annotation

This paper introduces SACR, an easy-to-use coreference chain annotation tool, which is used to annotate large corpora for Natural Language Processing (NLP) applications. Coreference annotation is usually considered as costly both in terms of time and human resources. So, in order to ﬁnd the easiest annotation strategy, we will ﬁrst of all compare several annotation schemes implemented in existing tools. Since interface ergonomics is also an important part of our research, we then focus on identifying the most helpful features to reduce the strain for annotators. In the next section of the paper, we present SACR in details. This tool has been developped speciﬁcally for coreference annotation, and its intuitive user interface has been designed to facilitate and speed up the annotation process, making SACR equally suited for students, occasional and non-technical users. In order to create coreference chains, elements are selected by clicking on the corresponding tokens. Coreference relations are then created by drag-and-dropping expressions one over the other. Finally, color frames around marked expressions help the user to visualize both marked expressions and their relations. SACR is open source, distributed under the terms of the Mozilla Public License, version 2.0, and freely available online.
The modular SSN ontology: A joint W3C and OGC standard specifying the semantics of sensors, observations, sampling, and actuation

The joint W3C (World Wide Web Consortium) and OGC (Open Geospatial Consortium) Spatial Data on the Web (SDW) Working Group developed a set of ontologies to describe sensors, actuators, samplers as well as their observations, actuation, and sampling activities. The ontologies have been published both as a W3C recommendation and as an OGC implementation standard. The set includes a lightweight core module called SOSA (Sensor, Observation, Sampler, and Actuator) available at: http://www.w3. org/ns/sosa/, and a more expressive extension module called SSN (Semantic Sensor Network) available at: http://www.w3. org/ns/ssn/. Together they describe systems of sensors and actuators, observations, the used procedures, the subjects and their properties being observed or acted upon, samples and the process of sampling, and so forth. The set of ontologies adopts a modular architecture with SOSA as a self-contained core that is extended by SSN and other modules to add expressivity and breadth. The SOSA/SSN ontologies are able to support a wide range of applications and use cases, including satellite imagery, large-scale scientific monitoring, industrial and household infrastructures, social sensing, citizen science, observation-driven ontology engineering, and the Internet of Things. In this paper we give an overview of the ontologies and discuss the rationale behind key design decisions, reporting on the differences between the new SSN ontology presented here and its predecessor [9] developed by the W3C Semantic Sensor Network Incubator group (the SSN-XG). We present usage examples and describe alignment modules that foster interoperability with other ontologies.
Towards Efficient Framework for Time-Aware Spatial Keyword Queries on Road Networks

The spatial keyword query takes as inputs a query location and a set of query keywords and returns the answer objects by considering both their spatial distances to the query location and textual similarity with the query keywords. However, temporal information plays an important role in the spatial keyword query (where there is, to our knowledge, no prior work considering temporal information of the objects), since objects are not always valid. For instance, visitors may plan their trips according to the opening hours of attractions. Moreover, in real-life applications, objects are located on a predefined road network, and the spatial proximity of two objects is measured by the shortest path distance or travelling time between them. In this article, we study the problem of time-aware spatial keyword (TSK) query, which assumes that objects are located on the road network, and finds the k objects satisfying users’ spatio-temporal description and textual constraint. We first present the pruning strategy and algorithm based on an existing index. Then, we design an efficient index structure called TG index and propose several algorithms using the TG index that can prune the search space with both spatio-temporal and textual information simultaneously. Further, we show that the TG index technique can also be applied to improve the performance of time-travel text search and spatial keyword query. Extensive experiments using both real and synthetic datasets demonstrate the effectiveness and efficiency of the presented index and algorithms.
MOOCs Revisited: Still Transformative or Passing Fad?.

Although Massive Open Online Courses have been in the media limelight for a relatively short time, their roots date back to the Open Access movement of the early 1990s as access to the World Wide Web was increasing and online publishing was coming of age. Once heralded the great disruptors of higher education, the hype surrounding MOOCs has fluctuated through multiple upsurges and slumps over the past 5 years (Corbeil & Corbeil, 2015). Are MOOCs the great disruptors of higher education? Are they a passing fad? What is the status of MOOCs today? Where will they be 5-10 years from now? This paper will attempt to answer these questions by providing a brief history of the MOOC phenomenon from its early beginnings, through its quick ascension, into a period of experimentation and soul-searching, concluding with a look at today's MOOCs and where they are heading in the next five to ten years.
Combating Osteoarthritis through Stem Cell Therapies by Rejuvenating Cartilage: A Review

Knee osteoarthritis (OA) is a chronic degenerative disorder which could be distinguished by erosion of articular cartilage, pain, stiffness, and crepitus. Not only aging-associated alterations but also the metabolic factors such as hyperglycemia, dyslipidemia, and obesity affect articular tissues and may initiate or exacerbate the OA. The poor self-healing ability of articular cartilage due to limited regeneration in chondrocytes further adversely affects the osteoarthritic microenvironment. Traditional and current surgical treatment procedures for OA are limited and incapable to reverse the damage of articular cartilage. To overcome these limitations, cell-based therapies are currently being employed to repair and regenerate the structure and function of articular tissues. These therapies not only depend upon source and type of stem cells but also on environmental conditions, growth factors, and chemical and mechanical stimuli. Recently, the pluripotent and various multipotent mesenchymal stem cells have been employed for OA therapy, due to their differentiation potential towards chondrogenic lineage. Additionally, the stem cells have also been supplemented with growth factors to achieve higher healing response in osteoarthritic cartilage. In this review, we summarized the current status of stem cell therapies in OA pathophysiology and also highlighted the potential areas of further research needed in regenerative medicine.
Efficient Data Retrieval System for Text Search

The text filtering server monitors a stream of incoming documents for a set of users, who register their interests in the form of continuous text search queries. The objective of the server is to constantly maintain for each query a ranked result list providing the recent documents with the highest similarity to the query.I propose the solution for processing continuous text queries efficiently.The solution indexes the streamed documents in main memory with a structure based on the principles of the inverted file, and processes document arrival and expiration events with an incremental threshold-based method. Based on incremental threshold algorithm, the order of the links will be displayed.
Entre traduction et négociation : comment se construit le sens des groupwares en contexte organisationnel? (Between translation and negotiation : how is the meaning of groupwares built into an organizational context?)

La mise en place de groupwares dans les organisations productives souligne quatre traits majeurs de nos societes : la mise en avant du savoir comme l'un des moteurs de la competitivite des entreprises, la profusion de technologies investissant a la fois les espaces domestiques et professionnels, la valorisation de l'urgence et de la mobilite, et une nouvelle definition de l'acteur, entrepreneur de sa vie. Les groupwares se presentent comme des catalyseurs de performance : travailler plus vite, mieux, en mobilisant l? intelligence collective. Comment de tels outils sont-ils appropries par les acteurs dans les organisations productives ? Comment sont-ils integres ou non dans les pratiques de travail ? Comment les acteurs, en leur cherchant un sens, transforment-ils les organisations ? C? est la question des processus cognitifs et communicationnels a l'? uvre qui est placee au centre de cette recherche. L? hypothese consiste a envisager les appropriations des groupwares comme le produit de deux dynamiques inter-reliees : une dynamique de creation de sens et une dynamique de traduction. L? articulation de la theorie du sensemaking developpee par Karl E. Weick et la theorie de la traduction proposee par Madeleine Akrich, Michel Callon et Bruno Latour, se revele fructueuse pour analyser les processus d? appropriation des groupwares. Trois etudes de cas ont ete realisees : une observation participante dans un centre de recherche et deux recherches-action, au sein d? une banque et d? un organisme d? aide aux entreprises. Elles mettent en evidence le role actif que jouent les acteurs lors de l? introduction d? un groupware et la dimension communicationnelle a l'? uvre : formulation de projets, negociations des fondamentaux sur lesquels reposent les collectifs de travail, traduction et articulation de logiques contradictoires qui traversent les entreprises. Le role du manager se revele preponderant et les resultats de la recherche invitent a repenser son action lors de la mise en place des groupwares, puisque ces outils, vecteurs de rationalisation cognitive, interrogent les formes de construction identitaire et de relations professionnelles qui se jouent dans les entreprises. Les managers apparaissent desarmes face a ces enjeux
Microtubule-Nucleus Interactions in Dictyostelium discoideum Mediated by Central Motor Kinesins

ABSTRACT Kinesins are a diverse superfamily of motor proteins that drive organelles and other microtubule-based movements in eukaryotic cells. These motors play important roles in multiple events during both interphase and cell division. Dictyostelium discoideum contains 13 kinesin motors, 12 of which are grouped into nine families, plus one orphan. Functions for 11 of the 13 motors have been previously investigated; we address here the activities of the two remaining kinesins, both isoforms with central motor domains. Kif6 (of the kinesin-13 family) appears to be essential for cell viability. The partial knockdown of Kif6 with RNA interference generates mitotic defects (lagging chromosomes and aberrant spindle assemblies) that are consistent with kinesin-13 disruptions in other organisms. However, the orphan motor Kif9 participates in a completely novel kinesin activity, one that maintains a connection between the microtubule-organizing center (MTOC) and nucleus during interphase. kif9 null cell growth is impaired, and the MTOC appears to disconnect from its normally tight nuclear linkage. Mitotic spindles elongate in a normal fashion in kif9− cells, but we hypothesize that this kinesin is important for positioning the MTOC into the nuclear envelope during prophase. This function would be significant for the early steps of cell division and also may play a role in regulating centrosome replication.
NPE: Neural Personalized Embedding for Collaborative Filtering

Matrix factorization is one of the most efficient approaches in recommender systems. However, such algorithms, which rely on the interactions between users and items, perform poorly for "cold-users" (users with little history of such interactions) and at capturing the relationships between closely related items. To address these problems, we propose a neural personalized embedding (NPE) model, which improves the recommendation performance for cold-users and can learn effective representations of items. It models a user's click to an item in two terms: the personal preference of the user for the item, and the relationships between this item and other items clicked by the user. We show that NPE outperforms competing methods for top-N recommendations, specially for cold-user recommendations. We also performed a qualitative analysis that shows the effectiveness of the representations learned by the model.
Digital Human Modeling Approach in Ergonomic Evaluations

Digital human modeling (DHM) reduces the product design and manufacturing task cycle time by eliminating the need to construct physical setup. This paper discusses the current research on digital human modelling, their capabilities and issues generating with the growing demands of technology. With the latest computer technology, human manikin has been modified which can easily simulate and replicate the actual workplace scenario. Anthropometric databases developed which are essential part of any DHMs software are also discussed. Limitations in current DHM model are also discussed.
Supporting Dynamic Quantization for High-Dimensional Data Analytics

Similarity searches are at the heart of exploratory data analysis tasks. Distance metrics are typically used to characterize the similarity between data objects represented as feature vectors. However, when the dimensionality of the data increases and the number of features is large, traditional distance metrics fail to distinguish between the closest and furthest data points. Localized distance functions have been proposed as an alternative to traditional distance metrics. These functions only consider dimensions close to query to compute the distance/similarity. Furthermore, in order to enable interactive explorations of high-dimensional data, indexing support for ad-hoc queries is needed. In this work we set up to investigate whether bit-sliced indices can be used for exploratory analytics such as similarity searches and data clustering for high-dimensional big-data. We also propose a novel dynamic quantization called Query dependent Equi-Depth (QED) quantization and show its effectiveness on characterizing high-dimensional similarity. When applying QED we observe improvements in kNN classification accuracy over traditional distance functions.
Development and evaluation of a bait station for selectively dispensing bait to invasive wild pigs

Populations of invasive wild pigs (Sus scrofa; hereafter, wild pigs) are expanding, requiring costeffective tools for control, and disease prevention, such as toxic or vaccine baits. Specifically, development of a novel and humane toxicant is underway for control of wild pigs in the United States and Australia. A speciesspecific bait station for delivering the toxic baitmust be used to protect nontarget animals. Further, a bait station mustbedesigned tomaximize feedingbywildpigsbyaccommodating theirgroup-feedingbehaviors.Wesought to develop a bait station that delivered bait to the maximum proportion of wild pigs and excluded the most ubiquitous nontarget species, specifically white-tailed deer (Odocoileus virginianus) and raccoons (Procyon lotor). Weuseddirect observations and cameras during2015 to evaluatewild pig feeding behavior andnontarget access for various sizes, arrangements, and constructionmaterials of prototype bait stations in pen and field settings in Texas, USA. We found that a bait station constructed of 2 back-to-back troughs, 1.1m in length, without a dividerwas sufficient for feeding the largest proportionofwild pigs inpens.Using this designof bait station at 30 field sites, we found that wild pigs fedmore frequently from plastic than metal bait stations, although both bait stations reduced feeding by wild pigs compared with control sites. From near-video imagery at 3 field sites, we identified that 80%ofwild pigs (33 of 41), 0%ofwhite-tailed deer (0 of 7), and 17%of raccoons (1 of 6) accessed the bait stations on the final night of testing following a 2-week acclimation and training period. Future steps toward development of a wild pig-specific bait station include adding resistance to the lids of bait stations to completely exclude raccoons and identify baiting strategies thatmost efficiently acclimatewild pigs to using bait stations. Published 2018. This article is a U.S. Government work and is in the public domain in the USA.