Miracle-dz/UniFAR-FTUs huggingface dataset:
Aristotle: A System for Research on and Development of Program-Analysis-Based Tools

SUMMARY Aristotle provides program analysis information and supports the development of software engineering tools. Aristotle's front end consists of parsers that gather control-ow, local data-ow, and symbol table information for C and Java programs. Aristotle tools use the data provided by the front end to perform a variety of tasks, such as data-ow and control-dependence analysis, data-ow testing, regression test selection, graph construction and graph viewing. Parsers and tools use database access routines to store information in, and retrieve it from, a data repository. Users can view analysis data textually or graphically. A user interface provides menu-driven access to tools; many tools can also be invoked directly from applications programs. Most of Aristotle's components function on single procedures and entire programs. We use Aristotle as a platform for developing and experimenting with program analysis, maintenance, and testing tools.
Guidance and Control of a Mobile Robot Using Neural Network Correction Based on a Remotely Located Sensor

This paper presents the guidance and control of a mobile robot using a neural network. Location of a mobile robot is determined by the global laser sensor remotely located from the robot. A cascaded controller is used as a primary controller for position control of the robot, and a deviated position error is corrected by a neural network using the reference compensation algorithm. A car-like robot has been built for the test. Several control algorithms are investigated and tested. Among them, the cascaded controller with compensation by a neural network performs best
Guaranteed Non-Orthogonal Tensor Decomposition via Alternating Rank-1 Updates

Author(s): Anandkumar, Animashree; Ge, Rong; Janzamin, Majid | Abstract: In this paper, we provide local and global convergence guarantees for recovering CP (Candecomp/Parafac) tensor decomposition. The main step of the proposed algorithm is a simple alternating rank-$1$ update which is the alternating version of the tensor power iteration adapted for asymmetric tensors. Local convergence guarantees are established for third order tensors of rank $k$ in $d$ dimensions, when $k=o \bigl( d^{1.5} \bigr)$ and the tensor components are incoherent. Thus, we can recover overcomplete tensor decomposition. We also strengthen the results to global convergence guarantees under stricter rank condition $k \le \beta d$ (for arbitrary constant $\beta g 1$) through a simple initialization procedure where the algorithm is initialized by top singular vectors of random tensor slices. Furthermore, the approximate local convergence guarantees for $p$-th order tensors are also provided under rank condition $k=o \bigl( d^{p/2} \bigr)$. The guarantees also include tight perturbation analysis given noisy tensor.
Architecture Selection for a Multi-Standard DECT/Bluetooth Front-End in 0.18 µm CMOS

Architecture selection is one of the key steps in a multi-standard front-end design flow. By choosing a suitable front-end architecture, problems in the building block design (DC-offsets, flicker noise, high power consumption) can be avoided. In this paper the selection of the most suitable architecture for a multi-standard front-end for DECT and Bluetooth is presented. An important selection criterion is the flexibility of an architecture for different wireless standards, but some other selection criteria are also used: robustness of an architecture to the technology scaling, level of integration, image rejection, power consumption and chip area. Taking into account the fact that modern CMOS technologies migrate fast towards deep submicron processes and in order to alleviate a front-end redesign in new CMOS technologies, special attention is paid to develop a realistic scaling scenario end to evaluate their consequences on the architecture selection. Starting from a generic front-end architecture, six architectures are evaluated. According to a qualitative analysis, a quadrature low-IF architecture with adaptive image rejection shows the best performance considering the selection criteria.
Optimal separation of EROW and CROW PRAMs

