Miracle-dz/UniFAR-FTUs huggingface dataset:
ZIMP : Efficient Inter-core Communications on Manycore Machines

Modern computers have an increasing number of cores and, as exemplified by the recent Barrelfish operating system, the software they execute increasingly resembles distributed, message-passing systems. To support this evolution, there is a need for very efficient inter-core communication mechanisms. Current operating systems provide various inter-core communication mechanisms, but it is not clear yet how they behave on manycore processors. In this report, we study seven mechanisms, that are considered state-of-the-art. We show that these mechanisms have two main drawbacks that limit their efficiency: they perform costly memory copy operations and they do not provide efficient support for one-to-many communications. We do thus propose ZIMP, a new inter-core communication mechanism that implements zero-copy inter-core message communications and that efficiently handles one-to-many communications. We evaluate ZIMP on three manycore machines, having respectively 8, 16 and 24 cores, using both microand macro-benchmarks (a consensus and a checkpointing protocol). Our evaluation shows that ZIMP consistently improves the performance of existing mechanisms, by up to one order of magnitude.
STRUCTURAL ANALYSIS FOR RESIDUAL GENERATION : IMPLEMENTATION ISSUES CONSIDERATIONS

In that paper an innovative way of dealing with the generation of residuals for fault-detection and isolation based on structural information is presented. The developed technique considers implementation issues therefore it has a more realistic point of view compared to classical structural approaches. First practical issues that can be encountered such as computational complexity or implementation considerations are introduced. Then the way of incorporating them to the existing structural analysis framework is explained. Finally, we show how the minimum weight maximum cardinality matching problem can be used in order to choose the most suited matching that leads to residual computational sequences. The method is then illustrated using an industrial application.
Giant Oil and Gas Fields of the World Online Resources

The Swan Hills Formation at Kaybob South Field, Alberta: An Example of Remaining Reserves Potential within Mature Fields The “rediscovery” of reserves within mature fields can occur when new technologies are applied and integrated. Fundamental building blocks are the integration of geological, geophysical, and petrophysical concepts to guide the renewed development plan. The Devonian Swan Hills Formation at Kaybob South is a case study for this opportunity. www.cspg. org/conventions/abstracts/2008abstracts/234.pdf
Adaptive Edge Detection and Tracking for Robust Model-Based Camera Tracking

In model-based camera tracking, since edge does not have its descriptor, it is usually tracked locally with a weak prior knowledge and thus likely to be tracked incorrectly. Incorrectly tracked edges result in inaccurate and unstable camera tracking. One can say that this problem could be alleviated by using socalled probabilistic methods [3, 7]. However, making edges tracked correctly will be more effective. In this regard, methods of using robust estimators [2, 8] or cooperatively tracking multiple visual cues (e.g. edges and feature points [5]) have been proposed. However, they are those that do something on a given (or unadjustable) edge map (extracted explicitly or implicitly) and without any information about the true correspondences (= hypotheses). Therefore, their performance is limited to some extent. If having the information about the true correspondences and enhancing the edge map (by suppressing the false hypotheses), it will be much easier to make edges tracked correctly. This paper presents such a method. The method trains the gradients of the true correspondences in the previous frames and improves a conventional edge detector to selectively detect edges that have similar gradients to the true correspondences in the current frame. A similar work was done by Wuest et al. [9]. However, they trained the pixel values (i.e. colors) of edges, in contrast to our approach of training the gradients of edges. In addition, they used the trained information to find the true hypotheses from the implicitly detected multiple hypotheses, in contrast to our approach of adjusting the thresholds of a conventional edge detector using the trained information to explicitly detect only the true hypotheses.
Stability of recording and neural tuning during intracortical brain-computer interface arm control

