Miracle-dz/UniFAR-FTUs huggingface dataset:
Engineering automotive HMIs that are optimized for correct and fast perception

Automotive HMI design is driven by systematic model-based user engineering methods focusing on traceability and functional validation. User-centered design processes can open up the design space to discover new creative design solutions whereas model-based engineering methods offer a rigorous design derivation process. We present Konect, a user-centered design derivation process that fosters creativity and also ensures a systematic design derivation to end up with new interface designs that are optimized for correct and fast readability. Five Human Factor Experts applied the method and ended up with 5 creative and very different design results. In a follow-up experiment with 33 car drivers, we figured out that all designs could be perceived faster and more frequently correct than automotive interfaces for the same assistant system that have been designed with other design methods.
Generation and characterization of Dictyostelium cells deficient in a myosin I heavy chain isoform

Motile activities such as chemotaxis and phagocytosis, which occur in Dictyostelium cells lacking myosin II, may be dependent upon myosin I. To begin to explore this possibility, we have engineered a disruption of the Dictyostelium myosin I heavy chain (DMIHC) gene described recently (Jung, G., C. L. Saxe III, A. R. Kimmel, and J. A. Hammer III. 1989. Proc. Natl. Acad. Sci. USA. 86:6186-6190). The double-crossover, gene disruption event that occurred resulted in replacement of the middle approximate one-third of the gene with the neomycin resistance marker. The resulting cells are devoid of both the 3.6-kb DMIHC gene transcript and the 124-kD DMIHC polypeptide. DMIHC- cells are capable of chemotactic streaming and aggregation, but these processes are delayed. Furthermore, the rate of phagocytosis by DMIHC- cells is reduced, as assessed by growth rate on lawns of heat-killed bacteria and on the initial rate of uptake of FITC-labeled bacteria. Therefore, this Dictyostelium myosin I isoform appears to play a role in supporting chemotaxis and phagocytosis, but it is clearly not required for these processes to occur. Using a portion of the DMIHC gene as a probe, we have cloned three additional Dictyostelium small myosin heavy chain genes. Comparison of these four genes with three genes described recently by Titus et al. (Titus, M. A., H. M. Warrick, and J. A. Spudich. 1989. Cell Reg. 1:55-63) indicates that there are at least five small myosin heavy chain genes in Dictyostelium. The probability that there is considerable overlap of function between these small myosin isoforms indicates that multiple gene disruptions within a single cell may be necessary to generate a more striking myosin I- phenotype.
Increased Functional Vascular Response in the Region of a Glioma

Functional imaging of a language task using positron emission tomography was performed as part of the preoperative assessment of a patient with a left supplementary motor area (SMA) tumor. Positron emission tomography scans were obtained during language tasks (verb generation and word reading of visually presented nouns) that normally lead to increased blood flow in the SMA relative to a control condition (visual fixation). In the patient, the normal SMA response was an order of magnitude larger in the region of the tumor. Other regions, such as left inferior frontal cortex and right cerebellum, showed equivalent activation in the patient and normal subjects. Histopathologic study revealed an anaplastic astrocytoma. Thus, this exaggerated vascular response to local neuronal activation occurred in the setting of a proliferation of glial cells. This is consistent with models of coupling of regional CBF and neuronal activity that implicate glia as the mediatol between neurons and vasculature. The concept that tumoral disruption of normal vascular responses could, in some cases, potentially enhance rather than dampen the response is proposed.
Protective emotional regulation processes towards adjustment in infertile patients

Little is known about emotional regulation processes of psychological flexibility/acceptance, self-compassion, and coping styles in infertility and the way they may exert a protective function towards depression. The aim of the current study was to explore how these emotion regulation processes are related to depression and to the sense of self-efficacy to deal with infertility in infertile patients. Gender differences were also considered. One hundred couples without known fertility problems and 100 couples with an infertility diagnosis completed the instruments: Beck Depression Inventory, Coping Styles Questionnaire, Acceptance and Action Questionnaire, Self-Compassion Scale and Infertility Self-efficacy Scale. Infertile couples presented statistically significantly higher scores on depression and lower scores in psychological flexibility/acceptance and self-compassion than the control group. This pattern was particularly identified in women who also tended to use less an emotional/detached coping style and to perceive themselves as less confident to deal with infertility than men. Multiple regression analysis showed that psychological flexibility/acceptance was a significant predictor of depressive symptoms in men and women with infertility. Emotional regulation processes, such as psychological flexibility/acceptance and self-compassion, seem to be relevant to the understanding of depressive symptoms and psychological adjustment to infertility, suggesting that these issues should be addressed in a therapeutic context with these couples.
SET THEORY AND OPERATOR ALGEBRAS

