Modelado de fuente glotal para extraer características de la identidad del locutor

La producción de la voz humana se lleva a cabo en el tracto vocal. Los sintetizadores consiguen emular a las distintas partes del tracto vocal, y gracias a ellos se pueden modificar características propias del hablante. Una de estas modificaciones consiste variar el tono de un locutor inicial, mezclando parámetros de éste con los de un locutor deseado. En este proyecto se ha desarrollado un modelo propuesto para este cambio de identidad. Partiendo de las señales de voz originales se han extraído parámetros para crear una base de datos para cada locutor. Las voces se sintetizarán mezclando estas bases de datos y otros parámetros correspondientes a distintos locutores dando como resultado una señal de voz con características de dos locutores diferentes. Finalmente se realizarán pruebas auditivas para comprobar la identidad del locutor de la voz sintetizada. ABSTRACT. Human voice production is carried out in the vocal tract. Each part of the vocal tract is emulated in synthesizers, and for that, speaker features can be modified. One of these modifications is to change the initial speaker tone, mixing parameters of this speaker with the parameters of a desired speaker. In this project it has been developed a proposed model for this identity change. Starting from the originals voice signals its parameters have been extracted to built a database for each speaker. Voices will be synthesized mixing these databases with parameters of the others speakers giving as result a voice signal with features of two different speakers. Finally, hearing tests will be made to check the speaker identity of the synthesized voice.

Análisis de las herramientas ORCC y Vivado HLS para la Síntesis de Modelos de Flujo de Datos RVC-CAL

