Miracle-dz/UniFAR-FTUs huggingface dataset:
Band search: an efficient alternative to guided depth-first search

A novel search algorithm called band search that generalizes guided depth-first and best-first searches is proposed. The performance of band search is studied, and it is evaluated using six benchmarks. The band-search algorithm and its properties are presented, the conditions when band search behaves like best first search are identified, and possible anomalous behavior when the bandwidth of the search is increased is discussed. The classes of search problems for which band search is applicable are given, and the performance of band search on these problems is evaluated. <<ETX>>
An Egocentric Look at Video Photographer Identity

Egocentric cameras are being worn by an increasing number of users, among them many security forces worldwide. GoPro cameras already penetrated the mass market, reporting substantial increase in sales every year. As headworn cameras do not capture the photographer, it may seem that the anonymity of the photographer is preserved even when the video is publicly distributed. We show that camera motion, as can be computed from the egocentric video, provides unique identity information. The photographer can be reliably recognized from a few seconds of video captured when walking. The proposed method achieves more than 90% recognition accuracy in cases where the random success rate is only 3%. Applications can include theft prevention by locking the camera when not worn by its rightful owner. Searching video sharing services (e.g. YouTube) for egocentric videos shot by a specific photographer may also become possible. An important message in this paper is that photographers should be aware that sharing egocentric video will compromise their anonymity, even when their face is not visible.
The isolated neutron star candidate 2XMM J104608.7-594306

Over the last decade, X-ray observations unveiled the existence of several classes of isolated neutron stars (INSs) whi ch are radioquiet or exhibit radio emission with properties much at variance with those of ordinary radio pulsars. The identificatio n of new sources is crucial in order to understand the relations among the different classes and to compare observational constraints with theoretical expectations. A recent analysis of the 2XMMp catalogue provided less than 30 new thermally emitting INS candidates. Among these, the source 2XMM J104608.7-594306 appears particularly interesting because of the softness of its X-ray sp ectrum, kT = 117± 14 eV and NH = (3.5± 1.1)× 10 21 cm −2 (3σ), and of the present upper limits in the optical, mB > 26, mV > 25.5 and mR > 25 (98.76% confidence level), which imply a logarithmic X-ra y-to-optical flux ratio log( FX/FV)> 3.1, corrected for absorption. We present the X-ray and optical properties of 2XMM J104608.7-594306 and discuss its nature in the light of two possible scenarios invoked to explain the X-ray thermal emission from INSs: the release of residual heat in a cooling neutron star, as in the s even radioquiet ROSAT-discovered INSs, and accretion from the interstellar medium. We find that the present observational picture of 2XMM J104608.7-594306 is consistent with a distant cooling INS with properties in agreement with the most up-to-date expectations of population synthesis models: it is fainter, hotter and more absorbed than the seven ROSAT sources and possibly located in the Carina Nebula, a region likely to harbour unidentified cooling neut ron stars. The accretion scenario, although not entirely ru led out by observations, would require a very slow (∼ 10 km s −1 ) INS accreting at the Bondi-Hoyle rate.
RBAC for Supply Chain Process Monitoring

In supply chain environments, it is common that execution of a process involves interactions among multiple organizations. This requires delicate control of accessing sensitive data and information which are generated, managed, and shared among the participants by information systems such as business process management (BPM), supply chain management (SCM) and customer relationship management (CRM). In order to resolve this problem, traditional role-based access control (RBAC) model was introduced and it can provide a general method to control access to objects. However, the traditional RBAC model lacks in capability of addressing configurability, customizability, and scalability of user privileges in dynamic multi-organizational environments such as B2B, logistics and SCM. In this paper, we propose a privilege-template based RBAC model that can resolve problems related to effective access control for supply chain processes, which are assumed to be managed by the BPM system.
Evolution in the treatment of the ureteropelvic junction obstruction syndrome. Laparoscopic versus open pyeloplasty

Introduction The treatment of ureteropelvic junction has evolved considerably over the past 20 years, resulting in new surgical techniques, but traditional open surgery remains the gold standard treatment. Currently, less invasive techniques are used for the treatment of ureteropelvic junction obstruction. The purpose of our study is to compare the surgical and functional results between laparoscopic and open pyeloplasty performed at our department during the last 12 years. Material and methods This is a retrospective review of 92 cases performed in a period of 12 years. Two groups were compared: 30 patients were treated with open surgery (OP) and 62 with a laparoscopic approach (LP). Demographics, clinical presentation, functionality of the affected kidney, presence of polar vessels, kidney stones, hospital stay, complications and functional results were statistically analyzed. Results The mean age was 42 years. The most common clinical presentation was kidney or ureteral pain: 60% (OP) vs. 52% (LP). The right side was affected in 59%; presence of crossing vessels was 47% (OP) vs. 58% (LP); presence of kidney stones was 20% (OP) vs. 19% (LP), with an average hospital stay of 5.86 days (OP) vs. 3.36 days (LP) p <0.05. Post-operative complications were observed in 3 (OP) vs. 5 (LP) patients, with a success rate comparable between groups. Conclusions In our department, we recommend LP as the standard treatment for ureteropelvic junction obstruction because of the equal success rate compared to OP and the benefits of a minimally invasive surgery.
CARAMEL: Contamination And Reliability Analysis of MicroElectromechanical Layout

