Miracle-dz/UniFAR-FTUs huggingface dataset:
Models for the supervision of Web services orchestration with dynamic changes

Programming on the Web enlightens some classical problems encountered on large distributed applications with a particular emphasis on dynamic changes. In that context, we are interested in the questions of supervision and diagnosis. Our approach is based on true-concurrency models and consists in building an unfolding of a model of the supervised system, that selects the histories that explain the observed alarms. We extend the notion of unfolding of high-level Petri nets to a model of dynamic systems that we define. This model is close to high-level Petri nets and allows us to model dynamicity. Finally, we explain how to use unfoldings of dynamic nets for the diagnosis application.
A Decentralized Security Framework for Data Aggregation and Access Control in Smart Grids

We propose a decentralized security framework for smart grids that supports data aggregation and access control. Data can be aggregated by home area network (HAN), building area network (BAN), and neighboring area network (NAN) in such a way that the privacy of customers is protected. We use homomorphic encryption technique to achieve this. The consumer data that is collected is sent to the substations where it is monitored by remote terminal units (RTU). The proposed access control mechanism uses attribute-based encryption (ABE) which gives selective access to consumer data stored in data repositories and used by different smart grid users. RTUs and users have attributes and cryptographic keys distributed by several key distribution centers (KDC). RTUs send data encrypted under a set of attributes. Since RTUs are maintained in the substations they are well protected in control rooms and are assumed to be trusted. Users can decrypt information provided they have valid attributes. The access control scheme is distributed in nature and does not rely on a single KDC to distribute the keys which makes the approach robust. To the best of our knowledge, ours is the first work on smart grids, which integrates these two important security components (privacy preserving data aggregation and access control) and the first paper which addresses access control in smart grids.
Functional analysis of yeast gene families involved in metabolism of vitamins B1 and B6

In order to clarify their physiological functions, we have undertaken a characterization of the three‐membered gene families SNZ1–3 and SNO1–3. In media lacking vitamin B6, SNZ1 and SNO1 were both required for growth in certain conditions, but neither SNZ2, SNZ3, SNO2 nor SNO3 were required. Copies 2 and 3 of the gene products have, in spite of their extremely close sequence similarity, slightly different functions in the cell. We have also found that copies 2 and 3 are activated by the lack of thiamine and that the Snz proteins physically interact with the thiamine biosynthesis Thi5 protein family. Whereas copy 1 is required for conditions in which B6 is essential for growth, copies 2 and 3 seem more related with B1 biosynthesis during the exponential phase. Copyright © 2002 John Wiley & Sons, Ltd.
Learning more than expected: The influence of teachers' attitudes on children's learning outcomes

This study employed the concept of teachers’ sense of responsibility for students’ learning to examine the extent to which the gap in math learning growth is reduced and whether such attitudes can improve children's learning outcomes to a degree that is above and beyond their expected achievement relative to their initial academic skills. Analysis of the Early Childhood Longitudinal Study – Kindergarten Cohort revealed that children who experienced high levels of teachers’ sense of responsibility displayed higher achievement growth than did their under-prepared peers who did not receive this support. Furthermore, academically disadvantaged children who were exposed to a high level of teachers’ responsibility were more likely to show a transitional shift in their learning development at the end of the first grade. These findings have implications for understanding how the attitudes that teachers hold within the classroom may play a role in reducing the stratified learning outcomes engendered at an early age.
SGTD: Structure Gradient and Texture Decorrelating Regularization for Image Decomposition

This paper presents a novel structure gradient and texture decor relating regularization (SGTD) for image decomposition. The motivation of the idea is under the assumption that the structure gradient and texture components should be properly decor related for a successful decomposition. The proposed model consists of the data fidelity term, total variation regularization and the SGTD regularization. An augmented Lagrangian method is proposed to address this optimization issue, by first transforming the unconstrained problem to an equivalent constrained problem and then applying an alternating direction method to iteratively solve the sub problems. Experimental results demonstrate that the proposed method presents better or comparable performance as state-of-the-art methods do.
Growth points in thinking-for-speaking

Many bilingual speakers believe they engage in different forms of thinking when they shift languages. This experience of entering different thought worlds can be explained with the hypothesis that languages induce different forms of `thinking-for-speaking'-- thinking generated, as Slobin (1987) says, because of the requirements of a linguistic code. "`Thinking for speaking' involves picking those characteristics that (a) fit some conceptualization of the event, and (b) are readily encodable in the language"[2] (p. 435). That languages differ in their thinking-for-speaking demands is a version of the linguistic relativity hypothesis, the proposition that language influences thought and that different languages influence thought in different ways.
Geographical, Temporal and Environmental Determinants of Bryophyte Species Richness in the Macaronesian Islands

