mance of X F S to insure that it provides the file access bandwidth required by our video mail application. The Computer Networks Laboratory at the University of Virginia has used the Xpress TranSferProtocol (XTP) to construct the Xpress File System (XFS), a local area network peer-to-peer file sharing system for MS-DOS based IBM Personal Computers. XFS is usable for a variety of purposes, most...

Understanding the transport and deposition of inhaled aerosols is of fundamental importance to inhalation therapy. Herein we address issues that affect drug delivery from experimental and theoretical perspectives. Accordingly, we shall limit our comments to a focused review of laboratory work (ie, an in vitro perspective) and the development of a computer-based 3-dimensional (3D) oral morpholog...

While Computer-Aided Engineering (CAE) technology has revolutionized engineering analysis, design and research, its penetration into the undergraduate mechanical engineering curriculum has been limited. As a result, undergraduate students do not acquire a solid foundation in CAE technology that they can build upon during the course of their careers. Our pedagogical approach for integrating CAE ...

In this paper, we discuss the weakness of current action languages for sensing actions with respect to modeling domains with multi-valued fluents. To address this problem, we propose a language with sensing actions and multi-valued fluents, called AMK , provide a transition function based semantics for the language, and demonstrate its use through several examples from the literature. We then d...

This position paper advocates a simple fluent representation of intention, knowledge, belief and memory that due to its grounded and integrated nature allows the use of constraint based planning algorithms for all aspects of agent reasoning and execution, including planning under uncertainty and integrated diagnosis and repair.

RANTANPLAN is a numeric planning solver that takes advantage of recent advances in SMT. It extends reduction to SAT approaches with an easy and efficient handling of numeric fluents using background theories. In this paper we describe the design choices and features of RANTANPLAN, especially, how numeric reasoning is integrated in the system. We also provide experimental results showing that RA...

A computer simulation of an operating water storage tank, RGSn-100, with mortise electric heating elements, for specified conditions was carried out using Finite Element Analysis software ANSYS 2021 R1. The Fluent package used to solve a three-dimensional numerical natural convective flows viscous incompressible fluid and heat exchange processes local cooling in large volume. Several approaches...

The development of large and complex software intensive systems, among other issues, means various stakeholders related to software architecture modeling. Various stakeholders concern different aspects of software development, e.g. management, testing, component engineering or product marketing. Therefore, fluent communication between various stakeholders may become a difficult and confusing is...