Self-adaptive utility-based web session management

In the Internet, where millions of users are a click away from your site, being able to dynamically classify the workload in real time, and predict its short term behavior, is crucial for proper self-management and business efficiency. As workloads vary significantly according to current time of day, season, promotions and linking, it becomes impractical for some ecommerce sites to keep over-dimensioned infrastructures to accommodate the whole load. When server resources are exceeded, session-based admission control systems allow maintaining a high throughput in terms of properly finished sessions and QoS for a limited number of sessions; however, by denying access to excess users, the website looses potential customers.In the present study we describe the architecture of AUGURES, a system that learns to predict Web user’s intentions for visiting the site as well its resource usage. Predictions are made from information known at the time of their first request and later from navigational clicks. For this purpose we use machine learning techniques and Markov-chain models. The system uses these predictions to automatically shape QoS for the most profitable sessions, predict short-term resource needs, and dynamically provision servers according to the expected revenue and the cost to serve it. We test the AUGURES prototype on access logs from a high-traffic, online travel agency, obtaining promising results.     

Abstract argumentation

In this paper we explore the thesis that the role of argumentation in practical reasoning in general and legal reasoning in particular is to justify the use of defeasible rules to derive a conclusion in preference to the use of other defeasible rules to derive a conflicting conclusion. The defeasibility of rules is expressed by means of non-provability claims as additional conditions of the rules.We outline an abstract approach to defeasible reasoning and argumentation which includes many existing formalisms, including default logic, extended logic programming, non-monotonic modal logic and auto-epistemic logic, as special cases. We show, in particular, that the admissibility semantics for all these formalisms has a natural argumentation-theoretic interpretation and proof procedure, which seem to correspond well with informal argumentation.In the admissibility semantics there is only one way for one argument to attack another, namely by undermining one of its non-provability claims. In this paper, we show how other kinds of attack between arguments, specifically how rebuttal and priority attacks, can be reduced to the undermining of non-provability claims.     

Objective evaluation of qualified viewing spaces for near‐to‐eye and autostereoscopic two‐view displays

Abstract— Virtual‐image (near‐to‐eye) and two‐view autostereoscopic (3‐D) displays share similar optical properties in the comfortable user position for viewing. In this paper, the definitions and criteria of qualified viewing space (QVS) and qualified stereoscopic viewing space (QSVS) are discussed. Due to the complex nature of these viewing spaces, the related presumptions and the required optical characteristics and their measurements are specified. The effects of different display and observer parameters, such as interpupillary distance, to the resulting viewing spaces are discussed. Finally, real measurement data of two autostereoscopic display devices are presented.     

Organizational impact of system quality,information quality,and service quality

Increased organizational dependence on information systems drives management attention towards improving information systems’ quality. A recent survey shows that “Improve IT quality” is one of the top concerns facing IT executives. As IT quality is a multidimensional measure, it is important to determine what aspects of IT quality are critical to organizations to help Chief Information Officers (CIOs) to devise effective IT quality improvement strategies. In this research, we model the relationship between information systems’ (IS) quality and organizational impact. We hypothesize greater organizational impact in situations in which system quality, information quality and service quality are high. We also hypothesize a positive relationship between system quality and information quality. We test our hypotheses using survey data. Our structural equation model exhibits a good fit with the observed data. Our results show that IS service quality is the most influential variable in this model (followed by information quality and system quality), thus highlighting the importance of IS service quality for organizational performance. This paper contributes theoretically to IS success models through the system quality-to-information quality and IS quality-to-organizational impact links. Implications of our results for practice and research are discussed.     

Evaluating ASP and Commercial Solvers on the CSPLib

