Displaying similar documents to “Calcoli generali con «tipi» e Logiche generalizzate”

Calcoli generali con «tipi» e Logiche generalizzate

Piero Mangani (1984)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

In this paper we introduce a notion of "Generalized Logic" and we study some of its properties.

La Logica dei Poliedri

Daniele Mundici (2008)

Bollettino dell'Unione Matematica Italiana

Similarity:

We describe the deep relationship between rational polyhedra, weighted abstract simplicial complexes, and finitely presented MV-algebras – the algebras of finitely axiomatizable theories in Łukasiewicz infinite-valued logic. Combining Alexander's classical stellar machinery with the solution, by Wklodarczyk and Morelli, of the weak Oda conjecture on toric varieties, we shall present several results involving classification, measurability, dissectability, and computability.

Gruppi di permutazioni e risultati di irrazionalità

Carlo Viola (2008)

Bollettino dell'Unione Matematica Italiana

Similarity:

We recall some basic concepts in diophantine approximation, in particular the notion of irrationality measure. We describe the main aspects of the permutation group method due to G. Rhin and the author, with some arithmetical applications.

Assenza di nucleoside fosfondasi purinica e deficit selettivo grave dei linfociti T

Rosa Maria Corbo (1979)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

We studied a 22 months-old girl with severe selective T-cell deficiency and no measurable purine nucleoside phosphorylase activity in the RBC and granulocytes. No inhibitor was found in the patient's erythrocytes. Her parents are second cousins and their red cells exhibited about half the normal level of NP activity. The identification of heterozygotes within a three generation pedigree confirms that PNP deficiency is inherited as a mendelian autosomal trait and that erythrocytes can...

Sintesi di acidi ribonucleici e di proteine nelle diverse regioni dell'embrione di Xenopus laevis

Marisa Leonardi Cigada, Fiorenza Laria De Bernardi, Anna Maria Scarpetti Bolzern (1975)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

An analysis of RNA and protein synthesis has been carried out on Xenopus laevis embryos, cut into two portions, during the early stages of their development. Actinomycin D was employed to inhibit the synthesis. The action of actinomycin on synthesis is stronger during gastrulation than during neurulation. In each stage a correlation between RNA synthesis inhibition and protein synthesis inhibition has been observed. In the ventral fragments of the neurula the ratio between the two inhibitions...

Ulteriori osservazioni sulla rigenerazione del mesencefalo in Xenopus laevis (Daudin). Istologia del tetto ottico normale e rigenerato

Sergio Filoni, Vito Margotta, Giancarlo Gibertini (1971)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

The histology of normal and regenerated optic lobes was examined in young specimens of Xenopus laevis by applying the Golgi-Cox method. In the operated animals the unilateral ablation of the optic lobe has been performed at the early larval stages (48-51) and at the later larval stages (55-56), according to Nieuwkoop and Faber. From our observations we drew the following conclusions: 1) The histological features of the optic tectum of Xenopus laevis are essentially similar to those of...

Alcune considerazioni su una classe di sistemi del primo ordine quasi-lineari conservativi ed iperbolici di due equazioni in due variabili indipendenti

Domenico Fusco (1980)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

In this paper we determine a class of first order quasi-linear hyperbolic systems in conservative form involving two independent and two dependent variables which are not deducible, in general, from a variational principle but can be reduced to a Godunov’s symmetric form [5], [6] where the coefficient of the field spatial derivative is a constant matrix. That enables us to extend to these systems several results obtained by G. Boillat in [8], [9] and concerning with shocks in quasi-linear...

Discretizzazione di domini infiniti (elementi infiniti). Nota II

Gianmaria Donida, Luisa Tabusso (1980)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

A new technique for analysing problems which extend to infinity using elements is presented. A typical situation is that of the unbounded surface wave problems, either in two or three dimensions. The strategy is to discretize the inner domain in the standard finite element manner and to discretize the outer domain which extends to infinity with special infinite elements, for these elements are here suggested a series of shape functions analogous to Lagrange polynomials, but including...

