92 Hits in 2.1 sec

Type Inference for ZFH [chapter]

Steven Obua, Jacques Fleuriot, Phil Scott, David Aspinall
2015 Lecture Notes in Computer Science  
We first motivate why we are using ZFH for ProofPeer, the collaborative theorem proving system we are building. We then focus on the type inference algorithm we have developed for ZFH.  ...  ZFH stands for Zermelo-Fraenkel set theory implemented in higher-order logic.  ...  Types and Terms Although we do not allow type variables as part of proper ZFH terms, we do allow them for type inference purposes.  ... 
doi:10.1007/978-3-319-20615-8_6 fatcat:gv3whsbtkvejjhokyptrnn3tfa

Temporally dynamic response to Wingless directs the sequential elaboration of the proximodistal axis of the Drosophila wing

Alexander J Whitworth, Steven Russell
2003 Developmental Biology  
Since P-element insertions in the zfh-2 gene result in a revertable proximal wing deletion phenotype, it appears that zfh-2 activity is required for correct proximal wing development.  ...  The expression of a novel marker for proximal wing fate, zfh-2, is initially activated by Wingless throughout the "wing primordium," but later is repressed by the activity of Vestigial and Nubbin, which  ...  We thank J. de Celis for fruitful discussion and advice during the course of this work.  ... 
doi:10.1016/s0012-1606(02)00036-2 pmid:12591247 fatcat:3ale6wr2uvezbjzwhs7x7t4pee

eagle is required for the specification of serotonin neurons and other neuroblast 7-3 progeny in the Drosophila CNS

M J Lundell, J Hirsh
1998 Development  
We find that loss-of-function eagle mutations produce an unusual differential phenotype with respect to the sister serotonin cells and that eagle is necessary for the maintenance of engrailed and zfh-2  ...  Here we show that the zinc finger gene eagle, which is expressed in neuroblast 7-3, is essential for specifying the fate of serotonin neurons.  ...  Technau for the eagle stocks, C. Doe, W. Chia and A. Tomlinson for antisera, S. Britt and A.  ... 
pmid:9425141 fatcat:asu7f5sflzfqneo6cqb2cryhkq

High-temperature dielectric response of (1−x)Pb(Mg1/3Nb2/3)O3−xPbTiO3: Does Burns temperature exist in ferroelectric relaxors?

V. Bobnar, C. Filipič, A. Levstik, Z. Kutnjak
2010 Journal of Applied Physics  
This dispersion appears due to the Maxwell-Wagner-type contributions of interface layers between sample and contacts.  ...  The data were obtained either during zero-field-cooling ͑ZFC͒ or zero-field-heating ͑ZFH͒ runs, or during ZFH run after the sample had been cooled in a dc bias electric field ͑ZFH/FC͒, with the cooling  ... 
doi:10.1063/1.3388304 fatcat:zobnfvraq5f3vhrfbifrptahki

seven-up Controls Switching of Transcription Factors that Specify Temporal Identities of Drosophila Neuroblasts

Makoto I. Kanai, Masataka Okabe, Yasushi Hiromi
2005 Developmental Cell  
For example, in vertebrate cortical develop- (Wang et al., 2003) .  ...  ., 2002), and HB and KR are neces-Summary sary and sufficient for specifying early-born cell fates (Isshiki et al., 2001; Novotny et al., 2002).  ...  U3 is double positive for KR and ZFH-2, while U4 and U5 are singly positive for ZFH-2 Results and CAS, respectively, and also express Runt ( Figure 2A ).  ... 
doi:10.1016/j.devcel.2004.12.014 pmid:15691762 fatcat:jbl3ccc7sncwvb4hnxmwe2my74

Wg and Egfr signalling antagonise the development of the peripodial epithelium in Drosophila wing discs

