Miracle-dz/UniFAR-FTUs huggingface dataset:
Integrating Automated Product Derivation and Individual User Interface Design

Software Product Lines, in conjunction with model- driven product derivation, are successful examples for extensive automation and reuse in software development. However, often each single product requires an individual, tailored user interface of its own to achieve the desired usability. Moreover, in some cases (e.g., online shops, games) it is even mandatory that each product has an individual, unique user interface of its own. Usually, this results in manual user interface design independent from the model-driven product derivation. Consequently, each product configuration has to be mapped manually to a corresponding user interface which can become a tedious and error-prone task for large and complex product lines. This paper addresses this problem by integrating concepts from SPL product derivation and Model-based User Interface Development. This facilitates both (1) a systematic and semi-automated creation of user interfaces during product derivation while (2) still supporting for individual, creative design.
Testosterone supplementation in men: a practical guide for the gynecologist and obstetrician

Purpose of review Prescribing habits for the treatment of symptomatic hypogonadism have recently stirred controversy surrounding testosterone replacement therapy. As a result, the gynecologist will need to recognize this iatrogenic form of decreased sperm production in couples seeking fertility advice. We have compiled a review of the current literature on testosterone supplementation pertaining to the gynecologic practice. Recent findings Over the last decade, testosterone use has seen a recent increase including in men desiring to become fathers. Many physicians and hypogonadal men do not recognize that testosterone replacement therapy can have a detrimental effect on spermatogenesis. Fortunately, the cessation of treatment will yield predictable recovery of sperm production for most men. A growing body of evidence supports the use of selective estrogen receptor modulators, such as clomiphene citrate, or human chorionic gonadotropin for the treatment of hypogonadism in men who wish to maintain fertility potential. Recently, the Food and Drug Administration has recommended a labeling update on testosterone products to warn of possible increased risk of venous thromboembolism, cardiovascular events and stroke. Summary Clinicians should be familiar with current practices involving testosterone replacement therapy and the implications on male factor fertility.
Strategic Service Selection Problem for Transport Telematic Services - An Optimization Approach

The selection, composition and integration of Transport Telematic Services (TTSs) is crucial for achieving cooperative Intelligent Transport Systems (ITS). To enable future adaptation, models for selecting and composing TTSs needs to take into account possible future modifications, upgrades or downgrades of different TTSs without tipping off the benefit edge. To achieve this, a Strategic Service Selection Problem (SSSP) for TTSs is presented in this article. The problem involves selecting a set of TTSs that maximizes net societal benefits over a strategic time period, e.g., 10 years. The formulation of the problem offers possibilities to study design alternatives taking into account future modifications, extensions, upgrades or downgrades of different TTSs. Two decisive factors affecting the choices and modifications of TTSs are studied: 1) the effects of allowing market forces to drive the choices of TTSs, and 2) the effect of using Governmental policies to mandate the introduction of TTSs, e.g., Road User Charging and eCall. Case study results indicate that in determining combinations of TTSs that can be deployed in a period of 10 years, enforcing too many TTSs can retard the ability of the market to generate net benefits even though the results could be that more TTSs will be deployed.
Reconstruction of boundary conditions from internal conditions using viability theory

This article presents a method for reconstructing downstream boundary conditions to a HamiltonJacobi partial differential equation for which initial and upstream boundary conditions are prescribed as piecewise affine functions and an internal condition is prescribed as an affine function. Based on viability theory, we reconstruct the downstream boundary condition such that the solution of the Hamilton-Jacobi equation with the prescribed initial and upstream conditions and reconstructed downstream boundary condition satisfies the internal value condition. This work has important applications for estimation in flow networks with unknown capacity reductions. It is applied to urban traffic, to reconstruct signal timings and temporary capacity reductions at intersections, using Lagrangian sensing such as GPS devices onboard vehicles.
How do personality traits relate on on-line social networks ? Structured

Purpose: This work aims at analyzing the relationships between the personality traits of users who are related in online social networks. First, we tried to discover relation patterns between personality dimensions in conversations. We also wanted to verify some hypotheses: whether users’ personality is stable throughout different conversation threads and whether the similarity-attraction paradigm can be verified in this context. We used the Five Factor Model of Personality or Big Five, which has been widely studied in the Psychology area.
Visual performance in night‐time driving conditions

This paper introduces an experimental multitechnique method which was developed to establish a basis for a task performance‐based mesopic photometry. This approach considers night‐time driving by dividing visual performance into three visual tasks, of which achromatic threshold and reaction time are presented. The performance of both visual tasks decreased with decreasing luminance level from 1 to 0.01 cd m−2, showing the strong effect of light level on visual performance in driving. The behaviour of the achromatic contrast threshold and reaction time for low‐contrast targets was similar in terms of spectral effects, the strongest effects occurring at the lower mesopic levels. Both measures showed the Purkinje shift with decreasing luminance levels. The experimental data were used to calculate mesopic performance measures with the new mesopic model. The results imply that compared with V(λ), spectral sensitivity in night‐time driving can be better described with a mesopic model based on visual performance measures.
Towards High-Interaction Virtual ICS Honeypots-in-a-Box

