Miracle-dz/UniFAR-FTUs huggingface dataset:
Exploring the Possibilities of Embedding Heterogeneous Data Attributes in Familiar Visualizations

Heterogeneous multi-dimensional data are now sufficiently common that they can be referred to as ubiquitous. The most frequent approach to visualizing these data has been to propose new visualizations for representing these data. These new solutions are often inventive but tend to be unfamiliar. We take a different approach. We explore the possibility of extending well-known and familiar visualizations through including Heterogeneous Embedded Data Attributes (HEDA) in order to make familiar visualizations more powerful. We demonstrate how HEDA is a generic, interactive visualization component that can extend common visualization techniques while respecting the structure of the familiar layout. HEDA is a tabular visualization building block that enables individuals to visually observe, explore, and query their familiar visualizations through manipulation of embedded multivariate data. We describe the design space of HEDA by exploring its application to familiar visualizations in the D3 gallery. We characterize these familiar visualizations by the extent to which HEDA can facilitate data queries based on attribute reordering.
Statistical Analysis of Local 3D Structure in 2D Images

For the analysis of images, a deeper urtderstanding of their intrinsic structure is required, This has been obtained for 20 images by meaiis of statistical analysis [15, 181. Here, "e aiialyze the relation beh>een local image structures (i.e., homogeneous, edge-like, cot-ner-like 01- texturelike structures) and the underlying local 30 structure, represented in term of continuous sii faces aiid different kinds of 30 discontinuities, using 30 range data "it12 the true color infornzation. We jind that lzoinogeneous image patches correspond to continuous surfaces, and discontinuities are mainly foi-nzed by edge-like 01- coi-ner-like structures. The I-esults ai-e discussed with regard to existing and potential computer vision applications and the assunzptions made by these applications.
Hybrid Decision Tree Learners with Alternative Leaf Classifiers: An Empirical Study

There has been surprisingly little research so far that systematically investigated the possibility of constructing hybrid learning algorithms by simple local modifications to decision tree learners. In this paper we analyze three variants of a C4.5-style learner, introducing alternative leaf models (Naive Bayes, IBI, and multi-response linear regression, respectively) which can replace the original C4.5 leaf nodes during reduced error post-pruning. We empirically show that these simple modifications can improve upon the performance of the original decision tree algorithm and even upon both constituent algorithms. We see this as a step towards the construction of learners that locally optimize their bias for different regions of the instance space.
Cloud-Supported Cyber–Physical Localization Framework for Patients Monitoring

The potential of cloud-supported cyber–physical systems (CCPSs) has drawn a great deal of interest from academia and industry. CCPSs facilitate the seamless integration of devices in the physical world (e.g., sensors, cameras, microphones, speakers, and GPS devices) with cyberspace. This enables a range of emerging applications or systems such as patient or health monitoring, which require patient locations to be tracked. These systems integrate a large number of physical devices such as sensors with localization technologies (e.g., GPS and wireless local area networks) to generate, sense, analyze, and share huge quantities of medical and user-location data for complex processing. However, there are a number of challenges regarding these systems in terms of the positioning of patients, ubiquitous access, large-scale computation, and communication. Hence, there is a need for an infrastructure or system that can provide scalability and ubiquity in terms of huge real-time data processing and communications in the cyber or cloud space. To this end, this paper proposes a cloud-supported cyber–physical localization system for patient monitoring using smartphones to acquire voice and electroencephalogram signals in a scalable, real-time, and efficient manner. The proposed approach uses Gaussian mixture modeling for localization and is shown to outperform other similar methods in terms of error estimation.
Allo‐immunization elicits CCR5 antibodies, SDF‐1 chemokines, and CD8‐suppressor factors that inhibit transmission of R5 and X4 HIV‐1 in women

Studies in humans suggest that allo‐immunization induces CC‐chemokines, CD8‐suppressor factors (SF) and anti‐HIV immunity. Here we report that allo‐immunization with unmatched leucocytes from partners of women with recurrent spontaneous abortion elicits specific antibodies to the CCR5 receptor. Such antibodies inhibit replication of M‐tropic HIV‐1 (R5) and MIP‐1β‐mediated chemotaxis. These CCR5 antibodies were also found in the sera of multiparous women that were naturally immunized by semi‐allogeneic fetal antigens. The specificity of these antibodies was demonstrated by adsorption with CCR5 transfected HEK‐293 cells, a baculovirus CCR5 preparation and a peptide of the 2nd extra‐cellular loop of CCR5. Allo‐immunization also stimulated increased concentrations of the CXC chemokine, SDF‐1α and CD8‐SF that inhibit T‐tropic HIV‐1 (X4) replication. We suggest that allo‐ immunization may elicit (a) CC chemokines, CCR5 antibodies and CD8‐SF that inhibit M‐tropic HIV‐1 infection and (b) the CXC chemokine SDF‐1α and CD8‐SF that inhibit T‐tropic HIV‐1 infection.
Sampling-based Falsification and Verification of Controllers for Continuous Dynamic Systems

In this paper, we present a sampling-based verification algorithm for embedded robotic systems with continuous dynamics and uncertainty due to adversaries, unmodeled disturbance inputs, unknown parameters, or initial conditions. The algorithm attempts to find inputs (and resulting trajectories) that falsify the specifications of the system thus providing examples of bad inputs to the system. The system is said to be verified if the algorithm cannot find falsifying inputs. The main contribution of the paper is the analysis of the effects of discretization of the state and input spaces that are inherent to sampling-based techniques. We derive conditions that guarantee resolution completeness. These provide sufficient, although conservative, conditions for verifying Lipschitz continuous (but possibly non-smooth) dynamic systems without known analytical solutions. We analyze the effects of transformations of the input and state space on these conditions. The main results of this paper are illustrated with several simple examples.
Multipath Routing Based on Ant Colony System in Wireless Sensor Networks

According to special demand of energy control for the routing of wireless sensor networks and balancing the energy of nodes, this paper proposes multipath routing based on ant colony system (MACS). The algorithm utilizes the self-organization, self-adaptability and dynamic optimization capabilities of the ant colony to find the optimal routing and suboptimal routing from Sources to the Sink in order to prolong lifetime of the whole networks. The simulation results show that the algorithm is more effective and available than Directed Diffusion (DD) Routing, ACS and Max-Min ant system (MMAS) in routing cost and energy dissipation.
Maximizing SLA and QoE in Heterogeneous Cloud Computing Environment Md

Cloud Computing delivers users a proficient way to dynamically allocate computing resources to meet demands. The use of Server virtualization techniques for Cloud Computing platforms provide great elasticity with the capability to consolidate several virtual machines on the same physical server, to resize a virtual machine capacity and to migrate virtual machine across physical servers. A key challenge for Cloud Service providers is proper resource management while taking into account of Service Level Agreement and Quality of Experience of users. Reserving resources would be beneficial to improve the quality of service, if the actual demand of the user is known in advance. However, in reality, the actual computing demand can be pragmatic only at the point of actual usage. In this paper, we propose a demand prediction method constructed on present usage of resources, aiming better provisioning of resource demand. Our proposed VM allocation is mapped into the multidimensional bin-packing problem, which is NP-complete. To solve this problem, we have designed heuristics for quantitatively optimizing the VM allocation. The simulation results show that our scheme performs better comparing to the existing VM allocation schemes in cloud computing environment, in terms of maintaining SLA and better QoE.
Embodied Conversation: Integrating Face and Gesture into Automatic Spoken Dialogue Systems

In this chapter I’m going to discuss the issues that arise when we design automatic spoken dialogue systems that can use not only voice, but also facial and head movements and hand gestures to communicate with humans. For the most part I will concentrate on the generation side of the problem—that is, building systems that can speak, move their faces and heads and make hand gestures. As with most aspects of spoken dialogue, however, generation is no good without comprehension, and so I will also briefly discuss some of the issues involved in building systems that understand non-verbal communicative behaviors.
A Simple Complexity Measurement for Software Verification and Software Testing

In this paper, we used a simple metric (i.e. Lines of Code) to measure the complexity involved in software verification and software testing. The goal is then, to argue for software verification over software testing, and motivate a discussion of how to reduce the complexity involved in software verification. We propose to reduce this complexity by translating the software to a simple intermediate representation which can be verified using an efficient verifier, such as Boogie [2].
The Muslim Headscarf and Face Perception: “They All Look the Same, Don't They?”

The headscarf conceals hair and other external features of a head (such as the ears). It therefore may have implications for the way in which such faces are perceived. Images of faces with hair (H) or alternatively, covered by a headscarf (HS) were used in three experiments. In Experiment 1 participants saw both H and HS faces in a yes/no recognition task in which the external features either remained the same between learning and test (Same) or switched (Switch). Performance was similar for H and HS faces in both the Same and Switch condition, but in the Switch condition it dropped substantially compared to the Same condition. This implies that the mere presence of the headscarf does not reduce performance, rather, the change between the type of external feature (hair or headscarf) causes the drop in performance. In Experiment 2, which used eye-tracking methodology, it was found that almost all fixations were to internal regions, and that there was no difference in the proportion of fixations to external features between the Same and Switch conditions, implying that the headscarf influenced processing by virtue of extrafoveal viewing. In Experiment 3, similarity ratings of the internal features of pairs of HS faces were higher than pairs of H faces, confirming that the internal and external features of a face are perceived as a whole rather than as separate components.
Effect of the aminosteroid U74006F after cardiopulmonary arrest in dogs.

The oxygen free radical-induced lipid peroxidative reactions that occur during resuscitation from normothermic cardiac arrest may contribute to the degree of neurologic dysfunction sustained. A blinded, randomized experimental trial was performed to determine whether U74006F, a potent inhibitor of lipid peroxidation, reduces morbidity and 24-hour mortality after 10 minutes of normothermic cardiopulmonary arrest; ventricular fibrillation was induced by electrical stimulation in 24 open-chest, halothane-anesthetized dogs, and circulation was reestablished by direct cardiac compressions, administration of a standardized drug regime, and internal countershocks. When spontaneous circulation was restored, a bolus injection of 1.5 mg/kg U74006F (n = 12) or 25 mM citrate vehicle (n = 12) was infused intravenously in 15 minutes and an infusion was continued at 0.125 mg/kg/hr for the next 12 hours. In the drug-treated group, plasma U74006F concentration averaged 0.13 microgram/ml between 3 and 12 hours after cardiac arrest. By 24 hours after arrest, 10 of 12 (83%) vehicle-treated dogs had died but only four of 12 (33%) U74006F-treated dogs had died (p = 0.017). U74006F-treated dogs survived significantly longer (mean +/- SEM 22 +/- 1 hr) than vehicle-treated dogs (18 +/- 1 hr), with significantly better neurologic function 1, 2, and 24 hours after arrest. Plasma fatty acid hydroperoxide concentrations 12 hours after arrest were 88 +/- 81 pmol/ml in U74006F-treated and 241 +/- 49 pmol/ml in vehicle-treated dogs (p less than 0.05). Vitamin E concentrations were significantly higher in the plasma of U74006F-treated dogs 2, 3, and 6 hours after arrest compared with vehicle-treated dogs. (ABSTRACT TRUNCATED AT 250 WORDS)
Functional Requirements and Use Cases

A system has properties that emerge from the combination of its parts. These emergent properties will surely be a matter of accident, not design, if the non-functional requirements, or system qualities, are not specified in advance. This white paper lays out important concepts and discusses capturing non-functional requirements in such a way that they can drive architectural decisions and be used to validate the architecture.
Syllable Omissions and Additions in Dutch Child Language: An Inquiry Into the Function of Rhythm and the Link With Innate Grammar

Children are hypothesized to prefer trochaic, binary feet, because this rhythm conforms to their immature knowledge of prosodic grammar (a.o. Demuth (1995), Pater (1997)). This dissertation evaluates an influential elaboration of this idea: Fikkert’s (1994) model of Dutch children’s prosodic development. Fikkert proposed that children’s prosodic grammars initially only allow (binary) trochees, and in the following stages two trochees. Target words with another prosodic structure are accommodated to this rhythmic output template by means of truncation, stress shift, or epenthesis. In this dissertation, we focus on two phonological processes that are linked with prosodic development: truncation and epenthesis. Truncation is interpreted by Fikkert as a means to map target words into a prosodic structure of one or two trochees. Epenthesis is explained as a way to turn a monosyllabic trochee into a more optimal binary trochee. Our purpose is to investigate whether these two phonological processes are induced by children’s immature prosodic grammar. We reanalyzed the original data underlying Fikkert’s model: the CLPF database (Fikkert (1994), Levelt (1994); available through CHILDES, MacWhinney (2000)). It contains the longitudinal observations of 12 Dutch children, followed for about a year. The children’s ages ranged from 1;0 to 1;11 at the start of the recordings. These data are complemented with a dense database of a single child, the Maarten database, comprising the recordings of a Flemish boy from 1;8 until 1;11 (Gillis (1984); available through CHILDES, MacWhinney (2000)). A first major finding is that the actually observed truncations often deviate from Fikkert’s predictions. First, we expect that target words that do not fit into children’s rhythmic output templates are truncated more than target words
Gender and Grade Differences in How High School Students Experience and Perceive Cyberbullying

Gender and grade differences in how high school students experience and perceive cyberbullying was examined through a survey and focus groups with youth in southwestern Ontario, Canada. Survey findings revealed that boys reported cyberbullying more often than girls on most items while girls reported experiencing cyberbullying more often than boys on most items. Grade alone did not account for significant differences, but interactions with gender were sometimes found. The focus groups revealed that most students believe that girls cyberbully more than boys, but that boys are more likely than girls to view cyberbullying as a form of joking, and to perpetrate cyberbullying behaviours within intimate relationships. Participants also suggested that juniors cyberbully more than seniors, but cyberbullying becomes more serious in the senior years. How focus group results provided insights into survey findings are discussed, and next steps in future research are recommended.
The Mitogen-Activated Protein Kinase Kinase VdPbs2 of Verticillium dahliae Regulates Microsclerotia Formation, Stress Response, and Plant Infection

Verticillium dahliae, a ubiquitous phytopathogenic fungus, forms resting structures, known as microsclerotia that play crucial roles in Verticillium wilt diseases. VdHog1, a mitogen-activated protein kinase (MAPK), controls microsclerotia formation, virulence, and stress response in V. dahliae. In this study, we present detailed evidence that the conserved upstream component of VdHog1, VdPbs2, is a key regulator of microsclerotia formation, oxidative stress and fungicide response and plant virulence in V. dahliae. We identified VdPbs2, homologous to the yeast MAPK kinase Pbs2. Similar to the VdHog1 deletion mutant, VdPbs2 deletion strains exhibited delayed melanin synthesis and reduced formation of microsclerotia. When exposed to stresses, VdPbs2 mutants were more sensitive than the wild type to osmotic agents and peroxide, but more resistant to inhibitors of cell wall synthesis and some fungicides. Finally, VdPbs2 deletion mutants exhibited reduced virulence on smoke tree and tobacco seedlings. When taken together, we implicate that VdPbs2 and VdHog1 function in a cascade that regulates microsclerotia formation and virulence, but not all VdHog1 dependent functions are VdPbs2 regulated. This study thus provides novel insights into the signal transduction mechanisms that regulate microsclerotia formation and pathogenesis in this fungus.
Maximum-Likelihood Blind Synchronization for GFDM Systems

Generalized frequency-division multiplexing (GFDM) inherits the cyclic-prefixed (CP) block signaling structure from orthogonal frequency-division multiplexing (OFDM). The feasibility of CP-based maximum-likelihood (ML) blind synchronization for GFDM systems, however, has not been assessed in the literature. We find that such synchronization is complicated by the covariance structure of the signal which, due to nonorthogonal pulse shaping, possesses a time-varying signal power and some weak self-induced interference. Neglecting the latter and approximating the former by the average power enable us to obtain an approximate-ML solution based on a recent result on OFDM synchronization in wide-sense stationary uncorrelated scattering (WSSUS) channels. Simulations show that the resulting method for GFDM yields comparable performance, under commonly considered pulse-shaping filters, to its kin for OFDM.
Obsession - The genetic and environmental architecture of obsessive-compulsive symptoms

This study provides a brief overview of the latest research on symptoms, epidemiology, neuro-anatomy, genetic and environmental factors, and management of Obsessive-Compulsive Disorder (OCD). OCD is a complex psychiatric disorder characterized by obsessions and/or compulsions. Obsessive-compulsive disorder has a relatively high prevalence of roughly 1% and is a highly disabling disease. The disorder is associated with shame, which causes long delays in accessing treatment. Differences between people in the liability to develop OCD are caused by a combination of genetic and environmental factors. Effective treatments exist, either pharmacotherapy or cognitive behavior
Effects of domain knowledge on reference search with the PubMed database: An experimental study

A paraître dans / To appear in : ABSTRACT Many researchers in medical and life sciences commonly use the PubMed online search engine (http:// www.pubmed.gov) to access the MEDLINE bibliographic database. The researchers' strategies were investigated as a function of their knowledge of the content area. Sixteen life science researchers with no experience in neuroscience and 16 neuroscience researchers of matched professional experience performed five bibliographic search tasks about neuroscience topics. Objective measures and concomitant verbal protocols were used to assess behavior and performance. Whatever their knowledge of PubMed, neuroscientists could find adequate references within the allotted time period. Despite their lack of knowledge in neuroscience, life scientists could select adequate references with the same efficiency. However, differences were observed in the way neuroscientists and life scientists proceeded. For instance, life scientists took more time to read the task instructions and opened more abstracts while selecting their answers. These data suggest that regular use of online databases combined with graduate-level expertise in a broad scientific field like biology can compensate for the absence of knowledge in the specific domain in which references are sought. The large inter-individual variability in performance within both groups implies that beyond domain knowledge, individual cognitive abilities are the main determinants of bibliographic search performance.
A Model Driven Architecture approach to fault tolerance in Service Oriented Architectures, a performance study

In modern service oriented architectures (SoA) identifying the occurrences of failure is a crucial task, which can be carried out by the creation of diagnosers to monitor the behavior of the system. Model driven architecture (MDA) can be used to automatically create diagnosers and to integrate them into the system to identify if a failure has occurred. There are different methods of incorporating a diagnoser into a group of interacting services. One option is to modify the BPEL file representing services to incorporate the diagnoser. Another option is to implement the diagnoser as a separate service which interacts with the existing services. Moreover, the interaction between the diagnoser and the services can be either orchestration or choreography. As result, there are four options for the implementation of the diagnoser into the SoA via MDA. This paper reports on an Oracle JDeveloper plugin tool developed which applies MDA to create these four possible implementations and compares the performance of them with the help of a case study.
A time-of-flight laser receiver for moving objects

The design of a time-of-flight laser receiver for measuring and analyzing the motion of moving objects is presented. The receiver detects a small fraction of the light reflected back from an object and forms an ECL-level pulse for measuring the light pulse's time of flight. The timing errors caused by amplitude variations of the reflected light pulses are minimized by utilizing the special characteristics of the application. Measured timing errors are within ±7 ps over a dynamic range of amplitude variations of more than 1:10. The bandwidth of the preamplifier of the receiver is about 200 MHz and the input noise current density about 3 pA/√Hz.
Rapid Post-Map Insertion of Embedded Logic Analyzers for Xilinx FPGAs

A rapid post-map insertion of an embedded logic analyzer is discussed. The proposed technique makes use of otherwise unused resources in an already-mapped circuit and does not disturb the original placement and routing of the circuit. Using this technique, designers can add debugging circuitry to existing circuits and quickly modify the set of of observed signals in just a few minutes instead of waiting for a recompile of their circuit. All tests were performed on a Xilinx Virtex-5 FPGA.