En este Proyecto Fin de Grado se ha realizado un estudio de cómo generar, a partir de modelos de flujo de datos en RVC-CAL (Reconfigurable Video Coding – CAL Actor Language), modelos VHDL (Versatile Hardware Description Language) mediante Vivado HLS (Vivado High Level Synthesis), incluida en las herramientas disponibles en Vivado de Xilinx. Una vez conseguido el modelo VHDL resultante, la intención es que mediante las herramientas de Xilinx se programe en una FPGA (Field Programmable Gate Array) o el dispositivo Zynq también desarrollado por Xilinx. RVC-CAL es un lenguaje de flujo de datos que describe la funcionalidad de bloques funcionales, denominados actores. Las funcionalidades que desarrolla un actor se definen como acciones, las cuales pueden ser diferentes en un mismo actor. Los actores pueden comunicarse entre sí y formar una red de actores o network. Con Vivado HLS podemos obtener un diseño VHDL a partir de un modelo en lenguaje C. Por lo que la generación de modelos en VHDL a partir de otros en RVC-CAL, requiere una fase previa en la que los modelos en RVC-CAL serán compilados para conseguir su equivalente en lenguaje C. El compilador ORCC (Open RVC-CAL Compiler) es la herramienta que nos permite lograr diseños en lenguaje C partiendo de modelos en RVC-CAL. ORCC no crea directamente el código ejecutable, sino que genera un código fuente disponible para ser compilado por otra herramienta, en el caso de este proyecto, el compilador GCC (Gnu C Compiler) de Linux. En resumen en este proyecto nos encontramos con tres puntos de estudio bien diferenciados, los cuales son: 1. Partimos de modelos de flujo de datos en RVC-CAL, los cuales son compilados por ORCC para alcanzar su traducción en lenguaje C. 2. Una vez conseguidos los diseños equivalentes en lenguaje C, son sintetizados en Vivado HLS para conseguir los modelos en VHDL. 3. Los modelos VHDL resultantes serian manipulados por las herramientas de Xilinx para producir el bitstream que sea programado en una FPGA o en el dispositivo Zynq. En el estudio del segundo punto, nos encontramos con una serie de elementos conflictivos que afectan a la síntesis en Vivado HLS de los diseños en lenguaje C generados por ORCC. Estos elementos están relacionados con la manera que se encuentra estructurada la especificación en C generada por ORCC y que Vivado HLS no puede soportar en determinados momentos de la síntesis. De esta manera se ha propuesto una transformación “manual” de los diseños generados por ORCC que afecto lo menos posible a los modelos originales para poder realizar la síntesis con Vivado HLS y crear el fichero VHDL correcto. De esta forma este documento se estructura siguiendo el modelo de un trabajo de investigación. En primer lugar, se exponen las motivaciones y objetivos que apoyan y se esperan lograr en este trabajo. Seguidamente, se pone de manifiesto un análisis del estado del arte de los elementos necesarios para el desarrollo del mismo, proporcionando los conceptos básicos para la correcta comprensión y estudio del documento. Se realiza una descripción de los lenguajes RVC-CAL y VHDL, además de una introducción de las herramientas ORCC y Vivado, analizando las bondades y características principales de ambas. Una vez conocido el comportamiento de ambas herramientas, se describen las soluciones desarrolladas en nuestro estudio de la síntesis de modelos en RVC-CAL, poniéndose de manifiesto los puntos conflictivos anteriormente señalados que Vivado HLS no puede soportar en la síntesis de los diseños en lenguaje C generados por el compilador ORCC. A continuación se presentan las soluciones propuestas a estos errores acontecidos durante la síntesis, con las cuales se pretende alcanzar una especificación en C más óptima para una correcta síntesis en Vivado HLS y alcanzar de esta forma los modelos VHDL adecuados. Por último, como resultado final de este trabajo se extraen un conjunto de conclusiones sobre todos los análisis y desarrollos acontecidos en el mismo. Al mismo tiempo se proponen una serie de líneas futuras de trabajo con las que se podría continuar el estudio y completar la investigación desarrollada en este documento. ABSTRACT. In this Project it has made a study of how to generate, from data flow models in RVC-CAL (Reconfigurable Video Coding - Actor CAL Language), VHDL models (Versatile Hardware Description Language) by Vivado HLS (Vivado High Level Synthesis), included in the tools available in Vivado of Xilinx. Once achieved the resulting VHDL model, the intention is that by the Xilinx tools programmed in FPGA or Zynq device also developed by Xilinx. RVC-CAL is a dataflow language that describes the functionality of functional blocks, called actors. The functionalities developed by an actor are defined as actions, which may be different in the same actor. Actors can communicate with each other and form a network of actors. With Vivado HLS we can get a VHDL design from a model in C. So the generation of models in VHDL from others in RVC-CAL requires a preliminary phase in which the models RVC-CAL will be compiled to get its equivalent in C. The compiler ORCC (Open RVC-CAL Compiler) is the tool that allows us to achieve designs in C language models based on RVC-CAL. ORCC not directly create the executable code but generates an available source code to be compiled by another tool, in the case of this project, the GCC compiler (GNU C Compiler) of Linux. In short, in this project we find three well-defined points of study, which are: 1. We start from data flow models in RVC-CAL, which are compiled by ORCC to achieve its translation in C. 2. Once you realize the equivalent designs in C, they are synthesized in Vivado HLS for VHDL models. 3. The resulting models VHDL would be manipulated by Xilinx tools to produce the bitstream that is programmed into an FPGA or Zynq device. In the study of the second point, we find a number of conflicting elements that affect the synthesis Vivado HLS designs in C generated by ORCC. These elements are related to the way it is structured specification in C generated ORCC and Vivado HLS cannot hold at certain times of the synthesis. Thus it has proposed a "manual" transformation of designs generated by ORCC that affected as little as possible to the original in order to perform the synthesis Vivado HLS and create the correct file VHDL models. Thus this document is structured along the lines of a research. First, the motivations and objectives that support and hope to reach in this work are presented. Then it shows an analysis the state of the art of the elements necessary for its development, providing the basics for a correct understanding and study of the document. A description of the RVC-CAL and VHDL languages is made, in addition an introduction of the ORCC and Vivado tools, analyzing the advantages and main features of both. Once you know the behavior of both tools, the solutions developed in our study of the synthesis of RVC-CAL models, introducing the conflicting points mentioned above are described that Vivado HLS cannot stand in the synthesis of design in C language generated by ORCC compiler. Below the proposed solutions to these errors occurred during synthesis, with which it is intended to achieve optimum C specification for proper synthesis Vivado HLS and thus create the appropriate VHDL models are presented. Finally, as the end result of this work a set of conclusions on all analyzes and developments occurred in the same are removed. At the same time a series of future lines of work which could continue to study and complete the research developed in this document are proposed.

Verificación de Sistemas Basada en Teoría de Tipos

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad.

