Search results for "interprete"
showing 10 items of 63 documents
Wittgenstein on Physics
2019
In this paper, I explore Wittgenstein’s philosophical approach to physics, an approach that crystallises in the Tractatus and is then polished—rather than replaced—in his later writings. The question of Wittgenstein’s attitude towards science has been the subject of much scholarly debate. Wittgenstein maintained throughout his life that philosophy, ethics and religion should be kept separate from the natural sciences. In his view, any attempt to apply scientific methodologies to philosophical, ethical and religious discussions is both dangerous and futile. Some interpreters have read this aspect of Wittgenstein’s thinking as expressing a strong hostility to science: Wittgenstein, they sugge…
Good Old Aristotle
2021
The first two sections reconstruct Aristotle’s syllogistics, emphasizing its structural differences from modern logic. The third and the fourth discuss the most important modern interpreter of syllogistics, Lukasiewicz.
The choice of tradition and the tradition of choice: Habermas’ and Rorty’s interpretation of pragmatism
1999
The paper is aimed at discussing two interpretations of pragmatism in a broader framework of general rules of philosophical interpretation. J. Habermas’ and R. Rorty’s uses of pragmatism are considered in detail and confronted with general assumptions of pragmatic philosophy. It is shown that in both cases the original ideas of pragmatism are changed in order to fit the philosophies of interpreters. The paper ends with discussion of a possibility of applying the rule of interpretative charity and dialogue to philosophical analyses.
Run-time profiling of functional logic programs
2005
In this work, we introduce a profiling scheme for modern functional logic languages covering notions like laziness, sharing, and non-determinism. Firstly, we instrument a natural (big-step) semantics in order to associate a symbolic cost to each basic operation (e.g., variable updates, function unfoldings, case evaluations). While this cost semantics provides a formal basis to analyze the cost of a computation, the implementation of a cost-augmented interpreter based on it would introduce a huge overhead. Therefore, we also introduce a sound transformation that instruments a program such that its execution—under the standard semantics—yields not only the corresponding results but also the a…
And Now for Something Completely Different: Running Lisp on GPUs
2018
The internal parallelism of compute resources increases permanently, and graphics processing units (GPUs) and other accelerators have been gaining importance in many domains. Researchers from life science, bioinformatics or artificial intelligence, for example, use GPUs to accelerate their computations. However, languages typically used in some of these disciplines often do not benefit from the technical developments because they cannot be executed natively on GPUs. Instead existing programs must be rewritten in other, less dynamic programming languages. On the other hand, the gap in programming features between accelerators and common CPUs shrinks permanently. Since accelerators are becomi…
Fast narrowing-driven partial evaluation for inductively sequential programs
2005
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good results on small programs, it does not scale up well to realistic problems (e.g., interpreter specialization). In this work, we introduce a faster partial evaluation scheme by ensuring the termination of the process offline . For this purpose, we first characterize a class of programs which are quasi-terminating , i.e., the computations performed with needed narrowing—the symbolic computation mechanism of narrowing-driven partial evaluation—only contain finitely many different terms (and, thus, partial evaluation termi…
Domenico Scinà interprete di Empedocle
2015
Domenico Scinà, pur essendo nato nel corso della seconda metà del secolo XVIII (a Palermo nel 1765), può essere considerato a pieno titolo un autore del secolo XIX; infatti iniziò a dare corso alla sua produzione all’età di quasi quarant’anni. Tra le sue opere più significative di carattere scientifi co, bisogna ricordare: l’Introduzione alla fi sica sperimentale e gli Elementi di fi sica generale del 1803; l’Elogio di Francesco Maurolico del 1808; gli Elementi di fi sica particolare iniziati nel 1809 e portati a termine nel 1829; il Discorso intorno ad Archimede del 1823. A conferma del fatto di trovarci dinanzi ad una figura di ampio spessore, occorre menzionare altre opere che denotano l…
Il diritto islamico nel sistema delle fonti normative dell'ordinamento iraniano
2011
The essay aims to analyze the Iranian legal order by dweeling upon the connection between the religious legal sources and the secular ones. The acknowledgement of an apical right, whose origin is divine, coexists indeed with the law-making process provisions. In particular, the Author stresses the distinctive features and inherent contradictions of this legal order, which is defined as a "constitutional theocracy". Furthermore, the Author also addresses the duties of the Council of Guardians, which plays a central role in the definition of the hierarchy of legal sources, working both as interpreter of the Constitution and as controller of the compliance of ordinary and constitutional laws w…
Luogo di sosta al Largo delle Grotte
2020
Testo di presentazione e progetto architettonico realizzato nell’ambito di una ricerca interdipartimentale sul centro storico di Caltabellotta. L’intervento riguarda la sistemazione di un’area scenografica della città in cui i temi della natura e dell’archeologia vengono interpretati e restituiti da una soluzione architettonica.
DC4CD
2017
In this article, we present Distributed Computing for Constrained Devices (DC4CD), a novel software architecture that supports symbolic distributed computing on wireless sensor networks. DC4CD integrates the functionalities of a high-level symbolic interpreter, a compiler, and an operating system, and includes networking abstractions to exchange high-level symbolic code among peer devices. Contrarily to other architectures proposed in the literature, DC4CD allows for changes at runtime, even on deployed nodes of both application and system code. Experimental results show that DC4CD is more efficient in terms of memory usage than existing architectures, with which it also compares well in te…