Miracle-dz/UniFAR-FTUs huggingface dataset:
A model for abstract process specification, verification and composition

An abstract business process contains a description the protocol that a business process engages in without revealing the internal computation of the process. This description provides the information necessary to compose the process with other Web services. BPEL supports this by providing distinct dialects for specifying abstract and executable processes. Unfortunately, BPEL does not prevent complex computations from being included in an abstract process. This complicates the protocol description, unnecessarily reveals implementation details, and makes it difficult to analyze correctness. We propose some restrictions on the data manipulation constructs that can be used in an abstract BPEL process. The restrictions permit a full description of a protocol while hiding computation. A restricted abstract process can easily be converted into an abstract BPEL process or expanded into an executable BPEL process. Based on these restrictions we propose a formal model for a business process and use it as the basis of an algorithm for demonstrating the correctness of a protocol described by a restricted abstract process. We then sketch an algorithm for synthesizing a protocol based on a formal specification of its outcome and the tasks available for its construction.
Developmental trajectories of soccer-specific dribbling and passing skills in young soccer players

The purpose of this study was to examine developmental trajectories of soccer-specific dribbling and passing skills including birth cohort, birth month, and sex differences in young soccer players. A total of 3108 (860 girls, 2248 boys) Finnish competitive soccer players were followed through six measurement phases from the age of 10 years continuing until turning 14. The present findings showed that dribbling and passing skills appeared to improve over time. Girls achieved similar dribbling and passing skill scores as boys at the baseline more than two years later. The relative age effect was evident, as younger players (born in Jul-Dec) achieved the same dribbling and passing scores as older players (Jan-Jun) at the baseline a half year later. An unexpected finding was that a difference between older and younger players existed in changes of dribbling, not in passing test scores. Current findings indicated that skill development in soccer is a slow process with a great variation between individuals. It would be beneficial to all players but especially to girls and younger players to practice a wide range of soccer-related skills outside organized events, as practicing a variety of soccer skills may help to learn other specific skills.
The Politics of Strange Fruit: Examining the Intersectionality of Race, Microaggressions, and Resiliency for African American Male Students in a Public High School Setting

Examining the intersectionality of race, microaggressions, and resiliency among African American male students and how these experiences impact their lives in a high school setting can produce understandings that could lead to interventions for greater academic success. Research is clear there is a consistent decline in the academic achievement for African American males. Additionally, there has been an increase of African American males dropping out of high schools and entering the perils of a justice system that swings towards an imbalance of hopelessness and the predictability of a shortened lifespan. Analyzing structures and practices through a multi-lens approach of Critical Race Theory, Phenomenological Variant of Ecological Systems Theory, and Racial Identity Theory can be strategic methods in addressing and changing teacher-student relationships, institutional racism, white privilege and power, oppositional cultural attitudes and stereotypes, and racial prejudice. This study was comprised of four focus groups from four high schools and 25 African American male students. An analysis of the data revealed the following themes: microaggressions, racialized stereotypes, racial identity struggle, feelings of being unheard, unseen, invisible and a 2 class citizen; and resiliency, power, and coping. The findings from the study identified the perception of racial microaggressions among African American male students and used previous research to intersect their experiences with racial identity, feelings of power, strength, and resiliency in a high school setting. The focus group sessions created space to listen to the students’ stories and understand their perceptions while allowing them to “name their own reality” about their school experiences. Listening to student voice, referencing and positively
A low overhead wireless sensor networks MAC protocol

Energy efficiency is the kernel issue in the designing of wireless sensor network(WSN) MAC protocols. S-MAC is a WSN MAC protocol based on the listen and sleep mechanism to reduce energy consumption. Synchronous frame in S-MAC protocol belongs to control information, so it's better to reduce it as much as possible. In addition, S-MAC protocol adopts virtual cluster synchronization mechanism which leads to the generation of border nodes, and the border nodes will exhaust energy more easily and earlier. This paper analyzed S-MAC, and proposed LO-MAC protocol. The LO-MAC protocol improved S-MAC by decreasing the control energy consumption and thus prolong network lifetime compared with S-MAC protocol, furthermore, it resolved the problem of border nodes. The simulation of S-MAC protocol and LO-MAC protocol energy efficient on NS2 improved that LO-MAC protocol was more energy efficient than S-MAC.
Cultural Processes of Ethnoracial Disadvantage among Native American College Students