CARAMEL (Contamination And Reliability Analysis of MicroElectromechanical Layout) is a CAD tool for MEMS fault model generation. It is based on the integrated circuit contamination analysis tool CODEF and is capable of analyzing the impact of contamination particles on the behavior of microelectromechanical systems. CARAMEL's simulation output indicates that a wide range of defective structures are possible due to the presence of particulate contaminations. Moreover, electromechanical simulations of CARAMEL's mesh representations of defective layout has revealed that a wide variety of misbehaviors are associated with these defects. Several thousand contamination simulations were performed using CARAMEL on the surface micromachined comb-drive resonator. The results generated by CARAMEL identifies the comb drive as the most defect prone region of the microresonator and the deposition of the first structural layer as the most vulnerable processing step.
Crossing Guard: Mediating Host-Accelerator Coherence Interactions

Specialized hardware accelerators have performance and energy-efficiency advantages over general-purpose processors. To fully realize these benefits and aid programmability, accelerators may share a physical and virtual address space and full cache coherence with the host system. However, allowing accelerators -- particularly those designed by third parties -- to directly communicate with host coherence protocols poses several problems. Host coherence protocols are complex, vary between companies, and may be proprietary, increasing burden on accelerator designers. Bugs in the accelerator implementation may cause crashes and other serious consequences to the host system. We propose Crossing Guard, a coherence interface between the host coherence system and accelerators. The Crossing Guard interface provides the accelerator designer with a standardized set of coherence messages that are simple enough to aid in design of bug-free coherent caches. At the same time, they are sufficiently complex to allow customized and optimized accelerator caches with performance comparable to using the host protocol. The Crossing Guard hardware is implemented as part of the trusted host, and provides complete safety to the host coherence system, even in the presence of a pathologically buggy accelerator cache.
Asymptotic analysis of superorthogonal turbo codes

We examine a low-rate turbo coding scheme based on superorthogonal convolutional encoders (SOCEs). The low-rate coding is suitable for code-division multiple-access (CDMA) applications. We use the property that the component encoders are equivalent to conventional convolutional encoders to analyze the asymptotic performance. We analyze the iterative decoding performance that can be achieved when both the code length and the number of iterations tend to infinity and present a bound on the iterative limit of the code construction. It is shown by asymptotic analysis, that the rate 1/7,1/15, and 1/31 codes with component encoders of memory 3,4, and 5 have iterative limits below -0.65, -0.88, and -0.95 dB, respectively. Simulations for codes with large permutors (interleavers) confirm these asymptotic results. The construction is general and can be done for codes of lower rates as well.
HCV Core Protein Uses Multiple Mechanisms to Induce Oxidative Stress in Human Hepatoma Huh7 Cells

Hepatitis C virus (HCV) infection is accompanied by the induction of oxidative stress, mediated by several virus proteins, the most prominent being the nucleocapsid protein (HCV core). Here, using the truncated forms of HCV core, we have delineated several mechanisms by which it induces the oxidative stress. The N-terminal 36 amino acids of HCV core induced TGFβ1-dependent expression of nicotinamide adenine dinucleotide phosphate (NADPH) oxidases 1 and 4, both of which independently contributed to the production of reactive oxygen species (ROS). The same fragment also induced the expression of cyclo-oxygenase 2, which, however, made no input into ROS production. Amino acids 37–191 of HCV core up-regulated the transcription of a ROS generating enzyme cytochrome P450 2E1. Furthermore, the same fragment induced the expression of endoplasmic reticulum oxidoreductin 1α. The latter triggered efflux of Ca2+ from ER to mitochondria via mitochondrial Ca2+ uniporter, leading to generation of superoxide anions, and possibly also H2O2. Suppression of any of these pathways in cells expressing the full-length core protein led to a partial inhibition of ROS production. Thus, HCV core causes oxidative stress via several independent pathways, each mediated by a distinct region of the protein.
Multilayered database intrusion detection system for detecting malicious behaviors in big data transaction