L. A. Baena-Lopez
2003 Development  
Azpiazu and the Developmental Studies Hybridoma Bank for providing antibodies. R. Hernández contributed with her skilful technical assistance.  ...  García-Bellido for his support and guidance throughout this work. We thank I. Guerrero, E. Sanchez-Herrero, E. Martín-Blanco, J. F. de Celis, R. Barrio, A. Baonza, F. Roch, A.  ...  Ectopic Egfr signalling changes the fate of peripodial cells towards a notum fate, as inferred from the induction of iro-C, but not of wing hinge (zfh-2 and nub) or wing blade (vg and dll) genetic markers  ... 
doi:10.1242/dev.00884 pmid:14660540 fatcat:q63mqm4pyncmpp4q2mvd6ff7bm

C. elegans ZAG-1, a Zn-finger-homeodomain protein, regulates axonal development and neuronal differentiation

S. G. Clark
2003 Development  
The development and differentiation of many neurons require the gene zag-1, which encodes a δEF1/ZFH-1 Zn-finger-homeodomain protein. zag-1 mutations cause misexpression of neuron-specific genes, block  ...  Sengupta for providing strains and/or clones.  ...  zag-1 regulates neuronal differentiation We thank Katrina Sabater and Ray Squires for generating plasmid constructs and integrated transgenic strains, and B. Prasad, P.  ... 
doi:10.1242/dev.00571 pmid:12835394 fatcat:dz7avk44sjc7pdhwfnbgm2rbmi

ProofScript: Proof Scripting for the Masses [chapter]

Steven Obua, Phil Scott, Jacques Fleuriot
2016 Lecture Notes in Computer Science  
In this paper we will discuss ProofScript's most important aspect of being an integrated language both for interactive proof and for proof scripting.  ...  There is a caveat though: given that there are no type variables in ZFH terms, what do we do if the result of the type inference still contains type variables?  ...  This can be done by allowing type variables for the purposes of the internal type inference algorithm only.  ... 
doi:10.1007/978-3-319-46750-4_19 fatcat:eydmclozsva5lpzjpep3spf3s4

spict, a cyst cell-specific gene, regulates starvation-induced spermatogonial cell death in the Drosophila testis

Ason C.-Y. Chiang, Heiko Yang, Yukiko M. Yamashita
2017 Scientific Reports  
First, SG death would reduce the need for nutrients, thereby indirectly saving nutrients for GSCs. Second, nutrients from dead SGs may be recycled to feed GSCs.  ...  lab members for discussions and comments on the manuscript.  ...  Acknowledgements We thank Drs Drothea Godt, Ruth Lehmann, Minx Fuller, Cahir J O'Kane, the Bloomington Stock Center, the Developmental Studies Hybridoma Bank, and the Kyoto DGRC for reagents, and the Yamashita  ... 
doi:10.1038/srep40245 pmid:28071722 pmcid:PMC5223112 fatcat:fbi2sek2nffy3blw6xbajag4ay

Molecular Integration of Inductive and Mesoderm-Intrinsic Inputs Governs even-skipped Enhancer Activity in a Subset of Pericardial and Dorsal Muscle Progenitors

Stefan Knirr, Manfred Frasch
2001 Developmental Biology  
(K) EME B3Ј HD/Zfh-1-lacZ embryo stained for lacZ mRNA (green) and Eve (red). At stage 11 lacZ is expressed in all mesodermal eve cells as with the parental wild type construct (see A).  ...  This enhancer also contains a number of binding sites for the Wg-effector Pangolin (Pan/Lef-1), which are required for full levels of enhancer activity.  ...  ACKNOWLEDGMENTS We thank Zhizhang Yin and Carine Jean-Louis for technical assistance; Carl-Henrik Heldin for the P-Smad1 antibody; Mariann Bienz and Jessica Treisman for plasmids; and Amy Bejsovec for  ... 
doi:10.1006/dbio.2001.0397 pmid:11783990 fatcat:kjn4qztuzrfdvfir4nb23ntm3q

Ferroelectric-to-relaxor crossover and oxygen vacancy hopping in the compositionally disordered perovskitesKTa1−xNbxO3:Ca