For intracortical brain-computer interface (BCI) controlled neuroprosthetic arms to become a valuable assistive technology for people with upper-limb paralysis they will need to be able to adjust to a number of changes in neural activity that have not previously been well characterized. These include recording instabilities, and changes in neural tuning when interacting with objects. Here I present characterizations of these problems in two human subjects, along with a few solutions. I quantified the rate at which recorded units become unstable within and between days to inform the design of self-recalibrating decoders. These decoders will provide BCI users with consistent performance, even as units become unstable, by updating to incorporate new units before too many original units have become unstable. Using the quantification of stability, I also examined whether unit characteristics could predict how long a unit would be stable. I found that units with high firing rates, large peak-to-peak voltages, and more accurate tuning were most likely to remain stable. Using this result, future work should be able to create decoders that preferentially rely on stable units in order to enable high-performance BCI control for longer. I addressed difficulties that the first subject was having using the hand to interact with objects. I identified the source of the problem as an increased firing rate across much of the population when the hand approached objects. I then developed a method to remove the increase in firing rate before decoding so that the arm kinematics became predictable when the hand approached objects. Finally, I studied the representation of desired grasp force in primary motor cortex to enable BCI users to grasp a variety of objects, from light, fragile objects to heavy, sturdy objects. I found that primary motor cortex represents grasp force in a predictable manner during grasping, but that the tuning to grasp force is not apparent while the user carries an object. These results will enable the creation of BCI decoders that can apply the appropriate amount of force when grasping, and avoid dropping objects while transporting them.
Multicultural Interaction Redesign Using a Semio-Participatory Approach

This paper presents a research in progress about an interaction redesign of an educational software based on a new semio-participatory approach. Brazil is a multicultural country, and its diversity may affect the educational and interactive processes. With the increase of digital technologies use into classroom, the impact of the people culture on interaction with that technologies should be consider. Particular cultural context makes for the people use solely specific signs of their signification systems, ignoring possible signs that are unknown. Based on the Semiotic Engineering and Participatory Design, this study aims to develop a multicultural interaction design approach which support end-users’ diversified needs. An action research is adopted to drive an interaction redesign. Using the Semio-participatory approach is expected to be possible to introduce the cultural and pedagogical characteristics of subject-users on the interface, developing a multicultural interaction.
Privacy and changing tastes in directed search ∗

We study a dynamic, directed search market with varying consumer preferences in two different regimes for consumer privacy. Products are horizontally differentiated experience goods. Consumers learn about products by buying them over time, which reveals whether the product is worth purchasing repeatedly. Firms prefer to target consumers who value their products the most but, with full consumer privacy, cannot observe whether their previous customers still like their products or whether they should hold a sale to attract new customers. Generally, we find that learning reduces matching frictions. All stationary Markov equilibria feature implicit relationships between firms and their previous customers, which improves welfare. Our contribution to consumer privacy is to show that, when product availability and suitability play a role, suppression of consumer privacy might raise consumer surplus. Specifically, we demonstrate that looser privacy regulation enables firms to respond more rapidly to demand changes, which could intensify competition and put downward pressure on prices.
Underwater Acoustics Session 1 aUW : Seabed Scattering : Measurements and Mechanisms I 1 aUW 1 . The small-slope approximation for layered seabeds

The small-slope approximation has found application to unlayered seabeds and is generally regarded as an improvement over methods that employ either small-roughness perturbation theory or the Kirchhoff approximation. Unfortunately, the usual small-slope ansatz fails when applied to layered seabeds, as it is inconsistent with perturbation theory. This ansatz is replaced by an alternative which is found to satisfy the criteria of reciprocity and consistency with the perturbation and Kirchhoff approximations. This approach will be illustrated by computation of the coherent reflection coefficient and scattering strength for a seabed consisting of a single rough fluid layer over a semi-infinite, elastic basement with flat upper boundary. Computation time is significantly longer than for the unlayered case, increasing as the desired accuracy increases. The results will be contrasted with those obtained using a variety of existing approximations.
Take a Walk : Evaluating Movement Types for Data Visualization in Immersive Virtual Reality

