An in-depth analysis is presented of the closed-loop results and insights from the on-orbit control experiments of the Middeck Active Control Experiment (MACE). MACE was  own in the Shuttle middeck on STS-67 in March 1995 to investigate issues associated with a change in operational environment from ground to space for a payload pointing spacecraft that cannot be tested in a realistic ground s...

Many machine learning applications require classiiers that minimize an asymmetric cost function rather than the misclassiication rate, and several recent papers have addressed this problem. However, these papers have either applied no statistical testing or have applied statistical methods that are not appropriate for the cost-sensitive setting. Without good statistical methods, it is dii-cult ...

Global Positioning System ambiguity resolution is usually based on the integer least-squares principle (Teunissen 1993). Solution of the integer least-squares problem requires both the execution of a search process and an ambiguity decorrelation step to enhance the eciency of this search. Instead of opting for the integer least-squares principle, one might also want to consider less optimal in...

Requirements models have three distinct roles they are the principle media of communication between clients and requirements engineers, they are the only model upon which rigorous and automated analysis can be carried out before development begins, and they are the structural foundation upon which design and implementation depend. A major part of building requirements is the modelling of the sy...

Many machine learning applications require classi ers that minimize an asymmetric cost function rather than the misclassi cation rate, and several recent papers have addressed this problem. However, these papers have either applied no statistical testing or have applied statistical methods that are not appropriate for the cost-sensitive setting. Without good statistical methods, it is di cult t...

The increasing use of autonomous arti cial agents in hospitals or in transport control systems leads to consider whether moral rules shared by many of us are followed by these agents. This is a particularly hard problem because most of these moral rules are often not compatible. In such cases, humans usually follow ethical rules to promote one moral rule or another. Using formal veri cation to ...

Formalmethods can be applied with di erent levels of rigor The more rigorously used the more con dence is obtained in a formal model of a computer system However rigorous development using for mal veri cation requires skilled personnel and is costly Based on our experience of introducing for mal speci cation to some European industrial com panies e g British Aerospace and Aerospatiale we believ...

Evaluation of The Acute Hormonal Responses To Concentric, Eccentric And Concentric_ Eccentric Muscle Actions in Healthy Young Men Introduction: Resistance exercise is a potent stimulus for acute increase in the concentrations of circulating hormones such as Growth Hormone (GH) and Testosterone. Conventional resistance exercise is performed using sequential concentric (CON) and eccentric (EC...

Con…rmation bias refers to cognitive errors that bias one towards one’s own prior beliefs. A vast empirical literature documents its existence and psychologists identify it as one of the most problematic aspects of human reasoning. In this paper, we present three related scenarios where rational behaviour leads to outcomes that are observationally equivalent to di¤erent types of conformation bi...

Con…rmation bias refers to cognitive errors that bias one towards one’s own prior beliefs. A vast empirical literature documents its existence and psychologists identify it as one of the most problematic aspects of human reasoning. In this paper, we present three related scenarios where rational behaviour leads to outcomes that are observationally equivalent to di¤erent types of conformation bi...