Nowadays, information plays a significant role in the enterprise organizations. Sensitive and vital data have a key character in organizing and storing within the database. Traditional mechanisms such as encryption, access control, and authentication cannot provide a high level of confidence. The existence of Intrusion Detection Systems in the Data-Base (DB-IDS) is a necessity because enterprises awash in data often struggle to answer basic question about detecting or preventing all facet of their threat. In this paper, we propose a novel type of intrusion detection system for detecting attacks in both database transaction level and inter-transaction level (user task level) in a high-rate transaction processing. For simplicity, our model is divided into two parts; detection method at transaction level and inter-transaction level (detection with learning method, concurrently in both level). Detection method at transaction level is based on describing the expected (normal) transactions within the database applications. This is also focused on anomaly detection and used data mining to find dependency and sequence rules (the effect of spatial and temporal heterogeneity) in where inter-transaction level is used. Also, it gains advantages of a hybrid method, including specification-based detection and anomaly detection, to minimize both false positive and false negative errors. Simulation and implementation experiments in Mobile Telecommunication Company of Iran (MCI) revealed the accuracy of our models. The experiment results demonstrated the true positive detection rate is higher than 0.8, and the false positive detection rate is lower than 0.1 choosing appropriate ranges for support and confidence thresholds. The experimental evaluation results show high accuracy and effectiveness of the proposed system.
Adaptive Position and Attitude Tracking of an AUV in the Presence of Ocean Current Disturbances

The problem of tracking the position and attitude of an autonomous underwater vehicle (AUV) in the horizontal plane, under the presence of ocean current disturbances is discussed. The effect of the gradual variation of the parameters is taken into account, saturation of rudders is examined, and a condition under which saturation will not occur is derived by simulation studies. The effectiveness of the adaptive controller is compared with a feedback linearization approach.
Five Challenges for Intelligent Text Entry Methods

For text entry methods to be useful they have to deliver high entry rates and low error rates. At the same time they need to be easy-to-learn and provide effective means of correcting mistakes. Intelligent text entry methods combine AI techniques with HCI theory to enable users to enter text as efficiently and effortlessly as possible. Here I sample a selection of such techniques from the research literature and set them into their historical context. I then highlight five challenges for text entry methods that aspire to make an impact in our society: localization, error correction, editor support, feedback, and context of use.
A Proactive Support for Conceptual Interoperability Analysis in Software Systems

Successfully integrating a software system with an existing other software system requires, beyond technical mismatches, identifying and resolving conceptual mismatches that might result in worthless integration and costly rework. Often, not all relevant architectural information about the system to integrate with is publicly available, as it is hidden in internal architectural documents and not exposed in the public API documentation. Thus, we propose a framework of conceptual interoperability information and a formalization of it. Based on this framework, a system's architect can semi-automatically extract interoperability-relevant parts from his architecture and lower-level design documentation and publish it in a standardized and formalized way. The goal is to keep the additional effort for providing the interoperability-relevant information as low as possible and to encourage architects to provide it proactively. Thus, we extract from UML diagrams and textual documentation information that is relevant for conceptual interoperability. Companies that aim at interoperation of their systems with others, e.g. Companies initiating an ecosystem, should be highly motivated to provide such interoperability information in order to grow their business impact by more successful interoperations. In a more advanced level, also the architect, who is integrating his system with a provided one, could extract interoperability-related information about his existing system and we envision to automatically match the pieces of both sides and identify conceptual mismatches.
Change of State Verbs: Implications for Theories of Argument Projection

Recent work in argument expression has focused on verbs showing multiple argument projection options, often with concomitant shifts in aspectual classification or assignment of so-called "aspectual roles" (e.g., measure or incremental theme). Theories of argument projection generally adopt one or both of the following hypotheses: (1) argument projection is aspectually determined; (2) argument expression is not lexically determined. Although much recent work incorporates the conjunction of the two hypotheses, they represent two distinct issues: whether argument expression is aspectually driven and whether argument expression is lexically or syntactically determined. It is possible to argue that argument projection is lexically determined and aspectually driven (e.g., Tenny 1987, 1992, 1994) or to argue that projection is not completely lexically determined but not completely aspectually driven either (e.g., Jackenoff 1990). We argue against each individual hypothesis, as well as against their conjunction. We do this through a close examination of the argument expression properties of change of state verbs and a comparison of these properties with those of aspectually-related verbs.
Population data on the thirteen CODIS core short tandem repeat loci in African Americans, U.S. Caucasians, Hispanics, Bahamians, Jamaicans, and Trinidadians.