We consider the problem of evaluating a Boolean function on PRAMs. We exhibit a Boolean function f:{0,1}/sup n//spl rarr/{0,1} that can be evaluated in time O(log log n) in a deterministic CROW (concurrent read owner write) PRAM model, but requires time /spl Omega/(log n) in EROW (exclusive read owner write) PRAM. Our lower bound also holds in the randomized Monte Carlo EROW model. This Boolean function is derived from the well-known pointer chasing problem, and was first considered by Nisan and Bar-Yossef (1997). Our lower bound improves a special case of the previous result of Nisan and Bar-Yossef, who proved a lower bound of /spl Omega/(/spl radic/(log n)) for this function in the deterministic EREW model (and hence in the EROW model). Our result is the first to achieve the best possible separation between the CROW and EROW PRAM models for functions on complete domains (Boolean or nonBoolean), improving the previous results (E. Gafni et al., 1989; F. Fich et al., 1990; N. Nisan et al., 1997).
Space geodetic observations and models of postseismic deformation due to the 2005 M7.6 Kashmir (Pakistan) earthquake

We use the L‐band Advanced Land Observing Satellite (ALOS) and C‐band Envisat interferometric synthetic aperture data and campaign GPS observations to study the postseismic deformation due to the 2005 magnitude 7.6 Kashmir (Pakistan) earthquake that occurred in the northwestern Himalaya. Envisat data are available from both the descending and ascending orbits and span a time period of ~4.5 years immediately following the earthquake (2005–2010), with nearly monthly acquisitions. However, the Envisat data are highly decorrelated due to high topography and snow cover. ALOS data are available from the ascending orbit and span a time period of ~2.5 years between 2007 and 2009, over which they remain reasonably well correlated. We derive the mean line‐of‐sight (LOS) postseismic velocity maps in the epicentral area of the Kashmir earthquake using persistent scatterer method for Envisat data and selective stacking for ALOS data. LOS velocities from all data sets indicate an uplift (decrease in radar range), primarily in the hanging wall of the earthquake rupture over the entire period of synthetic aperture radar observations (2005–2010). Models of poroelastic relaxation predict uplift of both the footwall and the hanging wall, while models of viscoelastic relaxation below the brittle‐ductile transition predict subsidence (increase in radar range) in both the footwall and the hanging wall. Therefore, the observed pattern of surface velocities indicates that the early several years of postseismic deformation were dominated by afterslip on the fault plane, possibly with a minor contribution from poroelastic rebound. Kinematic inversions of interferometric synthetic aperture radar and GPS data confirm that the observed deformation is consistent with afterslip, primarily downdip of the seismic asperity. To place constraints on the effective viscosity of the ductile substrate in the study area, we subtract the surface deformation predicted by stress‐driven afterslip model from the mean LOS velocities and compare the residuals to models of viscoelastic relaxation for a range of assumed viscosities. We show that in order to prevent surface subsidence, the effective viscosity has to be greater than 1019 Pa s.
Host switching in a generalist parasitoid: contrasting transient and transgenerational costs associated with novel and original host species

Parasitoids face challenges by switching between host species that influence survival and fitness, determine their role in structuring communities, influence species invasions, and affect their importance as biocontrol agents. In the generalist parasitoid, Venturia canescens (Gravenhorst) (Hymenoptera: Ichneumonidae), we investigated the costs in encapsulation, survival, and body size on juveniles when adult parasitoids switched from their original host, Plodia interpunctella (Hübner) (Lepidotera, Pyralidae) to a novel host, Ephestia kuehniella (Zeller) (Lepidoptera, Pyralidae), over multiple generations. Switching had an initial survival cost for juvenile parasitoids in the novel host, but increased survival occurred within two generations. Conversely, mortality in the original host increased. Body size, a proxy for fecundity, also increased with the number of generations in the novel host species, reflecting adaptation or maternal effects due to the larger size of the novel host, and therefore greater resources available to the developing parasitoid. Switching to a novel host appears to have initial costs for a parasitoid, even when the novel host may be better quality, but the costs rapidly diminish. We predict that the net cost of switching to a novel host for parasitoids will be complex and will depend on the initial reduction in fitness from parasitizing a novel host versus local adaptations against parasitoids in the original host.
Vulnerability of Currency Pegs: Evidence from Brazil

