WorldCat Identities

Attardi, Giuseppe

Overview
Works: 24 works in 67 publications in 4 languages and 1,366 library holdings
Genres: Conference proceedings  Encyclopedias 
Roles: Editor
Classifications: QP601, 574.8
Publication Timeline
Key
Publications about  Giuseppe Attardi Publications about Giuseppe Attardi
Publications by  Giuseppe Attardi Publications by Giuseppe Attardi
posthumous Publications by Giuseppe Attardi, published posthumously.
Most widely held works about Giuseppe Attardi
 
Most widely held works by Giuseppe Attardi
Mitochondrial biogenesis and genetics by G.M Attardi ( Book )
22 editions published between 1995 and 1996 in English and Polish and held by 616 WorldCat member libraries worldwide
The critically acclaimed laboratory standard for forty years, Methods in Enzymology is one of the most highly respected publications in the field of biochemistry. Since 1955, each volume has been eagerlyawaited, frequently consulted, and praised by researchers and reviewers alike. More than 260 volumes have been published (all of them still in print) and much of the material is relevant even today--truly an essential publication for researchers in all fields of life sciences. Key Features * This volume covers methodology used in * Mitochondrial gene expression * Mitochondrial genetics and gene manipulation * Mitochondrial diseases and aging
Mitochondrial genes by Piotr Slonimski ( Book )
8 editions published between 1981 and 1982 in English and held by 346 WorldCat member libraries worldwide
Mitochondrial biogenesis and genetics ( Book )
8 editions published between 1995 and 1996 in English and held by 187 WorldCat member libraries worldwide
Animal ribosomes: experimental studies of the last five years ( Book )
4 editions published in 1972 in English and held by 168 WorldCat member libraries worldwide
Abstracts of papers presented at the meeting on mitochondrial genes : May 13-May 17, 1981 ( Book )
2 editions published in 1981 in English and held by 18 WorldCat member libraries worldwide
Teoria della Computabilità, logica, teoria dei linguaggi formali ( Book )
1 edition published in 1979 in Italian and held by 3 WorldCat member libraries worldwide
Specifying and proving properties of guardians for distributed systems by Carl Hewitt ( Book )
2 editions published between 1978 and 1979 in English and held by 3 WorldCat member libraries worldwide
A formalization of viewpoints by Giuseppe Attardi ( Book )
2 editions published in 1993 in English and held by 3 WorldCat member libraries worldwide
Abstract: "We present a formalisation for the notion of viewpoint, a construct meant for expressing several varieties of relativised truth. The formalisation consists in a logic which extends first order predicate calculus through an axiomatization of provability and with the addition of proper reflection rules. The extension is not conservative, but consistency is granted. Viewpoints are defined as set of reified meta-level sentences. A proof theory for viewpoints is developed which enables to carry out proofs of sentences involving several viewpoints. A semantic account of viewpoints is provided, dealing with issues of self referential theories and paradoxes, and exploiting the notion of contextual entailment
A customisable memory management framework by Giuseppe Attardi ( Book )
2 editions published in 1994 in English and held by 3 WorldCat member libraries worldwide
Abstract: "Memory management is a critical issue for many large object-oriented applications, but in C++ only explicit memory reclamation through the delete operator is generally available. We analyse different possibilities for memory management in C++ and present a dynamic memory management framework which can be customised to the need of specific applications. The framework allows full integration and co-existence of different memory management techniques. The Customisable Memory Management (CMM) is based on a primary collector which exploits an evolution of Bartlett's mostly copying garbage collector. Specialised collectors can be built for separate memory heaps. A Heap class encapsulates the allocation strategy for each heap. We show how to emulate different garbage collection styles or user-specific memory management techniques. The CMM is implemented in C++ without any special support in the language or the compiler. The techniques used in the CMM are general enough to be applicable also to other languages."
Elementi di teoria della computabilità logica, teoria dei linguaggi formali ( Book )
1 edition published in 1976 in Italian and held by 2 WorldCat member libraries worldwide
Mitochondrial biogenesis and genetics ( )
2 editions published between 1995 and 1996 in English and held by 2 WorldCat member libraries worldwide
Frontiers of life ( Book )
1 edition published in 2002 in English and held by 2 WorldCat member libraries worldwide
Semantics ofinheritance and attributions in the description system Omega by Giuseppe Attardi ( Book )
1 edition published in 1981 in English and held by 2 WorldCat member libraries worldwide
Methods in enzymology, vol. 260 : Mitochondrial Biogenesis and genetics, part A ( Book )
1 edition published in 1995 in English and held by 1 WorldCat member library worldwide
Building expert systems with Omega ( Book )
1 edition published in 1985 in English and held by 1 WorldCat member library worldwide
Semantics of Inheritance and Attributions in the Description System Omega. Revision by Giuseppe Attardi ( Book )
1 edition published in 1982 in English and held by 1 WorldCat member library worldwide
Omega is a description system for knowledge embedding which incorporates some of the attractive modes of expression in common sense reasoning such as descriptions, inheritance, quantification, negation, attributions and multiple viewpoints. A formalization of Omega is developed as a framework for investigations on the foundations of knowledge representation. As a logic, Omega achieves the goal of an intuitively sound and consistent theory of classes which permits unrestricted abstraction within a powerful logic system. Description abstraction is the construct provided in Omega corresponding to set abstraction. Attributions and inheritance are the basic mechanisms for knowledge structuring. To achieve flexibility and incrementality. the language allows descriptions with an arbitrary number of attributions, rather then predicates with a fixed number of arguments as in predicate logic. This requires a peculiar interpretation for instance descriptions, which in turn provides insights into the use and meaning of several kind of attributions. The formal treatment consists in presenting semantic models for Omega, deriving an axiomazation and establishing the consistency and completeness of the logic. (Author)
Animal ribosomes ( Book )
1 edition published in 1972 in Undetermined and held by 1 WorldCat member library worldwide
Methods in enzymology ( Book )
1 edition published in 1996 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.75 (from 0.00 for Teoria del ... to 0.96 for Abstracts ...)
Alternative Names
Attardi, G.
Attardi, G. (Giuseppe)
Attardi, Giuseppe.
Attardi, Giuseppe M.
Languages
English (58)
Italian (3)
Spanish (1)
Polish (1)
Covers