Sciweavers

815 search results - page 5 / 163
» Complexity classes for membrane systems
Sort
View
ICRA
2002
IEEE
93views Robotics» more  ICRA 2002»
15 years 2 months ago
Combining Haptic and Visual Servoing for Cardiothoracic Surgery
Cardiovascular disease is one of the leading causes of death in the United States and also a major disease worldwide with over 700,000 coronary artery bypass graft (CABG) procedur...
Christopher W. Kennedy, Tie Hu, Jaydev P. Desai
71
Voted
ACTA
2004
87views more  ACTA 2004»
14 years 9 months ago
P systems with symport/antiport simulating counter automata
The generative capability of several variants of P systems with symport/antiport is studied via the simulation of counter automata. This leads to the reduction of the complexity, e...
Pierluigi Frisco, Hendrik Jan Hoogeboom
97
Voted
COMPUTING
2010
14 years 7 months ago
Modified HSS iteration methods for a class of complex symmetric linear systems
In this paper, we introduce and analyze a modification of the Hermitian and skewHermitian splitting iteration method for solving a broad class of complex symmetric linear systems....
Zhong-Zhi Bai, Michele Benzi, Fang Chen
CC
2008
Springer
118views System Software» more  CC 2008»
14 years 9 months ago
Dimension Characterizations of Complexity Classes
We use derandomization to show that sequences of positive pspace-dimension
Xiaoyang Gu, Jack H. Lutz
ENTCS
2008
102views more  ENTCS 2008»
14 years 9 months ago
Soft Linear Logic and Polynomial Complexity Classes
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi De...