These notes are based on the six-hour Appalachian Set Theory workshop given by Ilijas Farah on February 9th, 2008 at Carnegie Mellon University. The first half of the workshop (Sections 1–4) consisted of a review of Hilbert space theory and an introduction to C∗-algebras, and the second half (Sections 5–7) outlined a few set-theoretic problems relating to C∗-algebras. The number and variety of topics covered in the workshop was unfortunately limited by the available time. Good general references on Hilbert spaces and C∗-algebras include [8], [12], [16], [45], [55], and [61]. An introduction to spectral theory is given in [9]. Most of the omitted proofs can be found in most of these references. For a survey of applications of set theory to operator algebras, see [58].
Event-by-Event Simulation of the Hanbury Brown-Twiss Experiment with Coherent Light

We present a computer simulation model for the Hanbury Brown-Twiss experiment that is entirely particle-based and reproduces the results of wave theory. The model is solely based on experimental facts, satisfies Einstein's criterion of local causality and does not require knowledge of the solution of a wave equation. The simulation model is fully consistent with earlier work and provides another demonstration that it is possible to give a particle-only description of wave phenomena, rendering the concept of wave-particle duality superfluous.
LightSpy: Optical eavesdropping on displays using light sensors on mobile devices

Light emanations from flat-panel displays are a side channel hinting towards the displayed content. Optical eavesdropping requires sensors in the proximity of such displays, necessitating physical access to the the target's environment. This requirement may be eliminated by exploiting the light sensor on the target's mobile device, though there are significant challenges. Such sensors measure one-dimensional light intensity, provide no chromatic information, and have very low sampling rate (normally up to 10Hz). In this paper, we demonstrate that in spite of these challenges, it is possible — based on intensity measurements from a mobile device's light sensor — to make quality inferences regarding the displayed content. We do so by selecting features of measured light that capture information related to transitions between samples. Such features are resilient to ambient noise. In our experiments, involving over 60 hours of collected data and 140 movie clips, we were able to (i) classify content into categories (game, movie, etc) with approximately 90% and 70% accuracy for two-class and four-class classification, respectively; and (ii) identify specific movies or TV programs being played with > 85% accuracy. These findings suggest that access to raw light-sensor readings, which can currently be done without special access controls, may carry nontrivial security ramifications.
A Novel Speaker Clustering Algorithm in Speaker Recognition System

Speaker clustering is involved in serial structure speaker identification system to reduce the algorithm delay and computational complexity. The speech is first classified into speaker group, and then searches the most likely one inside the group. Difference between Gaussian mixture models (GMMs) is widely applied in speaker classification. The paper proposes a novel measure based on pseudo-divergence, the ratio of inter-model dispersion to intra-model dispersion, to denote the difference between GMMs. And the measure is used to perform speaker clustering. Experiments indicate that the measurement works well to denote the difference of GMMs and has improved performance of speaker clustering
Identification of the microdeletion breakpoint in a GLRA1null allele of Turkish hyperekplexia patients

Hyperekplexia (startle disease) is a hereditary motor disease caused by mutations within the GLRA1 gene (Chr. 5q33.1), which encodes the α1 subunit of the inhibitory glycine receptor (GlyR). While most patients are diagnosed with dominant hyperekplexia associated with point mutations within or adjacent to the channel pore, recessive hyperekplexia is less frequent. Here, we report five new pedigrees of recessive hyperekplexia in apparently unrelated families of Kurdish origin associated with a deletion of exons 1‐7 of the GLRA1 gene. The deletion was identical in all families, encompassing 329 Kb of genomic sequence. No other known functional genes were involved, indicating that the GLRA1null allele is distinct from the 5q syndrome. Analysis of the DNA sequence flanking the proximal and distal breakpoint revealed no significant homology of sequences immediately adjacent to the breaks. Consensus sites for Toposiomerase II were detected close to the breakpoint compatible with an illegitimate recombination event. No heterozygous carriers of the deletion allele were detected by screening of 500 individuals from the southeastern Mediterranean region belonging to four different ethnic groups. Hence, the identical nature of the breakpoint junction in all patients and carriers suggests a founder mutation in an ethnic population originating from Turkey. © 2006 Wiley‐Liss, Inc.
Investigation on applicability of information theory to prediction of operator performance in diagnosis tasks at nuclear power plants

