nils-herrmann/clean_scirepeval huggingface dataset:
UML4IoT A UML based approach to exploit IoT in cyber physical manufacturing systems
Venue: Comput. Ind.

Using IoT protocols in the development process of manufacturing systems.An approach to automate the integration of mechatronic components in the IoT environment.An extension of UML to support the transformation of traditional OO interfaces of manufacturing components to REST like ones. A UML profile for the automatic generation of the LWM2M layer.Performance analysis and evaluation of a LWM2M based IoT solution for manufacturing systems. Internet of Things (IoT) is changing the world. The manufacturing industry has already identified that the IoT brings great opportunities to retain its leading position in economy and society. However, the adoption of the IoT changes the development process of the manufacturing system and raises many challenges. In this paper, the modern manufacturing system is considered as a composition of cyber physical, cyber and human components, and IoT is used as a glue for their integration as far as their cyber interfaces are concerned. An approach based on a UML profile for the IoT is presented to fully automate the generation process of the IoT compliant layer that is required for the cyber physical component to be effectively integrated into the modern IoT manufacturing environment. The approach can also be applied at the source code level specification of the component in case that a UML design specification is not available. A prototype implementation of the myLiqueur production laboratory system is used to demonstrate the applicability and effectiveness of the UML4IoT approach.
PEMODELAN UML SISTEM INFORMASI MONITORING PENJUALAN DAN STOK BARANG (STUDI KASUS: DISTRO ZHEZHA PONTIANAK)

In the business world, technology can be used as a tool to monitor the activities going on in the business including sales transaction and monitoring stock of merchandise available. This is done in an effort to determine the progress of a business. In design information systems monitoring sales and inventory used UML modeling to analyze what is needed and what will be built. Monitoring information system sales and inventory is expected to be a tool that can help businesses to be able to know the progress of his efforts in each branch.  UML, Monitoring, Modeling
The quest for open source projects that use UML: mining GitHub
Venue: MoDELS

While industrial use of UML was studied intensely, little is known about UML use in Free/Open Source Software (FOSS) projects.  We aim at systematically mining GitHub projects to answer the question when models, if used, are created and updated throughout the whole project's life span.  We present a semi automated approach to collect UML stored in images, .xmi, and .uml files and scanned ten percent of all GitHub projects (1.24 million) Our focus was on number and role of contributors that created/updated models and the time span during which this happened.  We identified and studied 21 316 UML diagrams within 3 295 projects.  Creating/updating of UML happens most often during a very short phase at the project start. For 12% of the models duplicates were found, which are in average spread across 1.88 projects. Finally, we contribute a list of GitHub projects that include UML files.
Modeling with UML: Language, Concepts, Methods

This book presents a variant of UML that is especially suitable for agile development of high quality software. It adjusts the language UML profile, called UML/P, for optimal assistance for the design, implementation, and agile evolution to facilitate its use especially in agile, yet model based development methods for data intensive or control driven systems. After a general introduction to UML and the choices made in the development of UML/P in Chapter 1, Chapter 2 includes a definition of the language elements of class diagrams and their forms of use as views and representations. Next, Chapter 3 introduces the design and semantic facets of the Object Constraint Language (OCL) which is conceptually improved and syntactically adjusted to Java for better comfort. Subsequently, Chapter 4 introduces object diagrams as an independent, exemplary notation in UML/P, and Chapter 5 offers a detailed introduction to UML/P Statecharts. Lastly, Chapter 6 presents a simplified form of sequence diagrams for exemplary descriptions of object interactions. For completeness, appendixes AC describe the full syntax of UML/P, and appendix D explains a sample application from the E commerce domain, which is used in all chapters. This book is ideal for introductory courses for students and practitioners alike.
A review of executive function deficits in autism spectrum disorder and attention deficit/hyperactivity disorder
Venue: Neuropsychiatric disease and treatment

Executive dysfunction has been shown to be a promising endophenotype in neurodevelopmental disorders such as autism spectrum disorder (ASD) and attention deficit/hyperactivity disorder (ADHD) This article reviewed 26 studies that examined executive function comparing ASD and/or ADHD children. In light of findings from this review, the ASD ADHD group appears to share impairment in both flexibility and planning with the ASD group, while it shares the response inhibition deficit with the ADHD group. Conversely, deficit in attention, working memory, preparatory processes, fluency, and concept formation does not appear to be distinctive in discriminating from ASD, ADHD, or ASD ADHD group. On the basis of neurocognitive endophenotype, the common co occurrence of executive function deficits seems to reflect an additive comorbidity, rather than a separate condition with distinct impairments.
When women emerge as leaders: effects of extraversion and gender composition in groups

