Linear algebra: selected problems

Linear Algebra—Selected Problems is a unique book for senior undergraduate and graduate students to fast review basic materials in Linear Algebra. Vector spaces are presented first, and linear transformations are reviewed secondly. Matrices and Linear systems are presented. Determinants and Basic geometry are presented in the last two chapters. The solutions for proposed excises are listed for readers to references.

Protein folding, metal ions and conformational states: the case of a di-cluster ferredoxin

Dissertation presented to obtain the PhD degree in Biochemistry at the Instituto de Tecnologia Química e Biológica, Universidade Nova de Lisboa

Le Idee Politiche di dante dal "convivio' alla "monarchia"

pp. 25-41

Filosofi, uomini e bruti. Note per la storia di un'antropologia

pp. 105-125

L'"errore di erode" e la media in Giovanni da Parigi

pp. 169-184

Dalla cosmologia alla politíca(Osservazioni sulla "Monarchia" di dante III, XV)

pp. 285-302

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

The role of Di-iron proteins in pathogen resistance

Dissertation presented to obtain the Ph.D. degree in Biochemistry

La morte di Semiramide de Marcos de Portugal - Estudo, transcrição e edição crítica

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências Musicais - Musicologia Histórica

Sovereign debt and CRAs: Where does the power lie?

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Multipath policy routing in packet switched networks

Dissertação apresentada para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Racionalização do mecanismo de adição de compostos carbonílicos a vinil-mono e di-sulfonas, catalisada por aminas

As sulfonas são conhecidas pelos químicos orgânicos pela sua versatilidade sintética e actividade biológica, nomeadamente os fármacos conhecidos por sulfa drugs, extremamente importantes em química medicinal. As vinil-sulfonas constituem uma sub-família das sulfonas e têm demonstrado ao longo do tempo a sua capacidade de inibir diversos processos enzimáticos, introduzindo propriedades biológicas únicas. Do ponto de vista sintético, o método mais directo para obter estes compostos é via redução dos produtos de adição de Michael a vinil-di-sulfonas, o que não é favorável em termos de economia de átomos. Por outro lado, o mecanismo da reacção de adição de Michael de compostos carbonílicos a vinil-sulfonas tem levantado algumas dúvidas, devido à existência de dois possíveis mecanismos reacionais. O objectivo principal desta dissertação é racionalizar o mecanismo de adição de compostos carbonílicos a vinil-mono e di-sulfonas, recorrendo a estudos teóricos de DFT e experimentais, incluindo RMN. Foram considerados os mecanismos via intermediário enamina e via catálise básica, e através de estudos de RMN foi possível retirar conclusões sobre as velocidades relativas das reacções, bem como meio de comprovar a formação de alguns produtos. Os resultados teóricos obtidos revelam que, para as mono-sulfonas, o mecanismo via enamina é mais favorável energeticamente. No entanto, a existência de reacções competitivas de energia de activação mais baixa não permitem obter o produto desejado. Para eliminar estas reacções, utilizam-se aminas terciárias e a reacção segue um mecanismo via catálise básica. O estudo dos coeficientes da orbital HOMO dos compostos carbonílicos revelou que a localização do enol é um factor determinante para estas reacções. Por outro lado, os resultados obtidos revelaram que as di-sulfonas sendo extremamente reactivas, podem adoptar qualquer um dos caminhos reacionais, em função do catalisador escolhido, e não são sensíveis ao substrato. Neste caso, as reacções competitivas que ocorrem são reversíveis,e o produto de adição conjugada é sempre favorecido. Estudou-se ainda, teoricamente, a reacção de adição a mono-sulfonas de forma intramolecular, que apresenta claramente um mecanismo via enamina, cuja energia de activação é mais baixa que a respectiva adição competitiva.

La villa tardoantica di Palazzo Pignano

La presenza di imponenti ruderi antichi a Palazzo Pignano era già conosciuta nel 1600, mentre per affrontare in modo scientifico il ritrovamento si dovette aspettare fino al 1963, con i radicali restauri all’interno della pieve protoromanica di San Martino: sotto la pieve fu rinvenuto un edificio rotondo a pianta centrale, e nella zona retrostante alla Pieve verso est furono scoperti, fra il 1969 e 1972, i resti della grandiosa Villa che oggi trattiamo. Vi fu una stasi nelle ricerche tra il 1972 e il 1977, quando fu eseguita una serie di sondaggi per definire le dimensioni e le caratteristiche del complesso abitativo. Nel 1988 uno scavo stratigrafico lungo il lato sud della Chiesa ha permesso di individuare una vasca battesimale a immersione. Tra gli anni 1999 e 2001 una campagna di rilievi e prospezioni con magnetometro Fluxgate ha permesso di precisare le varie fasi di vita della Villa: una ristrutturazione importante nella prima metà del V sec. d.C.; e poi l’insediamento nella zona della villa già in abbandono di capanne e sepolture, databili genericamente in un momento altomedioevale.

Inventare musei per ordinare e rappresentare il mondo. La Guardaroba nuova di Palazzo Vecchio e le Sale della cosmografia e delle matematiche agli Uffizi a Firenze

Este artigo traça a história da invenção e construção de dois lugares museológicos (um literário e outro real) na Florença da segunda metade do século XVI, chamando a atenção para o seu significado no contexto do saber da época. O projecto cosmográfico para o Guarda-roupa novo do Palazzo Vecchio e as Salas da Cosmografia e das Matemáticas nos Uffizi oferecem a possibilidade de explorar dois sistemas semióticos que permitem explorar os processos de invenção e criação do museu como lugar – literário, imaginário, arquitectónico, epistemológico – no qual e através do qual se ordena e representa o mundo. O primeiro destes espaços é o projecto cosmográfico idealizado por volta de 1560 por Cosimo I, Giorgio Vasari e Miniato Pitti para o Guarda-roupa novo do Palazzo Vecchio, actualmente conhecido, impropriamente, como “Sala das cartas geográficas”. O projecto nunca foi concluído; porém existiu e continua a existir e a fascinar como “espaço literário” através de uma página visionária na segunda edição das Vite de Giorgio Vasari. O segundo lugar é a Sala da Cosmografia, mandada construir por Ferdinando I em 1589, juntamente com a contígua Sala das Matemáticas o da Arquitectura Militar na Galleria degli Uffizi. No centro do novo projecto expositivo, totalmente concluído, pela primeira vez, foram colocados os instrumentos e livros científicos e, implicitamente, o Homem como observador e demiurgo do mundo.