Desarrollo Riguroso de Sistemas Tolerantes a Fallas

Los sistemas críticos son aquellos utilizados en áreas en las cuales las fallas, o los eventos inesperados, pueden ocasionar grandes perdidas de dinero; o quizás peor aún, daños a vidas humanas. Esta clase de sistemas juegan un rol importante en actividades esenciales de la sociedad tales como la medicina y las comunicaciones. Los sistemas críticos, cada vez son más usuales en la vida real, algunos ejemplos de estos son los sistemas de aviones, sistemas para automóviles y sistemas utilizados en telefonia móvil. Para minimizar las fallas, y las perdidas materiales o humanas ocasionadas por el funcionamiento incorrecto de dichos sistemas, se utilizan técnicas de tolerancia a fallas. Estas técnicas permiten que los sistemas continúen funcionando aún bajo la ocurrencia de fallas, o eventos inesperados. Existen diversas técnicas para lograr tolerancia a fallas utilizando, por ejemplo, redundancia a diferentes niveles de abstracción, como, por ejemplo, al nivel de hardware. Sin embargo, estas técnicas dependen fuertemente del sistema, y del contexto en las que se utilizan. Más aún, la mayoría de la técnicas de tolerancia a fallas son usadas a bajo nivel (código fuente o hardware), estimamos que el uso de formalismos rigurosos (con fundamentos matemáticos) pueden llevar al diseño de sistemas tolerantes a fallas y robustos a un nivel de abstracción más alto, a la vez que la utilización de técnicas de verificación que han sido exitosas en la práctica tales como model checking, o la síntesis de controladores, pueden llevar a una verificación y producción automática de sistemas robustos. El objetivo del presente proyecto es estudiar tanto marcos teóricos, que permitan la construcción de sistemas más robustos, como también herramientas automáticas que hagan posible la utilización de estos formalismos en escenarios complejos. Para lograr estos objetivos, será necesario considerar casos de estudios de diferente complejidad, y además que sean relevantes en la práctica. Por ejemplo: bombas de insulina, protocolos de comunicación, sistemas de vuelo y sistemas utilizados con fines médicos. Planeamos obtener prototipos de algunos de estos casos de estudio para evaluar los marcos teóricos propuestos. En los últimos años diferentes formalismos han sido utilizados para razonar sobre sistemas tolerantes a fallas de una forma rigurosa, sin embargo, la mayoría de estos son ad hoc, por lo cual sólo son aplicables a contextos específicos. Planeamos utilizar ciertas lógicas modales, en conjunto con nociones probabilísticas, para obtener un conjunto de herramientas suficientemente generales para que puedan ser utilizadas en diferentes contextos y aplicaciones. Los materiales a utilizar son equipos informáticos, en particular computadoras portátiles para el equipo de trabajo y computadoras más potentes para el testeo y desarrollo del software necesario para lograr los objetivos del proyecto. Para construir los prototipos mencionados se utilizarán equipos de computación estándar (el equipo investigación cuenta con computadoras intel y mac) en conjunto con lenguajes de programación modernos como JAVA o C#. En el caso de que los sistemas de software sean sistemas embebidos; se piensa desarrollar un motor de simulación que permita evaluar el desempeño del software cuando es ejecutado en el dispositivo mencionado. Se espera desarrollar, e investigar, las propiedades de formalismos matemáticos que permitan el desarrollo de sistemas tolerantes a fallas. Además, se desarrollarán herramientas de software para que estos sistemas tolerantes a fallas puedan verificarse, o obtenerse automáticamente. Los resultados obtenidos serán difundidos por medio de publicaciones en revistas del área. El desarrollo de sistemas tolerantes a fallas por medio de técnicas rigurosas, a diferentes niveles de abstracción (captura de requisitos, diseño, implementación y validación), permitirá minimizar los riesgos inherentes en actividades críticas.

Capacitación Informática a los Estudiantes de Bibliotecología de I Nivel

La escuela de Bibliotecología, Documentación e Información enseñará a sus estudiantes a elaborar fichas bibliográficas en el computador, como práctica del curso Almacenamiento y recuperación de la información I. Para esta práctica se ha diseñado una metodología especializada tipo laboratorio, en la que el estudiante tendrá la posibilidad de iniciar sus estudios de catalogación interactuando con diferentes paquetes computacionales que se utilizan en las bibliotecas nacionales e internacionales, tales como: Word perfect, Fox pro, Logicat, Microisis.

