In this paper we provide a mathematical characterization of systems that con tain analog components as well as strongly time depended control components and rather time independent information processing components The presented system model is based on the notion of streams and stream processing functions It is used to formalize and integrate the semantics of di erent description tech niques t...

A micromechanical analysis of the unit cell of a unidirectional hybrid composite is performed using finite element method. The fibers are assumed to be circular and packed in a hexagonal array. The effects of volume fractions of the two different fibers used and also their relative locations within the unit cell are studied. The failure envelopes of the hybrid composites are developed from the ...

Density functional theory (DFT) calculations were performed to investigate adsorptions of vitamin C (Vit) on the surface a fullerene structure (Ful) in gaseous and water–solvated systems. Two models of Vit including OVit and MVit were created based on the original structure of Vit for OVit and methylation of all hydroxyl groups for MVit. All singular and hybrid structures were optimized and the...

We investigate the complexity of the model checking problem for hybrid logics. We provide model checker algorithms for various hybrid fragments and we prove PSPACE-completeness for hybrid fragments including binders. We complement and motivate our complexity results with an application of model checking in hybrid logic to the problems of query and constraint evaluation for semistructured data.

We present the framework of delta-complete analysis for bounded reachability problems of hybrid systems. We perform bounded reachability checking through solving delta-decision problems over the reals. The techniques take into account of robustness properties of the systems under numerical perturbations. Our implementation of the techniques scales well on several highly nonlinear hybrid system ...

Two common waste materials, red mud and fly ash, were used to produce a new nano-hybrid adsorbent by heat treatment with alkali addition. The new zeolitic structure formation of the hybrid adsorbent was revealed using the BET surface area, XRD, and SEM analyses. This hybrid adsorbent was utilized to remove arsenic from synthetic and real waste waters by batch and column adsorption experiments. ...

Community detection is a research hotspot in machine learning and data mining. However, most of the existing community methods only rely on lower-order connectivity patterns, while ignoring higher-order unable to capture building blocks complex network. In recent years, some based structures have been developed, but they mainly focus motif network composed structures, which violate original top...

Hybrid Neural Network/Hidden Markov Model (NN/HMM) systems have been found to yield high quality phone recognition performance. One issue with modelling the Context Dependent (CD) NN/HMM is the robust estimation of the NN parameters to reliably predict the large number of CD state posteriors. Previously, factorization based on conditional probabilities has been commonly adopted to circumvent th...

The hybrid Monte Carlo (HMC) algorithm is used for Bayesian analysis of the generalized autoregressive conditional heteroscedasticity (GARCH) model. The HMC algorithm is one of Markov chain Monte Carlo (MCMC) algorithms and it updates all parameters at once. We demonstrate that how the HMC reproduces the GARCH parameters correctly. The algorithm is rather general and it can be applied to other ...