"This book introduces a software development method, called the Demeter Method, for
developing adaptive object-oriented software. The reader will learn the Demeter Method for...
Hyper-Text Structured Query Language (HTSQL) is a standardizable middleware component that translates a HTTP request into an SQL query, performs the query against a relational dat...
The paper discusses how compositional semantics is implemented in the Verbmobil speech-to-speech translation system using LUD, a description language for underspecified discourse ...
MicroRNA (miRNA), one of non-coding RNAs (ncRNAs), regulates gene expression directly by arresting the messenger RNA (mRNA) translation, which is important for identifying putative...
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...