Cursos de Almacenamiento y Enseñanza de Informática Documentaria, Usuarios de la Información Científica y Tecnológica y Formación de Colecciones Audiovisuales

Nos encontramos a escasos 8 años del siglo XXI y la información que cobra día a día más auge y más importancia, el acelerado devenir tecnológico y los descubrimientos científicos, hacen que el bibliotecario sea un transmisor de innovación y comunicación que se desenvuelva en un mundo competitivo, en donde debe ser agresivo, dinámico y capaz de adoptar todo ese cúmulo tecnológico y científico si quiere sobrevivir en el futuro como profesional.Si retrocedemos cinco años, nos damos cuenta que la Bibliotecología es una de las disciplinas que más ha evolucionado con respecto a términos relacionados con gestión automatizada de información. Palabras como scanners, videodisco, reconocimiento de caracteres ópticos, CD-ROM, CD-I (Disco compacto interactivo), etc., forman parte del vocabulario bibliotecológico que ha sido incorporado por los profesionales quienes se desenvuelven en el complicado mundo de la información.

Propuesta de procedimientos tributarios que oriente a la pequeña y mediana empresa salvadoreña al cumplimiento de las obligaciones formales y sustantivas contenidas en las leyes del Impuesto a la transferencia de bienes muebles y a la prestación de servicios, Impuesto sobre la renta, Código tributario y sus respectivos reglamentos”. -Empresas que no califican para dictaminarse fiscalmente.-

Durante el transcurso de la historia de la humanidad, el hombre (como ser social) ha buscado los medios para llevar a cabo la satisfacción de sus necesidades; es de esta manera que con el correr de los años han surgido diferentes ideologías y métodos para llevar a cabo la consecución de este fin. Dentro de los métodos de los que se ha valido el hombre, se puede citar desde los más rudimentarios, hasta los más organizados, tales como los impuestos, tasas y contribuciones especiales, los cuales históricamente han sido catalogados como los más efectivos, y mayormente utilizados para la recaudación de fondos. En EL Salvador, los impuestos que generan la mayor fuente de ingresos, en cuanto a recaudación tributaria se refiere son el impuesto a la transferencia de bienes muebles y a la prestación de servicios, e impuesto sobre la renta. Factores como la globalización de los procesos y el entorno internacional en el que la única constante es el cambio, lleva a El Salvador a iniciar el proceso de modernización del Estado, influenciado por las corrientes neoliberales que obligan a la Administración Tributaria a buscar las herramientas legales que uniformicen y unifiquen la aplicación de las leyes que rigen los tributos internos, así como los medios para minimizar la evasión fiscal. Es en estas circunstancias que mediante Decreto Legislativo No. 230, del 14 diciembre del año 2002, es aprobado el Código Tributario, el cual entró en vigencia el primero de enero del año 2001. Con la entrada en vigencia del Código Tributario, se deroga gran parte del articulado de las Leyes que rigen los tributos internos en El Salvador, siendo las más afectadas las de Impuesto a la Transferencia de Bienes Muebles y a la Prestación de Servicios, e Impuesto Sobre la Renta. Los artículos derogados en estas Leyes primarias se trasladaron al Código Tributario, el cual trata de unificar la aplicación de las obligaciones formales y sustantivas comunes entre ambas Leyes; existe además un régimen sancionatorio que agrupa la mayoría de los incumplimientos cometidos por los contribuyentes a las obligaciones formales y sustantivas contenidas en el referido Código. Asimismo, se deja claro que en caso de existir discrepancias entre el Código y las Leyes primarias, predominará lo estipulado en la Ley. El Código Tributario representa un elemento novedoso que trae consigo la aparición de nuevas figuras: Dictamen e Informe Fiscal, y el Fedatario. Es en este entorno que dicho Código presenta algunas dificultades para su aplicación, principalmente por las pequeñas y medianas empresas salvadoreñas que no califican para dictaminarse fiscalmente, incumpliendo así las obligaciones formales y sustantivas contenidas en el referido Código. Es en este contexto que se elabora una “Propuesta de procedimientos tributarios que oriente a la pequeña y mediana empresa salvadoreña que no califica para dictaminarse fiscalmente, a la aplicación de las obligaciones formales y sustantivas contenidas en las Leyes de Impuesto a la Transferencia de Bienes Muebles y a la Prestación de Servicios, Código Tributario y sus Reglamentos”, la cual se ha estructurado en cinco capítulos que se describen a continuación: El Capitulo I, contiene el marco teórico de referencia, con la finalidad de mostrar al lector los conceptos básicos de la legislación tributaria, así como ubicarle en el contexto histórico y actual de los impuestos sobre la renta e impuesto a la transferencia de bienes muebles y a la prestación de servicios, a nivel mundial y nacional. El Capitulo II, presenta la problemática identificada en las pequeñas y medianas empresas del municipio de San Salvador que no califican para dictaminarse fiscalmente, las cuales cometen incumplimientos a las obligaciones formales y sustantivas, de las Leyes anteriormente citadas. La investigación de campo efectuada demostró que los contadores de las PYMEs consideran que la de Ausencia de de una guía que oriente para el cumplimiento de dichas obligaciones por parte de de la Administración Tributaria, así como la dificultad para la interpretación de la normativa tributaria, fomentan el incumplimiento de dichas obligaciones. Se incluyen las preguntas realizadas así como la tabulación de la información recopilada en gráficos ilustrativos, haciendo su respectivo análisis y conclusión de cada pregunta en particular para obtener una conclusión general. Es así como en el Capitulo III, se presenta la Propuesta antes citada, la cual se desarrolla de acuerdo al ciclo de vida de una empresa, desde su constitución, desarrollo normal de sus operaciones, hasta el cierre de operaciones. En cada uno de estos apartados se ha ordenado las obligaciones entre formales y sustantivas, cada una de éstas contiene la descripción de la obligación en sí, la sanción por incumplimiento, procedimientos y sugerencias de control interno, haciendo referencia finalmente a la base legal que la sustenta. Las obligaciones desarrolladas en este documento son aquellas relativas a las Leyes del Impuesto a la Transferencia de Bienes Muebles y a la Prestación de Servicios, e Impuesto Sobre la Renta, por considerarse los que mayores ingresos generan al Estado. Se desarrolla además en el Capitulo IV un caso práctico, en el cual se ilustran los principales incumplimientos a la normativa tributaria en estudio, cometidos por las PYMEs según la investigación de campo. Finalmente, en el Capitulo V se presentan las conclusiones y recomendaciones con la finalidad de prevenir incumplimientos a las obligaciones referidas.