Species richness on oceanic islands has been related to a series of ecological factors including island size and isolation (i.e. the Equilibrium Model of Island Biogeography, EMIB), habitat diversity, climate (i.e., temperature and precipitation) and more recently island ontogeny (i.e. the General Dynamic Model of oceanic island biogeography, GDM). Here we evaluate the relationship of these factors with the diversity of bryophytes in the Macaronesian region (Azores, Madeira, Canary Islands and Cape Verde). The predictive power of EMIB, habitat diversity, climate and the GDM on total bryophyte richness, as well as moss and liverwort richness (the two dominant bryophyte groups), was evaluated through ordinary least squares regressions. After choosing the best subset of variables using inference statistics, we used partial regression analyses to identify the independent and shared effects of each model. The variables included within each model were similar for mosses and liverworts, with orographic mist layer being one of the most important predictors of richness. Models combining climate with either the GDM or habitat diversity explained most of richness variation (up to 91%). There was a high portion of shared variance between all pairwise combinations of factors in mosses, while in liverworts around half of the variability in species richness was accounted for exclusively by climate. Our results suggest that the effects of climate and habitat are strong and prevalent in this region, while geographical factors have limited influence on Macaronesian bryophyte diversity. Although climate is of great importance for liverwort richness, in mosses its effect is similar to or, at least, indiscernible from the effect of habitat diversity and, strikingly, the effect of island ontogeny. These results indicate that for highly vagile taxa on oceanic islands, the dispersal process may be less important for successful colonization than the availability of suitable ecological conditions during the establishment phase.
Mapping Synergies From Human to Robotic Hands With Dissimilar Kinematics: An Approach in the Object Domain

One of the major limitations to the use of advanced robotic hands in industries is the complexity of the control system design due to the large number of motors needed to actuate their degrees of freedom. It is our belief that the development of a unified control framework for robotic hands will allow us to extend the use of these devices in many areas. Borrowing the terminology from software engineering, there is a need for middleware solutions to control the robotic hands independently from their specific kinematics and focus only on the manipulation tasks. To simplify and generalize the control of robotic hands, we take inspiration from studies in neuroscience concerning the sensorimotor organization of the human hand. These studies demonstrated that, notwithstanding the complexity of the hand, a few variables are able to account for most of the variance in the patterns of configurations and movements. The reduced set of parameters that humans effectively use to control their hands, which are known in the literature as synergies, can represent the set of words for the unified control language of robotic hands, provided that we solve the problem of mapping human hand synergies to actions of the robotic hands. In this study, we propose a mapping designed in the manipulated object domain in order to ensure a high level of generality with respect to the many dissimilar kinematics of robotic hands. The role of the object is played by a virtual sphere, whose radius and center position change dynamically, and the role of the human hand is played by a hand model referred to as “paradigmatic hand,” which is able to capture the idea of synergies in human hands.
Dynamics of a Stroop matching task: effect of alcohol and reversal with training

Using a Stroop matching task, we evaluated how alcohol affects the time needed to overcome Stroop conflict and whether practice might reverse the effect of alcohol. Participants (n = 16) performed two sessions in which they had to compare the color of a color-word with the meaning of a color-word in neutral color. The two task stimuli were presented simultaneously or with a Stimulus Onset Asynchrony (SOA) of 200, 500, or 800 ms. For half of the subjects, alcohol was administered in the first session, and for the other half, alcohol was administered in the second session. The results showed that the Stroop effect was significant at the 0 and 200 ms intervals in the sober subjects. Moreover, in untrained intoxicated individuals, interference endured until the 500 ms interval, a result that was abolished in trained intoxicated subjects. In conclusion, alcohol increased the time needed for Stroop matching task conflict resolution. However, this deleterious effect was minimized by a previous practice session.
RevKit: A Toolkit for Reversible Circuit Design

In recent years, research in the domain of reversible circuit design has attracted significant attention leading to many different approaches for e.g. synthesis, optimization, simulation, verification, and test. However, most of the resulting tools are not publicly available. In this paper, we introduce RevKit, an open source toolkit that aims to make recent developments in reversible circuit design accessible to other researchers. Therefore, a modular and extendable framework is provided which easily enables the addition of new methods and tools. RevKit already provides some of the existing approaches for synthesis, optimization, and verification functionality.
Exploiting Social Tags to Overcome cold Start Recommendation Problem

