Miracle-dz/UniFAR-FTUs huggingface dataset:
Perturbation Robust Stable Matching

A well known result states that stability criterion for matchings in two-sided markets doesn't ensure uniqueness. This opens the door for a moral question with regard to the optimal stable matching from a social point of view. Here, a new notion of social optimality is proposed. Its novelty is its ability to take into account the possibility of agents to leave the matching after it has already been established. To formalize this real-life scenario, this work includes a well-defined probability model and a social cost function that maintain the general guidelines of leaving-agents situations. Finally, efficient algorithms to optimize this function are developed either under stability constraint or without it.
Electric current based power line communication for plug-load device auto identification

A smart building has an outlet-level power meters for managing the energy consumption of plug-load devices - the devices or appliances connected to the outlets. Identification of the connected devices used to be made by system operators in the traditional building energy management systems (BEMS), but it is no more realistic for such fine-grained power monitoring applications. This paper proposes a new communication method - electric current based power line communication (ECPLC), which enables automatic identification of plug-load devices without the intervention of system operators. Using ECPLC, a device transmits bit sequences that show its identifier on the electric current flow, which propagates only to the outlet from the connected device. We have designed a transmitter and a receiver of ECPLC with studying the electric model that enables the communication. We have also implemented them, and carried out experiments on varieties of cases. The results show that ECPLC performs very well in typical application scenarios, indicating that it is useful for automatic identification of plug-load devices.
Stream-A-Game: An open-source mobile Cloud Gaming platform

Cloud Gaming is a paradigm shift in that games are not executed on the player's device but on a remote server, which delivers a live video stream of the game over the network to the client and takes input commands in return. We present the first truly mobile open-source cloud gaming system, which runs instances of the Android Open Source Project (AOSP) mobile operating system in the cloud and delivers their output in real time to clients running a lightweight display software. Incorporating AOSP allows using this platform to stream innumerable existing Android mobile games which are designed with touch interfaces and mobile usage scenarios in mind. Utilizing a base of mature open-source components, our platform can be configured and manipulated in any conceivable manner.
Organic printed photonics: From microring lasers to integrated circuits

Flexible organic photonic devices for high-performance optical information processing can be produced via ink-jet printing. A photonic integrated circuit (PIC) is the optical analogy of an electronic loop in which photons are signal carriers with high transport speed and parallel processing capability. Besides the most frequently demonstrated silicon-based circuits, PICs require a variety of materials for light generation, processing, modulation, and detection. With their diversity and flexibility, organic molecular materials provide an alternative platform for photonics; however, the versatile fabrication of organic integrated circuits with the desired photonic performance remains a big challenge. The rapid development of flexible electronics has shown that a solution printing technique has considerable potential for the large-scale fabrication and integration of microsized/nanosized devices. We propose the idea of soft photonics and demonstrate the function-directed fabrication of high-quality organic photonic devices and circuits. We prepared size-tunable and reproducible polymer microring resonators on a wafer-scale transparent and flexible chip using a solution printing technique. The printed optical resonator showed a quality (Q) factor higher than 4 × 105, which is comparable to that of silicon-based resonators. The high material compatibility of this printed photonic chip enabled us to realize low-threshold microlasers by doping organic functional molecules into a typical photonic device. On an identical chip, this construction strategy allowed us to design a complex assembly of one-dimensional waveguide and resonator components for light signal filtering and optical storage toward the large-scale on-chip integration of microscopic photonic units. Thus, we have developed a scheme for soft photonic integration that may motivate further studies on organic photonic materials and devices.
MASS MEDIA COMMUNICATION OF EMERGENCY ISSUES AND COUNTERMEASURES IN A NUCLEAR ACCIDENT: FUKUSHIMA REPORTING IN EUROPEAN NEWSPAPERS

This paper presents the results of a large study of 1340 articles published by two major newspapers in six European countries (Belgium, Italy, Norway, Slovenia, Spain and Russia) in the first 2 months after the Fukushima Daiichi nuclear disaster. The focus of the analysis is on the application and overall impact of protective actions, both during the emergency phase and later, how the newspapers describe those actions, which differences were apparent between countries and what recommendations can be extracted in order to improve general communication about these issues. A clear lesson is that, even under uncertainty and recognising limitations, responsible authorities need to provide transparent, clear and understandable information to the public and the mass media right from the beginning of the early phase of any nuclear emergency. Clear, concise messages should be given. Mass media could play a key role in reassuring the public if the countermeasures are clearly explained.
Avionics Maintenance Ontology Building for Failure Diagnosis Support