Estratégias comunicacionais para soluções de tecnologia da informação (TI) aplicadas à adequação da paisagem rural ao Código Florestal brasileiro.

O artigo apresenta estratégias comunicacionais para divulgação de soluções de tecnologia da informação (TI), em especial, de software para o domínio de interesse da temática ambiental e florestal, produzidos pela Embrapa.

As abelhas, os serviços ecossistêmicos e o Código Florestal Brasileiro

As abelhas são consideradas os principais polinizadores em ambientes naturais e agrícolas. Esse serviço ecossistêmico é essencial para a manutenção das populações selvagens de plantas e para a produção de alimento nos ambientes agrícolas e está ameaçado em várias regiões do mundo. O desmatamento é uma das causas principais porque ele afeta as populações de abelhas. A conservação das florestas é necessária para a manutenção das populações de abelhas e da polinização nas paisagens agrícolas.

Mudanças no Código Florestal e seu impacto na ecologia e diversidade dos mamíferos no Brasil

Os ecossistemas florestais do Brasil abrigam um dos mais altos níveis de diversidade de mamíferos da Terra, e boa parte dessa diversidade se encontra nas áreas legalmente protegidas em áreas de domínio privado. As reservas legais (RLs) e áreas de proteção permanente (APPs) representam estratégias importantes para a proteção e manutenção dessa diversidade. Mudanças propostas no Código Florestal certamente trarão efeitos irreversíveis para a diversidade de mamíferos no Brasil. Os mamíferos apresentam papéis-chave nos ecossistemas, atuando como polinizadores e dispersores de sementes. A extinção local de algumas espécies pode reduzir os serviços ecológicos nas RLs e APPs. Outra consequência grave da redução de áreas de vegetação nativa caso a mudança no Código Florestal seja aprovada será o aumento no risco de transmição de doenças, trazendo sério problemas a saúde pública no Brasil.