This paper analyses predictions of a simple model of currency crises in which the peg will be abandoned when the currency overvaluation hits a certain threshold, unknown to the agents. Due to learning about the threshold, some features usually observed in the data and identified with models with multiple equilibria arise in the model. But the model yields distinctive predictions about the behaviour of the probability and the expected magnitude of a currency devaluation. The paper identifies the probability and expected magnitude of a devaluation of Brazilian Real in the period leading up to the end of the Brazilian pegged exchange rate regime, using data on exchange rate options. The empirical results are consistent with model predictions.
Journal of Internet Banking and Commerce a Tam Framework to Evaluate Users' Perception towards Online Electronic Payments

Technology Acceptance Model (TAM) is capable of explaining user behavior across a broad range of end-user computing technologies and user populations. In its original form TAM has been extensively incorporated as a methodology to measure attitude towards technology adoption from users in multiple domains, as well as within financial domain. TAM variations have also been proposed and applied for measuring users' attitude towards adoption of several IT based services. In this paper we demonstrate a revised TAM model for measuring users' attitude towards online electronic payments adoption. We present the model developed, as well as initial results from a relevant survey at a Greek bank's target users group.
An Algorithm for Subgraph Isomorphism

Subgraph isomorphism can be determined by means of a brute-force tree-search enumeration procedure. In this paper a new algorithm is introduced that attains efficiency by inferentially eliminating successor nodes in the tree search. To assess the time actually taken by the new algorithm, subgraph isomorphism, clique detection, graph isomorphism, and directed graph isomorphism experiments have been carried out with random and with various nonrandom graphs. A parallel asynchronous logic-in-memory implementation of a vital part of the algorithm is also described, although this hardware has not actually been built. The hardware implementation would allow very rapid determination of isomorphism.
Modality for the 21st Century

This isn’t the text of my keynote address for the 19th International Congress of Linguists in Geneva. It is background material that puts some theoretical questions on the table that help define a contemporary agenda in the area of modality. The talk itself will largely consist of case studies, organized so as to break up that endless stretch of 75 minutes. Traditionally, modality has been almost exclusively investigated with modal auxiliaries. I will illustrate the role of modality in producing microvariation in all areas of semantics. Modality with its many different flavors is everywhere in the verbal projection spine – sublexically, with voice, aspect, tense, mood, and complementizers. It’s at the core of the typology of sentential complementation, and it provides crucial parameters of variation for indefinites. I ask : why is that ? A longer version of this talk will be part of a book entitled Mapping Possibilities, to be published by Oxford University Press. Most of the research for this project was conducted while I was a fellow at the Radcliffe Institute for Advanced Studies at Harvard University. My stay at the Radcliffe Institute was generously supported by both the Radcliffe Institute and the University of Massachusetts at Amherst. Earlier stages of the project were made possible by a guest professorship at the Ecole Normale Supérieure in Paris and a fellowship at the Institut Jean Nicod, funded by the European Research Council under the European Community’s Seventh Framework Program (FP7/2007-2013) / ERC grant agreement n° 229 441 – CCC awarded to François Recanati.
Semantic web service discovery based on user preference cluster

In the converged network environment, owing to diversification of user demand and diversification of services, the existing semantic service discovery algorithms almost have the problem of too long service response time. With respect to this current situation, this paper proposes a novel services semantic web service discovery method based on user preference cluster. Firstly, this paper optimizes the design of Unmixed Semantic UDDI Model and then makes use of the clustering technology to preprocess the user preference from the standpoint of user demand before service discovery. For that reason, a user could receive demanded services quickly, which have been thought highly of other users, whose preferences similar to, reducing processing semantic information. Verified by actual test environment, this method can shorten the service discovery response time on condition of not affecting the service discovery accuracy, thereby enhancing the performance of Unmixed Semantic UDDI.
The Human Dimensions of Sustainable Fisheries Management: Understanding the Importance of Social Impact Assessment in the Development of Limited Access Privilege Programs in Fisheries Management