Focusing on the gender of emergent leaders in initially leaderless groups, we explore contextual factors that may influence when women are likely to emerge as leaders. We take a multi level perspective to understand and unpack the complex interplay between individual gender, group gender composition, and group personality composition. Drawing from perspectives such as social role theory and the social identity model of leadership, we theorize as to when women are most likely to emerge as leaders, even in groups composed predominantly of men. Results from two studies indicated that individual level gender does not interact with group gender composition to predict leadership emergence, suggesting that groups with more men do not disproportionally choose men as leaders, and groups with more women similarly do not tend to have women emerge as leaders. However, a three way interaction consistently appeared in our studies when group level extraversion was added to individual and group gender, in a pattern suggesting that group extraversion alters leader emergence patterns in groups with more men. Our findings demonstrate that women become more likely to emerge as leaders when their groups are both high in extraversion, and composed of more men than women. Implications for practice and future research directions are discussed.
Genetic variation within and among asexual populations of Porphyra umbilicalis Kutzing (Bangiales, Rhodophyta) in the Gulf of Maine, USA

The intertidal marine red alga Porphyra umbilicalis reproduces asexually in the Northwest Atlantic. We looked for population substructure among typical open coastal and atypical estuarine habitats in seven asexual populations of P. umbilicalis from Maine to New Hampshire using eight expressed sequence tag simple sequence repeats (EST SSR) or microsatellite loci. Six genotypes were identified, four of which may represent recombinant genotypes from a recombination event that took place locally, or that took place prior to introduction to the Northwest Atlantic. Genotypic diversity was lowest in a population from Wiscasset, Maine, which inhabits an atypical habitat high in the intertidal zone of a bridge piling in an estuarine tidal rapid. Genotypic diversity was highest in the southernmost populations from New Hampshire; we identified two genotypes that were unique to the southernmost populations, and probably represent the most derived genotypes. We looked at genetic distances among populations in similar habitats, and found that populations were more closely related to their closest neighboring population than to a population in a similar habitat. We show that genotypic diversity within P. umbilicalis populations in the Gulf of Maine is relatively high and thus fits a model of high steady state variation within asexual populations.
Repeating Fast Radio Bursts from Highly Magnetized Pulsars Travelling through Asteroid Belts

Very recently Spitler et al. (2016) and Scholz et al. (2016) reported their detections of sixteen additional bright bursts from the direction of the fast radio burst (FRB) 121102. This repeating FRB is inconsistent with all the catastrophic event models put forward previously for hypothetically non repeating FRBs. Here we propose a different model, in which highly magnetized pulsars travel through asteroid belts of other stars. We show that a repeating FRB could originate from such a pulsar encountering lots of asteroids in the belt. During each pulsar asteroid impact, an electric field induced outside the asteroid has such a large component parallel to the stellar magnetic field that electrons are torn off the asteroidal surface and accelerated to ultra relativistic energies instantaneously. Subsequent movement of these electrons along magnetic field lines will cause coherent curvature radiation, which can account for all the properties of an FRB. In addition, this model can self consistently explain the typical duration, luminosity, and repetitive rate of the seventeen bursts of FRB 121102. The predicted occurrence rate of repeating FRB sources may imply that our model would be testable in the next few years.
A burst in a wind bubble and the impact on baryonic ejecta: high energy gamma ray flashes and afterglows from fast radio bursts and pulsar driven supernova remnants

Tenuous wind bubbles, which are formed by the spin down activity of central compact remnants, are relevant in some models of fast radio bursts (FRBs) and super luminous supernovae. We study their high energy signatures, focusing on the role of pair enriched bubbles produced by young magnetars, rapidly rotating neutron stars, and magnetized white dwarfs. (i) First, we study the nebular properties and the conditions allowing for escape of high energy gamma rays and radio waves, showing that their escape is possible for nebulae with ages of >10 100 yr. In the rapidly rotating neutron star scenario, we find that radio emission from the quasi steady nebula itself may be bright enough to be detected especially at sub mm frequencies, which is relevant as a possible counterpart of pulsar driven SNe and FRBs. (ii) Second, we consider the fate of bursting emission in the nebulae. We suggest that an impulsive burst may lead to a highly relativistic flow, which would interact with the nebula. If the shocked nebula is still relativistic, pre existing non thermal particles in the nebula can be significantly boosted by the forward shock, leading to short duration (maybe millisecond or longer) high energy gamma ray flashes. Possible dissipation at the reverse shock may also lead to gamma ray emission. (iii) After such flares, interactions with the baryonic ejecta may lead to afterglow emission with a duration of days to weeks. In the magnetar scenario, this burst in bubble model leads to the expectation that nearby <10 100 Mpc) high energy gamma ray flashes may be detected by HAWC and CTA, and the subsequent afterglow emission may be seen by radio telescopes such as VLA. (iv) Finally, we discuss several implications specific to FRBs, including constraints on the emission regions and limits on soft gamma ray counterparts.
The Influence of Rehabilitative and Punishment Ideology on Correctional Officers' Perceptions of Informal Bases of Power
Venue: International journal of offender therapy and comparative criminology

