Where Fail-Safe Default Logics Fail

Reiter's original definition of default logic allows for the application of a default that contradicts a previously applied one. We call failure this condition. The possibility of generating failures has been in the past considered as a semantical problem, and variants have been proposed to solve it. We show that it is instead a computational feature that is needed to encode some domains into default logic

Terahertz Response of Field-Effect Transistors in Saturation Regime

We report on the broadband THz response of InGaAs/GaAs HEMTs operating at 1.63 THz and room temperature deep in the saturation regime. We demonstrate that responses show linear increase with drain-to-source voltage (or drain bias current) and reach very high values up to 170V/W. We also develop a phenomenological theory valid both in the ohmic and in the saturation regimes.Comment: 11 pages, 3 figure

Domain within the helicase subunit Mcm4 integrates multiple kinase signals to control DNA replication initiation and fork progression

Eukaryotic DNA synthesis initiates from multiple replication origins and progresses through bidirectional replication forks to ensure efficient duplication of the genome. Temporal control of initiation from origins and regulation of replication fork functions are important aspects for maintaining genome stability. Multiple kinase-signaling pathways are involved in these processes. The Dbf4-dependent Cdc7 kinase (DDK), cyclin-dependent kinase (CDK), and Mec1, the yeast Ataxia telangiectasia mutated/Ataxia telangiectasia mutated Rad3-related checkpoint regulator, all target the structurally disordered N-terminal serine/threonine-rich domain (NSD) of mini-chromosome maintenance subunit 4 (Mcm4), a subunit of the mini-chromosome maintenance (MCM) replicative helicase complex. Using whole-genome replication profile analysis and single-molecule DNA fiber analysis, we show that under replication stress the temporal pattern of origin activation and DNA replication fork progression are altered in cells with mutations within two separate segments of the Mcm4 NSD. The proximal segment of the NSD residing next to the DDK-docking domain mediates repression of late-origin firing by checkpoint signals because in its absence late origins become active despite an elevated DNA damage-checkpoint response. In contrast, the distal segment of the NSD at the N terminus plays no role in the temporal pattern of origin firing but has a strong influence on replication fork progression and on checkpoint signaling. Both fork progression and checkpoint response are regulated by the phosphorylation of the canonical CDK sites at the distal NSD. Together, our data suggest that the eukaryotic MCM helicase contains an intrinsic regulatory domain that integrates multiple signals to coordinate origin activation and replication fork progression under stress conditions

Excess noise in GaAs and AlGaAs avalanche photodiodes with GaSb absorption regions—composite structures grown using interfacial misfit arrays

Interfacial misfit arrays were embedded within two avalanche photodiode (APD) structures. This allowed GaSb absorption layers to be combined with wide-bandgap multiplication regions, consisting of GaAs and Al0.8Ga0.2As, respectively. The GaAs APD represents the simplest case. The Al0.8Ga0.2As APD shows reduced dark currents of 5.07 μAcm−2 at 90% of the breakdown voltage, and values for effective below 0.2. Random-path-length modeled excess noise is compared with experimental data, for both samples. The designs could be developed further, allowing operation to be extended to longer wavelengths, using other established absorber materials which are lattice matched to GaSb

Inhibition of CDK activity and PCNA-dependent DNA replication by p21 is blocked by interaction with the HPV-16 E7 oncoprotein

p21 inhibits cyclin-dependent kinase (CDK) activity and proliferating cell nuclear antigen (PCNA)-dependent DNA replication by binding to CDK/cyclin complexes and to PCNA through distinct domains. The human papillomavirus (HPV)-16 E7 oncoprotein (16E7) abrogated a DNA damage-induced cell cycle arrest in vivo, despite high levels of p21. Using cell lysates and purified proteins we show that 16E7 prevented p21 both from inhibiting CDK2/cyclin E activity and PCNA-dependent DNA replication, whereas the nononcogenic HPV-6 E7 had reduced effects. Inactivation of both inhibitory functions of p21 was attained through binding between 16E7 and sequences in the carboxy-terminal end of p21 that overlap with the PCNA-binding site and the second p21 cyclin-binding motif. These data imply that the carboxyl terminus of p21 simultaneously modulates both CDK activity and PCNA-dependent DNA replication and that a single protein, 16E7, can override this modulation to disrupt normal cell cycle control

The origin recognition complex in silencing, cell cycle progression, and DNA replication

