Academic Articles & Research Papers

Compositional specification and verification of distributed systems

We present a method for specification and verification of distributed systems that communicate via asynchronous message passing. The method handles both safety and liveness properties. It is compositional, i.e., a specification of a composi...

Authorization in distributed systems: a formal approach

It is argued that authorization is an independent semantic concept that must be separated from implementation mechanisms and given a precise semantics. A logical approach to representing and evaluating authorization is proposed. Specificall...

Transparency and reflection in distributed systems

The recursive composition of systems to form functionally equivalent transparently distributed systems is an important paradigm for constructing distributed systems. The extent to which such recursive transparency can be achieved depends cr...

GEM: a generalized event monitoring language for distributed systems

Event-based monitoring is critical for managing and debugging networks and distributed systems. This paper presents GEM - an interpreted generalized event monitoring language. It allows high-level, abstract events to be specified in terms o...

Artificial neural networks in process engineering

Artificial neural networks are made up of highly interconnected layers of simple ‘neuron-like’ nodes. The neurons act as nonlinear processing elements within the network. An attractive property of artificial neural networks is that, given t...

Advances and perspectives for receiver function imaging of the Earth's internal discontinuities and velocity structures

Studying the structures, properties and origins of the Earth's internal discontinuities is an important part in the efforts to understand the physical and chemical properties of the layered Earth, as well as to explore the dynamic processes...

Overview of Tensor-Based Cooperative MIMO Communication Systems—Part 1: Tensor Modeling

Due to increasingly strong and varied performance requirements, cooperative wireless communication systems today occupy a prominent place in both academic research and industrial development. The technological and economic challenges for fu...

Thermodynamics of Composition Graded Thermoelastic Solids

We propose a thermodynamic model describing the thermoelastic behavior of composition graded materials. The compatibility of the model with the second law of thermodynamics is explored by applying a generalized Coleman–Noll procedure. For t...

Astrophysics of Cosmic Rays

Editor's preface. I. The astrophysics of cosmic rays (general review). II. General information on cosmic rays and on the interstellar medium. III. The proton-nuclear component of cosmic rays in the Galaxy. General questions. Chemical and is...

The Carbon Budget of Land Conversion: Sugarcane Expansion and Implications for a Sustainable Bioenergy Landscape in Southeastern United States

ABSTRACT The expansion of sugarcane onto land currently occupied by improved (IMP) and semi‐native (SN) pastures will reshape the U.S. bioenergy landscape. We combined biometric, ground‐based and eddy covariance methods to investigate the i...

Brassica carinata biomass, yield, and seed chemical composition response to nitrogen rates and timing on southern Coastal Plain soils in the United States

Abstract Brassica carinata (carinata), a non‐food oilseed feedstock mainly used for biofuel, is a relatively new alternative winter crop in the southeastern (SE) United States (US). However, there are limited N rate and N application timing...

Tailoring structural properties of carbon via implanting optimal co nanoparticles in n‐rich carbon cages toward high‐efficiency oxygen electrocatalysis for rechargeable zn‐air batteries

Abstract Rational construction of carbon‐based materials with high‐efficiency bifunctionality and low cost as the substitute of precious metal catalyst shows a highly practical value for rechargeable Zn‐air batteries (ZABs) yet it still rem...

Independent Acidic pH Reactivity of Non-Iron-Fenton Reaction Catalyzed by Copper-Based Nanoparticles for Fluorescent Dye Oxidation

The process of hydrogen peroxide decomposition, facilitated by copper oxide nanoparticles, produces reactive oxidants that possess the ability to oxidize multiple pollutants. CuO/Cu2O hybrid nanoparticles were successfully synthesized throu...

The Microstructures and Electrical Resistivity of (Al, Cr, Ti)FeCoNiOx High-Entropy Alloy Oxide Thin Films

The (Al, Cr, Ti)FeCoNi alloy thin films were deposited by PVD and using the equimolar targets with same compositions from the concept of high-entropy alloys. The thin films became metal oxide films after annealing at vacuum furnace for a pe...

Phase prediction, microstructure and high hardness of novel light-weight high entropy alloys

Guided by CALPHAD modeling, low-density and multiphase three novel High Entropy Alloys (HEAs), Al40Cu15Cr15Fe15Si15, Al65Cu5Cr5Si15Mn5Ti5 and Al60Cu10Fe10Cr5Mn5Ni5Mg5 were produced by large scale vacuum die casting. A mixture of simple and ...

Fundamentals of Materials Science and Engineering : An Integrated Approach

Chapter 1 - Introduction. 1.1 Historical Perspective 1.2 Materials Science and Engineering 1.3 Why Study Materials Science and Engineering? 1.4 Classification of Materials Materials of Importance-Carbonated Beverage Containers 1.5 Advanced ...

Effects of dietary fungal lysozyme levels on growth performance, body composition, serum biochemical profile, and microbiota interaction in growing pigs.

Quantum circuit simulation of superchannels

Quantum simulation is one of the central discipline to demonstrate the power of quantum computing. In recent years, the theoretical framework of quantum superchannels has been developed and applied widely as the extension of quantum channel...

An Introduction to Quantum Computing

This concise, accessible text provides a thorough introduction to quantum computing - an exciting emergent field at the interface of the computer, engineering, mathematical and physical sciences. Aimed at advanced undergraduate and beginnin...

Distinct Shifts in Microbiota Composition during Drosophila Aging Impair Intestinal Function and Drive Mortality

Alterations in the composition of the intestinal microbiota have been correlated with aging and measures of frailty in the elderly. However, the relationships between microbial dynamics, age-related changes in intestinal physiology, and org...