Discretizzazione di domini infiniti (elementi infiniti). Nota I

Gianmaria Donida, Luisa Tabusso (1980)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

A new technique for analysing problems which extend to infinity using elements is presented. A typical situation is that of the unbounded surface wave problems, either in two or three dimensions. The strategy is to discretize the inner domain in the standard finite element manner and to discretize the outer domain which extends to infinity with special infinite elements, for these elements are here suggested a series of shape functions analogous to Lagrange polynomials, but including...

Alcune osservazioni ultrastrutturistiche in Aelosoma (Annelida Oligochaeta)

Anna Stagni (1973)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

The ultrastructural aspects of some cellular types in Aelosoma have been investigated. Aelosomatidae are aquatic Oligochaetes in which the asexual reproduction isvery common, while sexual individuals are rare or, in some species, have never been observed. Asexual reproduction occurs by fission and regenerative processes precede the separation of the daughter zooid. In this work are described the ectodermal cells of the parent's body (including gland cells) and the blastematic cells of...

Questo numero è primo? Sì, forse, dipende ...

Luisella Caire, Umberto Cerruti (2006)

Bollettino dell'Unione Matematica Italiana

Similarity:

In this paper we outline some algorithms answering the question if a given number is prime: primally criteria, that are deterministic (they positively reply yes or not) and unconditional, but inefficient (technically not polynomial-time); algoritms that are efficient, but only probabilistic (to say they give absolute certainty if they answer not, whereas they only give a low boundary of the probability for the number to be prime if they answer yes); algorithms that are the same time...

Osservazioni cariologiche su alcuni Macrobiotus (Tardigrada)

Roberto Bertolani (1972)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

The chromosome morphology and number in somatic and germinal mitoses were studied in some species of Macrobiotus. Most of these species (M. areolatus, M. coronifer, M. harmsworthi, M. hufelandii and bisexual biotype of M. richtersi) have 2n = 12 chromosomes, but in two acquatic species with similar morphology (M. dispar and M. pullari) 2n = 10 chromosomes are found. The chromosome number in males and females of M. areolatus and M. richtersi is the same. In the ripening oocytes and in...

Sul problema del rimbalzo in un insieme convesso

Marco Degiovanni (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

In the present paper we seek the bounce trajectories in a convex set which assume assigned positions in two fixed time instants. We find sufficient conditions in order to obtain the existence of infinitely many bounce trajectories.

Sul problema del rimbalzo in un insieme convesso

Marco Degiovanni (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

In the present paper we seek the bounce trajectories in a convex set which assume assigned positions in two fixed time instants. We find sufficient conditions in order to obtain the existence of infinitely many bounce trajectories.

Proprietà e possibile ruolo regolativo della N—formil—tetraidrofolato: metionil-tRNA transformilasi in Euglena gracilis

Annastella Gambini, Paolo Crosti, Paolo Tortora, Giovanni Lucchini, Renato Bianchetti (1974)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

The properties of N-formyl-tetrahydrofolate: methionyl-tRNA transformylase from Euglena gracilis were studied and compared with those of the E. coli enzyme. The Euglena enzyme, functioning in formylation of met-tRNA initiator of organellar protein synthesis, shows a partial requirement of Mg, with an optimum of 5 mM, stimulation by K, Km for N-formyl-THFA 2.5 x 10 M. These properties are different from those of the bacterial enzyme. For example the affinity for the substrate N-formyl-THFA...

Sulla terminazione nel ponte delle afferenze propriocettive dei muscoli estrinseci dell'occhio

Giovanni Palmieri, Rolando Marini, Ermanno Manni (1972)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Cells responsive to stretching individual eye muscles were identified electrophysiologically in the medial dorso-lateral part of the semilunar ganglion of the Lamb. The destruction of such a cellular pool was followed by degeneration of some spindles in those eye muscles whose stretch had elicited responses of the gasserian cells and of some nervous fibers in the ophthalmic branch, in the sensory trigeminal root and in the ipsilateral descending trigeminal tract. The degenerations ended...