G. A. Samara, L. A. Boatner
2000 Physical Review B (Condensed Matter)  
the influences of temperature, hydrostatic pressure, dc biasing field and frequency on the dielectric constant (c') and loss (tan 3) of single crystal [pb (Znl~Nbzn ) o,]"" (pbTio, )00,5 t Or PZN-9.5PT for  ...  Evidence for such + . a transition in relaxers can be easily inferred from the dielectric response and can often be seen in TEM images.  ...  For each pressure, the pressure was subsequently data taken on ZFH.  ... 
doi:10.1103/physrevb.61.3889 fatcat:xit4ucubnbespg3lbujxk2dz4u

Dielectric properties and phase transitions of[Pb(Zn1/3Nb2/3)O3]0.905(PbTiO3)0.095:Influence of pressure

G. A. Samara, E. L. Venturini, V. Hugo Schmidt
2001 Physical Review B (Condensed Matter)  
of temperature, hydrostatic pressure, dc biasing field, and frequency on the dielectric constant (Ј) and loss (tan ␦) of single crystal ͓Pb͑Zn 1/3 Nb 2/3 ͒O 3 ͔ 0.905 ͑PbTiO 3 ͒ 0.095 , or PZN-9.5 PT for  ...  Evidence for such a transition in relaxors can be easily inferred from the dielectric response and can often be seen in TEM images.  ...  Results for both zero field heating ͑ZFH͒ and zero field cooling ͑ZFC͒ are shown.  ... 
doi:10.1103/physrevb.63.184104 fatcat:4mz6h232bjbr7l6bmyonurbqqa

A Singular Case of Prophage Complementation in Mutational Activation of recET Orthologs in Salmonella enterica Serovar Typhimurium

S. Lemire, N. Figueroa-Bossi, L. Bossi
2008 Journal of Bacteriology  
Here, we show that a single Gifsy-2 gene is required for Gifsy-1 recET activation in the sbcE21 background. This gene encodes GtgR, the Gifsy-2 repressor.  ...  ACKNOWLEDGMENTS We are grateful to Nicholas Bergman for analyzing the DNA sequence of the Gifsy-1 immunity region with the MEME program and to David Friedman for encouragement and helpful discussions.  ...  In contrast, Cm r transductants were recovered at normal frequencies when wild-type LT2 was used as the recipient.  ... 
doi:10.1128/jb.00769-08 pmid:18689471 pmcid:PMC2566192 fatcat:nljl7owekvaxtblghnxy53kjf4

Phenotypic suppression of DNA gyrase deficiencies by a deletion lowering the gene dosage of a major tRNA in Salmonella typhimurium

A B Blanc-Potard, L Bossi
1994 Journal of Bacteriology  
We discuss plausible mechanisms which may be responsible for these effects.  ...  Such a suppressor, initially named sgdA1 (for suppressor gyrase deficiency), was found to correct additional phenotypes associated with defective gyrase function.  ...  We thank Nara Figueroa-Bossi for constant support throughout the course of this study and for being the first to show the suppression of gyrA208 by sgdAl.  ... 
doi:10.1128/jb.176.8.2216-2226.1994 pmid:7512550 pmcid:PMC205342 fatcat:fc4r5j5hxzgh7bqzkczlhijoae

Mutual repression between msh and Iro-C is an essential component of the boundary between body wall and wing in Drosophila

E. Villa-Cuesta
2005 Development  
Ruiz-Gómez and colleagues of the J.M. laboratory for advice on the work and constructive criticism of the manuscript; to P. Martín for invaluable help in constructing the mshi stocks; and to M.  ...  Doe for providing reagents and stocks. Predoctoral fellowship from Ministerio de Educación y Ciencia to E.V.-C. is acknowledged.  ...  (E) zfh-2 expression in the dorsal wild-type wing hinge (arrowheads). (F) zfh-2 expression is not modified in msh ⌬68 M + clones (arrowheads).  ... 
doi:10.1242/dev.01977 pmid:16093324 fatcat:3ft2nraotbgc5jhxezdi3f73sa
« Previous Showing results 1 — 15 out of 92 results