Allele distributions for 13 tetrameric short tandem repeat (STR) loci, CSF1PO, FGA, TH01, TPOX, VWA, D3S1358, D5S818, D7S820, D8S1179, D13S317, D16S539, D18S51, and D21S11, were determined in African American, United States Caucasian, Hispanic, Bahamian, Jamaican, and Trinidadian sample populations. There was little evidence for departures from Hardy-Weinberg expectations (HWE) in any of the populations. Based on the exact test, the loci that departed significantly from HWE are: D21S11 (p = 0.010, Bahamians); CSF1PO (p = 0.014, Trinidadians); TPOX (p = 0.011, Jamaicans and p = 0.035, U.S. Caucasians); and D16S539 (p = 0.043, Bahamians). After employing the Bonferroni correction for the number of loci analyzed (i.e., 13 loci per database), these observations are not likely to be significant. There is little evidence for association of alleles between the loci in these databases. The allelic frequency data are similar to other comparable data within the same major population group.
Optimization of convolutional neural network using microcanonical annealing algorithm

Convolutional neural network (CNN) is one of the most prominent architectures and algorithm in Deep Learning. It shows a remarkable improvement in the recognition and classification of objects. This method has also been proven to be very effective in a variety of computer vision and machine learning. As in other deep learning, however, training this approach is interesting yet challenging. Recently, some metaheuristic algorithms have been used to optimize CNN using Genetic Algorithm, Particle Swarm Optimization, Simulated Annealing and Harmony Search. In this paper, another type of metaheuristic algorithms with different strategy has been proposed, i.e. Microcanonical Annealing to optimize Convolutional Neural Network. The performance of the proposed method is tested using the MNIST and CIFAR-10 datasets. Although experiment results of MNIST dataset indicate the increase in computation time (1.02x–1.38x), nevertheless this proposed method can considerably enhance the performance of the original CNN (up to 4.60%). On the CIFAR10 dataset, currently, state of the art is 96.53% using fractional pooling, while this proposed method achieves 99.14%.
The intergenerational effects of Indian Residential Schools: Implications for the concept of historical trauma

The current paper reviews research that has explored the intergenerational effects of the Indian Residential School (IRS) system in Canada, in which Aboriginal children were forced to live at schools where various forms of neglect and abuse were common. Intergenerational IRS trauma continues to undermine the well-being of today’s Aboriginal population, and having a familial history of IRS attendance has also been linked with more frequent contemporary stressor experiences and relatively greater effects of stressors on well-being. It is also suggested that familial IRS attendance across several generations within a family appears to have cumulative effects. Together, these findings provide empirical support for the concept of historical trauma, which takes the perspective that the consequences of numerous and sustained attacks against a group may accumulate over generations and interact with proximal stressors to undermine collective well-being. As much as historical trauma might be linked to pathology, it is not possible to go back in time to assess how previous traumas endured by Aboriginal peoples might be related to subsequent responses to IRS trauma. Nonetheless, the currently available research demonstrating the intergenerational effects of IRSs provides support for the enduring negative consequences of these experiences and the role of historical trauma in contributing to present day disparities in well-being.
A Compositional Approach to Representing Planning Operators 1

AI has frequently been criticized for being`stuck in the microworld' because of the common inability of AI systems to cope with the complexity of real domains. Often, adding details removes regularity, transforming a representation from a few simple structures to a large, unwieldy collection of specialized ones. This paper addresses this problem in the context of representing planning operators (domain-speciic knowledge about the eeects of actions in a domain) for use by AI planning systems. We present a novel approach in which domain-speciic operators are represented as a composition of general components, and show that the problem of manually building a detailed set of operators can be avoided by constructing them from a small number of such components instead. Each component encapsulates information about a domain feature that might be modeled, and each may contribute to several operators. Moreover, we describe how the choice of what to model and what to ignore in a domain can then be easily varied, simply by controlling which components are used. Finally, we show how operator sets built in this way can be used by planning algorithms.
Wage Distributions and Wage Dynamics in Europe and the US: Lessons from a Simple Job Search Model

Job search models of the labor market hypothesize a very tight correspondence between the determinants of labor turnover and individual wage dynamics on one hand, and the determinants of wage dispersion on the other. This paper offers a systematic examination of whether this correspondence is present in the data by estimating a rudimentary partial equilibrium job search model on a 3-year panel of individual worker data covering 10 European countries and the U.S. We find that our basic job search model fits the data surprisingly well. This also allows us to point at a number of interesting empirical regularities about wage distributions. Our results suggest that cross-sectional data on individual wages contain the basic information needed to obtain reliable estimates of the "search frictions" parameters of a canonical job search model. Finally, we use our results in a cross-country comparison of the intensity and nature of job-to-job turnover. We arrange countries into two different groups according to their turnover intensity. We further show that the nature of job-to-job turnover is very different between those two groups: turnover is predominantly voluntary in the group of low-turnover countries (which roughly coincides with continental Europe), whereas it is to a large extent involuntary in high-turnover countries (Denmark, the U.K. and the U.S.)