Results 51 to 60 of about 1,755,572 (349)
Advanced Functional Materials, EarlyView.The separation of Helium gas from natural gas is challenging but highly important. MIL‐116(Ga), a “non‐porous” metal–organic framework is used as a molecular sieve to separate He from CH4. Druse‐like MIL‐116(Ga) particles are integrated into polysulfone mixed matrix membranes.
Ayisha Komal +10 more
wiley +1 more source
IET Cyber-Physical Systems, 2019 The authors present a simulation-based bounded-horizon verification framework for hybrid systems with Lipschitz continuity on the continuous dynamics. In this framework, the bounded initial set is covered by a finite set of representative states, whose ...
Hao Ren, Ratnesh Kumar, Ratnesh Kumar
doaj +1 more source
A Novel Cellular Automata Classifier for COVID-19 Prediction
Journal of Health Sciences, 2020 China has witnessed a new virus Corona, which is named COVID-19. It has become the world's most concern as this virus has spread over the world at a higher speed, the world has witnessed more than one lakh cases and one thousand deaths in a span of a few
Kiran Sree Pokkuluri +1 more
doaj +1 more source
Advanced Functional Materials, EarlyView.Biofabrication aims at providing innovative technologies and tools for the fabrication of tissue‐like constructs for tissue engineering and regenerative medicine applications. By integrating multiple biofabrication technologies, such as 3D (bio) printing with fiber fabrication methods, it would be more realistic to reconstruct native tissue's ...
Waseem Kitana +2 more
wiley +1 more source
HybridFA:a memory reduction technique for the AC automata based on statistics
Tongxin xuebao, 2015 Despite the fast speed in multiple string matching tasks,the advanced Aho-Corasick(AC) automata wastes storage memory to a great extent.Study indicated that the automata states have specific statistical access characteristics in practice.Accordingly,a ...
Gang XIONG +4 more
doaj +2 more sources
GIScience & Remote Sensing, 2019 In recent years, the rapid expansion of urban spaces has accelerated the mutual evolution of landscape types. Analyzing and simulating spatio-temporal dynamic features of urban landscape can help to reveal its driving mechanisms and facilitate reasonable
Jun Yang +4 more
doaj +1 more source
Vietnam Journal of Mechanics, 2011 In this paper, we present a method, which is based on hybrid automata and Real-Time Unified Modeling Language (UML) to analyze and design the control parts of mechatronic systems with input or output events and signals in order to effectively gather ...
Vu Duy Quang, Ngo Van Hien
doaj +1 more source
Hybrid Automata and ε-Analysis on a Neural Oscillator [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 In this paper we propose a hybrid model of a neural oscillator, obtained by partially discretizing a well-known continuous model. Our construction points out that in this case the standard techniques, based on replacing sigmoids with step functions, is ...
Carla Piazza +2 more
doaj +1 more source
IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata
, 2010 We present here Imitator II, a new version of Imitator, a tool implementing the "inverse method" for parametric timed automata: given a reference valuation of the parameters, it synthesizes a constraint such that, for any valuation satisfying this ...
André, Étienne
core +3 more sources
Evolution of Hybrid Cellular Automata for Density Classification Problem
SymmetryThis paper describes a solution for the image density classification problem (DCP) using an entirely distributed system with only local processing of information named cellular automata (CA).
P. Anghelescu
semanticscholar +1 more source