This paper investigates the applicability of information theory to predicting operator performance in diagnosis tasks at nuclear power plants (NPPs). Some general descriptions about diagnosis tasks in a main control room (MCR) are provided and information theory conventionally used in the studies of human information processing is briefly reviewed. Then, as an alternative to classical information theory, this paper proposes a method to quantify the cognitive information flow of diagnosis tasks, integrating a stage model (a qualitative approach) with information theory (a quantitative approach). An information flow model is developed based on operating procedures and quantified using Conant's model. Finally, three experiments were conducted to evaluate the effectiveness of the proposed approach to predicting human performance, especially average diagnosis time. The results of two experiments show that subjects' diagnosis time has a proportional relationship to the quantified information flow. The other investigated operator performance variation in terms of accuracy under system-paced information presentation. As a result of the third experiment, subjects showed better performances in a specific range of information rate, compared with in other ranges.
skn-1-Dependent and -Independent Regulation of aip-1 Expression following Metabolic Stress in Caenorhabditis elegans

ABSTRACT Maintenance of a stable, properly folded, and catalytically active proteome is a major challenge to organisms in the face of multiple internal and external stresses which damage proteins and lead to protein misfolding. Here we show that internal metabolic stress produced by reactive intermediates resulting from tyrosine degradation triggers the expression of the aip-1 gene, which is critical in responses to the environmental toxin arsenic and the clearance of unstable polyglutamine and Aβ proteins. aip-1 acts via binding to the proteosome and enhancing proteosomal function. We find that full induction of aip-1 depends on the oxidative-stress-responsive skn-1 transcription factor but significant induction still occurs without skn-1. Importantly, activation of skn-1 with wdr-23(RNAi), which dramatically induces the expression of other skn-1 target genes, produces a minimal increase in aip-1 expression. This suggests that the previously demonstrated specificity in aip-1/AIRAP induction could reflect the actions of multiple synergistic activators, such as the heat shock factor homolog hsf-1, which we also find is required for full induction. These may be triggered by proteosome dysfunction, as we find that this event links the multiple inducers of aip-1. Together, our results show that cell stress triggers aip-1 expression by both skn-1-dependent and -independent pathways.
A Scaled Conjugate Gradient Algorithm for Fast Supervised Learning

A supervised learning algorithm (Scaled Conjugate Gradient, SCG) with superlinear convergence rate is introduced. The algorithm is based upon a class of optimization techniques well known in numerical analysis as the Conjugate Gradient Methods. SCG uses second order information from the neural network but requires only O(N) memory usage, where N is the number of weights in the network. The performance of SCG is benchmarked against the performance of the standard backpropagation algorithm (BP), the conjugate gradient backpropagation (CGB) and the one-step Broyden-Fletcher-Goldfarb-Shanno memoryless quasi-Newton algorithm (BFGS). SCG yields a speed-up of at least an order of magnitude relative to BP. The speed-up depends on the convergence criterion, i.e., the bigger demand for reduction in error the bigger the speed-up. SCG is fully automated including no user dependent parameters and avoids a time consuming line-search, which CGB and BFGS use in each iteration in order to determine an appropriate step size. Incorporating problem dependent structural information in the architecture of a neural network often lowers the overall complexity. The smaller the complexity of the neural network relative to the problem domain, the bigger the possibility that the weight space contains long ravines characterized by sharp curvature. While BP is inefficient on these ravine phenomena, it is shown that SCG handles them effectively.
Reverse second dorsal metacarpal artery vascularized bone flap for index distal bone loss: A case report

Fingertip trauma with resultant bony loss is optimally reconstructed with an autologous bone substitute, offering a unique opportunity for use of a local vascularized bone graft. The second dorsal metacarpal artery is well‐described for use in soft tissue and bony reconstruction, with recent cadaveric studies suggesting a reverse‐flow second dorsal metacarpal artery bone flap could reach defects in the distal phalanx. The aim of the current report is to illustrate the use of this technique in reconstructing the distal digit in a traumatized index finger with bony loss of the middle third of the distal phalanx. A 49‐year‐old man presented with a traumatic circular saw injury to his left index finger, with the unique finding of distal phalanx bony loss to the middle third of this bone, with no associated disruption of palmar or dorsal structures. Reconstructive goals were solely that of bony reconstruction, with no soft tissue coverage required. A reverse SDMA vascularized bone flap was successfully used for reconstruction, with the vascularized bone flap mobilized on its reverse SDMA pedicle and pivoted at the level of the distal anastomoses between the palmar and dorsal metacarpal arteries. There was uncomplicated donor and recipient site closures, and good functional outcomes with the ability to retain full distal interphalangeal joint motion and force on distal pinch grip. This case shows that the reverse second dorsal metacarpal artery vascularized bone flap may be undertaken to reconstruct bony loss in the distal phalanx. © 2015 Wiley Periodicals, Inc. Microsurgery 36:250–253, 2016.
Video cut editing rule based on participants' gaze in multiparty conversation