Abstract:Although indigenous populations have been subjected to some of the worst forms of institutionalized oppression in the United States, little social science research has sought to understand the day-to-day ethnoracial biases that contemporary Native American populations face. Seeking to expand this knowledge, we present a theoretical framework of the cultural processes of ethnoracial disadvantage experienced by Native American students in predominantly white colleges. Drawing on 65 in-depth interviews with 50 Native students, we identify four cultural processes of disadvantage: derogatory stereotyping, exoticized othering, delegitimation, and assimilation pressures related to cultural hegemony. Intertwined with these processes is the cultural permissibility of ignorance, a willful dearth of knowledge—and lack of accountability for knowledge—about indigenous peoples, traditions, and histories of oppression which enable these biases and exclusions. Students tend to respond to these cultural processes of disadvantage in three ways: educating others, working to disprove stereotypes, and spanning two worlds. We end by discussing how these results help advance theoretical understanding of ethnoracial bias toward indigenous populations and cultural processes of ethnoracial inequality in the United States more broadly.
Placental protein 13 (PP13): a new biological target shifting individualized risk assessment to personalized drug design combating pre-eclampsia.

BACKGROUND Pre-eclampsia affects 2-7% of all pregnant women and is a major cause of maternal and fetal morbidity and mortality. The etiology of pre-eclampsia is still unknown but it is well documented that impaired placentation is a major contributor to its development. One of the placenta-specific proteins is placental protein 13 (PP13). Lower first trimester levels of maternal serum PP13 and its encoding placental mRNA are associated with the development of both early and late-onset severe pre-eclampsia. In cases where this protein is mutated, the frequency of pre-eclampsia is higher. METHODS 19 out of 68 studies on PP13, published between January 2006 and September 2012, were used to evaluate the value of maternal blood PP13 as a marker of pre-eclampsia. RESULTS A meta-analysis presented in this review shows that low serum levels of PP13 in the first trimester of pregnancy can predict the development of pre-eclampsia later in pregnancy. Although some functions of this protein have been assessed in in vitro experiments, the in vivo functions of PP13 are still unknown, especially when circulating in the maternal bloodstream. A recent pilot study has shown that in gravid rats PP13 causes significant vasodilatation, reduced blood pressure and increased maternal uterine artery remodeling. CONCLUSION Reviewing these effects of PP13, the authors propose the use of PP13 as a new drug candidate. Replenishing PP13 in those women with low serum levels early in pregnancy may help prepare their vasculature for pregnancy. This novel pharmacological approach to combat pre-eclampsia is presented as a new direction to transfer from individualized risk to personalized prevention.
Visibility-driven Mesh Analysis and Visualization through Graph Cuts

In this paper we present an algorithm that operates on a triangular mesh and classifies each face of a triangle as either inside or outside. We present three example applications of this core algorithm: normal orientation, inside removal, and layer-based visualization. The distinguishing feature of our algorithm is its robustness even if a difficult input model that includes holes, coplanar triangles, intersecting triangles, and lost connectivity is given. Our algorithm works with the original triangles of the input model and uses sampling to construct a visibility graph that is then segmented using graph cut.
Adaptive Neural Network Control of a Self-Balancing Two-Wheeled Scooter

This paper presents an adaptive control using radial-basis-function neural networks (RBFNNs) for a two-wheeled self-balancing scooter. A mechatronic system structure of the scooter driven by two dc motors is briefly described, and its mathematical modeling incorporating two frictions between the wheels and the motion surface is derived. By decomposing the overall system into two subsystems (yaw motion and mobile inverted pendulum), one proposes two adaptive controllers using RBFNN to achieve self-balancing and yaw control. The performance and merit of the proposed adaptive controllers are exemplified by conducting several simulations and experiments on a two-wheeled self-balancing scooter.
CADEAU: Supporting Autonomic and User-Controlled Application Composition in Ubiquitous Environments

Networked devices, such as consumer electronics, digital media appliances and mobile devices are rapidly filling our everyday environments and changing them into ubiquitous spaces. Composing an application from resources and services available in these environments is a complex task which requires solving a number of equally important engineering challenges as well as issues related to user behaviour and acceptance. In this chapter we introduce CADEAU, a prototype that addresses these challenges through a unique combination of autonomic mechanisms for application composition and methods for user interaction. These methods differ from each other in the degree to which the user is involved in the control of the prototype. They are offered so that users can choose the appropriate method according to their needs, the application and other context information. These methods use the mobile device as an interaction tool that connects users and resources in the ubiquitous space. We present the architecture, the interaction design and the implementation of CADEAU and give the results of a user study that involved 30 participants from various backgrounds. This study explores the balance between user control and system autonomy depending on different contexts, the user's needs and expertise. In particular, the study analyses the circumstances under which users prefer to rely on certain interaction methods for application composition. We argue that this study is a key step towards better user acceptance of future systems for the composition of ubiquitous applications.
Context-Based Personalization for Mobile Web Search

