Miracle-dz/UniFAR-FTUs huggingface dataset:
The Remote Agent Executive Capabilities to Support Integrated Robotic Agents

The Remote Agent RA integrates a broad spectrum of robotic activities including planning schedul ing execution monitoring failure detection diagnosis and recovery The RA Executive EXEC can be viewed as the core of the agent EXEC enables software developers to think about the robot at a higher level it also supports the reuse of knowledge and code across multiple robot applications EXEC s capabilities include a high level procedural action de nition language services for resource management and con guration management support for executing exible closed loop plans and command sequences support for replanning and a framework for specifying fault responses including safe modes and responses to plan failures We believe that these capabilities are required for most autonomous agents and that executives and execution capabilities will become more essential as we attempt to develop autonomous agents of increasing capability Moreover we deem modularity variable autonomy robustness and support for tools and testing to be general architectural properties necessary for design deployment and operation of executives within a complex mission To this end we are remodularizing the executive by providing each capability as a separate component so that the individual capabilities can be standardized and shared across di erent agent architectures
O ct 2 00 1 Signatures of Randomness in Quantum Chaos

We investigate toy dynamical models of energy-level repulsion in quantum eigenvalue sequences. We focus on parametric (with respect to a running coupling or ”complexity” parameter) stochastic processes that are capable of relaxing towards a stationary regime (e. g. equilibrium, invariant asymptotic measure). In view of ergodic property, that makes them appropriate for the study of short-range fluctuations in any disordered, randomly-looking spectral sequence (as exemplified e. g. by empirical nearest-neighbor spacings histograms of various quantum systems). The pertinent Markov diffusion-type processes (with values in the space of spacings) share a general form of forward drifts b(x) = N−1 2x −x, where x > 0 stands for the spacing value. Here N = 2, 3, 5 correspond to the familiar (generic) random-matrix theory inspired cases, based on the exploitation of the Wigner surmise (usually regarded as an approximate formula). N = 4 corresponds to the (non-generic) non-Hermitian Ginibre ensemble. The result appears to be exact in the context of 2 × 2 random matrices and indicates a potential validity of other non-generic N > 5 level repulsion laws. PACS Numbers: 02.50, 03.65, 05.45 1 Regular versus irregular in quantum chaos The vague notion of so-called quantum chaos, normally arising in conjunction with semiclassical quantum mechanics of chaotic dynamical systems [1], currently stands for a key-word capturing continued efforts to give a proper account to what extent quantization destroys, preserves, or qualitatively reproduces major features of classical chaos. There is no general agreement about what actually is to be interpreted as ”quantum chaos” or its definite manifestations. That in part derives from an inherent ambiguity of quantization schemes for nonlinear, possibly nonconservative, driven and damped classical problems, and is intrinsically entangled with a delicate reverse problem of a reliable (semi)classical limit procedure for once given quantum system. Other origins of this elusiveness seem to be rooted Presented at the XIV Marian Smoluchowski Symposium on Statistical Physics, Zakopane, Poland, September 9-14, 2001
Social Studies Pedagogy for Latino/a Newcomer Youth: Toward a Theory of Culturally and Linguistically Relevant Citizenship Education

Abstract This study examines how teachers in 4 urban newcomer high schools conceptualized and implemented social studies education for Latino/a newcomer youth through an emerging framework of culturally and linguistically relevant citizenship education. Through a multi-site, collective case study design, the perspectives and decision making of social studies teachers’ enacted pedagogy for Latino/a newcomer students were examined. The cross-case analysis of the 4 teachers’ social studies pedagogy elicited 5 principles of culturally and linguistically relevant citizenship education. These principles include pedagogy of community; pedagogy of success; pedagogy of making cross-cultural connections; pedagogy of building a language of social studies; and pedagogy of community-based, participatory citizenship. Social studies educators should consider these principles when teaching culturally and linguistically diverse students.
Hierarchisation of the search space in temporal planning

Hierarchical problem solving with abstraction is a widely adopted strategy to explore very large search trees. In this paper we describe the automatic generation of abstraction hierarchies for the I X T E T planner. Two points are mainly developped. First, we extend the classical STRIPS-like abstraction formalism to the I X T E T representation, which allows the use of multi-valued variables, resources and temporal constraints. Second, we describe a new way of dynamically managing abstraction hierarchies during planning. In our approach, the deenition of the abstraction levels depends not only on the planning problem, but also on the current partial plan in the search. This least-commited hierarchy has been implemented on the I X T E T planner and its interest in terms of reduction of backtracking and global eeciency has been clearly established on several realistic domains.
GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded Applications

