982 resultados para Popper, Karl R.(Karl Raimund), 1902-1994


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Editors: 1890-95, E. J. James; 1896-1900, R. P. Falkner; Jan. 1901-Mar. 1902, H. R. Seager; May 1902-Sept. 1914, E. R. Johnson; Nov. 1914-July 1929, C. L/ King; Sept. 1929- T. Sellin.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Mode of access: Internet.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Mode of access: Internet.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Ed. by Karl Mühl.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Editors: 1866-81, Emil Hübner; 1882-1901, Georg Kaibel, Karl Robert; 1902-13, Friedrich Leo, Karl Robert; 1914- Karl Robert, Georg Wissowa.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Thesis (doctoral)--Universitat Marburg.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Representation of Aborigines by Aborigines and non -Aborigines; articles by Andrew Dewdney, Mervyn Biship, Alana Harris, Sandy Edwards, Rea Saunders, Ricky Maynard , Brenda Croft, Ruth Braunstein, Michael Riley, Huw Davies, Penny Taylor, Darlene McKenzie, Kurt Brereton and Eric Michaels, annotated separately.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Backbone conformations at 1064 asparaginyl residues in 123 non-homologous, high-resolution X-ray structures of proteins were analysed. Asn adopts conformations in left-handed x-helical region and other partially allowed regions in the Ramachandran map more readily than any other non-glycyl residue. Asn conformational clusters in the (phi,psi) regions of left-handed alpha-helix, right-handed alpha-helix and extended (beta) strands were investigated in detail for their occurrence in various secondary structures, especially in beta-turn regions. Preferences were observed for Asn conformations in different positions in various beta-turn types, including the first and fourth positions of the turn. Asparaginyl residues with extended conformations are found to occur frequently in irregular regions, although they are expected to occur predominantly in extended strands or in the third position of type II beta-turns. Asn conformations at the N-cap positions of helices strongly prefer extended conformation than alpha(L), which seems to be characteristic of non-glycyl residues at that position. In the linkers connecting two extended strands and those connecting an alpha-helix and an extended strand, Asn with alpha(L) or alpha(R) conformation is more favoured than Asn with the beta-conformation. Analysis of Asn-Asn doublets and Asn-X-Asn triplets permitted identification of conformational families in such sequences. Results of this investigation provide useful hints in modelling Asn-rich regions in proteins such as malaria parasite coat protein. (C) Munksgaard 1994.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

he ultrastructure of purified rinderpest virus and intracellular viral nucleocapsids from infected vero cells treated with a subtoxic dose of 5-fluorouracil (5-Fu) (1 mug/ml), has been analysed by transmission electron microscopy, and compared with that of normal virus particle and nucleocapsids. The results reveal dramatic alterations in the structure of both virions and nucleocapsids. The surface glycoprotein projection of virions was not seen or present at a much reduced level. The intracellular nucleocapsids showed pronounced structural changes,with respect to size, shape and fine structure. The length of treated nucleocapsids is much smaller as compared to the control. The central hollow core is missing in case of drug-treated nucleocapsid and the herring bone structure is replaced by a 'beads on string' structure. The presence of N protein, which is a major structural component of nucleocapsids was seen in 5-Fu-treated cells, but it was associated with a predominantly diffused form of nucleocapsids as seen by immunoelectron microscopy. We report here the first definitive and visual evidence of altered structure of virions and their nucleocapsids after 5-Fu treatment

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In this work, static and drop-weight impact experiments, which have been conducted using three-point bend fracture specimens of a high-strength low-alloy steel, are analysed by performing finite-element simulations. The Gurson constitutive model that accounts for the ductile failure mechanisms of microvoid nucleation, growth and is employed within the framework of a finite deformation plasticity theory. Two populations of second-phase particles are considered, including large inclusions which initiate voids at an early stage and small particles which require large strains to nucleate voids. The most important objective of the work is to assess quantitatively the effects of material inertia, strain rate sensitivity and local adiabatic temperature rise (due to conversion of plastic work into heat) on dynamic ductile crack initiation. This is accomplished by comparing the evolution histories of void volume fraction near the notch tip in the static analysis with the dynamic analyses. The results indicate that increased strain hardening caused by strain rate sensitivity, which becomes important under dynamic loading, plays a benign role in considerably slowing down the void growth rate near the notch tip. This is partially opposed by thermal softening caused by adiabatic heating near the notch tip.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Formal specification is vital to the development of distributed real-time systems as these systems are inherently complex and safety-critical. It is widely acknowledged that formal specification and automatic analysis of specifications can significantly increase system reliability. Although a number of specification techniques for real-time systems have been reported in the literature, most of these formalisms do not adequately address to the constraints that the aspects of 'distribution' and 'real-time' impose on specifications. Further, an automatic verification tool is necessary to reduce human errors in the reasoning process. In this regard, this paper is an attempt towards the development of a novel executable specification language for distributed real-time systems. First, we give a precise characterization of the syntax and semantics of DL. Subsequently, we discuss the problems of model checking, automatic verification of satisfiability of DL specifications, and testing conformance of event traces with DL specifications. Effective solutions to these problems are presented as extensions to the classical first-order tableau algorithm. The use of the proposed framework is illustrated by specifying a sample problem.