High-entropy alloys (HEAs) are a new class of solid-solution alloys that have attracted worldwide attention for their outstanding properties. Owing to the demand from transportation and defense industries, light-weight HEAs have also garnered widespread interest from scientists for use as potential structural materials. Great efforts have been made to study the phase-formation rules of HEAs to ...

Inference tasks in computational semantics have mostly been tackled by means of first-order theorem proving tools. While this is an important and welcome development, it has some inherent limitations. First, generating first-order logic representations of natural language documents is hampered by the lack of efficient and sufficiently robust NLP tools. Second, the computational costs of deployi...

The Light-Weight RTI (LWRTI) was developed at GMU as an extension of our work in communication architectures for distributed simulation (Dual-Mode Multicast) and transport protocols for the large multicast environment (Selective Reliable Transmission Protocol or SRTP). This paper reports on our efforts to understand performance issues surrounding the LWRTI. One set of issues, in the area of thr...

Programming interface in general and particularly for XML data manipulation should be simple and flexible. For this purpose, we introduce light-weight and flexible programming interface for XML that provides only some basic operations such as controlling XML parser and XML document generator. Our programming toolkit represents XML documents as S expressions internally; therefore, XML applicatio...

The Semantic Web aims at easy integration and usage of content by building on a semi-structured data model where data semantics are explicitly specified through ontologies. The use of ontologies in real-world applications such as community portals has shown that a new level of data independence is required for ontology-based applications. For example, the customization of information towards th...

This papers analyzes the particular requirements that multimedia communication imposes on the network adapter and on the I/O subsystem of a workstation. An adapter architecture is developed that is specially suited for multimedia communication. The key ideas are the separation of isochronous and asynchronous traffic and the execution of per-byte protocol operations on the adapter. The adapter d...

The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementations of virtual synchrony usually require the use of failure detectors and failure recovery protocols. In applications that require the use of a large number of groups, signi cant performance gains can be attained if these groups share the resources required...

Burstiness in data traffic is emerging as a critical property that protocol analysis can no longer ignore. To preserve the kind of burstiness or scaling phenomena observed in aggregated TCP traffic, we develop a behavioral model that captures TCP’s windowbased and closed-loop control. Through a novel modeling technique – exhaustive state exploration, we systematically examine each TCP states ov...

This paper shows that it is possible to build a system with Semantic Desktop functionality — the annotation and linking of desktop data across application boundaries, and the usage of such links to achieve new ways of organizing and finding data in a meaningful way — in a very simple and light-weight fashion. Instead of building an extensive and feature-rich system from scratch, we harness the ...

Most data managed by existing, real-world database applications is time referenced. Data warehouses are good examples. Often, two temporal aspects of data are of interest, namely valid time, when data is true in the mini-world, and transaction time, when data is current in the database, resulting in so-called bitemporal data. Like spatial data, bitemporal data thus has associated two-dimensiona...