Do Código Florestal para o Código da Biodiversidade

Em face do gigantismo do território e da situação real em que se encontram os seus macro biomas - Amazônia Brasileira, Brasil Tropical Atlântico, Cerrados do Brasil Central, Planalto das Araucárias, e Pradarias Mistas do Brasil Subtropical - e de seus numerosos mini-biomas, faixas de transição e relictos de ecossistemas, qualquer tentativa de mudança no "Código Florestal" tem que ser conduzido por pessoas competentes e bioeticamente sensíveis. Por muitas razões, se houvesse um movimento para aprimorar o atual Código Florestal, teria que envolver o sentido mais amplo de um Código de Biodiversidades, levando em conta o complexo mosaico vegetacional de nosso território. Enquanto o mundo inteiro trabalha para a diminuição radical de emissão de CO2, o projeto de reforma proposto na Câmara Federal de revisão do Código Florestal defende um processo que significará uma onda de desmatamento e emissões incontroláveis de gás carbônico, fato observado por muitos críticos em diversos trabalhos e entrevistas. A utopia de um desenvolvimento com o máximo de florestas em pé não pode ser eliminada por princípio em função de mudanças radicais do Código Florestal, sendo necessário pensar no território total de nosso país, sob um ampliado e correto Código de Biodiversidade. Ou seja, um pensamento que envolva: as nossas grandes florestas (Amazônia e Matas Tropicais Atlânticas); o domínio das caatingas e agrestes sertanejos; planaltos centrais com cerrados, cerradões e campestres; os planaltos de araucárias sul-brasileiros; as pradarias mistas do Rio Grande do Sul; e os redutos e mini-biomas da costa brasileira e do Pantanal mato-grossense, e faixas de transição e contrato (core-áreas) de todos os domínios morfoclimáticos e fitogeográficos brasileiros).

Lições de Direito e Processo Penal, 2013/2014

§ Parte I A: DIREITO PENAL: CAPÍTULO I – CONCEITO DE DIREITO PENAL, COM ESPECIAL RELEVO DA DIFERENCIAÇÃO ENTRE DIREITO PENAL CLÁSSICO, DIREITO PENAL ECONÓMICO E SOCIAL E DIREITO DAS CONTRA-ORDENAÇÕES; CAPÍTULO II – O PROBLEMA DOS FINS DAS PENAS; CAPÍTULO III – BREVE ABORDAGEM DA EVOLUÇÃO HISTÓRICA DO DIREITO PENAL; CAPÍTULO IV – TEORIA GERAL DA LEI CRIMINAL; CAPÍTULO V – TEORIA GERAL DA INFRACÇÃO CRIMINAL: A) ELEMENTOS; B) CONSTRUÇÕES; C) ANÁLISE: 1) ACÇÃO; 2) TIPICIDADE; 3) ILICITUDE; 4) CULPA; 5) PUNIBILIDADE; CAPÍTULO VI – FORMAS DO CRIME: A) TENTATIVA; B) AUTORIA E COMPARTICIPAÇÃO; C) CONCURSO DE CRIMES § Parte I B: DIREITO PROCESSUAL PENAL; CAPÍTULO I – A DELIMITAÇÃO DO DIREITO PROCESSUAL PENAL; CAPÍTULO II – OS PRINCÍPIOS FUNDAMENTAIS DO PROCESSO PENAL; CAPÍTULO III - A LEI PROCESSUAL PENAL E A SUA APLICAÇÃO; Parte II: CAPÍTULO I - OS SUJEITOS DO PROCESSO; CAPÍTULO II - O OBJECTO DO PROCESSO; CAPÍTULO III - AS MEDIDAS DE COACÇÃO E DE GARANTIA PATRIMONIAL; CAPÍTULO IV - TRAMITAÇÃO PROCESSUAL PENAL. § § Part I: CRIMINAL LAW: CHAPTER I - CONCEPT OF CRIMINAL LAW, WITH SPECIAL RELIEF OF THE DIFFERENTIATION BETWEEN CLASSIC CRIMINAL LAW, ECONOMIC AND SOCIAL CRIMINAL LAW AND THE “AGAINST ORDINANCES” LAW ("LAW OFFENSES"); CHAPTER II - THE PROBLEM OF THE ENDS OF THE PENALTIES; CHAPTER III - BRIEF OVERVIEW OF THE EVOLUTION HISTORY OF CRIMINAL LAW; CHAPTER IV - GENERAL THEORY OF THE CRIMINAL LAW; CHAPTER V - GENERAL THEORY OF THE CRIMINAL INFRACTION: A) ELEMENTS; B) CONSTRUCTIONS; C) ANALYSIS: 1) ACTION; 2) VAGUENESS DOCTRINE; 3) ILLEGALITY; 4) GUILT (FAULT); 5) PUNISHMENT; CHAPTER VI - FORMS OF THE CRIME: A) ATTEMPT; B) AUTHORSHIP AND "CO-PARTICIPATION"; C) CUMULATION OF OFFENCES. § Part I - B: CRIMINAL PROCEDURAL LAW: CHAPTER I - THE DELIMITATION OF THE CRIMINAL PROCEDURAL LAW; CHAPTER II - THE BASIC PRINCIPLES OF THE CRIMINAL PROCEDURE; CHAPTER III - THE CRIMINAL PROCEDURE LAW AND ITS APPLICATION; Part II: CHAPTER I - THE FIGURES OF THE PROCESS; CHAPTER II - THE OBJECT OF THE PROCESS; CHAPTER III - THE MEASURES OF COERCION AND PATRIMONIAL GUARANTEE (WARRANTY); CHAPTER IV -CRIMINAL PROCEDURE.