3D virtual reality (VR) technology has long promised to provide new ways to view and interact with abstract data, but it has been held back by technological limitations and the difficulty of moving through 3D environments. Recent innovations in VR technology overcome previous constraints, but existing research has had mixed insights into the optimal types of virtual movement for task performance. We conducted a two-factor between subjects (N = 20) pilot experiment testing two types of viewpoint interaction for exploring a 3D scatterplot in a virtual environment developed using consumer-grade VR hardware and software tools. In one condition users changed their viewpoint by physically walking around the 3D scatterplot, the system matching their physical location to their virtual one. In the other users stood still and rotated the scatterplot with a controller. An exploratory analysis of plot-specific memory tasks revealed that individual differences played a strong role depending on the condition. In particular, low spatial ability users were better supported by walking interaction rather than interaction using a controller. The pilot experiment revealed potentials for improvements in the chosen measures, and the findings will inform the design of future larger-scale evaluations.
Comparative Efficacy of Different Supplement Used to Reduce Heat Stress and Their Impact on Performance , Immunity and Some Biochemical Parameters in Broilers Chickens

FFECTS of fed supplements, sodium bicarbonate (NaHCO3), Ascorbic acid (Vitamin C) and Vitamin E were evaluated on the performance, immune system and biochemical parameters of chronically heat-stressed broiler chicks. Two hundred day old broiler chicks were allotted to one of the five groups (n = 40),(A) normal control [no supplements], (B) heat stressed [no supplements], (C) NaHC03,2g/kg diet, (D) Vitamin C, 200mg/kg diet and (E) Vitamin E, 300 mg/kg diet. All chicks except group (A) were maintained at 35-40 oC from day one to 6 weeks (wks) of age (daily 6 hrs heat stress episodes). Samples were taken at 2,4 and 6 weeks of age. The result showed Significantly higher bodyweight gains were recorded in all supplemented groups as compared to control group with better response in birds fed sodium bicarbonate (NaHCO3 ) . Bursal index, percentage weights of thymus and spleen in relation to body weight, an indicator of humoral immunity were higher but the heterophil / lymphocyte ratio, an indicator of stress was lower for the all supplemented groups as compared to control group . The dietary
Repository Item DR 2006160 Apatite ( UTh ) / He signal of large magnitude and accelerated glacial erosion : southwest British Columbia By :

Methods and Data Apatites were separated using conventional heavy-liquid and magnetic separation techniques and sieved to 100-150 Fm minimum dimension. Euhedral and inclusion-free grains were hand-picked under a 120x binocular microscope with cross polars, measured for α emission correction (Farley et al., 1996), loaded into Pt capsules, and out-gassed under a laser at 1100 oC for 5 minutes. Evolved helium was spiked with He, cryogenically concentrated and purified, and the He/He ratio measured on a quadrupole mass spectrometer. After out-gassing, the grains were retrieved, dissolved in HNO3, spiked with U and Th, and Th and U isotope ratios analyzed by ICPMS. The propagated analytical uncertainty on these He ages is ~2% 1σ (Farley, 2000). Table 1 shows the apatite (U-Th)/He data used in this study. Figure DR1 shows the sample locations, ages, and ID numbers. The reported sample uncertainties were calculated in the following way: (1) Twelve of our samples had replicate analyses. Of these samples, 5 had a 6% (2σ) uncertainty. Three samples had < 6% uncertainty, and 4 samples had > 6% uncertainty. The assigned 6% uncertainty for samples without replicate analyses was the average uncertainty from replicate analyses. If during an age determination any peculiarities were noted a replicate analysis was performed. Thus, the uncertainties calculated from samples with replicate analyses are the worst case scenario and the error derived from them for other samples is conservative. (2) Furthermore, work by Farley et al. (2001) in the same plutonic complex and lithologies in the northern Coast Mountains found that replicate analyses from 29 out of 55 samples yielded a 6% or less uncertainty. Based on our replicate analyses and those of Farley et al (2001) a 6% uncertainty was assigned to all samples without replicate analyses.
Representation Learning for Emotion Recognition from Smartphone Keyboard Interactions