In this work, we address the problem of designing and implementing honeypots for Industrial Control Systems (ICS). Honeypots are vulnerable systems that are set up with the intent to be probed and compromised by attackers. Analysis of those attacks then allows the defender to learn about novel attacks and general strategy of the attacker. Honeypots for ICS systems need to satisfy both traditional ICT requirements, such as cost and maintainability, and more specific ICS requirements, such as time and determinism. We propose the design of a virtual, high-interaction and server-based ICS honeypot to satisfy the requirements, and the deployment of a realistic, cost-effective, and maintainable ICS honeypot. An attacker model is introduced to complete the problem statement and requirements. Based on our design and the MiniCPS framework, we implemented a honeypot mimicking a water treatment testbed. To the best of our knowledge, the presented honeypot implementation is the first academic work targeting Ethernet/IP based ICS honeypots, the first ICS virtual honeypot that is high-interactive without the use of full virtualization technologies (such as a network of virtual machines), and the first ICS honeypot that can be managed with a Software-Defined Network (SDN) controller.
Incorporation of Heterologous Outer Membrane and Periplasmic Proteins into Escherichia coli Outer Membrane Vesicles*

Gram-negative bacteria shed outer membrane vesicles composed of outer membrane and periplasmic components. Since vesicles from pathogenic bacteria contain virulence factors and have been shown to interact with eukaryotic cells, it has been proposed that vesicles behave as delivery vehicles. We wanted to determine whether heterologously expressed proteins would be incorporated into the membrane and lumen of vesicles and whether these altered vesicles would associate with host cells. Ail, an outer membrane adhesin/invasin from Yersinia enterocolitica, was detected in purified outer membrane and in vesicles from Escherichia coli strains DH5α, HB101, and MC4100 transformed with plasmid-encoded Ail. In vesicle-host cell co-incubation assays we found that vesicles containing Ail were internalized by eukaryotic cells, unlike vesicles without Ail. To determine whether lumenal vesicle contents could be modified and delivered to host cells, we used periplasmically expressed green fluorescent protein (GFP). GFP fused with the Tat signal sequence was secreted into the periplasm via the twin arginine transporter (Tat) in both the laboratory E. coli strain DH5α and the pathogenic enterotoxigenic E. coli ATCC strain 43886. Pronase-resistant fluorescence was detectable in vesicles from Tat-GFP-transformed strains, demonstrating that GFP was inside intact vesicles. Inclusion of GFP cargo increased vesicle density but did not result in morphological changes in vesicles. These studies are the first to demonstrate the incorporation of heterologously expressed outer membrane and periplasmic proteins into bacterial vesicles.
Indexsupported Similarity Join on Graphics Processors

The similarity join is an important building block for similarity search and data mining algorithms. In this paper, we propose an algorithm for similarity join on Graphics Processing Units (GPUs). As major advantages GPUs provide extremely high parallelism combined with a high bandwidth in data transfer to main memory. To exploit these advantages for similarity join, we propose an index structure designed for the specific environment of GPU. Experiments demonstrate massive performance gains of our method over conventional similarity join on CPU and significant further speed-up by index support.
An algorithm for suffix stripping

The automatic removal of suffixes from words in English is of particular interest in the field of information retrieval. An algorithm for suffix stripping is described, which has been implemented as a short, fast program in BCPL. Although simple, it performs slightly better than a much more elaborate system with which it has been compared. It effectively works by treating complex suffixes as compounds made up of simple suffixes, and removing the simple suffixes in a number of steps. In each step the removal of the suffix is made to depend upon the form of the remaining stem, which usually involves a measure of its syllable length.
Coevolution versus self-play temporal difference learning for acquiring position evaluation in small-board go

Two learning methods for acquiring position evaluation for small Go boards are studied and compared. In each case the function to be learned is a position-weighted piece counter and only the learning method differs. The methods studied are temporal difference learning (TDL) using the self-play gradient-descent method and coevolutionary learning, using an evolution strategy. The two approaches are compared with the hope of gaining a greater insight into the problem of searching for "optimal" zero-sum game strategies. Using tuned standard setups for each algorithm, it was found that the temporal-difference method learned faster, and in most cases also achieved a higher level of play than coevolution, providing that the gradient descent step size was chosen suitably. The performance of the coevolution method was found to be sensitive to the design of the evolutionary algorithm in several respects. Given the right configuration, however, coevolution achieved a higher level of play than TDL. Self-play results in optimal play against a copy of itself. A self-play player will prefer moves from which it is unlikely to lose even when it occasionally makes random exploratory moves. An evolutionary player forced to perform exploratory moves in the same way can achieve superior strategies to those acquired through self-play alone. The reason for this is that the evolutionary player is exposed to more varied game-play, because it plays against a diverse population of players.
Formalizing address spaces with application to Cuda, OpenCL, and beyond