The practice and method of collaboratively creating and managing tags to annotate and categorize content has resulted in the creation of folksonomy. Folksonomies provide new opportunities and challenges in the field of recommender systems. Despite the considerable amount of researches done in the context of recommender systems, the specific problem of integrating tags into standard recommender system algorithms is less explored than the problem of recommending tags. Collaborative filtering is one of the popular approaches for providing recommendation. However, despite the popularity of collaborative filtering, to some extent, it could not recognize the preferences of users in cold-start scenarios, where insufficient preferences are associated to certain users or items, which leads to degraded recommendation quality. This study presents a collaborative filtering approach based on the expansion of users’ tags. In this case, semantics between tags can be unveiled which subsequently resulted in the identification of semantically similar users. Experiment on real-life dataset shows that our approach outperforms the state-of-the-art tag-aware collaborative filtering approaches in terms of recommendation quality particularly in the cold-start situation.
Regional lymph node assessment for conjunctival melanoma: sentinel lymph node biopsy and positron emission tomography

Conjunctival melanoma is a rare tumour of the ocular surface with an annual incidence of less than five cases per million and a 10-year mortality of about 30%. 1–5 The standard management of conjunctival melanoma consists of local surgical resection with application of cryotherapy to the margins of resection.3 The regional lymph nodes are thought to be the first site of metastasis for the majority of patients with conjunctival melanoma.1–5 The reported frequency of regional lymph node metastasis secondary to conjunctival melanoma varies from 20 to 30%, depending on the conjunctival melanoma tumour thickness and other high-risk features such as a palpebral location.1–5 The traditional ways of assessing the status of regional lymph nodes at the time of initial diagnosis of conjunctival melanoma include palpation of the regional lymph nodes, imaging studies such as computed tomography or magnetic resonance imaging of the regional lymph nodes, and ultrasonography with fine-needle aspiration of suspicious nodes, although admittedly most studies published in the ophthalmic literature do not specify which tests and frequency of administration of these conventional tests are recommended or practised by ocular oncologists who treat conjunctival melanoma. Historically, after surgical removal of the conjunctival melanoma, the regional lymph nodes are clinically observed until overt clinical signs of metastasis develop. Once clinically detectable metastatic disease develops, the prognosis for survival is poor.6 Recently, there has been some progress towards better staging of regional lymph nodes in patients with conjunctival melanoma by adapting sentinel lymph node (SLN) biopsy as a way to discover microscopic (subclinical) metastatic disease.7–13 There have also been some recent attempts at evaluating positron emission tomography as a way to rule out subclinical metastasis in the regional lymph nodes in patients with conjunctival melanoma.14 Each of …
SENTIMENT ANALYSIS BASED ON APPRAISAL THEORY FOR MARKETING INTELLIGENCE IN INDONESIA’S MOBILE PHONE MARKET

The growth of internet has prompt online marketing intelligence activities. Twitter becomes most popular social media in Indonesia and provides millions of text data. People share their opinion and emotions by their tweets. This phenomenon gives an opportunity to conduct a research for sentiment analysis. In this research we use appraisal theory that can analyze the emotions on the tweets according to basic descriptions on appraisal theory that include attitude, graduation and engagement towards products. We apply this theory in sentiment analysis using Bahasa Indonesia to determine and compare positive and negative sentiment of popular smartphone products in Indonesia, which is Lumia and Xperia. We perform calculation based on target and appraisal related, in the sentences level and the tweets level. The results of this research can be used as knowledge and consideration for business especially marketing intelligence field. Based on the calculations, Lumia have more positive results than Xperia.
How lonely is your grandma?: detecting the visits to assisted living elderly from wireless sensor network data

Existing research on the recognition of Activities of Daily Living (ADL) from simple sensor networks assumes that only a single person is present in the home. In reality, the resident receives visits from family members or professional health care givers. In such cases activity recognition must take into account the presence of multiple persons. Here we investigate the problem of detecting multiple persons in a home environment equipped with a sensor network consisting of 13 binary sensors. We collected data during more than one year in our living labs and used Hidden Markov Model (HMM) for a visitor detection. A cross validation method was used to determine the best set of features from the binary data. Using this set of features the detection rate is approximately 85%.
Microbial lipid and amino sugar responses to long-term simulated global environmental changes in a California annual grassland