Maintaining order is a key goal for prison managers. Much of the research on order maintenance focuses, however, on disruptions of order, even when order is more common. Examining factors related to perceptions on how officers get inmates to comply is, therefore, an important consideration. Using a survey of correctional officers from a Mid Atlantic state, this study considers three dimensions of French and Raven's theory on the bases of power. The focus is to examine correctional orientation and compliance regarding three dimensions of power that rely on informal control and relationships. The results indicate that officers' belief in rehabilitative ideals is consistently related to the dimensions of legitimate, referent, and expert control. Other individual and organizational factors are also related to dimensions of power. Implications for policies and for future research are discussed.
Variable Virulence and Efficacy of BCG Vaccine Strains in Mice and Correlation With Genome Polymorphisms
Venue: Molecular therapy the journal of the American Society of Gene Therapy

Bacille Calmette Guerin (BCG) an attenuated strain of Mycobacterium bovis, is the only vaccine available for tuberculosis (TB) control. However, BCG is not an ideal vaccine and has two major limitations: BCG exhibits highly variable effectiveness against the development of TB both in pediatric and adult populations and can cause disseminated BCG disease in immunocompromised individuals. BCG comprises a number of substrains that are genetically distinct. Whether and how these genetic differences affect BCG efficacy remains largely unknown. In this study, we performed comparative analyses of the virulence and efficacy of 13 BCG strains, representing different genetic lineages, in SCID and BALB/c mice. Our results show that BCG strains of the DU2 group IV (BCG Phipps, BCG Frappier, BCG Pasteur, and BCG Tice) exhibit the highest levels of virulence, and BCG strains of the DU2 group II (BCG Sweden, BCG Birkhaug) are among the least virulent group. These distinct levels of virulence may be explained by strain specific duplications and deletions of genomic DNA. There appears to be a general trend that more virulent BCG strains are also more effective in protection against Mycobacterium tuberculosis challenge. Our findings have important implications for current BCG vaccine programs and for future TB vaccine development.
Long term, feeder free maintenance of human embryonic stem cells by mussel inspired adhesive heparin and collagen type I.
Venue: Acta biomaterialia

UNLABELLED For practical applications of human embryonic stem cells (hESCs) in regenerative medicine, hESCs should be cultured on a large scale, and at the same time their properties have to be maintained in a controllable manner. Here, we report a chemically defined, scalable culture platform involving co immobilization of heparin catechol (HepC) and collagen type 1 (Col) for the long term maintenance >18 passages) of hESCs in a feeder free condition. This platform utilizes a wet adhesive, mussel inspired heparin catechol conjugate as a key component. We hypothesized that the heparin's affinity toward a wide range of proteins, might support undifferentiated in vitro growth of hESC. In fact, on the HepC coated substrate, most hESC clumps were adhered ~78% at passage 2 (P2) and expressed pluripotency markers  Although HepC alone wasn't able to support long term maintenance of hESCs in a feeder free system due to decrease in the adhesion rate of hESCs on HepC coating 44% at P4) during the repeated passaging processes, we found that when collagen type I was co immobilized in the process of HepC coating, the long term maintenance (passage 18 or more) of hESCs could be achieved with 100% adhesion efficiency  One remarkable observation is that hESCs on collagen type I underwent spontaneous differentiation after P6  which implied co immobilized HepC played a role to suppress differentiation of hESCs. This study suggests that unlike the previous studies using proteins, peptides, or synthetic polymers, a polysaccharide, heparin, can be used as a cost effective component for chemically defined, feeder free culture of hESC.  Towards practical applications of human embryonic stem cells (hESCs) in regenerative medicine, hESCs should be cultured on a large scale, and their pluripotent property has to be maintained in a controllable manner. To address these issues, studies that develop chemically defined culture substrates have been explored to replace the widely used, complex, and undefined culture materials represented by Matrigel. Most reports have focused on utilizing proteins, peptides and/or synthetic polymers. However, there have not yet been studies on using polysaccharides as two dimensional coating materials to potentially replace Matrigel coating. Here, we report that heparin is an effective polysaccharide for the feeder free, two dimensional culture of hESCs. Our study implies that use of polysaccharides or a polysaccharide/ECM combination can be a new, alternative design principle for hESC culture systems.
A cultural constraints theory of police corruption: Understanding the persistence of police corruption in contemporary Indonesia

