Run-time assertion checking is one of the useful techniques for detecting faults, and can be applied during any program execution context, including debugging, testing, and production. In general, however, it is limited to checking state-based properties. We introduce SAGA, a general framework that provides a smooth integration of the specification and the run-time checking of both dataand prot...

Department of Preventive Medicine, Faculty of Medicine, Saga University, Saga, Division of Epidemiology, Department of Public Health and Forensic Medicine, Tohoku University Graduate School of Medicine, Sendai, Department of Preventive Medicine/Biostatistics and Medical Decision Making, Nagoya University Graduate School of Medicine, Nagoya, Department of Epidemiology and Preventive Medicine, Gi...

A key impediment to accelerated development of Grid applications and consequently the uptake of Grids is the scarcity of high-level application programming abstractions that bridge the gap between existing grid middleware and application-level needs. Application developers are daunted by the complexity of the vast array of low-level Grid and distributed computing software APIs that currently ex...

SAGA/TFTC is a histone acetyltransferase complex that has a second enzymatic activity because of the presence of a deubiquitination module (DUBm). Drosophila DUBm consists of Sgf11, ENY2 and Nonstop proteins. We show that Sgf11 has other DUBm-independent functions. It associates with Cbp80 component of the cap-binding complex and is thereby recruited onto growing messenger ribonucleic acid (mRN...

Occupation Mediates Ecosystem Services with Human Well-Being Mami Aoyama PhD, OTR a , Mark J. Hudson PhD b c & Kara C. Hoover PhD d a Department of Occupational Therapy and Associate Dean, Faculty of Rehabilitation Sciences , Nishikyushu University (University of West Kyushu) , Kanzaki , Saga , Japan b Anthropology, Department of Occupational Therapy , Nishikyushu University (University of West...

This paper presents a new evolutionary method, namely, a Two Phase evolutionary algorithm for multiple sequence alignments. This method is composed of different types of evolutionary algorithms, that is, an evolutionary progressive multiple sequence alignment method (abbreviated to ET) and Sequence Alignment by Genetic Algorithm (abbreviated to SAGA). The former is employed to obtain efficientl...

Fourteen endemic and two sub-endemic species belonging to three subfamilies of Tettigoniidae (Tettigoniinae, Bradyporinae and Saginae) were sampled during field trips throughout the different ranges of Anatolia between the years of 2004 and 2013. Acoustic parameters of these 16 species affiliated to 8 genera (Anterastes, Apholidoptera, Gampsocleis, Parapholidoptera, Pezodrymadusa, Psorodonotus,...

YUSUKE ANDO, HIROAKI UGAI, SHIGENORI KAWANO, KOJI HIROSE, DAISUKE NAKATANI, HIROMI KUROSU 5 & HIROAKI KARASAWA Mizunami Fossil Museum, 1-47, Yamanouchi, Akeyo-cho, Mizunami, Gifu, 509-6132, Japan. E-mail: [email protected] Goshoura Cretaceous Museum, 4310-5, Goshoura, Goshoura-machi, Amakusa, Kumamoto, 866-0313, Japan The Shimane Nature Museum of Mt. Sanbe, 1121-8, Tane, Sanbe-cho, O...

The task of assigning students to Critical Inquiry Course (CIC) sections, taking into account the preferences and demographics of the students and the sizes of the sections, is a formidable task by hand but is not trivial to automate. The Simulated Annealing Group Assignment (SAGA) application employs simulated annealing, a stochastic approximation algorithm, to search for an optimal CIC sectio...