This paper proposes a video cut editing rule based on participants' gaze for extracting and conveying the flow of conversation in multiparty conversation. Systems that record meetings and those that support teleconferences are attracting considerable interest. Conventional systems use a fixed-viewpoint camera and simple camera selection based on participants' utterances. However, conventional systems fail to convey a sufficient amount of nonverbal information about the participants and the flow of conversation. We focus on participants' gaze since it is a good indicator of the participants' intent and emotion, conversational attention etc. We propose a video cut editing rule based on the convergence of participants' gaze direction. We conduct an experiment to evaluate the effectiveness of the proposed method. The results indicate that the proposed method can successfully convey who is taking to whom, which is a key indicator of the flow of conversation.
On the Feasibility of Heterogeneous Analysis of Large Scale Biological Data

Secondary information such as Gene Ontology (GO) anno- tations or location analysis of transcription factor binding is often relied upon to demonstrate validity of clusters, by considering whether indi- vidual terms or factors are significantly enriched in clusters. If such an enrichment indeed supports validity, it should be helpful in finding bi- ologically meaningful clusters in the first place. One simple framework which allows to do so and which does not rely on strong assumptions about the data is semi-supervised learning. A primary data source, gene expression time-courses, is clustered and GO annotation or transcription factor binding information, the secondary data, is used to define soft pair-wise constraints for pairs of genes for the computation of clusters. We show that this approach improves performance when high quality la- bels are available, but naive use of the heterogeneous data routinely used for cluster validation will actually decrease performance in clustering.
Winning Debates: A Guide to Debating in the Style of the World Universities Debating Championships

The text combines a review of the basics of argument theory with an application of those theories to the four-team style of debate, and recommends strategies and tactics for successful debating. Winning Debates provides a coherent, useful vision of debating that will encourage discussion, disagreement, and experimentation from Worlds-style debaters around the globe.
Are there rapid feedback effects on Approximate Number System acuity?

Humans are believed to be equipped with an Approximate Number System (ANS) that supports non-symbolic representations of numerical magnitude. Correlations between individual measures of the precision of the ANS and mathematical ability have raised the question of whether the precision can be improved by feedback training. A study (DeWind and Brannon, 2012) reported improvement in discrimination precision occurring within 600–700 trials of feedback, suggesting ANS malleability with rapidly improving acuity in response to feedback. We tried to replicate the rapid improvement in a control group design, while controlling for the use of perceptual cues. The results indicate no learning effects, but a minor constant advantage for the feedback group. The measures of motivation suggest that feedback has a positive effect on motivation and that the difference in discrimination is due to the greater motivation of participants with feedback. These results suggest that at least for adults the number sense may not respond to feedback in the short-term.
A Passive W-Band Imaging Receiver in 65-nm Bulk CMOS

A passive imaging receiver operating in the W-band around 90 GHz has been realized in a digital 65-nm CMOS process. The circuit, occupying only 0.41 mm2, integrates an SPDT switch with 4.2 dB loss and 25 dB isolation, a five-stage telescopic cascode LNA with 27 dB gain at 90 GHz, and a W-band square-law detector, all consuming less than 33 mA from 1.2 V. A version of the receiver without the input SPDT switch has a peak responsivity of over 200 kV/W and a minimum NEP of less than 0.1 pW/ Hz. The full Dicke radiometer, which includes the input switch, achieves a responsivity of 90 kV/W and an NEP of 0.2 pW/ Hz. This work represents the first W-band passive imaging receiver to be implemented in standard CMOS with this level of integration.
Relevance of different prior knowledge sources for inferring gene interaction networks

When inferring networks from high-throughput genomic data, one of the main challenges is the subsequent validation of these networks. In the best case scenario, the true network is partially known from previous research results published in structured databases or research articles. Traditionally, inferred networks are validated against these known interactions. Whenever the recovery rate is gauged to be high enough, subsequent high scoring but unknown inferred interactions are deemed good candidates for further experimental validation. Therefore such validation framework strongly depends on the quantity and quality of published interactions and presents serious pitfalls: (1) availability of these known interactions for the studied problem might be sparse; (2) quantitatively comparing different inference algorithms is not trivial; and (3) the use of these known interactions for validation prevents their integration in the inference procedure. The latter is particularly relevant as it has recently been showed that integration of priors during network inference significantly improves the quality of inferred networks. To overcome these problems when validating inferred networks, we recently proposed a data-driven validation framework based on single gene knock-down experiments. Using this framework, we were able to demonstrate the benefits of integrating prior knowledge and expression data. In this paper we used this framework to assess the quality of different sources of prior knowledge on their own and in combination with different genomic data sets in colorectal cancer. We observed that most prior sources lead to significant F-scores. Furthermore, their integration with genomic data leads to a significant increase in F-scores, especially for priors extracted from full text PubMed articles, known co-expression modules and genetic interactions. Lastly, we observed that the results are consistent for three different data sets: experimental knock-down data and two human tumor data sets.