Despite a decade of reform, Indonesia's police continue to be plagued by systemic corruption. This article examines the reasons for the persistence of police corruption by firstly establishing that corruption is rife and then discuses Indonesian police reform post Suharto. The international understandings are explored with a view to developing a definition of police corruption that accounts for sociocultural and historical factors in Indonesia. There is an examination of the relevance of international theories of police corruption for Indonesia. It is argued that these theories are only partially applicable to Indonesia and the authors posit the 'cultural constraints theory of police corruption' which accounts for invitational, slippery slope, noble cause, and predatory theories, but recognizes the distinct nature of Indonesia.
Negotiating cultural constraints: strategic decision making by widows and divorcees (janda) in contemporary Bali

This article discusses the strategies deployed by widows and divorcees (janda) in negotiating cultural constraints and social stigmatisation in contemporary Bali. In Balinese patriarchal society, women are disadvantaged in terms of their access to employment and commonly earn less than men. When a marriage ends, Balinese widows and divorcees not only lose their partners but also an important source of family income. Janda may need to take on additional burdens in supporting themselves and their families and are therefore economically vulnerable. In addition, janda are often considered to be sexually available, may be the target of men's sexual advances and thus become a frequent source of gossip. The dual state village administrative system further complicates divorce and remarriage within Balinese patriarchal society. In order to understand how Balinese janda cope with these social and cultural constraints, this article focuses on the contrasting life histories of three janda. Deploying Pierre Bourdieu's concepts of economic, cultural, social and symbolic capital, the analysis demonstrates that access to multiple forms of capital plays an important role in enabling Balinese janda to make their lives bearable and manageable. With adequate access to economic resources, janda can not only demonstrate their independence and ability to support their children, but also are able to meet their social and religious obligations. In this way they can maintain their respectability and social acceptance within their local communities. These findings contribute to a wider and more complex picture of the life of Balinese janda.
H(div) and H(curl) conforming virtual element methods
Venue: Numerische Mathematik

In the present paper we construct virtual element spaces that are (H(\mathrm{div} conforming and (H(\mathbf{curl} conforming on general polygonal and polyhedral elements; these spaces can be interpreted as a generalization of well known finite elements. We moreover present the basic tools needed to make use of these spaces in the approximation of partial differential equations. Finally, we discuss the construction of exact sequences of VEM spaces.
CRISPR/Cas9: A Tool to Circumscribe Cotton Leaf Curl Disease
Venue: Front. Plant Sci.

The begomoviruses (family Geminiviridae) associated with cotton leaf curl disease (CLCuD) pose a major threat to cotton productivity in South East Asia including Pakistan and India. These viruses have single stranded, circular DNA genome, of ~2800 nt in size, encapsidated in twinned icosa hedera, transmitted by ubiquitous whitefly and are associated with satellite molecules referred to as alpha and betasatellite. To circumvent the proliferation of these viruses numerous techniques, ranging from conventional breeding to molecular approaches have been applied. Such devised strategies worked perfectly well for a short time period and then viruses relapse due to various reasons including multiple infections, where related viruses synergistically interact with each other, virus proliferation and evolution. Another shortcoming is, until now, that all molecular biology approaches are devised to control only helper begomoviruses but not to control associated satellites. Despite the fact that satellites could add various functions to helper begomoviruses, they remain ignored. Such conditions necessitate a very comprehensive technique that can offer best controlling strategy not only against helper begomoviruses but also their associated DNA satellites. In the current scenario clustered regulatory interspaced short palindromic repeats (CRISPR)/CRISPR associated nuclease 9 (Cas9) has proved to be versatile technique that has very recently been deployed successfully to control different geminiviruses. The CRISPR/Cas9 system has been proved to be a comprehensive technique to control different geminiviruses, however, like previously used techniques, only a single virus is targeted and hitherto it has not been deployed to control begomovirus complexes associated with DNA satellites. Here in this article, we proposed an inimitable, unique, and broad spectrum controlling method based on multiplexed CRISPR/Cas9 system where a cassette of sgRNA is designed to target not only the whole CLCuD associated begomovirus complex but also the associated satellite molecules.
$H(\text {div}$H(div) and $H(\mathbf{curl}$H(curl) conforming virtual element methods

In the present paper we construct virtual element spaces that are $H(\mathrm{div}$H(div) conforming and $H(\mathbf{curl}$H(curl) conforming on general polygonal and polyhedral elements; these spaces can be interpreted as a generalization of well known finite elements. We moreover present the basic tools needed to make use of these spaces in the approximation of partial differential equations. Finally, we discuss the construction of exact sequences of VEM spaces.