The intersection of human social systems and fisheries management is a highly complex web of interwoven relationships. The communities that rely on commercial fisheries for social, cultural, and economic support are experiencing increased pressures on their survival as a result of global fisheries decline. While the effects of these pressures have had obvious economic and biological impacts, they have also had profound social effects that are rarely captured or addressed. Government agencies and NGO's largely responsible for creating fisheries management plans are often not equipped to measure these social costs. The purpose of this paper is to formulate a social assessment framework for capturing potential changes in the social capital of fishing communities under a limited access privilege program (LAPP). Thorough investigation of the North Carolina snapper-grouper complex and the Mexican Kino Bay fishery were the catalyst for adaptation of the institutional analysis and development (IAD) framework presented as a new metric for understanding social transformations in these communities. On a broader level, this paper aims to encourage social science involvement in fisheries management in order to promote a balance between the social and biological components of fisheries management.
Global feature space neural network for active object recognition

We present new test results for our active object recognition algorithms which are based on the feature space trajectory (FST) representation of objects and a neural network processor for computation of distances in global feature space. The algorithms are used to classify, and estimate the pose of objects in different stable rest positions and automatically re-position the camera if the class or pose of an object is ambiguous in a given image. Multiple object views are used in determining both the final object class and pose estimate. An FST in eigenspace is used to represent 3D distorted views of an object. FSTs are constructed using images rendered from solid models. The FSTs are analyzed to determine the camera positions that best resolve ambiguities in class or pose. Real objects are then recognized from intensity images using the FST representations derived from rendered imagery.
Longitudinal phonetic variation in a closed system

1 Introduction We present a progress report on a large-scale corpus study of the trajectories of different phonetic parameters over the course of three months in a diverse group of speakers situated in a linguistically and socially closed system. The data analyzed so far, and presented in this paper, consist of 806 Voice Onset Time (VOT) measurements from four contestants in Season 9 of the reality-television show Big Brother (Channel 4, United Kingdom). This show offers a unique opportunity to study " medium term " phonetic change in individuals: longer than studies of accommodation in the laboratory or in conversation (hours to days), but shorter than real-time sociolinguistic studies (years). We show that VOT measurements in this dataset, which consists of conversational speech over the course of three months, show several effects consistent with previous work (e.g. the dependence of VOT on place of articulation). We further show that change in the mean VOT of different speakers is non-linear over time, with speakers' VOT trajectories neither fluctuating around a single mean, nor drifting in a single direction throughout the observed period; in addition, a significant portion of this time dependence can be explained in terms of a perturbation to the social organization of the community of speakers, rather than time per se. While this last finding is post hoc in the sense that the hypothesis was formalized only after building other models of the data, and is therefore subject to verification with a larger dataset, it presents preliminary evidence that social factors can drive phonetic change in individuals over extended periods of time.
Spatio-temporal Saliency for Action Similarity

Human actions are spatio-temporal patterns. A popular representation is to describe the action by features at interest points. Because the interest point detection and feature description are generic processes, they are not tuned to discriminate one particular action from the other. In this paper we propose a saliency measure for each individual feature to improve its distinctiveness for a particular action. We propose a spatio-temporal saliency map, for a bag of features, that is specific to the current video and to the action of interest. The novelty is that the saliency map is derived directly from the SVM's support vectors. For the retrieval of 48 human actions from the visint.org database of 3, 480 videos, we demonstrate a systematic improvement across the board of 35.3% on average and significant improvements for 25 actions. We learn that the improvements are achieved in particular for complex human actions such as giving, receiving, burying and replacing an item.
Asset Allocation, Longevity Risk, Annuitisation and Bequests