Global environmental change is predicted to have major consequences for carbon cycling and the functioning of soil ecosystems. However, we have limited knowledge about its impacts on the microorganisms, which act as a “valve” between carbon sequestered in soils versus released into the atmosphere. In this study we examined microbial response to continuous 9-years manipulation of three global change factors (elevated CO2, warming, and nitrogen deposition), singly and in combination using two methods: lipid and amino sugar biomarkers at the Jasper Ridge Global Change Experiment (JRGCE). The two methods yielded important distinctions. There were limited microbial lipid differences, but many significant effects for microbial amino sugars. We found that CO2 was not a direct factor influencing soil carbon and major amino sugar pools, but had a positive impact on bacterial-derived muramic acid. Likewise, warming and nitrogen deposition appeared to enrich residues specific to bacteria despite an overall depletion in total amino sugars. The results indicate that elevated CO2, warming, and nitrogen deposition all appeared to increase bacterial-derived residues, but this accumulation effect was far offset by a corresponding decline in fungal residues. The sensitivity of microbial residue biomarker amino sugars to warming and nitrogen deposition may have implications for our predictions of global change impacts on soil stored carbon.
Creating inclusive knowledges: exploring the transformative potential of arts and cultural practice

Arts and cultural practice are gaining attention in numerous disciplines and sectors as a vehicle for community building, and to promote wellbeing and social change. In this article we overview the links between community and liberation psychologies, community arts, and public pedagogy. We put forward the notion of community pedagogies to capture where these areas intersect. The different contributions that make up this special issue are examples of the similarities and divergences in the mobilisation of arts and cultural practices across different countries and in relation to different issues. Community pedagogies seek to challenge oppression, marginalisation and social exclusion and it draws from diverse critical epistemological and methodological tools, is participatory, and guided by relational ethics.
Weaving Multiple Dialects in the Classroom Discourse: Poetry and Spoken Word as a Critical Teaching Tool

Shiv: All I can remember as I sat in Professor Miguel Algarin’s undergraduate class “Ethnic Poetry in the United States” was, “I should have been exposed to this sooner. Why wasn’t this part of my schooling experience? ” In his class, we read and scrutinized spoken word poetry as well as listened to spoken word artists perform their poetry for our class. For the first time in my schooling experience, we were reading texts written by people of color and discussing topics that I could relate to such as racism, oppression, poverty, immigrant identity, and a number of other important issues that a kid from urban Jersey City understood only to well. The spoken word texts articulated a style that demonstrated how intellectual, aesthetically beautiful and socially conscious inner-city youth were. Spoken word poetry, performance poetry, spoke to me and touched my soul like no other type of literacy before. It was like looking in a mirror and seeing my faults, my resiliency, my scars, and my hopes.
Recollection and familiarity in recognition memory: an event-related fMRI study

The question of whether recognition memory judgments with and without recollection reflect dissociable patterns of brain activity is unresolved. We used event-related, functional magnetic resonance imaging (fMRI) of 12 healthy volunteers to measure hemodynamic responses associated with both studying and recognizing words. Volunteers made one of three judgments to each word during recognition: whether they recollected seeing it during study (R judgments), whether they experienced a feeling of familiarity in the absence of recollection(K judgments), or whether they did not remember seeing it during study (N judgments). Both R and K judgments for studied words were associated with enhanced responses in left prefrontal and left parietal cortices relative to N judgments for unstudied words. The opposite pattern was observed in bilateral temporoccipital regions and amygdalae. R judgments for studied words were associated with enhanced responses in anterior left prefrontal, left parietal, and posterior cingulate regions relative to K judgments. At study, a posterior left prefrontal region exhibited an enhanced response to words subsequently given R versus K judgments, but the response of this region during recognition did not differentiate R and K judgments. K judgments for studied words were associated with enhanced responses in right lateral and medial prefrontal cortex relative to both R judgments for studied words and N judgments for unstudied words, a difference we attribute to greater monitoring demands when memory judgments are less certain. These results suggest that the responses of different brain regions do dissociate according to the phenomenology associated with memory retrieval.
Remote sensing image matching via Harris detector and wavelet domain

Image matching is a hot issue in the analysis of the remote sensing data. The precision of the image matching have played an important pole on the application of the remote sensing image, such as three-dimensional modeling, data, pattern reorganization, panoramic reconstruction, superresolution, and phasic analysis. At present, the development of matching technology at home and abroad is mainly focus on the global variables. But from the geometric point of view, the process of shooting the image is a central projection, which forms the image to the different terrain from the different angle. Therefore, the image should have various deformation parameters in its local position. The key step within the process of image matching is the research on the estimation of the local feature parameters. In this paper, the authors introduce a matching algorithm that combine Harris detector with wavelet domain method. Our approach starts with the procedure of building a pyramid model on the remote sensing image. In the scale space, Harris detector was calculated from various scales under the constraint of wavelet coefficient (LH and HL) in the same level. Moreover, Taylor expansions algorithms are used to locate key point accurately in order to avoiding the phenomenon of location shifting in the process of extracting feature. At last, cross-correlation technology was used as a similarity to perform matching from the key point in the reference image to the sets of point in the querying image. Experimental results illustrate the good performance have been obtained in the precision and efficiency of the matching procedure.