The convergence of computer and physical world calls for next generation Wide Area Network (WAN) infrastructures for hard real-time and embedded applications. Such networks need virtual topologies to achieve scalability, configurability, and flexibility. Virtual topologies are made of virtual links, for which, the state-of-the-art building tool is Guaranteed Rate server based aggregates (GR- aggregates). However, common-practice weight assignment scheme couples GR-aggregate End-to-End (E2E) delay bound with aggregate's data throughput inverse proportionally. This is undesirable for many hard real-time embedded sensing/actuating applications, whose traffic has small data throughput but requires short E2E delay. We propose Guaranteed Delay server based aggregates (GD-aggregates), which allow assigning weights according to priorities instead of data throughput. This decouples E2E delay guarantee from data throughput, hence meets the needs of hard realtime embedded applications. In addition, GD-aggregates can be analyzed with simple closed form formulae, and can be easily planned with optimization tools.
Fast nonlinear model predictive control for multicopter attitude tracking on SO(3)

Exploiting the highly dynamic flight envelope of a multirotor Micro Aerial Vehicle (MAV) is a particularly challenging task that requires special treatment of its attitude control loop. In this paper, we propose a fast nonlinear model predictive control approach based on a geometric formulation of the error to track the MAV attitude on the SO(3) special orthogonal group. The proposed controller is combined with an optimal position tracking control strategy in a cascaded fashion. The overall framework is implemented on-board a hexacopter and verified in both high fidelity simulations as well as extensive experimental studies. As shown, the resulting closed-loop system exploits the dynamics of the platform, is able to track aggressive trajectories, recover from arbitrary attitude configurations and also handle a propeller failure.
Distributed supercomputing in java

The aim of the Albatross project at the Vrije Universiteit Amsterdam is to study parallel applications and programming environments for computational grids. Parallel processing on grids is challenging, given the relatively slow wide-area networks. In particular, dealing with very high latencies is a difficult problem, so most research in this area so far is restricted to “trivially parallel” applications. In our earlier work, however, we have shown that many medium-grained parallel algorithms can be optimized to run efficiently on a hierarchically structured grid, such as a geographically distributed collection of clusters or supercomputers [4]. Examples of such hierarchical grids are the DAS (Distributed ASCI Supercomputer) and DAS-2 systems, which each consist of multiple Myrinetbased cluster computers distributed over The Netherlands.
Error detection and recovery techniques for variation-aware CMOS computing: A comprehensive review

While Moore’s law scaling continues to double transistor density every technology generation, new design challenges are introduced. One of these challenges is variation, resulting in deviations in the behavior of transistors, most importantly in switching delays. These exaggerated delays widen the gap between the average and the worst case behavior of a circuit. Conventionally, circuits are designed to accommodate the worst case delay and are therefore becoming very limited in their performance advantages. Thus, allowing for an average case oriented design is a promising solution, maintaining the pace of performance improvement over future generations. However, to maintain correctness, such an approach will require on the fly mechanisms to prevent, detect, and resolve violations. This paper explores such mechanisms, allowing the improvement of circuit performance under intensifying variations. We present speculative error detection techniques along with recovery mechanisms. We continue by discussing their ability to operate under extreme variations including sub-threshold operation. While the main focus of this survey is on circuit approaches, for its completeness, we discuss higher-level, architectural and algorithmic techniques as well.
A CONCEPTUAL MODEL TO UNDERSTAND THE EFFECTS OF PERCEPTION ON THE CONTINUANCE INTENTION IN FACEBOOK

Recently, the social networking applications expand rapidly and attract a lot of users in a short time period. This study attempts to develop a conceptual model to understand the continuance intention in the context of social networking. The conceptual model integrates the post-acceptance model of information system continuance with perceived ease-of-use and perceived usefulness proposed by Bhattacherjee (2001a) and Davis (1989), respectively. In the proposed model, continuance intention is influenced by the relationship quality and information system quality. Additionally, nine propositions are developed based the proposed model and literature review. Finally, conclusions, managerial implications, and future direction of research are also provided.
Two-way relay beamforming design: Proportional fair and max-min rate fair approaches using POTDC

The challenge in designing relay beamforming in two-way relaying systems is the non-convex nature of the corresponding optimization problem. In this work, we concentrate on the mathematical issues of such design for the cases when the max-min rate and proportional fairness are used as the design criteria. We show that the corresponding optimization problems belong to the class of difference-of-convex functions (DC) programming problems. Due to the specific structure of the corresponding DC problems, they can be efficiently addressed by using the polynomial-time DC (POTDC) algorithm which guarantees to find the Karush-Kuhn-Tucker (KKT) optimal point in polynomial-time. We have also shown earlier that the question of global optimality of the POTDC algorithm boils down to a simple numerical convexity check for a certain one-dimensional optimal value function.
Microelectrode maps, myeloarchitecture, and cortical connections of three somatotopically organized representations of the body surface in the parietal cortex of squirrels

