Library

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    s.l. : American Chemical Society
    Journal of agricultural and food chemistry 20 (1972), S. 680-682 
    ISSN: 1520-5118
    Source: ACS Legacy Archives
    Topics: Agriculture, Forestry, Horticulture, Fishery, Domestic Science, Nutrition , Process Engineering, Biotechnology, Nutrition Technology
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    [s.l.] : Nature Publishing Group
    Nature 385 (1997), S. 673-674 
    ISSN: 1476-4687
    Source: Nature Archives 1869 - 2009
    Topics: Biology , Chemistry and Pharmacology , Medicine , Natural Sciences in General , Physics
    Notes: [Auszug] So long as individual scientists believe, and behave according to the belief, that the essence of success in science is the freedom to discover the right experiment and then to do it according to one's own lights, all the social structures that connect scientists to one another will be based solely ...
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Annals of the New York Academy of Sciences 397 (1982), S. 0 
    ISSN: 1749-6632
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Natural Sciences in General
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    [s.l.] : Nature Publishing Company
    Nature biotechnology 14 (1996), S. 1305-1305 
    ISSN: 1546-1696
    Source: Nature Archives 1869 - 2009
    Topics: Biology , Process Engineering, Biotechnology, Nutrition Technology
    Notes: [Auszug] The human gene pool looks calm on the surface, but there are rocks and hard places beneath, and its bottom is littered with false hopes and impossible experiments. Walter and Palmer have written a careful and thoughtful book on current and possible future uses of DNA sequences to repair, modify, ...
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    facet.materialart.
    Unknown
    Provincetown, Mass., etc. : Periodicals Archive Online (PAO)
    Journal of Psychology. 58 (1964) 145 
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    [s.l.] : Nature Publishing Group
    Nature 228 (1970), S. 938-970 
    ISSN: 1476-4687
    Source: Nature Archives 1869 - 2009
    Topics: Biology , Chemistry and Pharmacology , Medicine , Natural Sciences in General , Physics
    Notes: [Auszug] An increase in chromosome number accompanies reversion of subtetraploid mouse cell lines from malignant transformed phenotype to growth-controlled normal phenotype. When growth control is once again lost, the chromosome number drops back to the subtetraploid ...
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 23 (1999), S. 373-409 
    ISSN: 1573-0670
    Keywords: formal mathematics ; lambda calculus ; Pure Type Systems ; type theory ; LEGO proof checker
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We survey a substantial body of knowledge about lambda calculus and Pure Type Systems, formally developed in a constructive type theory using the LEGO proof system. On lambda calculus, we work up to an abstract, simplified proof of standardization for beta reduction that does not mention redex positions or residuals. Then we outline the meta theory of Pure Type Systems, leading to the strengthening lemma. One novelty is our use of named variables for the formalization. Along the way we point out what we feel has been learned about general issues of formalizing mathematics, emphasizing the search for formal definitions that are convenient for formal proof and convincingly represent the intended informal concepts.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 9 (1992), S. 309-354 
    ISSN: 1573-0670
    Keywords: Lambda calculus ; formal systems ; Edinburgh Logical Framework ; proof checking
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Much research has been devoted in building computer systems for checking proofs or for developing interactively correct proofs in specific logical systems. However, implementing a proof environment for a specific logical system is both complex and time-consuming, this-together with the proliferation of logics-suggests that a uniform and reliable alternative is desirable. One such alternative is the Edinburgh Logical Framework (LF), developed in the late eighties at the LFCS (Laboratory for Foundations of Computer Science). The LF is a logic-independent tool which, given a specification for a logical system, synthesizes a proof editor and checker for that system. Its specification language is based on a general theory of logics, which enables one to capture uniformities and idiosyncrasies of a large class of logics without sacrificing generality for tractability. Peculiarities (such as side conditions on rule application, variable occurrence or formula formation) are expressed at the level of the specification. In this paper we are going to provide a broad illustration of its applicability and discuss to what extent it is successful. The analysis (of the formal presentation) of a system carried out through encoding often illuminates the system itself. This paper will also deal with this phenomenon.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    New York, N.Y. : Wiley-Blackwell
    Journal of Supramolecular Structure 11 (1979), S. 539-546 
    ISSN: 0091-7419
    Keywords: SV40 transformation ; tumorigenicity ; anchorage independence ; Life Sciences ; Molecular Cell Biology
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: A syndrome of in vitro properties correlates with the tumorigenicity of SV40-transformed rodent cells. These properties are plasminogen activator production, loss of large actin cables, and anchorage-independent growth. An established rat fibroblast line, its SV40 transformant, several T-antigen negative revertants, and a spontaneous retransformant isolated form one of the revertants were analyzed in vivo for their tumorigenicity and in vitro for the syndrome. The two transformed lines were highly tumorigenic, and had clearly abnormal in vitro properties. The parental rat line was weakly tumorigenic in nude mice and demonstrated a slightly transformed response in the in vitro assays. The revertants were completely nontumorigenic. Expression of the in vitro syndrome was not uniform for all revertants; however, most cell lines maintained the correlation of the syndrome and tumorigenicity.
    Additional Material: 1 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    New York, NY [u.a.] : Wiley-Blackwell
    Journal of Cellular Physiology 95 (1978), S. 203-211 
    ISSN: 0021-9541
    Keywords: Life and Medical Sciences ; Cell & Developmental Biology
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Biology , Medicine
    Notes: In order to further investigate the connection between transport and growth control, 3T3 cells, SV40 transformed 3T3 cells (SV101), and three revertant cell lines derived from SV101 which have regained certain manifestations of growth control were used. Transport rates of 2-aminoisobutyric acid and 3-0-methyl-D-glucose were measured in sparse, confluent, serum-starved, and serum-stimulated cultures.As shown before, cessation of 3T3 cell growth in G0 under conditions of confluence or serum deprivation was associated with reduced rates of transport for both compounds, whereas the density and serum dependence of growth and transport was largely eliminated in SV101. The density revertant F1SV101, which has regained density regulation of growth similar to 3T3 cells, has also regained density regulation of transport. Neither growth nor transport were serum dependent. The serum revertants AγSV7 and LsSV6 have regained both density and serum regulation of growth, but not according to the original mechanism of 3T3 cells of entry into a G0 state. Transport was high under conditions of confluence or serum deprivation. Thus for these cells rates of transport were not reduced simply as a consequence of slower cell growth nor were low transport rates responsible for growth arrest. The data are consistent with the possibility that growth arrest specifically in the G0 state could shut off a number of cellular activities, including transport.
    Additional Material: 5 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...