Robust Computation of 3D Apollonius Diagrams

2020 ◽  
Vol 39 (7) ◽  
pp. 43-55
Author(s):  
Peihui Wang ◽  
Na Yuan ◽  
Yuewen Ma ◽  
Shiqing Xin ◽  
Ying He ◽  
...  
Keyword(s):  
Robust Computation

scholarly journals An artificial immune system approach to automated program verification: Towards a theory of undecidability in biological computing

2017 ◽  
Author(s):  
Soumya Banerjee
Keyword(s):  
Immune System ◽  
System Approach ◽  
Artificial Immune System ◽  
Program Verification ◽  
Verification Task ◽  
Artificial Immune ◽  
Biological Computing ◽  
Robust Computation ◽  
Invariant Shape ◽  
Program Invariants

An immune system inspired Artificial Immune System (AIS) algorithm is presented, and is used for the purposes of automated program verification. Relevant immunological concepts are discussed and the field of AIS is briefly reviewed. It is proposed to use this AIS algorithm for a specific automated program verification task: that of predicting shape of program invariants. It is shown that the algorithm correctly predicts program invariant shape for a variety of benchmarked programs. Program invariants encapsulate the computability of a particular program, e.g. whether it performs a particular function correctly and whether it terminates or not. This work also lays the foundation for applying concepts of theoretical incomputability and undecidability to biological systems like the immune system that perform robust computation to eliminate pathogens.

scholarly journals Memsurfer: A Tool for Robust Computation and Characterization of Bilayer Membranes

2019 ◽  
Vol 116 (3) ◽  
pp. 91a
Author(s):  
Harsh Bhatia ◽  
Helgi I. Ingolfsson ◽  
Timothy S. Carpenter ◽  
Felice C. Lightstone ◽  
Peer-Timo Bremer
Keyword(s):  
Bilayer Membranes ◽  
Robust Computation

Robust Computation of Intersection Graph between Two Solids

2008 ◽  
Vol 16 ◽  
pp. C79-C88
Author(s):  
Hiroyuki Nakamura ◽  
Masatake Higashi ◽  
Mamoru Hosaka
Keyword(s):  
Intersection Graph ◽  
Robust Computation

Multi-sensor fusion for robust computation of breathing rate

2002 ◽  
Vol 38 (22) ◽  
pp. 1314 ◽  
Author(s):  
L. Tarassenko ◽  
L. Mason ◽  
N. Townsend
Keyword(s):  
Sensor Fusion ◽  
Breathing Rate ◽  
Robust Computation

scholarly journals Signal Processing and Sampling Method for Obtaining Time Series Corresponding to Higher Order Derivatives

2010 ◽  
Vol 2010 ◽  
pp. 1-9 ◽  
Author(s):  
Andreea Sterian ◽  
Alexandru Toma
Keyword(s):  
Time Series ◽  
Dynamic System ◽  
Sampling Procedure ◽  
Higher Order ◽  
Time Interval ◽  
Limited Time ◽  
Time Intervals ◽  
Oscillating Systems ◽  
Robust Computation ◽  
Derivatives Of

For modeling and controlling dynamic phenomena it is important to establish with higher accuracy some significant quantities corresponding to the dynamic system. For fast phenomena, such significant quantities are represented by the derivatives of the received signals. In case of advanced computer modeling, the received signal should be filtered and converted into a time series corresponding to the estimated values for the dynamic system through a sampling procedure. This paper will show that present-day methods for computing in a robust manner the first derivative of a received signal (using an oscillating system working on a limited time interval and a supplementary differentiation method) can be extended to the robust computation of higher order derivatives of the received signal by using a specific set of second-order oscillating systems (working also on limited time intervals) so as estimative values for higher-order derivatives are to be directly generated (avoiding the necessity of additional differentiation or amplifying procedures, which represent a source of supplementary errors in present-day methods).

Fast and robust computation of the Hausdorff distance between triangle mesh and quad mesh for near-zero cases

2019 ◽  
Vol 81 ◽  
pp. 61-72 ◽  
Author(s):  
Yunku Kang ◽  
Seung-Hyun Yoon ◽  
Min-Ho Kyung ◽  
Myung-Soo Kim
Keyword(s):  
Hausdorff Distance ◽  
Triangle Mesh ◽  
Robust Computation

Energy-Efficient Robust Computation Offloading for Fog-IoT Systems

2020 ◽  
Vol 69 (4) ◽  
pp. 4417-4425
Author(s):  
Zhikun Wu ◽  
Bin Li ◽  
Zesong Fei ◽  
Zhong Zheng ◽  
Bin Li ◽  
...  
Keyword(s):  
Energy Efficient ◽  
Computation Offloading ◽  
Robust Computation
Sign in / Sign up

Export Citation Format

Share Document