Microelectrode mapping methods and anatomical procedures were combined in the same animals to reveal the cortical connections of three architectonically distinct representations of the body surface in the somatosensory cortex of grey squirrels. In individual experiments, microelectrode multiunit recordings were used to determine the somatotopic organization of regions of the cortex and to identify sites for injections of the anatomical tracer, wheat germ agglutinin conjugated to horseradish peroxidase. After the brains were perfused, the cortex was separated from the brainstem, flattened, and cut parallel to the flattened surface to facilitate comparisons of areal connection patterns, physiological data, and architectonic subdivisions.
Sexual Assault Victimization Among Straight, Gay/Lesbian, and Bisexual College Students

Abstract The rise of sexual assault reporting on college campuses has prompted extensive scholarly inquiry and debate. Overall, the central focus of the college sexual assault debate has centered on heterosexual female victims. As a result, academic research has hardly focused on the actual prevalence of college sexual assault for heterosexual males or for gay, lesbian, or bisexual individuals of either gender. To address this empirical gap in the sexual assault literature, this study investigates both the prevalence of sexual assault and its associated factors for straight, bisexual, and gay individuals. Our analyses use data from the Online College Social Life Survey (OCSLS), which is a cross-sectional survey of 21,000 students. As has been widely reported from previous studies, we find that around one in every four heterosexual women experience sexual assault after four years in college. We also find that gay and bisexual men report sexual assault at frequencies similar to those reported by heterosexua.
AN ITERATIVE REFINEMENT APPROACH TO FITTING CLEARING FUNCTIONS TO DATA FROM SIMULATION MODELS OF PRODUCTION SYSTEMS

We examine the problem of fitting clearing functions that estimate the expected output of a production resource as a function of its expected workload from empirical data. Unlike most regression problems, the independent variables are not directly controllable due to the presence of a planning model that controls releases to the production system, and the release decisions made by the planning model are themselves dependent on the estimated clearing function. We propose an iterative refinement procedure that uses simulation experiments to resample data from the production system as the parameters of the clearing function are iteratively updated. We compare the iterative procedure to previously used approaches with promising results.
A Survey on Aspect based Opinion Mining

With the growth of internet social networking sites, blogs, forms have gained a tremendous importance. People comment on these sites to express their opinion. This information is of great importance for mining useful information from the text which can be done through opinion mining. Opinion mining or sentiment analysis is the computational field of study of people's opinions, emotions, and attitude towards particular aspect. In this paper, we are going to study in depth opinion mining and survey the existing methods that are being used for opinion mining. With the advent of web 2.0, several types of social media sites such as blogs, discussion forums, review websites community websites and online shopping sites have emerged that have proved to be useful in determining the public; sentiment and opinion, towards the particular aspects of the products. Thus with the growing use of Internet, use of social media sites have been increased to a much much larger extent. Even these days' online shopping websites have a much larger gained speed as people mostly prefer these sites for shopping. There are various merchants offering millions of products online. For example, 5 millions of products have been indexed by Bing Shopping. Amazon.com archives a total of more than 36 million products. Shopper.com records more than five million products from over 3,000 merchants (3). Besides the retail Websites, platform for consumers to post reviews on millions of products is provided by many forum websites. For example, CNet.com involves more than seven million product reviews; whereas Pricegrabber.com contains millions of reviews on more than 32 million products in 20 distinct categories over 11,000 merchants. Such numerous reviews are very useful for mining useful information from the subjective for the benefit of Sellers and firms (4).
Automatic standardisation of texts containing spelling variation: How much training data do you need?

Large quantities of spelling variation in corpora, such as that found in Early Modern English, can cause significant problems for corpus linguistic tools and methods. Having texts with standardised spelling is key to making such tools and methods accurate and meaningful in their analysis. Gaining access to such versions of texts can be problematic however, and manual stan- dardisation of the texts is often too time-consuming to be feasible. Our solution is a piece of software named VARD 2 which can be used to manually and automatically standardise spelling variation in individual texts, or corpora of any size. This paper evaluates VARD 2’s performance on a corpus of Early Modern English letters and a corpus of children’s written English. The software’s ability to learn from manual standardisation is put under particular scrutiny as we examine what effect different levels of training have on its performance.
Embedded systems security: An evaluation methodology against Side Channel Attacks