In the aviation industry, the delay in maintaining or recovering aircrafts heavily impacts the profit of an airline company. Consequently the maintenance actions identification and planning of aircrafts is crucial. However, due to the complexity of the domain in terms of data sources, distributed systems and information availability, it is hard to provide automatic maintenance support. We propose to use semantic technologies to model the domain at a conceptual level through ontology, thus abstracting from the data sources and the maintenancersâuses and jobs. In this manner the information relevant for characterizing failures and maintenance events is encapsulated and provided to end users via an easier access, which otherwise would be inaccessible or would require expert analysis to obtain. Such a formal model of the domain can furthermore enable automated reasoning for maintenance discovery and failure causes detection by integrating a large amount of background contextual information scattering in different resources. In this paper we provide the rationale of the Avionics Maintenance ontology i.e. how we built it through expert knowledge and alignment of different sources and an ontology alignment evaluation tool.
Achievement goal orientation and the critical thinking disposition of college students across academic programmes

This study links achievement goal theory and models of critical thinking by investigating the relationship between motivational goals and the thinking dispositions of college students enrolled in five different academic programmes in Thailand (N = 1336, males = 32.9% and females = 67.1%). We found significant differences in goal orientations and thinking dispositions across academic programmes. For example, nursing students were significantly more mastery goal-oriented and had a higher level of ‘analytical’ thinking disposition than students in business, engineering, education and vocational programmes. Multiple regression analysis found a positive influence of mastery goals and a negative influence of performance avoidance goals on the levels of critical thinking dispositions. We found that critical thinking dispositions are related to goal orientation response patterns and vary with the curricular context.
Holographic reprocessing: Empirical evidence to reduce posttraumatic cognitions in women veterans with PTSD from sexual trauma and abuse.

Holographic reprocessing (HR) facilitates holistic reappraisal of attributions regarding interpersonal violence and maltreatment. The authors tested the feasibility to train therapists to run a protocol using HR to reduce negative thoughts associated with posttraumatic stress disorder (PTSD) in women veterans who have had sexual trauma or abuse. The study assessed pre- and postscores on the Posttraumatic Cognitions Inventory (PTCI) in a naturalistic clinical setting with 5 therapists. The protocol consisted of screening for PTSD, followed by an average of 9 HR treatment sessions. Twenty-two women were referred to the study; 17 enrolled and completed treatment (0% dropout rate). Significant decreases were found on all scales of the PTCI, with large effect sizes: total negative thoughts, t(16) = 4.42, p < . 000, Cohen's d = 1.52, and 47% of the sample had reliable change (decreased negative thoughts; RC < -1.96). These findings suggest that HR is a promising treatment for sexual trauma PTSD. (PsycINFO Database Record (c) 2010 APA, all rights reserved).
Visualization of Spatial–Temporal Evolution of Light-Induced Refractive Index in Mn:Fe:KTN Co-Doped Crystal Based on Digital Holographic Interferometry

The dynamic refractive-index-change behavior of the light-induced process in an Mn:Fe:KTN crystal illuminated by a focused light sheet can be observed experimentally by digital holographic interferometry. By numerically retrieving a series of sequential phase maps from recording digital holograms, the spatial and temporal evolution of the light-induced refractive-index-change distribution inside the material is visualized in situ and monitored in a quantitative and in full field way. With this technique, the effect of recording parameters, such as writing laser power and polarization, bias voltage, temperature, and writing time, on the Mn:Fe:KTN crystal in the photorefractive effect can be explored. Therefore, optimized recording parameters will be achieved according to the dynamic behavior. The method provides an access to explore the evolution of the photorefractive (PR) effect of electrooptic crystal under various situations.
Efficient SAT-based ATPG techniques for all multiple stuck-at faults

Due to the continuous shrinking of semiconductor technology, there are more and more subtle errors or faults widely distributed in manufactured chips, and traditional “single” stuck-at fault model may become inappropriate. It is definitely better if all combinations of multiple faults can be completely tested. In this paper, we present ATPG (Automatic Test Pattern Generation) techniques targeting all multiple stuck-at faults, i.e. all combinations of stuck-at faults. That is, given “n” possibly faulty locations in a circuit, the target set of faults consists of 3n - 1 fault combinations, as each possibly faulty location is under stuck-at 1, stuck-at 0, or normal/non-faulty. Traditional ATPG flows use fault simulators to eliminate all detectable faults by the current set of test vectors. The problem, however, fault simulators represent fault lists explicitly in the sense that all possible faults are enumerated in the fault lists. This prevents us from dealing with ultra large fault lists, such as 3n - 1 faults. We need “implicit” representation of faults in order to deal with such huge numbers of faults or fault combinations. We present SAT based formulations for ATPG of circuits having very large numbers of faults by implicitly eliminating detected faults. We solve a set of SAT problems whose constraints increase pure incrementally (here “pure” means never deleting constraints), and so the entire solving process can be very efficient, as all learnings obtained so far are valid in the following SAT problems. Experiments are performed on combinational parts of ISCAS89 circuits in their AIG (AND-Inverter Graph) representations. We have successfully generated the complete set of test vectors assuming that faults happen only at outputs of gates. Our ATPG techniques can also start with a given set of test vectors. If we start the ATPG processes with a set of test vectors for single stuck-at faults, we can obtain the set of additional test vectors required for multiple stuck-at faults. Results are a little bit surprising in the sense that we need very few additional test vectors for multiple faults, although the numbers of fault combinations are exponentially larger. As far as we know, for the first time, complete test vectors for all stuck-at faults for ISCAS89 circuits where faults happen only at outputs of gates in AIG representations of the circuits have been obtained.
Sustained Expression of TDP-43 and FUS in Motor Neurons in Rodent's Lifetime