Cuda and OpenCL are aimed at programmers developing parallel applications targeting GPUs and embedded micro-processors. These systems often have explicitly managed memories exposed directly though a notion of disjoint address spaces. OpenCL address spaces are based on a similar concept found in Embedded C. A limitation of OpenCL is that a specific pointer must be assigned to a particular address space and thus functions, for example, must say which pointer arguments point to which address spaces. This leads to a loss of composability and moreover can lead to implementing multiple versions of the same function. This problem is compounded in the OpenCL C++ variant where a class' implicit this pointer can be applied to multiple address spaces. Modern GPUs, such as AMD's Graphics Core Next and Nvidia's Fermi, support an additional generic address space that dynamically determines an address' disjoint address space, submitting the correct load/store operation to the particular memory subsystem. Generic address spaces allow for dynamic casting between generic and non-generic address spaces that is similar to the dynamic subtyping found in objected oriented languages. The advantage of the generic address space is it simplifies the programming model but sometimes at the cost of decreased performance, both dynamically and due to the optimization a compiler can safely perform. This paper describes a new type system for inferring Cuda and OpenCL style address spaces. We show that the address space system can be inferred. We extend this base system with a notion of generic address space, including dynamic casting, and show that there also exists a static translation to architectures without support for generic address spaces but comes at a potential performance cost. This performance cost can be reclaimed when an architecture directly supports generic address space.
Nurturing Learners' Communities by Creating and Sharing Maps

The SketchMap system that integrates indoor and outdoor activities for supporting children’s collaborative learning is presented. Individual children create a map around their school in an outdoor environment using a SketchMap client. The map is uploaded to the SketchMap server for sharing among the other children who have created maps of different areas. Children can add new information to the maps or edit them in their classroom or in their home. The goal of the SketchMap project is to investigate if integrating outdoor and classroom activities and sharing children’s experiences through the maps can actually promote their collaborative learning and nurturing learners’ communities including children’s teachers and parents. The SketchMap system has been used in the classes of ”Safety Map” and ”Nature Exploration” in a Japanese elementary school. The evaluation of the SketchMap system is in progress, and a couple of issues found through the educational practices are described.
"P2P scrabble. Can P2P games commence?"

The article considers the design of P2P games without trusted, centralized resources. The main difficulty is how to prevent the possibility of cheating. The article considers scrabble as a case study and attempts to solve issues such as maintenance of public, private, and concealed public state, as well as secret drawing from a finite set of objects. The issues of state replication are considered to allow node leaves. The article presents a fair protocol for secret drawing from a finite state that is resistant to node leaves.
Effects of Mechanical Stretch on Growth and Metabolism of Cardiomyocytes In Vitro

Mechanical stimulations are critical factors in regulation activities of cardiomyocytes in vivo and in vitro. Cyclic mechanical stretch is an indispensable factor for cardiomyocytes cultured in vitro and construction of engineered cardiac tissue. Optimized parameter of cyclic stretch is key factor for cardiomyocytes culture in vitro. In this study, neonatal cardiomyocytes were subjected to cyclic stretch by a loading device in vitro. Cardiomyocytes received cyclic stretch at different strain magnitudes and different frequencies or cultured normally. After the treatment of stretching, glucose consumption ratio, lactic acid production ratio and ATPase activity of the cardiomyocytes were measured. Intracellular polymeric beta-tubulin expression was analyzed by Western Blot. When the strain magnitude of stretch was 8% and the frequency was 1 Hz, glucose consumption ratio, lactate production ratio and ATPase activity were all higher than other treatment. Polymeric beta-tubulin content increased prominently. In conclusion, the optimized parameter of cyclic stretch favourable for cardiomyocytes metabolism in vitro was 8% (strain magnitude) and 1 Hz (frequency), polymeric beta-tubulin play a role in cardiomyocytes response to mechanical stretch.
Multicast routing and channel assignment in wireless mesh networks

This paper studies the problem of multicast routing and channel assignment in multi-channel and multi-interface wireless mesh networks. The advantage of the wireless broadcast's nature is used to reduce interference and improve network throughput. The employed network model is first described. Next, a heuristic channel assignment algorithm that makes use of the wireless broadcast's advantage is presented. Simulation results reveal that the proposed heuristic algorithm can reduce interference and increase the network throughput in multi-channel multi-interface wireless mesh networks.
The Pathogenesis of Autosomal Dominant Polycystic Kidney Disease