This paper deals with four solvers for combinatorial problems: the commercial state-of-the-art solver ILOG oplstudio, and the research answer set programming (ASP) systems dlv, smodels and cmodels. The first goal of this research is to evaluate the relative performance of such systems when used in a purely declarative way, using a reproducible and extensible experimental methodology. In particular, we consider a third-party problem library, i.e., the CSPLib, and uniform rules for modelling and instance selection. The second goal is to analyze the marginal effects of popular reformulation techniques on the various solving technologies. In particular, we consider structural symmetry breaking, the adoption of global constraints, and the addition of auxiliary predicates. Finally, we evaluate, on a subset of the problems, the impact of numbers and arithmetic constraints on the different solving technologies. Results show that there is not a single solver winning on all problems, and that reformulation is almost always beneficial: symmetry-breaking may be a good choice, but its complexity has to be carefully chosen, by taking into account also the particular solver used. Global constraints often, but not always, help opl, and the addition of auxiliary predicates is usually worth, especially when dealing with ASP solvers. Moreover, interesting synergies among the various modelling techniques exist.     

Drift and retention of pelagic spawning minnow eggs in a regulated river

Long‐distance drift of eggs and larvae has been identified as a possible cause of downstream displacement and poor recruitment of the endangered Rio Grande silvery minnow (Hybognathus amarus; silvery minnow). Seven experiments were conducted using artificial eggs to estimate silvery minnow egg drift and retention in the Albuquerque and Isleta reaches of the regulated Middle Rio Grande, New Mexico, USA over a range of flows during expected spawning times. Bead retention varied by reach, discharge, and shape of the hydrograph. Highest retention (6.9 and 9.7% per km in the Albuquerque and Isleta reaches, respectively) occurred on the ascending limb of a high flow in areas where there was substantial floodplain inundation. Retention was maximized at different flows in each reach (97 and 140 m³/s, respectively), possibly associated with reach‐specific floodplain inundation thresholds. Lowest retention in each reach (2.1 and 1.7%, respectively) occurred on the descending limb of low and high flows, respectively. Of the silvery minnow eggs produced in the combined Albuquerque and Isleta reaches in 2005, 8–14% are predicted to have been retained in the Albuquerque Reach (67 km) and 49–83% in the Isleta Reach (86 km) based on the distribution of adult fish and measured bead retention rates. Although silvery minnow propagules are capable of drifting long distances, our study suggests that considerable retention occurs in the Middle Rio Grande. Habitat restoration to increase channel habitat complexity, and flow management to promote floodplain inundation should help to retain a greater proportion of propagules in upstream reaches. Copyright © 2010 John Wiley & Sons, Ltd.     

Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate

This paper presents ALIAS, an agent architecture based on intelligent logic agents, where the main form of agent reasoning is abduction. The system is particularly suited for solving problems where knowledge is incomplete, where agents may need to make reasonable hypotheses about the problem domain and other agents, and where the raised hypotheses have to be consistent for the overall set of agents. ALIAS agents are pro-active, exhibiting a goal-directed behavior, and autonomous, since each one can solve problems using its own private knowledge base. ALIAS agents are also social, because they are able to interact with other agents, in order to cooperatively solve problems. The coordination mechanisms are modeled by means of LAILA, a logic-based language which allows to express intra-agent reasoning and inter-agent coordination. As an application, we show how LAILA can be used to implement inter-agent dialogues, e.g., for negotiation. In particular, LAILA is well-suited to coordinate the process of negotiation aimed at exchanging resources between agents, thus allowing them to execute the plans to achieve their goals.     

A Boy and Two Mothers: New Variations on an Old Theme or a New Story of Triangulation? Beginning Thoughts on the Psychosexual Development of Children in Nontraditional Families.

The author examines the ways in which a psychoanalytic perspective may illuminate the underlying developmental dynamics of children of lesbian parents. Families headed by gay and lesbian parents demand reconsideration of a theory of oedipal development based on heterosexual parents. If triangulation, the move from dyadic to triadic object relationships, depends on 2 primary processes--the child's acceptance of the immutability of generations and the child's recognition that children are excluded from the world of adult sexuality--parental gender or sexual orientation assumes less importance. The emergence of conscience from multifaceted processes of identification is consistent with this view of triangulation as a developmental phase. Children of gay and lesbian parents must be offered theories of healthy development that include them. (PsycINFO Database Record (c) 2010 APA, all rights reserved)