Lições de Direito dos Contratos

1 – Importância e actualidade do instituto. 2 – Noção de contrato. Sua disciplina no Código Civil. 3 – Relações contratuais de facto. 4 – Princípios fundamentais do regime dos contratos. 5 – Princípio da liberdade contratual. 6 – Princípio do consensualismo. 7 – Princípio da boa fé. A responsabilidade pré-contratual. 8 – Princípio da força vinculativa. 9 – Contratos unilaterais ou não sinalagmáticos e bilaterais ou sinalagmáticos. Contratos gratuitos e onerosos. Contratos cumulativos e aleatórios. 10 – Contratos mistos. União de contratos ou coligação de contratos. 11 – Contrato-promessa. 12 – Pacto de preferência. 13 - Alguns problemas e “contratos em especial”, a título enunciativo, relacionados com as actividades de Gestão, Banca e Seguros: “aspectos contratuais” de direito civil e de direito comercial. § 1 - Importance and actuality of the institute. 2 - Contract notion. Its disciplines in the portuguese Civil Code. 3 – Contractual relations of fact. 4 - Basic principles of the regimen of contracts. 5 - Principle of the contractual freedom. 6 - Principle of “consensualism”. 7 - Principle of the "good faith". The pre-contractual liability. 8 - Principle of the obligatory force (binding). 9 - Unilateral or not bilateral contracts. Free and onerous contracts. Cumulative and random contracts.

Lições de "Responsabilidade Penal das Pessoas Colectivas e o caso do abuso de mercado", Mestrado em Crime, Diferença e Desigualdade, 2013/2014

A responsabilidade penal das pessoas colectivas - rectius empresas - é um problema complexo do Direito penal económico e financeiro. O abuso de mercado é um problema que ainda não está resolvido, nomeadamente porque em Portugal não há aqui responsabilidade penal das empresas. Assim, o abuso de informação e a manipulação do mercado continuam impunes de um certo ponto de vista quando aos autores.

Lições de "Mediação Penal", Mestrado em Solicitadoria, 2013/2014

I – Mediação Penal; 1-Especificidade do conflito penal; 2-A Mediação Penal e as suas principais características; 3-Evolução da Mediação Penal em Portugal e no âmbito da União Europeia; 4-A prática da mediação penal – quais as situações de conflito a que se dirige e quem pode participar; 5-Acordos de mediação penal; § I. Criminal Mediation; 1-Criminal conflict; 2-Criminal Mediation – concept and main features; 3-Evolution of Criminal Mediation in Portugal and in Europe; 4-Practice regarding criminal mediation – specific conflicts and participants; 5-Criminal Mediation agreements.