Characteristics of typing on smartphone keyboards among different individuals can elicit emotion, similar to speech prosody or facial expressions. Existing works on typing based emotion recognition rely on feature engineering to build machine learning models, while recent speech and facial expression based techniques have shown the efficacy of learning the features automatically. Therefore, in this work, we explore the effectiveness of such learning models in keyboard interaction based emotion detection. In this paper, we propose an end-to-end framework, which first uses a sequence-based encoding method to automatically learn the representation from raw keyboard interaction pattern and subsequently uses this representation to train a multi-task learning based neural network (MTL-NN)to identify different emotions. We carry out a 3-week in-the-wild study involving 24 participants using a custom keyboard capable of tracing users' interaction pattern during text entry. We collect interaction details like touch speed, error rate, pressure and self-reported emotions (happy, sad, stressed, relaxed) during the study. Our analysis on the collected dataset reveals that the representation learnt from the interaction pattern has an average correlation of 0.901 within the same emotion and 0.811 between different emotions. As a result, the representation is effective in distinguishing different emotions with an average accuracy (AUCROC)of 84%.
DIFFERENT TYPES OF CAPTCHA : A LITERATURE SURVEY

CAPTCHA is an acronym for Completely Automated Public Turning Test to tell Computers and Humans Apart [1]. CAPTCHA is essentially utilized as security from these malevolent projects like Bot. Now a day's for web security we are utilizing distinctive sort of captcha. In this paper we portray all sort of captcha and furthermore depict their downsides all sort of captcha. We likewise portray utilization of captcha. Furthermore, survey paper of various kinds of Captcha.
INVESTIGATING CYTOMEGALOVIRUS ( HCMV ) ANTIGENEMIA IN ANTI-HCMV IgM POSITIVE CASES

Sitomegalovirus (HCMV); gebelikte, yenido¤an döneminde ve immünsüpresif konakta önemli infeksiyonlara neden olan bir etkendir. Seroloji, kültür ve moleküler yöntemler erken ve pratik tan› için yetersiz kalmaktad›r. Anti-HCMV IgM pozitifli¤i antijenemi döneminden sonra görülmektedir. Ancak özellikle ba¤›fl›kl›¤› bask›lanm›fl bireylerde antijenemi ile anti-HCMV IgM pozitifli¤i eflzamanl› bulunabilmektedir. Bu çal›flman›n amaç›, anti-HCMV IgM ile antijeneminin birlikte oldu¤u durumlar› saptamak idi. Anti-HCMV IgM pozitifli¤i saptanan ve gebelik, böbrek yetmezli¤i, malignensi ve akut ateflli hastal›k gibi klinik tablolara sahip 56 de¤iflik olguda, immünfloresans yöntemiyle HCMV antijenemisi (HCMV pp65) araflt›r›ld›. Yaln›z lenfoma nedeniyle kemoterapi alan bir olguda pozitiflik saptand›. HCMV antijenemisinin araflt›r›lmas› anti-HCMV IgM pozitif olgular›n yerine, transplant al›c›s›, seronegatif gebe gibi risk alt›ndaki kiflilerde periyodik olarak yap›lmas› gerekti¤i sonucuna var›ld›.
A Semantic Annotation Model for Syntactic Parsing in Ontology Learning Task. In Proceedings of ALLDATA 2016, The Second International Conference on Big Data, Small Data, Linked Data and Open Data IARIA 2016. ISBN: 978-1-61208-457-2.

—In this paper, we present an on-going research on a semantic annotation model, which aims at creating a system for syntactic parsing apt to achieve Ontology Learning (OL) tasks. Our approach is based on a deep linguistic analysis, derived from predicate-argument structures and established on the notion de prédicat sèmantique (semantic predicate), following Maurice Gross’ approach.
2 Problem and Methods 2 . 1 Smooth and Strongly Convex Problem