One of the most redoubtable attacks on modern embedded systems are Side-Channel Analysis. In this paper, we propose a security evaluation framework which aims at organizing the work of the evaluator to reliably assess the robustness of embedded systems against such attacks. Moreover, we highlight common errors made by evaluators and solutions to avoid them.
Brain-computer interface research at the university of south Florida cognitive psychophysiology laboratory: the P300 speller

We describe current efforts to implement and improve P300-BCI communication tools. The P300 Speller first described by Farwell and Donchin (in 1988) adapted the so-called oddball paradigm (OP) as the operating principle of the brain-computer interface (BCI) and was the first P300-BCI. The system operated by briefly intensifying each row and column of a matrix and the attended row and column elicited a P300 response. This paradigm has been the benchmark in P300-BCI systems, and in the past few years the P300 Speller paradigm has been solidified as a promising communication tool. While promising, we have found that some people who have amyotrophic lateral sclerosis (ALS) would be better suited with a system that has a limited number of choices, particularly if the 6/spl times/6 matrix is difficult to use. Therefore, we used the OP to implement a four-choice system using the commands: Yes, No, Pass, and End; we also used three presentation modes: auditory, visual, and auditory and visual. We summarize results from both paradigms and also discuss obstacles we have identified while working with the ALS population outside of the laboratory environment.
Faecalibacterium prausnitzii Inhibits Interleukin-17 to Ameliorate Colorectal Colitis in Rats

Background and Aims It has been shown that Faecalibacterium prausnitzii (F. prausnitzii), one of the dominant intestinal bacterial flora, may protect colonic mucosa against the development of inflammation and subsequent inflammatory bowel disease (IBD), with the underlying mechanisms being unclear. Methods The impacts of F. prausnitzii and its metabolites on IL-23/Th17/IL-17 pathway markers were determined in human monocytes and a rat model of colitis induced by 2,4,6-trinitrobenzene sulfonic acid. F. prausnitzii and its culture medium (containing complete metabolites) were used to treat the rats in vivo, as well as rat splenocytes and human monocytes in vitro. Inflammatory cytokines were measured in colon tissue, plasma and cell culture medium. Results The culture supernatant of F. prausnitzii increased plasma anti-Th17 cytokines (IL-10 and IL-12)and suppressed IL-17 levels in both plasma and colonic mucosa, with ameliorated colonic colitis lesions. This inhibition of IL-17 release has also been observed in both rat splenocytes and human venous monocytes in vitro. The culture supernatant of F. prausnitzii also suppressed Th17 cell differentiation induced by cytokines (TGF-ß and IL-6) and bone marrow-derived dendritic cells (BMDCs) in vitro. The metabolites of F. prausnitzii in the culture supernatant exert a stronger anti-inflammatory effect than the bacterium itself. F. prausnitzii protected the colon mucosa against the development of IBD by its metabolites, suggesting a promising potential for the use of F. prausnitzii and its metabolic products in the treatment of IBD.
A Topic Model for Hierarchical Documents

Uncovering the topics over short text corpus has become increasingly important with the bursty development of online communications. However, conventional topic mining methods may fail due to the lack of contexts in each of the short text. Fortunately, a large proportion of online short texts often co-occur with lengthy texts, such as reviews with product descriptions and comments with news articles. These two kinds of texts are hierarchically organized and the hidden topical relationships between them can be utilized to enhance topic learning for both sides. Therefore, in this paper, we propose a topic model for (h)ierarchical (d)ocuments, referred as hdLDA, to capture the hierarchical structure of these texts. Specifically, in hdLDA each short text has a probability distribution over two topics, one from a set of topics underlying lengthy texts and the other one from a topic set formed only by short texts. Through this assumption, the topics of short texts and lengthy documents in hdLDA are learned in a mutually reinforced way. Extensive experiments on a dataset of news articles and user comments demonstrate that our approach discovers more prominent and comprehensive topics for both short texts and lengthy documents, compared with baseline and state-of-art methods.
The Open University ’ s repository of research publications and other research outputs Catch me if you can : predicting mobility patterns of public transport users Conference Item

Direct and easy access to public transport information is an important factor for improving the satisfaction and experience of transport users. In the future, public transport information systems could be turned into personalized recommender systems which can help riders save time, make more effective decisions and avoid frustrating situations. In this paper, we present a predictive study of the mobility patterns of public transport users to lay the foundation for transport information systems with proactive capabilities. By making use of travel card data from a large population of bus riders, we describe algorithms that can anticipate bus stops accessed by individual riders to generate knowledge about future transport access patterns. To this end, we investigate and compare different prediction algorithms that can incorporate various influential factors on mobility in public transport networks, e.g., travel distance or travel hot spots. In our evaluation, we demonstrate that by combining personal and population-wide mobility patterns we can improve prediction accuracy, even with little knowledge of past behavior of transport users.