<--- Back to Details
First PageDocument Content
Models of computation / Robot / Membrane computing / Natural computing / P system / Computing / Autonomous robot / Engineering / Academia / Mobile Membranes / Outline of robotics
Date: 2015-02-02 08:46:11
Models of computation
Robot
Membrane computing
Natural computing
P system
Computing
Autonomous robot
Engineering
Academia
Mobile Membranes
Outline of robotics

Microsoft Word - IBSNew_Trends_in_iTECH-final

Add to Reading List

Source URL: foibg.com

Download Document from Source Website

File Size: 328,46 KB

Share Document on Facebook

Similar Documents

Models of computation / Robot / Membrane computing / Natural computing / P system / Computing / Autonomous robot / Engineering / Academia / Mobile Membranes / Outline of robotics

Microsoft Word - IBSNew_Trends_in_iTECH-final

DocID: 1r6t0 - View Document

Π-calculus / Process calculus / Mathematics / Congruence / Calculus / Type system / Actor model and process calculi / Mobile Membranes / Process calculi / Applied mathematics / Computer science

Type Systems Vasco T. Vasconcelos GLOBAN 2006 THE GLOBAL COMPUTING APPROACH TO ANALYSIS OF SYSTEMS International Summer School at DTU, August 21-25, 2006

DocID: 1as2k - View Document

Mathematics / Computer science / Ambient calculus / Π-calculus / Bisimulation / Lambda calculus / Mobile Membranes / Theoretical computer science / Process calculi / Applied mathematics

Communication and Mobility Control in Boxed Ambients ? Michele Bugliesi Dipartimento di Informatica, Universit` a Ca’ Foscari, Venezia

DocID: 18SSj - View Document

Ambient calculus / Mathematics / Computer science / Π-calculus / Lambda calculus / Mobile Membranes / Process calculi / Theoretical computer science / Applied mathematics

Communication Interference in Mobile Boxed Ambients? Michele Bugliesi 1 , Silvia Crafa 1 , Massimo Merro 2 , and Vladimiro Sassone 3 Abstract. Boxed Ambients (BA) replace Mobile Ambients’open capability with communicat

DocID: 18F6h - View Document

Algebra / Valuation / Symbol / Mobile Membranes / Natural deduction / Process calculi / Abstract algebra / Ambient calculus

Secure Safe Ambients Michele Bugliesi Universita´ “Ca’ Foscari”, Venice

DocID: 18kN4 - View Document