User experience while searching for web pages on the move can be far from satisfactory due to the inherent limitations of the input modes available in mobile devices. On the other hand, end-users can benefit from the availability of contextaware information anywhere, anytime. To overcome the usability problem and exploit context information at the same time, we propose a thesaurus-based semantic context-aware autocompletion mechanism. Our system can help the user in completing the desired query terms avoiding manual typing. In addition we are capable of filtering out non-relevant query terms for the Context in which the search process is conducted. Our context-aware proposal is based on a model which represents formally all the information about the user circumstances, the access mechanism (device and web browser) and the surrounding environment. Our evaluation reveals that users can find new relevant context-aware results with less effort.
Current challenges in simulations of HPC systems

Simulation of many-core HPC systems is nowadays an active and fruitful area of research. Recent and future proposals are driven by the need of a fast, efficient, and comprehensive simulation framework. This simulation framework should be complete in several ways. First, it should model a wide range of components and provide the mechanisms necessary to plug-in more components as needed. Second, it should allow the designer to focus on critical components while avoiding a large part of the simulation complexity. Each of these components should be able to be evaluated with multiple models with distinct detail levels, ranging from simply analytical models to detailed cycle-accurate simulations. Third, a complete simulation framework should provide a wide range of metrics of interest for the designer and the market. Finally, support for heterogeneous architectures combining CPU and GPU, as well as some degree of reconfigurability is surely required. Building such titanic framework is and will be a collaborative process between researchers around the globe and it is expected to be a hot research topic for the next years.
A Review on Consensus Clock Synchronization Algorithms

: Recently, Consensus based Clock Synchronization (CCS) algorithms have gained much attention in wireless sensor networks due to its simplicity, distributed nature and robustness. Time synchronization in all networks either wired or wireless is important. It allows for successful communication between nodes on the network. It is, however, particularly vital for wireless networks. Wireless time synchronization is used for many different purposes including location, proximity, energy efficiency, and mobility.
A Database of Attribution Relations

The importance of attribution is becoming evident due to its relevance in particular for Opinion Analysis and Information Extraction applications. Attribution would allow to identify different perspectives on a given topic or retrieve the statements of a specific source of interest, but also to select more relevant and reliable information. However, the scarce and partial resources available to date to conduct attribution studies have determined that only a portion of attribution structures has been identified and addressed. This paper presents the collection and further annotation of a database of over 9800 attributions relations from the Penn Discourse TreeBank (PDTB). The aim is to build a large and complete resource that fills a key gap in the field and enables the training and testing of robust attribution extraction systems.
Using the VNA Ideation Game at Global Game Jam

In this article we present the findings of a game idea experiment run at the Global Game Jam (GGJ) 2010 and 2011 events in Tampere, Finland. We were examining how well the game-based ideation method Verbs, Nouns, and Adjectives (VNA) and similar approaches fit the constrained game design processes. GGJ 2010 and 2011 both had a theme for which ideas were produced. Our previous studies indicate that the VNA ideation method is well-suited to blue-sky ideation, but it is harder to use the ideas in ongoing design processes. In this study we compared four different approaches and the ideas resulted by using these methods. This study shows that the theme-tuned VNA variant performed best both in theme-related and interesting ideas, indicating that the method for coming up with new ideas matters.
Applying CMM towards an m-learning context

In the era of m-Learning, it is found that educational institutions have onus of incorporating the latest technological innovations that can be accepted and understood widely. While investigating the important theme of fast-paced development of emerging technologies in mobile communications, it is important to recognize the extent influence of these innovations using which society can communicate, learn, access information, and, additionally, interact. In addition, the usage of mobile technology in higher education needs not only the pervasive nature of the technology but also its disruptive nature that offers several challenges while incorporation in the area of teaching and learning. Therefore, recently, higher education institutions are looking at various ways of implementing m-Learning strategies, in order to offer solutions, which, in turn, can standardize the process of education and, additionally, replace those traditional didactic courses, focusing on m-Learning's endless benefits. Some of the benefits are: the process of learning itself could be self-paced, whereas information could be easier accessed, adding to independent, discovery-oriented learning that becomes more engaging. Applying CMM successfully to design effective incorporation strategies of m-Learning, this research targets formulation of such a maturity model by which the process of m-Learning can be more effective and efficient.
An End Host Multicast Protocol for Peer-to-Peer Networks

