Il teorema di Cook-Levin e i SAT-solver

In questa tesi è trattato il tema della soddisfacibilità booleana o proposizionale, detta anche SAT, ovvero il problema di determinare se una formula booleana è soddisfacibile o meno. Soddisfacibile significa che è possibile assegnare le variabili in modo che la formula assuma il valore di verità vero; viceversa si dice insoddisfacibile se tale assegnamento non esiste e se quindi la formula esprime una funzione identicamente falsa. A tal fine si introducono degli strumenti preliminari che permetteranno di affrontare più approfonditamente la questione, partendo dalla definizione basilare di macchina di Turing, affrontando poi le classi di complessità e la riduzione, la nozione di NP-completezza e si dimostra poi che SAT è un problema NP-completo. Infine è fornita una definizione generale di SAT-solver e si discutono due dei principali algoritmi utilizzati a tale scopo.

“But look: we have sat here too long”: Hilary Mantel’s tightrope walk of present-tense usage

Even after Hilary Mantel has won the Man Booker prize two times in a row with Wolf Hall and Bring up the Bodies, her novelistic account of the life of Thomas Cromwell, her intriguing decision to write these historical novels in the present tense gave cause to surprisingly little extended comment beyond a perfunctory nod to its evocation of immediacy. This presents not only a lacunae in the discussion about Mantel’s novels, but is also symptomatic for a change in the contemporary critical evaluation of present-tense narration in general. If present-tense narration once used to be a marker for experimental daring and might even have implied a certain hostility towards fictionality, Mantel’s novels give ample evidence that literary sensibilities have changed. In order to understand the scope and nature of this change, my paper puts Mantel’s use of the present tense in the context of both the historical development of present-tense usage and the ample contemporary landscape of present-tense narration. This allows me to show that the complexities of present-tense usage belie a reduction of its effect to an evocation of immediacy. Rather, I argue, Mantel uses it for a delicate tightrope walk between proximity and distance, history and fiction, authenticity and imagination.

Petonii Curiosa Felicitas : La función de las citas en el discurso de Eumolpo (Sat. 118)

Este trabajo analiza el fenómeno intertextual de la ?cita? en Petronio, Sat. 118, donde el poeta de la obra, Eumolpo, expone su particular ?ars poetica?. En este discurso, Eumolpo cita los nombres de Homero, Virgilio y Horacio, al tiempo que cita el primer verso de la Oda 3.1 del Venusino, lo que evidencia que el poetastro tiene muy en cuenta la figura horaciana. El análisis de las citas en este pasaje se relaciona con que Petronio es un autor que alude constantemente, pero que cita muy rara vez, por lo que, cuando lo hace, se debe prestar mucha atención

Petonii Curiosa Felicitas : La función de las citas en el discurso de Eumolpo (Sat. 118)

Este trabajo analiza el fenómeno intertextual de la ?cita? en Petronio, Sat. 118, donde el poeta de la obra, Eumolpo, expone su particular ?ars poetica?. En este discurso, Eumolpo cita los nombres de Homero, Virgilio y Horacio, al tiempo que cita el primer verso de la Oda 3.1 del Venusino, lo que evidencia que el poetastro tiene muy en cuenta la figura horaciana. El análisis de las citas en este pasaje se relaciona con que Petronio es un autor que alude constantemente, pero que cita muy rara vez, por lo que, cuando lo hace, se debe prestar mucha atención

Petonii Curiosa Felicitas : La función de las citas en el discurso de Eumolpo (Sat. 118)

Este trabajo analiza el fenómeno intertextual de la ?cita? en Petronio, Sat. 118, donde el poeta de la obra, Eumolpo, expone su particular ?ars poetica?. En este discurso, Eumolpo cita los nombres de Homero, Virgilio y Horacio, al tiempo que cita el primer verso de la Oda 3.1 del Venusino, lo que evidencia que el poetastro tiene muy en cuenta la figura horaciana. El análisis de las citas en este pasaje se relaciona con que Petronio es un autor que alude constantemente, pero que cita muy rara vez, por lo que, cuando lo hace, se debe prestar mucha atención

Solving SAT in linear time with a neural-like membrane system

We present in this paper a neural-like membrane system solving the SAT problem in linear time. These neural Psystems are nets of cells working with multisets. Each cell has a finite state memory, processes multisets of symbol-impulses, and can send impulses (?excitations?) to the neighboring cells. The maximal mode of rules application and the replicative mode of communication between cells are at the core of the eficiency of these systems.

Explicit summa Angelica de casib[us] [con]sci[enti]e / p[er] fratre[m] Angelu[m] d[e] clauasio co[m]pilata ; maxima cu[m] dilige[n]tia reuisa, [et] fideli studio emendata ; sicut ip[sum] op[us] p[er] se sat[is] attestabit[ur].

Huecos para iniciales

Kitāb Tuḥfat ahl al-futūḥāt wa-al-adhwāq fī ittikhādh al-subḥah wa-jaʻlihā fī al-aʻnāq wa-baʻḍ al-ādāb al-lāʼiqah bi-al-mukarramīn bi-ṣuḥbat ahl ḥaḍrat al-iṭlāq bi-faḍl al-karīm al-khallāq

lil-Shaykh Fatḥ Allāh ibn al-Shaykh Sayyidī Abī Bakr al-Bannānī.

Hādhā al-kitāb al-musammá bi-Dilgushā-yi ṣirāṭ mustaqīm li-man kāna fī al-ṭarīq al-qawīm min tahdhīb al-akhlāq wa-tadbīr al-manzil wa-siyāsat al-mudun sharʻan wa-ʻaqlan

[taʼlīf Aḥmad Ḥusaynʹzādah].

Futūḥāt-i Niẓāmīyah

[Muḥammad Rafīʻ ibn ʻAlī Aṣghar al-Ṭabāṭabāʾī].