TAR DNA-binding protein (TDP-43) and fused in sarcoma (FUS) are two highly conserved ribonucleoproteins. Pathogenic mutations of the TDP-43 or the FUS gene are all linked to amyotrophic lateral sclerosis (ALS) that is characterized by progressive degeneration of motor neurons. To better understand the correlation of ALS disease genes with the selectivity of chronic motor neuron degeneration, we examined the longitudinal expression of the TDP-43 and the FUS genes in C57BL6 mice and in Sprague-Dawley rats. TDP-43 and FUS were robustly and ubiquitously expressed in the postnatal mice and rats, but were markedly decreased in the adult rodents. In adulthood, TDP-43 and FUS proteins were even undetectable in peripheral organs including skeletal muscles, liver, and kidney, but were constantly expressed at substantial levels in the central nervous system. Motor neurons expressed the TDP-43 and the FUS genes at robust levels throughout rodent's lifetime. Moreover, TDP-43 and FUS were accumulated in the cytoplasm of motor neurons in aged animals. Our findings suggest that TDP-43 and FUS play an important role in development and that constant and robust expression of the genes in motor neurons may render the neurons vulnerable to pathogenic mutation of the TDP-43 or the FUS gene. To faithfully model the pathology of TDP-43- or FUS gene mutations in rodents, we must replicate the expression patterns of the TDP-43 and the FUS gene in animals.
Float: One-Handed and Touch-Free Target Selection on Smartwatches

Touch interaction on smartwatches suffers from the awkwardness of having to use two hands and the "fat finger" problem. We present Float, a wrist-to-finger input approach that enables one-handed and touch-free target selection on smartwatches with high efficiency and precision using only commercially-available built-in sensors. With Float, a user tilts the wrist to point and performs an in-air finger tap to click. To realize Float, we first explore the appropriate motion space for wrist tilt and determine the clicking action (finger tap) through a user-elicitation study. We combine the photoplethysmogram (PPG) signal with accelerometer and gyroscope to detect finger taps with a recall of 97.9% and a false discovery rate of 0.4%. Experiments show that using just one hand, Float allows users to acquire targets with size ranging from 2mm to 10mm in less than 2s to 1s, meanwhile achieve much higher accuracy than direct touch in both stationary (>98.9%) and walking (>71.5%) contexts.
Religious Upbringing Reconsidered

There is, on the face of it, a logical difficulty as well as a practical one about ascribing to parents both a right to give their children a religious upbringing and a duty to avoid indoctrinating them. Curiously, this logical difficulty was largely overlooked in the debate on religious upbringing and parental rights between Terence McLaughlin, Eamonn Callan and Peter Gardner in the 1980s. In this paper I set out the terms of the logical problem and propose a solution to it.
Education for sustainable development and normativity: a transactional analysis of moral meaning‐making and companion meanings in classroom communication

The purpose of the present article is to present and illustrate two different ways of analysing the normativity and discursivity of classroom communication during education for sustainable development (ESD). The two types of analysis can provide important knowledge for discussions of ESD in relation to morals and democracy. Both methods are based on pragmatism and the later works of Wittgenstein. The first approach was developed to examine the relationship between cultural and psychological processes in environmental ethical meaning‐making. It draws on the endeavours of sociocultural research and cultural psychology to take the individual into account, or in other words, the intra‐personal dimension of meaning‐making, which is not usually the case in the analysis of ESD. The second method relates to the normativity of ESD. Dewey refers to the apparently implicit socialisation taking place during education as ‘collateral learning’. We refer to the content included in subsidiary forms of learning as companion meaning, which either follows on automatically when teaching knowledge content, or becomes collateral learning when one learns scientific meanings. Such meanings can, for example, be concerned with the nature of knowledge and people's relations to nature.
Supervised Word Sense Disambiguation with Sentences Similarities from Context Word Embeddings

