An improved lower bound for the complementation of Rabin automata by Cai, Yang, Zhang, Ting, Luo, Haifeng

Subjects: “…Rabin automata…”
Get full text

Adsorption Kinetics Emulation With Lattice Gas Cellular Automata by Sun, Baichuan, Fan, Wu, Chakraborty, Anutosh

Subjects: Get full text
Get full text

Fuzzy cellular automata models for crowd movement dynamics at signalized pedestrian crossings by Chai, Chen, Wong, Yiik Diew, Er, Meng Joo, Gwee, Evan Tat Meng

Subjects: “…Cellular Automata…”
Get full text
Get full text

Cellular Automata-based Algorithm for Liquid Diffusion Phenomenon Modeling using imaging technique by Al-Ghaili, Abbas Mohammed Ali

Subjects: “…Cellular automata…”
Get full text

Cellular automata in photonic cavity arrays by Li, Jing, Liew, Timothy Chi Hin

Subjects: “…Cellular automata…”
Get full text
Get full text

Fuzzy cellular automata model for signalized intersections by Chai, Chen, Wong, Yiik Diew

Subjects: “…Cellular Automata…”
Get full text
Get full text

tBurton: A Divide and Conquer Temporal Planner by Wang, David, Williams, Brian C.

Subjects: “…timed automata…”
Get full text

Artificial life in an exciton-polariton lattice by Banerjee, Rimi, Liew, Timothy Chi Hin

Subjects: Get full text

Elementary cellular automata realized by stateful three-memristor logic operations by Wang, Hongzhe, Wang, Junjie, Yan, Shiqin, Pan, Ruicheng, Sun, Mingyuan, Yu, Qi, Chen, Tupei, Chen, Lei, Liu, Yang

Subjects: Get full text

Controller design under safety specifications for a class of bounded hybrid automata by Hoehener, Daniel, Del Vecchio, Domitilla

Subjects: Get full text

Asynchronous Failure Detectors by Cornejo, Alejandro, Lynch, Nancy, Sastry, Srikanth

Subjects: “…Asynchronous System, Fault-Tolerance, I/O Automata…”
Get full text

A generalized theory on supervisor reduction by Su, Rong, Wonham, Walter Murray

Subjects: Get full text

Cellular automata dynamics of nonlinear optical processes in a phase-change material by Zhang, Liwei, Waters, Robin F., Macdonald, Kevin F., Zheludev, Nikolay I.

Subjects: Get full text

Extensions of Presburger arithmetic and model checking one-counter automata by Lechner, A

Subjects:

Development of a robust intelligent controller for a semi-active car suspension system by Abas, Hesham Ahmed Abdul Mutleba

Subjects: Get full text

A collision resistant cryptographic hash function based on cellular automata rules by Jamil, Norziana

Subjects: “…Cellular automata…”
Get full text

Continuous Stochastic Cellular Automata that Have a Stationary Distribution and No Detailed Balance by Poggio, Tomaso, Girosi, Federico

Subjects: Get full text

Model checking in isomorphic module systems by Wang, Weilin, Su, Rong, Lin, Liyong, Gong, Chaohui

Subjects: Get full text

Fast and cycle-accurate simulation of RTL NoC designs using test-driven cellular automata by Seok, Moon Gi, Sarjoughian, Hessam S., Choi, Changbeom, Park, Daejin

Subjects: Get full text

Development of human-robot interaction (HRI) methodology for autism rehabilitation using humanoid robot with a telerehabilitation platform / Syamimi Shamsuddin by Shamsuddin, Syamimi

Subjects: “…Mechanical devices and figures. Automata. Ingenious mechanisms.Robots (General)…”
Get full text