Miracle-dz/UniFAR-FTUs huggingface dataset:
Adding Local Exploration to Greedy Best-First Search in Satisficing Planning

Greedy Best-First Search (GBFS) is a powerful algorithm at the heart of many state of the art satisficing planners. One major weakness of GBFS is its behavior in so-called uninformative heuristic regions (UHRs) - parts of the search space in which no heuristic provides guidance towards states with improved heuristic values. This work analyzes the problem of UHRs in planning in detail, and proposes a two level search framework as a solution. In Greedy Best-First Search with Local Exploration (GBFS-LE), a local exploration is started from within a global GBFS whenever the search seems stuck in UHRs. Two different local exploration strategies are developed and evaluated experimentally: Local GBFS (LS) and Local Random Walk Search (LRW). The two new planners LAMA-LS and LAMA-LRW integrate these strategies into the GBFS component of LAMA-2011. Both are shown to yield clear improvements in terms of both coverage and search time on standard International Planning Competition benchmarks, especially for domains that are proven to have large or un- bounded UHRs.
Consequences of cultural fluency

Cultural expertise implies knowing how things are done in everyday life (“pink on Valentine's Day,” “obituaries celebrate and are mournful”) such that one's conscious or nonconscious culture-based expectations typically match situations as they unfold. We synthesize cultural, neural prediction, and social cognition models to predict that a hallmark of this culture-based expectation-to-situation match is the experience of cultural fluency (and its opposite, cultural disfluency). Cultural disfluency arises as a result of a mismatch between culture-based conscious or nonconscious expectation and situation, cuing a switch in processing style from associative to rule-based systematic processing. Eight experiments demonstrate that these effects are cultural, found only among people who know the culture, and only if the cultural situation is cued. People are influenced by plate design on holidays they know, not ones they do not know. Effects are found during, but not after, cultural events and generalize beyond .
Towards High-Assurance Multiprocessor Virtualisation

Virtualisation is increasingly being used in security-critical systems to provide isolation between system components. Being the foundation of any virtualised system, hypervi- sors need to provide a high degree of assurance with regards to correctness and isolation. Microkernels, such as seL4, can be used as hypervisors. Functional correctness of seL4's uniprocessor C implementation has been formally veried. The framework employed to verify seL4 is tailored to facilitate reasoning about sequential programs. However, we want to be able to use the full power of multiprocessor/multicore systems, and at the same time, leverage the high assurance seL4 already gives us for uniprocessors. This work-in-progress paper explores possible multiprocessor designs of seL4 and their amenability to verication. For the chosen design, it contributes a formal multiprocessor execution model to lift seL4's uniprocessor model and proofs into a multiprocessor context using only minor modications. The theorems proving the validity of the lift operation are machine-checked in Isabelle/HOL and walked-through in the paper. seL4's abstract specication which is written in Haskell-like monadic style (4), shallowly embedded into Isabelle/HOL (9). Isolation properties|e.g. disconnected subsystems running on top stay disconnected forever|are formulated and proved in a high-level security model (3) which talks about how authority is disseminated in seL4's programming model. A proof is currently being undertaken to show that the abstract specication renes the security model.
Independent Local Mapping for Large-Scale SLAM

SLAM algorithms do not perform consistent maps for large areas mainly due to the uncertainties that become prohibitive when the scenario becomes larger and to the in- crease of computational cost. The use of local maps has been demonstrated to be well suited for mapping large environments, reducing computational cost and improving map consistency. This paper proposes a technique based on using independent local maps. Every time a loop is detected, these local maps are corrected using the information from local maps that overlap with them. Meanwhile a global stochastic map is kept through loop detection and minimization as it is done in the classical Hierarchical SLAM approach. This global level contains the relative transformations between local maps, which are updated once a new loop is detected. In addition, the information within the local maps is also corrected, maintaining always each local map separately. This approach requires robust data association algorithms, for instance, an adapted version of the JCBB algo- rithm. Experimental results show that our approach is able to obtain large maps areas with high accuracy.
Plasma prolactin levels and subsequent risk of breast cancer in postmenopausal women.

BACKGROUND In animal studies, prolactin has been found to be important for mammary epithelial development and its administration has been shown consistently to increase the rate of mammary tumor formation. Previous epidemiologic studies of prolactin and breast cancer risk in postmenopausal women have been limited in size, and the results have been inconsistent. We conducted a nested case-control study within the prospective Nurses' Health Study cohort to better determine the relationship between plasma prolactin levels and postmenopausal breast cancer risk. METHODS Blood samples were collected from cohort members during the period from 1989 through 1990. Prolactin levels were measured by use of a microparticle enzyme immunoassay. Included in this analysis were 306 postmenopausal women who were diagnosed with breast cancer after blood donation but before June 1994. One or two postmenopausal control subjects were matched per case subject on the basis of age, postmenopausal hormone use, and time of day and month of blood collection; the study included a total of 448 control subjects. RESULTS In conditional logistic regression analyses, a significant positive association was observed between plasma level of prolactin and postmenopausal breast cancer risk (highest versus lowest quartile, multivariate relative risk = 2.03; 95% confidence interval = 1.24-3.31; two-sided P for trend = .01). The relationship was independent of plasma sex steroid hormone levels and was similar after excluding case subjects diagnosed in the first 2 years after blood collection. CONCLUSIONS These prospective data suggest that higher plasma prolactin levels are associated with an increased risk of breast cancer in postmenopausal women.
A LabVIEW-based control system design for femtosecond laser micro-nano fabrication processing

An automatic control system composed of autofocus, recording and read-out process is designed for femtosecond laser micro-nanofabrication processing. By simulating three-dimensional intensity point spread function curve in the autofocus process, the interface between resin and glass has been found. Furthermore, information to be processed stored in form of an array, can be obtained from eagle pattern in the preprocess fabrication process. Finally, it can be read out in terms of zoom reading to receive fluorescence imaging via fluorescence microscope system and PZT motorized stage. In addition, the fabrication process is monitored by a CCD camera in real time. It demonstrates high efficiency and quality for processing when femtosecond laser intensity is reduced to a level at the axial radius value as small as ca 0. 05μm. Meanwhile it indicates that it is possible to apply the proposed system in practical application for micro-nanofabrication.
Con dentiality In Sensor Networks : Transactional Information

In a sensor network environment, elements such as message rate, message size, mote frequency, and message routing can reveal information about the sensors deployed, frequency of events monitored, network topology, parties deploying the network, and location of subjects and objects moving through the networked space. Collectively, we refer to these elements as transactional data. Where the con dentiality of the content of the networks communications has been secured through encryption and authentication techniques, the ability of network outsiders and insiders to observe elements or the totality of this transactional data can also compromise network con dentiality. This paper describes four types of transactional data typically observable in sensor networks and discusses the information that can be derived through its observation and analysis. The paper argues that measures to limit the availability and utility of transactional data are essential to preserving con dentiality in sensor networks.
Data attribute security and privacy in distributed database system

Now a days there are a need of data attribute security in distributed database while preserving privacy. In the proposed work, we consider problem related in publishing collaborative data for anonymizing vertically and horizontally partitioned data. We consider the attack which may use a subset of the overall data. After in view of entire research work we make the distributed database system in which first, we introduce the notion of data privacy which guarantees the privacy of anonymized data for different data provider. Second, we present algorithms for exploiting the monotonicity of privacy constraints for checking data privacy efficiently with the encryption schema using encryption algorithm. Third, we distribute the data to end user with the anonymization as well as security algorithm, and checking the authentication schema with TTP, which will give the assurance to provide high level security to database. Experiments we use the hospital patient datasets suggest that our approach achieves better or comparable utility and efficiency than existing and baseline algorithms while satisfying of proposed security work.
D-brane effective field theory from string field theory

Open string field theory is considered as a tool for deriving the effective action for the massless or tachyonic fields living on D-branes. Some simple calculations are performed in open bosonic string field theory which validate this approach. The level truncation method is used to calculate successive approximations to the quartic terms φ4, (AAμ) 2 and [Aμ, Aν ] 2 for the zero momentum tachyon and gauge field on one or many bosonic D-branes. We find that the level truncation method converges for these terms within 2-4% when all massive fields up to level 20 are integrated out, although the convergence is slower than exponential. We discuss the possibility of extending this work to determine the structure of the nonabelian Born-Infeld theory describing the gauge field on a system of many parallel bosonic or supersymmetric D-branes. We also describe a brane configuration in which tachyon condensation arises in both the gauge theory and string field theory pictures. This provides a natural connection between recent work of Sen and Zwiebach on tachyon condensation in string field theory and unstable vacua in super Yang-Mills and Born-Infeld field theory.
Physical Layer Security in Multi-Cell MISO Downlinks With Incomplete CSI—A Unified Secrecy Performance Analysis

In this paper, we consider a multi-cell MISO downlink, where a multi-antenna base station (BS) sends messages to its intended user, while a passive eavesdropper tries to intercept the information in each cell. Physical layer security is employed in order to guarantee information security. Due to incomplete channel state information (CSI) at BSs, residue inter-cell interference exists even with coordinated beamforming, which exerts a great impact on the secrecy performance. In this paper, we conduct a unified performance analysis for physical layer security with incomplete CSI, and derives closed-form expressions of ergodic secrecy rate, secrecy outage probability, and interception probability, considering CSI estimation accuracy, transmit signal to noise ratio (SNR), and channel condition. We reveal some insights on the secrecy performance through asymptotic analysis. Furthermore, based on the derived theoretical results, we propose a CSI exchange amount allocation scheme. Finally, the simulations validate our theoretical claims.
Organizational Justice,Psychological Well-being,Physical Health of Flight Attendants:Mediating Role of Perceived Organizational Support

Objective:To explore the influences of organizational justice on psychological well-being and physical health of flight attendants,and the mediating effects of perceived organizational support.Methods:291 female flight attendants from a big airline company were surveyed with questionnaires.Results:①Both distributive and interpersonal justice were positively associated with psychological well-being;Interpersonal justice was positively associated with physical heath;② Procedural,distributive and interpersonal justice were all positively associated with perceived organizational support;③ Perceived organizational support partially mediated the influences between distributive and interpersonal justices on psychological well-being;Perceived organizational support totally mediated the influence of interpersonal justice on physical health.Conclusion:Improving perceived organizational support can decrease the negative influence of organizational injustice on psychological well-being and physical health.
Citizen Centered Health and Lifestyle Management via Interactive TV: The PANACEIA-ITV Health System

In the context of an IST European project with acronym PANACEIA-ITV, a home care service provisioning system is described, based on interactive TV technology. The purpose of PANACEIA-ITV is to facilitate essential lifestyle changes and to promote compliance with scientifically sound self-care recommendations, through the application of interactive digital television for family health maintenance. The means to achieve these goals are based on technological, health services and business models. PANACEIA-ITV is looking for communication of monitoring micro-devices with I-TV set-top-boxes using infrared technology, and embodiment of analogous H/W and S/W in the I-TV set-top-boxes. Intelligent agents are used to regulate data flow, user queries as well as service provisions from and to the household through the satellite digital platform, the portal and the back-end decision support mechanisms, using predominantly the Active Service Provision (ASP) model. Moreover, interactive digital TV services are developed for the delivery of health care in the home care environment.
Looking for Myself: Current Multisensory Input Alters Self-Face Recognition

How do I know the person I see in the mirror is really me? Is it because I know the person simply looks like me, or is it because the mirror reflection moves when I move, and I see it being touched when I feel touch myself? Studies of face-recognition suggest that visual recognition of stored visual features inform self-face recognition. In contrast, body-recognition studies conclude that multisensory integration is the main cue to selfhood. The present study investigates for the first time the specific contribution of current multisensory input for self-face recognition. Participants were stroked on their face while they were looking at a morphed face being touched in synchrony or asynchrony. Before and after the visuo-tactile stimulation participants performed a self-recognition task. The results show that multisensory signals have a significant effect on self-face recognition. Synchronous tactile stimulation while watching another person's face being similarly touched produced a bias in recognizing one's own face, in the direction of the other person included in the representation of one's own face. Multisensory integration can update cognitive representations of one's body, such as the sense of ownership. The present study extends this converging evidence by showing that the correlation of synchronous multisensory signals also updates the representation of one's face. The face is a key feature of our identity, but at the same time is a source of rich multisensory experiences used to maintain or update self-representations.
Audio Mood Classification Using Ensemble Classifier with Music Tag Based Indexing

This paper presents a system for audio classification using multiple binary ensemble classifiers with music tag based indexing in a one-versus-all classification scenario. The proposed system has won the audio classification task on mood dataset in MIREX 2010 and is implemented as follows. First, in the training phase, the frame-based 70-dimensional feature vectors are extracted from a training audio track by MIRToolbox 1.3. Next, the Posterior Weighted Bernoulli Mixture Model (PWBMM) is applied to index the frame-decomposed feature vectors of the training track into a fixed-dimensional semantic vector based on the pre-defined music tags, called music tag based indexing. Then for each class, the semantic vectors of associated training tracks are used to train a binary ensemble classifier consisting of SVM and AdaBoost. In the classification phase, a testing audio track is first indexed into a semantic vector. Then, for each class, the associated ensemble classifier gives its final score for the testing track via the calibrated probability ensemble between the two subclassifiers, i.e., SVM and AdaBoost. The class with the highest final score is assigned as the final output. Our system was ranked first out of 36 submissions in the MIREX 2010 audio mood classification task.
The Persistence of Universal Halo Profiles

We have performed simple simulations which suggest that the phase-space structure of halos identified in cosmological calculations is invariant under the dynamics induced by sinking substructure satellites. This contention is confirmed using a two-component Fokker-Planck formulation, representing the dynamics of a smooth background and a system of massive clumps. It is shown that, to very high accuracy, when the clumps sink in under the action of dynamical friction, the background expands so as to leave the total distribution unchanged. This holds for the inner and intermediate regions of isotropic systems in dynamical equilibrium, and is valid for any mass spectrum of substructure, because the governing equation is linear in their mass-weighted phase-space distribution. If the clumps are considered solid, the process whereby background particles are driven out of low-energy states takes the form of an exponential instability, with a characteristic timescale on the order of the dynamical friction time, on which develops a low-energy cutoff in the phase-space distribution of these lighter particles and a constant-density core in their spatial distribution. This could correspond to a situation in which the clumps are made of dense baryonic material. We also considered the case when stripping is strong enough for a low-energy cutoff to develop in the clump distribution (as in the situation with dissipationless substructure). The results of this paper suggest that halo profiles similar to those found in dissipationless cosmological simulations are approximately invariant under the interaction induced by the presence of substructure, a necessary condition for the observed “universality. ” In addition, the total profile, including baryons, should also be invariant, provided that the latter are initially in the form of dense clumps, whose distribution initially follows that of dark matter.
Trapdoor Computational Fuzzy Extractors

We describe a method of cryptographically-secure key extraction from a noisy biometric source. The computational security of our method can be clearly argued through hardness of Learning Parity With Noise (LPN). We use a fuzzy commitment scheme so the extracted key is chosen by definition to have uniformly random bits. The biometric source is used as the noise term in the LPN problem. A key idea in our construction is to use additional ‘confidence’ information produced by the source for polynomial-time key recovery even under high-noise settings, i.e., Θ(m) errors, where m is the number of biometric bits. The confidence information is never exposed and is used as a noise-avoiding trapdoor to exponentially reduce key recovery complexity. Previous computational fuzzy extractors were unable to correct Θ(m) errors or would run in exponential time in m. A second key result is that we relax the requirement on the noise in the LPN problem, which relaxes the requirement on the biometric source. Through a reduction argument, we show that in the LPN problem, correlation in the bits generated by the biometric source can be viewed as a bias on the bits, which affects the security parameter, but not the security of the overall construction. Using a silicon Physical Unclonable Function (PUF) as a concrete example, we show how keys can be extracted securely and efficiently even under extreme environmental variation.
FPGA implementation of fast radix 4 division algorithm

The flexibility of field programmable gate arrays (FPGAs) can provide arithmetic intensive applications with the benefits of custom hardware but without the high cost of custom silicon implementations. In this paper, we present the adaptation of a fast radix 4 division algorithm (Srinivas and Parthi, 1994) for lookup table based FPGAs implementation. In this algorithm, the quotient digits are determined by observing three most-significant radix 2 digits of the partial remainder and independent of the divisor. The implementation has been done with Xilinx technology and FPGA-Advantage CAD tools.
Customers Can Do Better! A Case Study of Self-Service Kiosk Technologies at the German Federal Employment Agency

Self-service technologies have been gaining increasing importance in public and private organizations over recent years. One of the predominant re- sponsibilities of the customers in the context of self-service is to enter their data on their own. Self-service for data entry can help organizations to further en- hance the efficiency of their processes and to make customer experience smoother. However, as self-service for data entry is intended to be handled without intensive employee assistance, inexperienced data entry can lead to data quality problems. Although academic research has explored several effects of self-service technologies, there is still a lack of research investigating the effect of self-service data entry on data quality. Thus, in an in-depth case study in co- operation with the German Federal Employment Agency we analyzed how cus- tomer self-service for data entry affects data quality and found that assisted self- service data entry leads to highest data quality.
Voluntary versus Involuntary Perceptual Switching : Mechanistic Differences in Viewing an Ambiguous Figure

Here we demonstrate the mechanistic differences between voluntary and involuntary switching of the perception of an ambiguous figure. In our experiment, participants viewed a 3D ambiguous figure, the Necker cube, and were asked to maintain one of two possible interpretations across four different conditions of varying cognitive load. These conditions differed in the instruction to freely view, make guided saccades, or fixate on a central cross. In the fourth condition, subjects were instructed to make guided saccades while unambiguous versions of the stimulus were intermittently flashed. Eye tracking measurements revealed consistent differences between voluntary and involuntary perceptual switching.