Learn More
This demonstration is exhibiting an interactive tool for defining agent protocols using a new notation “HAPN” which we have developed to overcome issues we have experienced with commonly used agent protocol notations such as AUML. The notation has a formal semantics which facilitates back end support within the tool for checking desirable or undesirable(More)
The behavior composition problem involves realizing a virtual target behavior (i.e., the desired module) by suitably coordinating the execution of a set of partially controllable available components (e.g., agents, devices, processes, etc.) running in a shared partially predictable environment. All existing approaches to such problem have been framed within(More)
Aggregation continues to be a critical quality attribute for a monoclonal antibody therapeutic product due to its perceived significant impact on immunogenicity. This paper aims to establish the versatility of circular dichorism (CD) spectroscopy toward understanding aggregation of monoclonal antibody (mAb) therapeutics. The first application involves the(More)
Aggregation of biotech products used therapeutically, such as antibodies, can contribute to potential immunogenicity of the product. Charge-based heterogeneities may also impact the safety and/or efficacy of a therapeutic. In this study, an approach based on empirical modeling and least squares regression is suggested for establishing hold times for process(More)
A key requirement in military simulation is to have executable models of tactical decision-making. Such models are used to simulate the behaviour of human entities such as submarine commanders, fighter pilots and infantry, with a view to producing realistic predictions about tactical outcomes. Tactics specify the means of achieving mission objectives, and(More)
In the early development of social cognition and language, infants tend to participate in face-to-face interactions engaging in joint attention exchanges. Joint attention is vital to social competence at all ages, lacking which is a primary feature to distinguish autistic from non-autistic population. In this study, diffuse optical imaging is used for the(More)
The behavior composition problem involves the automatic synthesis of a controller able to “realize” (i.e., implement) a desired target behavior specification by suitably coordinating a set of already available behaviors. While the problem has been thoroughly studied, one open issue has resisted a principled solution: if the target specification is not fully(More)
The behavior composition problem involves the automatic synthesis of a controller able to “realize” (i.e., implement) a target behavior module by suitably coordinating a collection of partially controllable available behaviors. In this paper, we show that the existence of a composition solution amounts to finding a strong cyclic plan for a special(More)
The behavior composition problem involves automatically building a controller that is able to realize a desired, but unavailable, target system (e.g., a house surveillance) by suitably coordinating a set of available components (e.g., video cameras, blinds, lamps, a vacuum cleaner, phones, etc.) Previous work has almost exclusively aimed at bringing about(More)