This paper presents a novel end host multicast protocol (DSM) on top of the mesh overlays for P2P networks. Unlike the previous schemes, the major feature ofDSM is that it does not need a multicast tree for routing the multicast messages. DSM can implement the scalable and efFcient multicast communications in a fully distributed way and consists of the following algorithms: I . cluster formation that forms the group into clusters and each cluster consists of a small number of members; 2. cluster core selection that selects a core for each cluster who has the minimum sum of overlay hops to all other cluster members; 3. multicast routing that includes the balanced RA routing approach which enables a cluster core to construct the connections with other cores dynamically by using the rectangle area and the balanced forwardjlooding scheme in each cluster which evenly distributes the data traf- Jic and link stress among the links in the multicast system. Simulation results show that DSM is fully distributed, scalable and efjicient as compared with some well-known end host multicast system.
The Spectral Main Sequence of Human Saccades

Despite the many models of saccadic eye movements, little attention has been paid to the shape of saccade trajectories. Some investigators have argued that saccades are driven by a rectangular “bang-bang” neural control signal, whereas others have emphasized the similarity to fast arm movement trajectories, such as the “minimum jerk” profile. However, models have not been tested rigorously against empirical trajectories. We examined the Fourier transforms of saccades and compared them with theoretical models. Horizontal saccades were recorded from 10 healthy subjects. The Fourier transform of each saccade was accurately computed using a padded fast Fourier transform (FFT), and the frequencies of the first three minima (M1, M2, M3) in each energy spectrum were measured to a precision of 0.12 Hz. Each subject showed near-linear trends in the relationships among M1, M2, and M3 and the reciprocal of duration (1/T), which we call the “spectral main sequence. ” Extrapolation of plots did not pass through the origin, indicating a subtle departure from self-similarity. Bivariate confidence regions were established to allow for slope-intercept variability. The nonharmonic relationships seen cannot arise from a rectangular saccadic pulse driving a linear ocular plant. The relationships are also incompatible with minimum acceleration, minimum jerk, or higher-order minimum square derivative trajectories. The best fits were made by trajectories that minimize postmovement variance with signal-dependent noise (Harris and Wolpert, 1998). It is concluded that the spectral main sequence is exquisitely sensitive to the saccade trajectory and should be used to test objectively all present and future models of saccades.
Noisy Sensor Network Localization using Semidefinite Representations and Facial Reduction ∗

In this paper we extend a recent algorithm for solving the sensor network localization problem (SNL ) to include instances with noisy data. In particular, we continue to exploit the implicit degeneracy in the semidefinite programming (SDP ) relaxation of SNL . An essential step involves finding good initial estimates for a noisy Euclidean distance matrix, EDM , completion problem. After finding the EDM completion from the noisy data, we rotate the problem using the original positions of the anchors. This is a preliminary working paper, and is a work in progress. Tests are currently on-going.
A Survey of Gesture Recognition Systems for Indian Sign Language Recognition

The problem of Sign Language Recognition (SLR) consists of four main stages, Video Acquisition, Video Processing, Feature Extraction and Recognition. SLR is a multi-disciplinary research area; hence literature survey of each stage mentioned above is done independently in order to find the suitable best method for each stage. Another reason for doing independent literature survey of each stage is, selection of efficient method at each stage will improve the overall performance of the SLR system. The set of techniques reviewed in this paper can be selected for developing a system for recognition of the native Indian Sign Language (ISL).
A posteriori analysis of the finite element discretization of some parabolic equations

Nous considerons la discretisation d'equations paraboliques, soit lineaires soit semi-lineaires, par un schema d'Euler implicite en temps et par elements finis en espace. L'idee de cet article est de construire des indicateurs d'erreur lies a l'approximation en temps et en espace et de prouver leur equivalence avec l'erreur, dans le but de travailler avec des pas de temps adaptatifs et des maillages d'elements finis adaptes a la solution.
Current Controlled CDBAs Based- Novel Floating and Grounded Negative Inductance Simulators

This article reviews 2 novel circuits which are floating and grounded negative inductance simulators using Current Controlled Current Differencing Amplifiers (CCCDBAs). The simulated inductance values can be controlled electronically by adjusting the bias current of the CCCDBA. Each inductance simulator comprises only 2 CCCDBAs and 1 grounded capacitor without any external resistors and any component matching requirements. The circuit performances are depicted trough PSPICE simulations, they show good agreement to theoretical anticipation. Some applications are included to confirm the usability of proposed circuits.