Sunday, February 7, 2016

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía
 

rss_1.0 Recursos de colección

AMS Acta (8,910 recursos)
Repository of the University of Bologna.

["viewname_eprint_types" not defined] = Preprint

Mostrando recursos 1 - 20 de 354

1. Il canto di regolés nei poeti moderni ungheresi - Rozsnyòi, Zsuzsanna

2. Extending the Applicability Condition in the Formal System \lambda\delta - Guidi, Ferruccio
The formal system \lambda\delta is a typed lambda calculus derived from \Lambda\infinity, aiming to support the foundations of Mathematics that require an underlying theory of expressions (for example the Minimal Type Theory). The system is developed in the context of the Hypertextual Electronic Library of Mathematics as a machine-checked digital specification, that is not the formal counterpart of previous informal material. The first version of the calculus appeared in 2006 and proved unsatisfactory for some reasons. In this article we present a revised version of the system and we prove three relevant desired properties: the confluence of reduction, the strong normalization of...

3. Extending the Applicability Condition in the Formal System \lambda\delta - Guidi, Ferruccio
The formal system \lambda\delta is a typed lambda calculus derived from \Lambda\infinity, aiming to support the foundations of Mathematics that require an underlying theory of expressions (for example the Minimal Type Theory). The system is developed in the context of the Hypertextual Electronic Library of Mathematics as a machine-checked digital specification, that is not the formal counterpart of previous informal material. The first version of the calculus appeared in 2006 and proved unsatisfactory for some reasons. In this article we present a revised version of the system and we prove three relevant desired properties: the confluence of reduction, the strong normalization of...

4. La "Tavola Strozzi" della Napoli Aragonese come progetto di Francesco di Giorgio - Di Battista, Rosanna; Molari, Pier Gabriele
Dopo una breve ricostruzione del periodo storico ed una sintetica rassegna degli studi sulla Tavola Strozzi, custodita al museo di San Martino di Napoli, si fa riferimento alla attività di Francesco di Giorgio a Napoli, prima come inviato dal Duca di Urbino e poi come, oggi diremmo, libero professionista e si pone l’ipotesi che la tavola sia una esposizione grafica del suo progetto per mostrare e quindi poter poi far approvare un radicale cambiamento del porto e delle nuove opere di difesa da realizzare a Napoli. Si hanno così motivi per allargare lo spazio temporale della rappresentazione pensando ai momenti...

5. Dimensionamento di reti fluidodinamiche aperte. Metodo del ramo principale. - Gentilini, Marco

6. Cenni sul raffreddamento di macchine operatrici per fluidi comprimibili. - Gentilini, Marco

7. Sistemi di propulsione nucleare di missili aerospaziali. - Gentilini, Marco

8. Pompe di calore ad assorbimento. - Gentilini, Marco

9. Limitazioni termiche delle strutture. Valutazione delle temperature di parete. - Gentilini, Marco

10. Sistemi energetici a onda d'urto. - Gentilini, Marco

11. Contributo alla valutazione tecnico – economica delle linee di trasmissione energetica. - Gentilini, Marco

12. Alcune considerazioni circa le recenti sentenze della Corte di Cassazione in materia di riscaldamento condominiale. - Gentilini, Marco

13. Impianti geotermici superficiali. - Gentilini, Marco

14. Ottimizzazione economica di schemi di generatori MHD. - Gentilini, Marco

15. Progettazione ottimale di impianti di digestione anaerobica dei rifiuti organici con produzione di biogas. - Gentilini, Marco

16. Frazionamento economico dei sistemi. - Gentilini, Marco

17. L'energia eolica nella regione Emilia Romagna. - Gentilini, Marco

18. Valutazione delle condizioni economiche ottimali di funzionamento di aeromotori per generazione di energia elettrica. - Gentilini, Marco

19. Ottimizzazione economica dei sistemi di concentrazione a multipli effetti e a termocompressione. Valutazioni comparative. - Gentilini, Marco

20. Ottimizzazione economica dei sistemi di concentrazione a multipli effetti e a termocompressione. Valutazioni comparative. - Gentilini, Marco

Página de resultados:
 

Busque un recurso