In individuals with autosomal dominant polycystic kidney disease (ADPKD), renal function deteriorates as the kidneys become replaced by multitudes of fluid-filled cysts. Although the PKD genes were identified a decade ago, the pathway(s) leading from mutation to disease remain the subject of intense investigation. As a result of this work, it has become apparent that the polycystins are multifunctional proteins that, in the broadest sense, appear to be involved in the transduction of a number of environmental cues into appropriate cellular responses. It is likely that the central pathogenetic pathway for cystogenesis stems from de-differentiation of tubular epithelial cells. Available evidence indicates that loss of polycystin activity leads to subtle derangements of cell calcium regulation through several possible pathways. Abnormal cell calcium homeostasis might then lead to altered differentiation in affected cells. The study of the polycystins has revealed some entirely novel insights into fundamental cell biology but these have not yet been satisfactorily integrated into a verified pathogenetic pathway for the development of ADPKD.
Interactive Design of Bonsai Tree Models

Because of their complexity, plant models used in computer graphics are commonly created with proceduralmethods. A difficult problem is the user control of these models: a small number of parameters is insufficient tospecify plant characteristics in detail, while large numbers of parameters are tedious to manipulate and difficultto comprehend. To address this problem, we propose a method for managing parameters involved in plant modelmanipulation. Specifically, we introduce decomposition graphs as multiscale representations of plant structuresand present interactive tools for designing trees that operate on decomposition graphs. The supported operationsinclude browsing of the parameter space, editing of generalized parameters (scalars, functions, and branchingsystem silhouettes), and the definition of dependencies between parameters. We illustrate our method by creatingmodels of bonsai trees.
Recognition of Asymptomatic Hypertension in an Urban Emergency Department: Where Are We Now?

Persistently elevated blood pressure ([BP]; hypertension [HTN]) occurs at higher rates in the emergency department ([ED]; 44%) than in the general population (27%) and disproportionately affects black patients and older adults. The American College of Emergency Physicians recommends referral to primary care for HTN confirmation and management when patients are asymptomatic and their BP is persistently elevated (W. Decker, S. Godwin, E. Hess, C. Lenamond, & A. Jagoda, 2006). However, adherence to this clinical policy is suboptimal. The purpose of this study was to examine the prevalence of asymptomatic HTN, rates of BP reassessment and referral, and factors associated with it among adult patients who visit the ED and who were discharged a decade after this policy was disseminated. A retrospective chart analysis of adults with an initial BP of 140/90 mmHg or greater and who were discharged was included in the sampling frame. Appropriate bivariate analysis, followed by multivariate regression, was conducted. There were 2,367 patients who met inclusion criteria, of which 1,184 patients had asymptomatic HTN. A greater proportion of the sample was male (51.3%), Black (43.2%; p < 0.000), middle aged (&mgr; = 50.2 ± 16), and covered by Medicaid (39.8%). Mean initial BP was 170/88 mmHg. A large proportion of patients with asymptomatic HTN (94.2%) had no previously diagnosed cardiovascular disease (CVD). The BP reassessment rate was 49% (&mgr; = 158/88), and these patients were more likely to have no previously diagnosed CVDs (p = 0.02). Only 4.6% (n = 28) of patients with asymptomatic HTN were referred, and these patients were more likely to have no previously diagnosed CVDs (p = 0.000) and be middle-aged (p = 0.008). Adherence to follow-up was 100%.
Environment generation for validating event-driven software using model checking

Event-driven systems maintain an ongoing dialog with their environment. Examples include: distributed programs, where each process reacts to received messages by performing computation and sending messages to peers; graphical user interfaces (GUI), where the interface software and the underlying application react to user inputs and web-based applications, where presentation, business logic and storage tier functionality react to user inputs and response from other web-based services. Such applications are difficult to test because the set of possible interaction sequences between the system and its environment can be very large and governed by complex constraints. The exhaustive nature of software model checking techniques offers hope for effectively validating such systems, however, they only work for closed systems. Previously, the authors developed the Bandera Environment Generator, which given an open system, called a unit under analysis, closes it with a model of its environment. The authors' previous work on environment generation has focused on developing broadly applicable mechanisms for modelling environment behaviour. The generality of this approach often makes it difficult to produce environment models that enable precise and efficient system analysis. The authors' experience shows that by exploiting information about the application domain, generated environments can be made both more precise and more efficient for model checking. This study presents the concept of domain-specific environment generation, details techniques for customising environment generation for the domain of event-driven software, and assesses those techniques on the domains of GUI and web-based applications.