A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Type Inference for ZFH
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
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
2003
Developmental Biology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
1998
Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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?
2010
Journal of Applied Physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2005
Developmental Cell
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2003
Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2003
Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2017
Scientific Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2001
Developmental Biology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
(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
2000
Physical Review B (Condensed Matter)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2001
Physical Review B (Condensed Matter)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2008
Journal of Bacteriology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
1994
Journal of Bacteriology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2005
Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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