8,637 research outputs found
TALplanner in IPC-2002: Extensions and Control Rules
TALplanner is a forward-chaining planner that relies on domain knowledge in
the shape of temporal logic formulas in order to prune irrelevant parts of the
search space. TALplanner recently participated in the third International
Planning Competition, which had a clear emphasis on increasing the complexity
of the problem domains being used as benchmark tests and the expressivity
required to represent these domains in a planning system. Like many other
planners, TALplanner had support for some but not all aspects of this increase
in expressivity, and a number of changes to the planner were required. After a
short introduction to TALplanner, this article describes some of the changes
that were made before and during the competition. We also describe the process
of introducing suitable domain knowledge for several of the competition
domains
Tests in Censored Models when the Structural Parameters Are Not Identified
This paper presents tests for the structural parameters of a censored regression model with endogenous explanatory variables. These tests have the correct size even when the identification condition for the structural parameter is invalid. My approach starts from the estimation of the unrestricted parameters, which does not depend on the identification of the structural parameter. Next, I set up the optimal minimum distance objective function, from where I derive the tests. The proposed robust tests are implemented in many statistical software packages since they demand only the Tobit and the ordinary least squares estimation functions. By simulating their power curves, I compare the robust to the Wald and the likelihood ratio tests. A case of the labor supply of married women illustrates the use of the robust tests for the construction of confidence intervals.endogenous Tobit, weak instruments, minimum distance estimation, female labor supply
The impact of information and communication technology on family carers of older people and professionals in Sweden
Government policy in Sweden, as in other developed countries, pays increasing attention as to how best to support the family carers of older people. New and innovative means of support, such as information and communication technology, are emerging. This paper explores the perceived benefits of, and barriers to, information technology as a means of supporting family carers of older people.
Following a brief overview of the care-giving literature, with particular reference to the Swedish context, interview and questionnaire data collected from 34 families who took part in the Swedish ACTION project are used to explore the role of user-friendly information and communication technology to inform and enable family carers of older people to exercise choice, to care more effectively and to work in partnership with professionals. Interview data from two groups of professionals that utilised ACTION are also examined to throw light on its potential benefits for both carers and professionals. Consideration is given to the barriers to using information technology, and to identifying those carers most likely to benefit. Areas for further development are the need for practitioners' education and a wider range of programmes to address carers' diverse needs. Clearly, lessons learned from the Swedish project have wider relevance, given that new forms of support are being developed in most technically advanced countries
Classical quasi-trigonometric matrices of Cremmer-Gervais type and their quantization
We propose a method of quantization of certain Lie bialgebra structures on
the polynomial Lie algebras related to quasi-trigonometric solutions of the
classical Yang-Baxter equation. The method is based on so-called affinization
of certain seaweed algebras and their quantum analogues.Comment: 9 pages, LaTe
Ku-Band rendezvous radar performance computer simulation model
All work performed on the Ku-band rendezvous radar performance computer simulation model program since the release of the preliminary final report is summarized. Developments on the program fall into three distinct categories: (1) modifications to the existing Ku-band radar tracking performance computer model; (2) the addition of a highly accurate, nonrealtime search and acquisition performance computer model to the total software package developed on this program; and (3) development of radar cross section (RCS) computation models for three additional satellites. All changes in the tracking model involved improvements in the automatic gain control (AGC) and the radar signal strength (RSS) computer models. Although the search and acquisition computer models were developed under the auspices of the Hughes Aircraft Company Ku-Band Integrated Radar and Communications Subsystem program office, they have been supplied to NASA as part of the Ku-band radar performance comuter model package. Their purpose is to predict Ku-band acquisition performance for specific satellite targets on specific missions. The RCS models were developed for three satellites: the Long Duration Exposure Facility (LDEF) spacecraft, the Solar Maximum Mission (SMM) spacecraft, and the Space Telescopes
Herding cats: observing live coding in the wild
After a momentous decade of live coding activities, this paper seeks to explore the practice with the aim of situating it in the history of contemporary arts and music. The article introduces several key points of investigation in live coding research and discusses some examples of how live coding practitioners engage with these points in their system design and performances. In the light of the extremely diverse manifestations of live coding activities, the problem of defining the practice is discussed, and the question raised whether live coding will actually be necessary as an independent category
Insights into the Fallback Path of Best-Effort Hardware Transactional Memory Systems
DOI 10.1007/978-3-319-43659-3Current industry proposals for Hardware Transactional Memory (HTM) focus on best-effort solutions (BE-HTM) where hardware limits are imposed on transactions. These designs may show a significant performance degradation due
to high contention scenarios and different hardware and operating system limitations that abort transactions, e.g. cache overflows, hardware and software exceptions, etc. To deal with these events and to ensure forward progress, BE-HTM systems usually provide a software fallback path to execute a lock-based version of the code.
In this paper, we propose a hardware implementation of an irrevocability mechanism as an alternative to the software fallback path to gain insight into the hardware improvements that could enhance the execution of such a fallback. Our mechanism anticipates the abort that causes the transaction serialization, and stalls other transactions in the system so that transactional work loss is mini-
mized. In addition, we evaluate the main software fallback path approaches and propose the use of ticket locks that hold precise information of the number of transactions waiting to enter the fallback. Thus, the separation of transactional
and fallback execution can be achieved in a precise manner. The evaluation is carried out using the Simics/GEMS simulator and the complete range of STAMP transactional suite benchmarks. We obtain significant performance benefits of around twice the speedup and an abort reduction of 50% over the software fallback path for a number of benchmarks.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech
Philosophy and updating of the asteroid photometric catalogue
The Asteroid Photometric Catalogue now contains photometric lightcurves for 584 asteroids. We discuss some of the guiding principles behind it. This concerns both observers who offer input to it and users of the product
- …