Sciweavers

9888 search results - page 163 / 1978
» compute 2009
Sort
View
155
Voted
CLOUDCOM
2009
Springer
15 years 9 months ago
Biomedical Case Studies in Data Intensive Computing
Many areas of science are seeing a data deluge coming from new instruments, myriads of sensors and exponential growth in electronic records. We take two examples
Geoffrey Fox, Xiaohong Qiu, Scott Beason, Jong Y. ...
CCA
2009
Springer
16 years 20 days ago
Computing Conformal Maps onto Canonical Slit Domains
We extend the results of [2] by computing conformal maps onto the canonical slit domains in Nehari [14]. Along the way, we demonstrate the computability of solutions to Neuman prob...
Valentin V. Andreev, Timothy H. McNicholl
CDC
2009
IEEE
114views Control Systems» more  CDC 2009»
15 years 10 months ago
A computable type theory for control systems
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
Pieter Collins
MFCS
2009
Springer
16 years 19 days ago
Size and Energy of Threshold Circuits Computing Mod Functions
Let C be a threshold logic circuit computing a Boolean function MODm : {0, 1}n → {0, 1}, where n ≥ 1 and m ≥ 2. Then C outputs “0” if the number of “1”s in an input ...
Kei Uchizawa, Takao Nishizeki, Eiji Takimoto
191
Voted
CDC
2009
IEEE
196views Control Systems» more  CDC 2009»
15 years 3 months ago
A computational stability analysis of discrete-time piecewise linear systems
A computational method for stability analysis of discrete-time piecewise linear systems is presented. The method is based on combining the solutions to two separate problems: one i...
Satyajit Arivukkodi Krishnamurthy, Ji-Woong Lee