The anaphase-promoting complex (APC) regulates cell division in eukaryotes by targeting specific proteins for destruction. APC substrates generally contain one or more short degron sequences that help mediate their recognition and poly-ubiquitination by the APC. The most common and well characterized degrons are the destruction box (D box) and the KEN box. The budding yeast Acm1 protein, an inh...

Graduate School of Integrated Arts and Sciences, Hiroshima University, Higashi-Hiroshima 739-8521 Center for Materials Research using Third-Generation Synchrotron Radiation Facilities, Hiroshima Institute of Technology, Hiroshima 731-5193 Graduate School of Engineering, Kyoto University, Kyoto 606-8501 SPring-8/JASRI 1-1-1 Kouto, Sayo-cho, Sayo-gun, Hyogo-ken 679-5198 SPring-8/RIKEN 1-1-1 Kouto...

Satoshi Osawa ([email protected]) Takahisa Furuta ([email protected]) Ken Sugimoto ([email protected]) Takashi Kosugi ([email protected]) Tomohiro Terai ([email protected]) Mihoko Yamade ([email protected]) Yasuhiro Takayanagi ([email protected]) Masafumi Nishino ([email protected]) Yasushi Hamaya ([email protected]) Chise Kodaira ([email protected]...

We present abstract complexity results about Coquand and Hyland-Ong game semantics, that will lead to new bounds on the length of first-order cut-elimination, normalization, interaction between expansion trees and any other dialogical process game semantics can model and apply to. In particular, we provide a novel method to bound the length of interactions between visible strategies and to meas...

Ordered progression of mitosis requires precise control in abundance of mitotic regulators. The anaphase promoting complex/cyclosome (APC/C) ubiquitin ligase plays a key role by directing ubiquitin-mediated destruction of targets in a temporally and spatially defined manner. Specificity in APC/C targeting is conferred through recognition of substrate D-box and KEN degrons, while the specificity...

MOTIVATION KEN-box-mediated target selection is one of the mechanisms used in the proteasomal destruction of mitotic cell cycle proteins via the APC/C complex. While annotating the Eukaryotic Linear Motif resource (ELM, http://elm.eu.org/), we found that KEN motifs were significantly enriched in human protein entries with cell cycle keywords in the UniProt/Swiss-Prot database-implying that KEN-...

We present a game model for classical PCF, a nite version of PCF extended by a catch/throw mechanism. This model is build from E-dialogues, a kind of two-players game deened by Lorenzen. In the E-dialogues for classical PCF, the strategies of the rst player are isomorphic to the BB ohm trees of the language. We deene an interaction in E-dialogues and show that it models the weak-head reduction ...

OBJECTIVE To assess the applicability of Hyland's Living with Asthma Questionnaire (LWAQ, 1991), one of the international health-related quality of life scales, for Japanese asthmatic patients with reference to its reproducibility and validity. SUBJECTS AND METHODS The LWAQ was given to randomly selected asthmatic patients on two occasions separated by a 12-week interval. RESULTS The mean s...

Tomis Kapitan Consciousness and Self Reference, Uriah Kriegel and Ken Williford, editors, (Cambridge: MIT Press, 2006).

We outline the logic of current approaches to the so-called “frame problem” (that is, the problem of predicting change in the physical world by using logical inference), and we show that these approaches are not completely extensional since none of them is closed under uniform substitution. The underlying difficulty is something known, in the philosophical community, as Goodman’s “new riddle of...