The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
: The paper presents a new concept of computer user interface dedicated for the disabled people. The concept is based on the recognition of ultrasound image of the selected region ...
Background: Cyanobacteria are model organisms for studying photosynthesis, carbon and nitrogen assimilation, evolution of plant plastids, and adaptability to environmental stresse...
Woo-Yeon Kim, Sungsoo Kang, Byoung-Chul Kim, Jeehy...
Background: Most proteins function by interacting with other molecules. Their interaction interfaces are highly conserved throughout evolution to avoid undesirable interactions th...
Sungsam Gong, Changbum Park, Hansol Choi, Junsu Ko...
Current approaches to the design of interactive systems emphasize openness, dynamic behavior, and evolution of the system. There is also a growing interest in accounting for human...