First-order methods with momentum, such as Nesterov’s fast gradient method, are very useful for convex optimization problems, but can exhibit undesirable oscillations yielding slow convergence rates for some applications. An adaptive restarting scheme can improve the convergence rate of the fast gradient method, when the parameter of a strongly convex cost function is unknown or when the iterates of the algorithm enter a locally strongly convex region. Recently, we introduced the optimized gradient method, a first-order algorithm that has an inexpensive per-iteration computational cost similar to that of the fast gradient method, yet has a worst-case cost function rate that is twice faster than that of the fast gradient method and that is optimal for large-dimensional smooth convex problems. Building upon the success of accelerating the fast gradient method using adaptive restart, this paper investigates similar heuristic acceleration of the optimized gradient method. We first derive a new first-order method that resembles the optimized gradient method for strongly convex quadratic problems with known function parameters, yielding a linear convergence rate that is faster than that of the analogous version of the fast gradient method. We then provide a heuristic analysis and numerical experiments that illustrate that adaptive restart can accelerate the convergence of the optimized gradient method. Numerical results also illustrate that adaptive restart is helpful for a proximal version of the optimized gradient method for nonsmooth composite convex functions. Communicated by Andrey Polyakov. B Donghwan Kim kimdongh@umich.edu Jeffrey A. Fessler fessler@umich.edu 1 University of Michigan, Ann Arbor, MI, USA
Applying Design Thinking in Systems Engineering Process as an Extended Version of DIKW Model

Systems engineering methodology has expanded its application fields into creating innovations and designing societal systems. In the present age, where everything has increased in complexity, systems engineers are challenged to solve ill‐defined problems to create innovations and to design societal systems. Design thinking has attracted attention as a methodology for solving ill‐defined problems. However, design thinking cannot create innovations or design societal systems by itself. It is effective when it is applied to the systems engineering process, and embedded in its processes. This paper proposes using the advantages of both design thinking and systems engineering to build the Structured Design Thinking Framework as an extension to the DIKW model. The framework has integrated the non‐structured design thinking process and the structured systems engineering process. We used this framework to redesign a local community in Japan and to design a new concept of aquarium, and confirmed that this framework works.
Internal Parametricity for Cubical Type Theory

We define a computational type theory combining the contentful equality structure of cartesian cubical type theory with internal parametricity primitives. The combined theory supports both univalence and its relational equivalent, which we call relativity. We demonstrate the use of the theory by analyzing polymorphic functions between higher inductive types, observe how cubical equality regularizes parametric type theory, and examine the similarities and discrepancies between cubical and parametric type theory, which are closely related. We also abstract a formal interface to the computational interpretation and show that this also has a presheaf model.
GloPID-R report on Chikungunya , O ' nyong-nyong and Mayaro virus , part I : Biological diagnostics

The GloPID-R (Global Research Collaboration for Infectious Disease Preparedness) Chikungunya (CHIKV), O'nyong-nyong (ONNV) and Mayaro virus (MAYV) Working Group is investigating the natural history, epidemiology and medical management of infection by these viruses, to identify knowledge gaps and to propose recommendations for direct future investigations and rectification measures. Here, we present the first report dedicated to diagnostic aspects of CHIKV, ONNV and MAYV. Regarding diagnosis of the disease at the acute phase, molecular assays previously described for the three viruses require further evaluation, standardized protocols and the availability of international standards representing the genetic diversity of the viruses. Detection of specific IgM would benefit from further investigations to clarify the extent of cross-reactivity among the three viruses, the sensitivity of the assays, and the possible interfering role of cryoglobulinaemia. Implementation of reference panels and external quality assessments for both molecular and serological assays is necessary. Regarding sero-epidemiological studies, there is no reported high-throughput assay that can distinguish among these different viruses in areas of potential co-circulation. New specific tools and/or improved standardized protocols are needed to enable large-scale epidemiological studies of public health relevance to be performed. Considering the high risk of future CHIKV, MAYV and ONNV outbreaks, the Working Group recommends that a major investigation should be initiated to fill the existing diagnostic gaps.