In this paper, we propose a method that employs sentences similarities from context word embeddings for supervised word sense disam-biguation. In particular, if N example sentences exist in training data, an N-dimensional vector with N similarities between each pair of example sentences is added to a basic feature vector. This new feature vector is used to train a classiﬁer and identiﬁcation. We evaluated the proposed method using the feature vectors based on Bag-of-Words, SemEval-2 base-line as basic feature vectors and SemEval-2 Japanese task. The experimental results suggest that the method is more effective than the method with only basic vectors.
Time-frequency Analysis of Musical Rhythm

W e shall use the mathematical techniques of Gabor transforms and continuous wavelet transforms to analyze the rhythmic structure of music and its interaction with melodic structure. This analysis reveals the hierarchical structure of rhythm. Hierarchical structure is common to rhythmic performances throughout the world’s music. The work described here is interdisciplinary and experimental. We use mathematics to aid in the understanding of the structure of music, and have developed mathematical tools that (while not completely finished) have shown themselves to be useful for this musical analysis. We aim to explore ideas with this paper, to provoke thought, not to present completely finished work. The paper is organized as follows. We first summarize the mathematical method of Gabor transforms (also known as short-time Fourier transforms, or spectrograms). Spectrograms provide a tool for visualizing the patterns of time-frequency structures within a musical passage. We then review the method of percussion scalograms, a new technique for analyzing rhythm introduced in [34]. After that, we show how percussion scalograms are used to analyze percussion passages and rhythm. We carry out four analyses of percussion passages
Critique and sociology: towards a new understanding of teaching as an integral part of sociological work

Abstract This paper aims to shed light on teaching as an integral part of sociological work. The aim of sociologists to contribute to critical inquiry can be traced back to Enlightenment ideas. Based on empirical findings from my doctoral research on the self-understanding of sociologists, I will argue that teaching does not receive the attention it deserves as a way of living the critical traditions within sociology. In spite of decreasing readerships for a rapidly rising number of academic publications, research is better rewarded than teaching. Notwithstanding teaching having been structurally devalued, my research suggests that teaching seems to play a far more significant role in the self-understanding of sociologists.
Thin Plate Spline Latent Variable Models for dimensionality reduction

Dimensionality reduction (DR) has been considered as one of the most significant tools for data analysis. In this paper we propose a new latent variable model based on the thin plate splines, named Thin Plate Spline Latent Variable Model (TPSLVM). It has strong connection with the so-called Gaussian Process Latent Variable Model (GPLVM). We demonstrate that the proposed TPSLVM can be viewed as the GPLVM with a fairly peculiar covariance function. Moreover, compared to GPLVM, TPSLVM is more powerful especially when the dimensionality of the latent space is very low (e.g., 2D or 3D). One of main purposes of DR algorithms is to visualize data in 2D/3D spaces. Therefore, TPSLVM will benefit this process. Experimental results show that TPSLVM provides better data visualization and more efficient dimensionality reduction than GPLVM.
Examining the impacts of neighborhood design and residential self-selection on active travel: a methodological assessment

A limited number of studies have addressed residential self-selection when considering the relationship between the built environment (BE) and physical activity. Ignoring self-selection may bias the estimate of the strength of the relationship and misinform public policy. Using 2011 data from the Twin Cities, this study employs cross-sectional and quasi-longitudinal analyses to disentangle the impacts between self-selection (through residential preferences and travel attitudes) and neighborhood characteristics on active travel (AT). The two approaches produce somewhat different outcomes: attitudinal factors are extensively present in the cross-sectional analysis and the associations between neighborhood characteristics and AT are greatly attenuated after controlling for attitudinal factors. In contrast, neighborhood characteristics play a dominant role in the quasi-longitudinal analysis, while attitudinal and demographic characteristics carry additional impacts on AT. Overall, both preferences and attitudes help explain the difference in AT. I find that while physical activity infrastructure impacts biking, physical activity infrastructure together with transit and accessibility affects walking, even after controlling for demographic and attitudinal characteristics. The results highlight the importance of shaping the BE in order to provide an infrastructure of alternative modes of transport and access to different land uses in policy efforts to increase AT.
NOTE Partitioning with Two Lines in the Plane

The following problem was raised in a paper by Dan Willard [6]: Given n points (ai, bi) (i = 1,. . . , n), find two straight lines that partition the plane in such a way that each (closed) quadrant contains at least /n/4] points. Cole, Sharir, and Yap [l] propose an algorithm which is based on the scheme for applying parallel algorithms in the design of serial ones that is presented in [3]. Their algorithm runs in O(n log’n) but the authors argue that an 0( n log n) algorithm is possible if the guiding routine is a sorting network of depth n with bounded degree. Here we show that the ideas presented in [2,4] apply to the two-line partitioning problem as well, so we obtain here an O(n) algorithm for the latter.