This report describes the isolation of ORC5, the gene encoding the fifth largest subunit of the origin recognition complex, and the properties of mutants with a defective allele of ORC5. The orc5-1 mutation caused temperature-sensitive growth and, at the restrictive temperature, caused cell cycle arrest. At the permissive temperature, the orc5-1 mutation caused an elevated plasmid loss rate that could be suppressed by additional tandem origins of DNA replication. The sequence of ORC5 revealed a potential ATP binding site, making Orc5p a candidate for a subunit that mediates the ATP-dependent binding of ORC to origins. Genetic interactions among orc2-1 and orc5-1 and other cell cycle genes provided further evidence for a role for the origin recognition complex (ORC) in DNA replication. The silencing defect caused by orc5-1 strengthened previous connections between ORC and silencing, and combined with the phenotypes caused by orc2 mutations, suggested that the complex itself functions in both processes

Structural and mechanistic insights into Mcm2-7 double-hexamer assembly and function

Eukaryotic cells license each DNA replication origin during G1 phase by assembling a prereplication complex that contains a Mcm2-7 (minichromosome maintenance proteins 2-7) double hexamer. During S phase, each Mcm2-7 hexamer forms the core of a replicative DNA helicase. However, the mechanisms of origin licensing and helicase activation are poorly understood. The helicase loaders ORC-Cdc6 function to recruit a single Cdt1-Mcm2-7 heptamer to replication origins prior to Cdt1 release and ORC-Cdc6-Mcm2-7 complex formation, but how the second Mcm2-7 hexamer is recruited to promote double-hexamer formation is not well understood. Here, structural evidence for intermediates consisting of an ORC-Cdc6-Mcm2-7 complex and an ORC-Cdc6-Mcm2-7-Mcm2-7 complex are reported, which together provide new insights into DNA licensing. Detailed structural analysis of the loaded Mcm2-7 double-hexamer complex demonstrates that the two hexamers are interlocked and misaligned along the DNA axis and lack ATP hydrolysis activity that is essential for DNA helicase activity. Moreover, we show that the head-to-head juxtaposition of the Mcm2-7 double hexamer generates a new protein interaction surface that creates a multisubunit-binding site for an S-phase protein kinase that is known to activate DNA replication. The data suggest how the double hexamer is assembled and how helicase activity is regulated during DNA licensing, with implications for cell cycle control of DNA replication and genome stability

Epigenetic Chromatin Silencing: Bistability and Front Propagation

The role of post-translational modification of histones in eukaryotic gene regulation is well recognized. Epigenetic silencing of genes via heritable chromatin modifications plays a major role in cell fate specification in higher organisms. We formulate a coarse-grained model of chromatin silencing in yeast and study the conditions under which the system becomes bistable, allowing for different epigenetic states. We also study the dynamics of the boundary between the two locally stable states of chromatin: silenced and unsilenced. The model could be of use in guiding the discussion on chromatin silencing in general. In the context of silencing in budding yeast, it helps us understand the phenotype of various mutants, some of which may be non-trivial to see without the help of a mathematical model. One such example is a mutation that reduces the rate of background acetylation of particular histone side-chains that competes with the deacetylation by Sir2p. The resulting negative feedback due to a Sir protein depletion effect gives rise to interesting counter-intuitive consequences. Our mathematical analysis brings forth the different dynamical behaviors possible within the same molecular model and guides the formulation of more refined hypotheses that could be addressed experimentally.Comment: 19 pages, 5 figure

Reversible suppression of an essential gene in adult mice using transgenic RNA interference

RNAi has revolutionized loss-of-function genetics by enabling sequence-specific suppression of virtually any gene. Furthermore, tetracycline response elements (TRE) can drive expression of short hairpin RNAs (shRNAs) for inducible and reversible target gene suppression. Here, we demonstrate the feasibility of transgenic inducible RNAi for suppression of essential genes. We set out to directly target cell proliferation by screening an RNAi library against DNA replication factors and identified multiple shRNAs against Replication Protein A, subunit 3 (RPA3). We generated transgenic mice with TRE-driven Rpa3 shRNAs whose expression enforced a reversible cell cycle arrest. In adult mice, the block in cell proliferation caused rapid atrophy of the intestinal epithelium which led to weight loss and lethality within 8-11 d of shRNA induction. Upon shRNA withdrawal, villus atrophy and weight loss were fully reversible. Thus, shRpa3 transgenic mice provide an interesting tool to study tissue maintenance and regeneration. Overall, we have established a robust system that serves the purpose of temperature-sensitive alleles in other model organisms, enabling inducible and reversible suppression of essential genes in a mammalian system