Consumption and portfolio optimisation during retirement has not received as much attention in financial research as optimisation prior to retirement. However, retirement planning is becoming more and more relevant for several reasons. The present paper is mainly based on Schiess (2008) and studies a pensioner deriving utility from a stream of consumption or an annuity and from bequeathing wealth to his heirs in a continuous-time framework. The task of finding the pensioner's optimal consumption, asset allocation and annuity decision rule leads to the interesting interplay of optimal control theory, optimal stopping theory and mortality issues or, technically speaking, to a combined optimal stopping and optimal control problem (COSOCP). Stabile (2006) solved this problem in an all-or-nothing framework assuming exponential mortality and power utility functions. In this paper we present the extensions of Schiess (2008) to the model of Stabile (2006):The essential inclusion of a bequest motive, the additional study of the economically interesting range of relative risk aversion levels greater than one and a new solution method for the COSOCP via duality arguments. For identical risk aversion levels Stabile (2006) finds that the pensioner either annuitises immediately or never which means that COSOCP reduces to a trivial or to a pure optimal control problem. In contrast to this, the annuitisation decision rule can become wealth-dependent in our more general model and consequently, a real COSOCP has to be dealt with. The main result is that longevity risk matters very much (quite attractive annuity market) even if we allow for a bequest motive.
The state of change of Erica scoparia L. heathland through cattle grazing and oak colonization

L'etat de changement de la lande a Erica scoparia L. sous l'effet du pâturage et de la colonisation par le chene. - Le but de notre etude est de mettre en evidence les modifications de la richesse specifique et d'autres caracteres de la vegetation qui surviennent sous l'influence du pâturage et de la colonisation par le chene dans les landes dominees par Erica scoparia L. (brande). L'etude a ete menee dans le Parc Naturel Regional de la Brenne (France, Region Centre) ou cette Ericacee est aujourd'hui consideree comme patrimoniale et protegee au niveau regional et europeen. Dix sites ont ete choisis au sein d'une propriete privee, couvrant un large eventail de conditions ecologiques (sols superficiels et profonds, brande pâturee et non pâturee, pure et envahie par le chene). La vegetation (pourcentage d'occupation de l'espace par les differentes especes vegetales) a ete echantillonnee en mai et juin 2006 (105 releves de 1 m ) et l'impact de la vegetation arbustive et arboree sur la biodiversite vegetale a ete mis en evidence a l'aide de l'analyse des correspondances (AFC) et de tests de Mantel totaux et partiels (methode de Monte-Carlo). Un gradient decroissant d'incidence de la lumiere a ete mis en evidence depuis la brande pâturee jusqu'a la brande âgee puis la chenaie, en rapport avec la variation de nombreux traits ecologiques, morphologiques et physiologiques (types physionomiques, indices d'Ellenberg, strategies de Grime, indice de tolerance de la communaute). La richesse specifique decroit a mesure de l'extension des Ericacees ou, dans une moindre mesure, de celle du chene et s'accroit sous pâturage faible a modere. Les consequences pour la gestion durable de la brande sont discutees.
Index coding via random coding

The index coding problem is a simple distributed source coding problem in which a sender broadcasts multiple messages to their respective receivers with side information about other messages. This problem arises in many applications such as content broadcasting, distributed caching, and wireless interference management. At the same time, it is a canonical instance of the multiple-unicast network coding problem that captures the essence of broadcasting multiple interfering streams. Reflecting the importance as well as the difficulty of the index coding problem, several coding schemes have been proposed that are built on tools from graph theory, linear network coding, combinatorial optimization, and interference alignment. This paper studies the composite coding scheme based on random coding in information theory. Despite its conceptual simplicity that allows for rather straightforward analysis, the scheme uniformly outperforms the existing coding schemes by Birk and Kol (1998), Blasiak, Kleinberg, and Lubetzky (2013), and Shanmugam, Dimakis, and Langberg (2013), and is optimal for all index coding problems with up to five messages.