1,058 research outputs found
A scalable infrastructure for teaching concepts of programming languages in Scala with WebLab: An experience report
No full textIn this paper, we report on our experience in teaching a course on concepts of programming languages at TU Delft based on Krishnamurthi's PAPL book with the definitional interpreter approach using Scala as meta-language and using the WebLab learning management system. In particular, we discuss our experience with encoding of definitional interpreters in Scala using case classes, pattern matching, and recursive functions; offering this material in the web-based learning management system WebLab; automated grading and feedback of interpreter submissions using unit tests; testing tests to force students to formulate tests, instead of just implementing interpreters; generation of tests based on a reference implementation to reduce the effort of producing unit tests; and the construction of a product line of interpreters in order to maximize reuse and consistency between reference implementations.Programming Language
VI Convegno Nazionale dei Ricercatori di Ingegneria Geotecnica
No full textA distanza di 10 anni dall’apprezzato incontro tenutosi a Bari sul tema delle Fondazioni Superficiali e Profonde, la sesta edizione del Convegno Nazionale dei Ricercatori di Ingegneria Geotecnica (CNRIG) si svolgerà a Bologna, nelle giornate del 22 e 23 Settembre 2016.
L’ampio tema proposto - L’Ingegneria Geotecnica nella Ricerca Interdisciplinare: dalla Microscala alla Scala Territoriale - intende dar spazio agli studi di natura geotecnica dal carattere multidisciplinare, prendendo in considerazione diverse scale di analisi, che vanno dai processi a livello microstrutturale fino agli studi di opere in vera grandezza e di sistemi complessi a grande scala.
Come da tradizione, scopo del CNRIG sarà quello di offrire ai ricercatori della comunità geotecnica nazionale un'occasione di confronto, presentazione e discussione della loro attività di ricerca, con particolare attenzione agli aspetti più innovativi dei risultati conseguiti, permettendo nello stesso tempo di individuare eventuali opportunità per future collaborazioni fra i diversi gruppi
Teatro La Scala
No full textPresenze russe al Teatro alla Scala di Milano nella prima metà del Novecento
...Ma poi, che cos'è un nome? : una mostra sul censimento degli ebrei a Milano nel 1938
No full textUna scala d'essere per il post-umano. Genealogia fenomenologica
No full textDal post-umano che si è parato davanti ai nostri occhi teoretici, siamo risospinti sulla via dell'essere, il cui logos ha mostrato di attraversare l'inorganico, l'organico e l'artificiale: l'uomo lo conosce, lo sa dire, lo sa far-essere, e poichè nell'essere egli è generato e vive, anche le opere e i prodotti della sua creatività, come l'esistenza post-umana, stanno nell'essere e rispetto all'arricchimento/depauperamento ontologico che comportano vanno valutati, a presidio stesso dell'umanità. Certo, l'essere che nel post-umano giunge a manifestazione non è la monolitica presenza che Derrida e Althusser si sono dedicati a decostruire. L'essere che sostanzia il post-umano è, al contrario, un essere vivo, multiforme e metamorfico, quali gli studi di antropologia e psicologia dello sviluppo, di M. Tomasello per esempio, richiedono a base della filogenesi e dell'ontogenesi umane, dove i prodigiosi passaggi di forme di vita che si documentano, dal primate non umano all'homo e da questo all'homo sapiens, dall'individuo sottocorticale al soggetto culturale, resterebbero volatili senza un'adeguata scala d'essere a sostenerli.Riprende vigore così quella linea filosofica Schelling-Nietzsche-Scheler, che si è applicata a contestualizzare ontologicamente la stessa dimensione creativa e d'atto della persona umana, fornendole una scala d'essere e insieme rendendola non più vicolo cieco della vita, ma va d'uscita della vita tutta
Profili del sacro all\u27interno dei sistemi giuridici c.d. “plurali”. Recenti tendenze nell\u27ordinamento costituzionale canadese
No full textSOMMARIO: 1. Premessa - 2. La tutela del sentimento religioso in Canada: un inquadramento costituzionale - 3. Il reato di Hate Speech - 4. Il reato di blasfemia - 5. Considerazioni conclusive.Legal features of the sacred in pluralist systems. Recent developments in the Canadian constitutional legal orderABSTRACT: Nowadays the concept of "sacred" is characterised by a pluralization of the religious phenomena, which are barely defined from a legal point of view by the State. One of the criticalities of this scenario lies in the fact that there is no uniqueness on the limits that the State determines in outlining the boundaries of a religion. The risk of this lack of precise limits could be, inter alia, the offense to religious sentiment. The Author investigates the legal provisions that limit offences to religious sentiment such as the crime of hate speech and blasphemy in Canada. The latter is in fact a pluralist system considered as a good example for other States
Correction to: Long-term efficacy and safety of golimumab in the treatment of multirefractory Behçet’s disease (Clinical Rheumatology, (2017), 36, 9, (2063-2069), 10.1007/s10067-017-3627-4)
No full textIn the original version of this article the author name Gerardo Di Scala was originally presented incorrectly as ‘Di Scala Gerardo’; this has been corrected in this article
Regole protocollari e formalità giuridiche nell'ordinamento danese. Considerazioni a margine dell'Ordinanza sulla stretta di mano
No full textOn 1st January 2019 the Danish constitutional ceremony for granting citizenship made
shaking hands mandatory. In this article the author examines the Danish naturalization
process as well as the historical and legal roots of shaking hands and the way this gesture
is treated in national case law so as to then assess whether this rule is discriminatory on
the basis of religion
Sphaceloma coryli: A Reemerging Pathogen Causing Heavy Losses on Hazelnut in Southern Italy
No full text
- …
