• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 42
  • 36
  • 13
  • 8
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 112
  • 13
  • 10
  • 8
  • 8
  • 8
  • 8
  • 7
  • 7
  • 7
  • 7
  • 7
  • 6
  • 6
  • 6
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Internacionalización de las micro y pequeñas empresas (mypes) textiles. Estudio empírico de las mypes textiles en Lima Metropolitana

Maekawa Miyasato, César Daniel 11 November 2014 (has links)
En el presente trabajo se analiza el proceso de internacionalización de las micro y pequeñas empresas (mypes) textiles bajo dos modelos: gradual o Uppsala y acelerado o nuevas empresas internacionales, trabajado con una base de datos común en la que se trata de dilucidar cuál de los dos modelos de exportación son los más empleados por ellas. Concluye con la necesidad de profundizar las motivaciones por las cuales las mypes optan por un modelo u otro.
2

A Gradual Non-Convexation Penalty Method for Minimizing VaR

Xi, Jiong January 2012 (has links)
This thesis investigates the portfolio optimization problem using Value-at-Risk (VaR) as a risk measure, when m sample scenarios are given. Minimizing VaR of a portfolio is computationally difficult: it is non-convex, non-smooth, and has many local minima. Recently Gaivoronski and Pflug define a quantile-based smoothed VaR function to approximate the original VaR; this smoothed VaR function is then minimized to obtain the minimal VaR portfolio. Unfortunately this method suffers two problems. Firstly, computational cost of minimization is high since each function evaluation requires O(m^3) work, where m is the number of scenarios. Secondly, it is difficult to determine the smooth parameter. We propose a new gradual non-convexation penalty method which can efficiently solve a VaR minimization problem. We first introduce an auxiliary variable and formulate the VaR minimization problem as an optimization problem with a probabilistic constraint, which involves a sum of step functions. A continuously differentiable piecewise quadratic function is used to approximate the step function. An exact penalty method is used to solve the constrained optimization problem. In an attempt to reach the global minimize, we also use a gradual non-convexation process with the initial problem close to a convex problem. The solution of the kth optimization problem is used as the starting point of the k+1th problem. As the indexing parameter increases, the problem becomes non-convex. Our new method has three advantages. Firstly, our formulation is structurally simpler. Secondly, our method has three computationally more efficient since each function evaluation requires O(m) work. Thirdly, we use a gradual non-convexation process in an attempt to track the global minimum; this also avoids the difficulty in choosing the smooth parameter. Both historical and synthetic data are used to test our VaR minimization method. We compare our method with both Uryasev and Rockafellar’s CVaR minimization method and Gaivoronski and Pflug’s quantile-based smoothed VaR method in terms of VaR, CPU time, and efficient frontiers. We show that our gradual non-convexation penalty method yields better minimal VaR portfolio than the other two methods. In addition, we show that the proposed gradual non-convexation penalty method is computationally much more efficient than Gaivoronski and Pflug’s quantile-based smoothed VaR method, especially when the number of scenarios is large.
3

A Gradual Non-Convexation Penalty Method for Minimizing VaR

Xi, Jiong January 2012 (has links)
This thesis investigates the portfolio optimization problem using Value-at-Risk (VaR) as a risk measure, when m sample scenarios are given. Minimizing VaR of a portfolio is computationally difficult: it is non-convex, non-smooth, and has many local minima. Recently Gaivoronski and Pflug define a quantile-based smoothed VaR function to approximate the original VaR; this smoothed VaR function is then minimized to obtain the minimal VaR portfolio. Unfortunately this method suffers two problems. Firstly, computational cost of minimization is high since each function evaluation requires O(m^3) work, where m is the number of scenarios. Secondly, it is difficult to determine the smooth parameter. We propose a new gradual non-convexation penalty method which can efficiently solve a VaR minimization problem. We first introduce an auxiliary variable and formulate the VaR minimization problem as an optimization problem with a probabilistic constraint, which involves a sum of step functions. A continuously differentiable piecewise quadratic function is used to approximate the step function. An exact penalty method is used to solve the constrained optimization problem. In an attempt to reach the global minimize, we also use a gradual non-convexation process with the initial problem close to a convex problem. The solution of the kth optimization problem is used as the starting point of the k+1th problem. As the indexing parameter increases, the problem becomes non-convex. Our new method has three advantages. Firstly, our formulation is structurally simpler. Secondly, our method has three computationally more efficient since each function evaluation requires O(m) work. Thirdly, we use a gradual non-convexation process in an attempt to track the global minimum; this also avoids the difficulty in choosing the smooth parameter. Both historical and synthetic data are used to test our VaR minimization method. We compare our method with both Uryasev and Rockafellar’s CVaR minimization method and Gaivoronski and Pflug’s quantile-based smoothed VaR method in terms of VaR, CPU time, and efficient frontiers. We show that our gradual non-convexation penalty method yields better minimal VaR portfolio than the other two methods. In addition, we show that the proposed gradual non-convexation penalty method is computationally much more efficient than Gaivoronski and Pflug’s quantile-based smoothed VaR method, especially when the number of scenarios is large.
4

La prescripción gradual, aplicada a los delitos de lesa humanidad

Fernández Neira, Karinna January 2010 (has links)
Tesis (magíster en derecho) / Es precisamente, “la prescripción gradual”, el objeto de estudio del presente trabajo, debido a que su aplicación a delitos que la propia Corte Suprema declara de naturaleza imprescriptible, además de ser improcedente, produce la eliminación de todas las agravantes que rodean la comisión del ilícito y confiere al sentenciador la posibilidad de atenuar la pena en hasta tres grados. Enunciado el problema, con el objeto de orientar esta investigación, formulo la siguiente hipótesis, que se compone de dos aspectos. Los que demostrados permiten rechazar fundadamente, la aplicación que la Corte Suprema realiza de la prescripción gradual en casos seguidos por violaciones a los derechos humanos cometidos durante la dictadura militar, a los que previamente asigna el carácter de imprescriptibles: Con el propósito de comprobar los diversos aspectos que conforman esta hipótesis, dividiré la presente investigación en cuatro Capítulos. En el Capítulo I abordaré la imprescriptibilidad de los delitos de lesa humanidad, tratando los aspectos generales del instituto de la prescripción y las razones que fundamentan el carácter imprescriptible de los crímenes internacionales. Posteriormente, expondré las fuentes que consagran la imprescriptibilidad y, finalmente, en base a dicha argumentación me referiré brevemente a los aspectos más controvertidos de la mencionada imprescriptibilidad. La aplicación de la prescripción gradual a los casos seguidos por violaciones a los derechos humanos será materia del Capítulo II. En él, examinaré la jurisprudencia de la Corte Suprema al enjuiciar penalmente los crímenes perpetrados en el transcurso de la dictadura militar. También, analizaré detalladamente el razonamiento seguido por la Corte Suprema para declarar aplicable la prescripción gradual en tres fallos representativos del actual período jurisprudencial y, concluiré el capítulo, examinando detalladamente el instituto de la prescripción gradual, fijando su concepto, naturaleza jurídica y efectos, a fin de demostrar que la Corte Suprema al aplicar la prescripción gradual a los casos de secuestros y homicidios perpetrados durante la dictadura militar, no cumple con los requisitos contemplados en el artículo 103 del Código penal. En el Capítulo III examinaré las obligaciones internacionales contenidas en la Convención Americana, con especial atención en la obligación de sancionar, su contenido y aspectos más relevantes, acudiendo a diversas fuentes del Derecho internacional que se refieren a ella, fundamentalmente a la jurisprudencia emanada de la Corte Interamericana de Derechos Humanos. La tarea de demostrar que los efectos de aplicar la prescripción gradual en casos seguidos por violaciones a los derechos humanos, estableciendo penas desproporcionales y permitiendo la libertad de los responsables, constituye una infracción a la obligación de sancionar, la que, además, en algunos de los casos se asocia a la figura de la impunidad, será desarrollada en el Capítulo IV. La conclusión que afirma, que no corresponde continuar aplicando un instituto improcedente y cuyos efectos implica la infracción de obligaciones internacionales destinadas a proteger los derechos fundamentales, será recogida en la parte final de esta investigación.
5

A study of the ornate antiphons in MS. Vat. lat. 5319

Colk, Alma Lorraine January 1971 (has links)
To date, there has been no detailed or comparative analysis of the repertory known as the Old-Roman Chant. Although the historical and liturgical problems created by the recent discovery of this repertory may be found in scattered writings, no one has published a detailed study of the music itself. Those that have written on the Old-Roman melodies have confined their attention to isolated examples. This study is concerned with the Introits, Offertories, and Communions of MS Vat. lat. 5319, an Old-Roman Graduale which dates from the late eleventh century. Whenever possible, a comparison has been made with their Gregorian counterparts. The introduction summarizes the basic, historical study of the Old-Roman repertory; the three main chapters treat each antiphon cycle in turn; and the final chapter places the work of this thesis in an overall context. That we are dealing with an early repertory is indicated by such features as the close relationship between the Communion antiphons and their verses and the striking uniformity in cadential patterns. Although the Old-Roman version bear a close musical relationship to the Gregorian, certain evidence indicates that they are earlier. The basic form of all the Old-Roman Mass antiphons is clearly a recurring psalm-tone formula which usually appears in an ornamented form throughout the chant. This feature is not as evident in the Gregorian melodies and may well be a link to an earlier oral tradition. An example is offered for the difference in melodic style between the Old-Roman Introits, Offertories, and Communions. The Offertories and Communions can be seen as elaborations of earlier simpler forms still represented by the Introits. In short, the ornate antiphons of MS Vat. lat. 5319 are shown to be, basically, redactions prior to their Gregorian counterparts. / Arts, Faculty of / Music, School of / Graduate
6

Abstracting gradual typing: Metatheory and applications

Toro Ipinza, Matías January 2019 (has links)
Tesis para optar al grado de Doctor en Ciencias, Mención Computación / Han habido muchos enfoques para integrar tipado estático y dinámico. Uno de los enfoques más notables es el del tipado gradual. El enfoque clásico para diseñar lenguajes graduales es usualmente ad-hoc, pero existen metodologías que sistematizan este proceso. Una de ellas es la Abstracting Gradual Typing (AGT), que ayuda a construir sistemáticamente lenguajes graduales a partir de lenguajes estáticamente tipados usando interpretación abstracta al nivel de tipos. A pesar que se a mostrado que AGT a sido efectiva en diferentes contextos, hay aún muchas preguntas abiertas: ¿AGT escala a mecanismos de lenguaje y disciplinas de tipos complejos? ¿Que lenguajes obtienen al usar abstracciones más ricas, o al introducir imprecisión de una manera poco convencional? ¿Cómo se compara el lenguaje gradual resultante con lo existente en la literatura? ¿Que propiedades AGT garantiza de preservar por construcción? ¿Podemos aplicar AGT a un lenguaje gradual derivado con AGT? En esta tesis se trata de responder a estas preguntas, aplicando AGT a disciplinas de tipos y mecanismos de lenguaje complejos. Primero, se aplica AGT a un cálculo lambda con tipado simple y referencias mutables, donde se muestra que una directa aplicación de AGT no garantiza una semántica eficiente respecto al espacio. Se prueba equivalencia contextual con uno de los lenguajes graduales con referencias encontrados en la literatura. Segundo, se aplica AGT a un lenguaje con tipado de seguridad y referencias, introduciendo imprecisión solo en las etiquetas de seguridad de los tipos. Se aprende que una aplicación directa de AGT sólo garantiza preservar por construcción la seguridad de tipos y los criterios refinados de lenguajes graduales. En orden de satisfacer no-interferencia, la propiedad semántica crucial del lenguaje estático, se deben refinar las abstracciones usadas en la semántica dinámica. Pero debido a las referencias mutables, se agrega un chequeo extra en la regla de reducción de asignaciones para prevenir flujos implícitos de información a través de la memoria. Este chequeo extra rompe la garantía gradual dinámica, la cual es parte de los criterios refinados de los lenguajes graduales. Tercero, se aplica AGT para introducir una nueva forma de imprecisión en los tipos, llamada unión gradual, un diseño original de tipos de unión que combina ambos beneficios de uniones etiquetadas y no etiquetadas. Se descubre que las uniones graduales interactúan con el tipo desconocido en una forma que exige un enfoque estratificado para AGT, dependiendo de la composición de dos interpretaciones de abstracción distintas en orden de recuperar optimalidad. Cuarto, se aplica AGT a System F, un lenguaje que soporta polimorfismo paramétrico. Se descubre que una aplicación directa de AGT rompe parametricidad, una propiedad semántica crucial de System F. En orden de recuperar parametricidad, se refinan las abstracciones (y se personalizan ciertas operaciones) usadas en la semántica dinámica. Esta personalización ayuda a preservar parametricidad pero a costa de la violar la garantía gradual dinámica. Esta garantía fue dejada como una conjetura en todos los trabajos previos; aquí se prueba que es simplemente incompatible con la noción clásica de parametricidad. Sin embargo, se establece una propiedad más débil que permite refutar varias afirmaciones acerca de teoremas graduales gratis, clarificando el tipo de razonamiento soportado por la parametricidad gradual. / CONICYT-PCHA/Doctorado Nacional/2015-21150510
7

Modelos de recursividade aplicados à percussão com suporte tecnológico / Models of recursion applied to percussion mediated by technological process

Campos, Cleber da Silveira 07 December 2012 (has links)
Orientadores: Jônatas Manzolli, Fernando Augusto de Almeida Hashimoto / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Artes / Made available in DSpace on 2018-08-21T15:36:18Z (GMT). No. of bitstreams: 1 Campos_CleberdaSilveira_D.pdf: 5383709 bytes, checksum: 9fbbd1f6fb089fb64097a7c772db5d62 (MD5) Previous issue date: 2012 / Resumo: Dentro da linha de pesquisa de processos criativos voltados à composição e à improvisação por meios acústicos e tecnológicos, a Tese apresenta um estudo focado na aplicação de processos graduais e recursivos para gerar estruturas musicais no contexto da percussão mediada por suporte tecnológico. Do repertório para percussão vinculada à noção de Processo Gradual, conceito criado por Reich (1968), extraíram-se Modelos para Processos Criativos em Percussão (MPCP). O estudo pormenorizado desses modelos permitiu a articulação de nuances, detalhes e diferenças existentes nos processos graduais aplicados à percussão, aqui representada pelo instrumento africano Djembê. O processamento computacional permitiu identificar, organizar, controlar e expandir as diferenças presentes nas estruturas sonoras através da criação de uma Taxonomia de Gestos Musicais Interpretativos (TGMI). Analisou-se o espectrograma para medir as frequências características e as durações das ressonâncias do Djembê. Tais medições, relacionadas às características físicas e geométricas do instrumento e com a parametrização da TGMI, nortearam o desenvolvimento de processos de interação musical. Adotaram-se, ainda, outros dois componentes na metodologia de pesquisa: 1) Modelagem sonora pré-composicional em que amostras sonoras do Djembê foram gravadas, analisadas e relacionadas às possibilidades de controle por computador - procedimento realizado em tempo diferido. O processo de análise foi conduzido à aplicação sistemática dos MPCP em Estudos Recursivos para Improvisação em Tempo Real; 2) Oficinas de criação em que foram relacionados ciclos musicais aplicados ao Djembê e manipulados pela improvisação via programação em Pure Data (PD), em tempo real. Ao final, concluiu-se que o conceito de Processo Gradual de Reich, relacionado aos instrumentos de percussão, foi ampliado com a TGMI desenvolvida durante a pesquisa. O processamento computacional vinculado a recursividade permitiram a manipulação de nuances sonoras encontradas nas oficinas, que produziram novos modelos timbrístico texturais no contexto da performance musical mediada por processos tecnológicos / Abstract: This Thesis presents a research on creative processes focusing composition and improvisation with percussion instruments and technology. It is a study on an application of Music Gradual Processes and recursive structures to musical improvisation. More specifically, it studies works composed for percussion based on the notion of Gradual Process, a concept created by Reich (1968), and extract from them Models for Creative Processes in Percussion (MPCP). The detailed study of these models brought up the possibility of articulating the nuances, details, variations on gradual processes applied to percussion. Further, we apply these models in compositional studies for the African percussion instrument - Djembe. The recursive models enabled to organize, control and expand the variation sound structures through the development of a methodology for a Taxonomy of Interpretive Musical Gestures (TGMI) of the Djembe. We analyzed the spectrogram to measure characteristic frequencies and durations of resonances produced by the Djembe. Such quantitative measures, which are related to the physical and geometrical characteristics of this instrument, enabled musical interaction in real time. In addition to this quantitative analysis, research methodology was based on two other components: 1) Workshops where the Djembe sound samples were recorded, analyzed and related to control via digital technology - procedure performed off-line; 2) Workshops in which they were created music cycles applied to African percussion instruments and manipulated through improvisation, used to generate melodic textural profiles programmatically in Pure Data (PD), a procedure performed in real time. Then the analysis was conducted to a systematic development of recursive MPCP Studies for Improvisation in real time. The Thesis conclusion point out to: Reich's Gradual Process concept, related exclusively with percussion instruments, has been expanded with the TGMI and computer processing enabled creation of new models for timbre and textural improvisation and for studying musical performance mediated by digital technology / Doutorado / Processos Criativos / Doutor em Música
8

A influência de stakeholders em processos de mudança institucional

Cabral, Davi de Paula 08 March 2017 (has links)
Dissertação (mestrado)—Universidade de Brasília, Faculdade de Economia, Administração e Contabilidade, Programa de Pós-Graduação em Administração, 2017. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2017-05-03T13:32:54Z No. of bitstreams: 1 2017_DavidePaulaCabral.pdf: 2058085 bytes, checksum: 49c462dc70510b247a1b4f7cb886a81d (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2017-05-09T20:47:19Z (GMT) No. of bitstreams: 1 2017_DavidePaulaCabral.pdf: 2058085 bytes, checksum: 49c462dc70510b247a1b4f7cb886a81d (MD5) / Made available in DSpace on 2017-05-09T20:47:19Z (GMT). No. of bitstreams: 1 2017_DavidePaulaCabral.pdf: 2058085 bytes, checksum: 49c462dc70510b247a1b4f7cb886a81d (MD5) Previous issue date: 2017-05-09 / Esta dissertação contribui para explicar como os stakeholders de uma autoridade governamental reguladora exercem influência em processos de mudança institucional. Para tanto, procurou-se analisar documentos e relatos acerca de um episódio no tempo que exemplificasse a questão de forma emblemática, ocorrido em 2012, mas associado a eventos antecedentes e consequentes: a realização, pelo Banco Central do Brasil, de uma Audiência Pública, propondo a normatização da responsabilidade socioambiental do Sistema Financeiro Nacional, em que os stakeholders são chamados a atuar como agentes de mudança. Com base em um referencial teórico misto, contemplando a Teoria de Stakeholders e a Teoria de Mudança Institucional Gradual e Transformativa, o estudo foi conduzido por um recorte transversal com perspectiva longitudinal, de natureza qualitativa, organizado cronologicamente e conforme o diagrama metodológico da Estrutura Narrativa, de forma a melhor explicar o fenômeno em pauta. A investigação revelou que as organizações reguladas por uma entidade reguladora que cria, preserva e modifica as regras do ambiente institucional, buscam agregar-se em entidades de classe que acumulam a relevância de seus representados e assumem o papel de stakeholders e agentes de mudança institucional perante a entidade reguladora. Por meio do estudo desse fenômeno, as teorias base foram associadas para se estabelecer métodos de análise do comportamento desses agentes, uma vez demonstrado haver relação entre o exercício, por parte dos agentes, dos atributos de stakeholders, a adoção de estratégias de mudança institucional e a percepção de sensibilidade das variáveis do ambiente institucional à influência de sua ação. Contudo, o presente estudo apresentou limitações, dadas a natureza recente do episódio, que tratou de temática ainda em desenvolvimento, a complexidade alcançada pelo conjunto de interesses que orbitam ao redor das entidades de classe e as limitações do próprio conjunto teórico adotado, indicando o surgimento de oportunidades de pesquisa a partir desse estudo. / This dissertation contributes to explain how stakeholders of a regulatory governmental authority exert influence in institutional change processes. To this end, we sought to examine documents and reports about an episode in time that could to exemplify the issue so emblematic, occurred in 2012, but associated to antecedent and consequent events: the realization, by the Central Bank of Brazil, of a Public Hearing, proposing the standardization of the social and environmental responsibility of the National Financial System, in which stakeholders are called to act as agents of change. Based on a mixed theoretical framework, contemplating the Stakeholder Theory and the Theory of Gradual and Transformative Institutional Change, the study was conducted by a transversal cut with a longitudinal perspective, of a qualitative nature, organized chronologically and according to the methodological diagram of the Narrative Structure, in order to better explain the phenomenon in question. The investigation revealed that organizations governed by a regulatory body that creates, maintains and changes the rules of the institutional environment, seek to aggregate into class entities that collect the relevance of their represented and assume the role of stakeholders and agents of institutional change to the regulatory. Through the study of this phenomenon, the basic theories were associated to establish agents’ behavior analysis methods, once demonstrated a relation between the exercise by the agents of its stakeholders attributes, the adoption of institutional change`s strategies and the perception of sensitivity of the institutional environment variables to the influence of its action. However, the present study had limitations, given the recent nature of the episode, which dealt with the issue still under development, the complexity achieved by the set of interests that orbit around class entities and the limitations of the theoretical set adopted, indicating the emergence of research opportunities from this study.
9

O CONCEITO KANTIANO DE MAL RADICAL E O RESGATE DA DISPOSIÇÃO ORIGINÁRIA PARA O BEM / THE KANTIAN CONCEPT OF RADICAL EVIL AND THE RANSOM OF THE ORIGINAL DISPOSITION FOR THE GOOD

Pinheiro, Letícia Machado 27 February 2007 (has links)
The aim of this dissertation is to reconstruct the concept of radical evil (das radikale Böse) treated by Kant in his writing On the radical evil in human nature (Über das radicale Böse in der menschlichen Natur), which was published in 1792. Starting from the data provided by this text, the terms in which Kant discusses both the problem of moral evil in the proper sense (conceived as radical), and the possibility of a human progress with regard to morality, are explicated. In that thematic, Kant introduces some concepts which pertain exclusively to the question of evil, among them, the concept on intention (Gesinnung), the concepts of inclination towards the evil (Hang zum Bösen) and of disposition to the good (Anlage zum Guten), also the ideas of revolution and gradual reform (as means to realize moral progress), and finally a new definition of nature. Even if it uses its proper terms, the writing on the evil keeps many basic concepts which Kant had introduced in earlier writings. For this reason, the dissertation does not limitate itself to the writing On the radical evil, but also treats of other kantian works, which serves two purposes: first, an explicative one, clarifying questions already well established in kantian philosophy; and secondly, a comparative one, both in relation with terms which receive a different meaning, and with regard to changes of the claims made, which reflect the new context and follow a different configuration. This is the horizon which the present dissertation is itended to reconstruct and within which it locates itself. Regarding the question of the evil (and its qualification as radical), various other questions are discussed in a specific manner, for instance, the origin of evil, the responsibility of man for its existence, the notions of virtue (both in the moral and in the legal sphere), the concept of evil action, the idea of moral education, and finally, the function of religion as supporting and stabilizing good moral conduct. These questions were harmonized as far as possible, and reconstructed from the point of view which caracterizes kantian philosophy: the critical-systematic point of view. / A presente Dissertação é uma reconstrução do conceito de mal radical (Radicale Böse) tratado por Kant em seu artigo Sobre o mal radical na natureza humana (Über das radicale Böse in der menschlichen Natur), publicado em 1792. A partir dos dados desse texto o que se fez foi explicitar em que termos Kant aborda tanto a questão do mal moral propriamente dito (concebido posteriormente como radical), como também a da possibilidade de um progresso humano no que tange à moralidade. Nessa tratativa, Kant introduz algumas noções que são exclusivas à problemática do mal, entre elas, o conceito de intenção (Gesinnung), as noções de propensão para o mal (Hang zum Bösen) e de disposição para o bem (Anlage zum Guten), também as idéias de revolução e de reforma gradual (como meios de se alcançar o progresso moral), e, enfim, uma nova definição de natureza. Embora se sirva de termos exclusivos, o artigo sobre o mal mantém muitas das noções básicas desenvolvidas por Kant em obras anteriores. Daí porque a Dissertação não se restringe ao artigo Sobre o mal radical, mas se estende por outras obras em busca de recorrências feitas com dois objetivos bem precisos: um, elucidativo, em que se apresenta questões já plenamente consolidadas na filosofia kantiana; outro, comparativo, seja em relação a termos que adquiriram um sentido distinto, seja em vista de alterações propositivas, repensadas diante de um novo contexto e submetidas a uma nova configuração. Esse é o horizonte que esta Dissertação busca reconstruir e dentro do qual se insere. Relativo à questão do mal (e de seu qualificativo de radical), várias outras questões são tratadas de modo específico, por exemplo, a origem do mal, a imputabilidade do homem pela sua existência, as noções de virtude (concebidas tanto no domínio moral quanto no campo legal), o conceito de ação viciosa, a idéia de uma educação moral e, além dela, a função da religião como fomentadora e mantenedora de uma boa conduta moral. Essas questões, na medida do possível, foram harmonizadas entre si e reconstruídas pelo ponto de vista próprio da filosofia de Kant: o crítico-sistemático.
10

An Integrated Theory of Type-Based Static and Dynamic Verification / 型に基づく静的・動的検証の統合理論

Sekiyama, Taro 23 March 2016 (has links)
© 2015 Springer. http://dx.doi.org/10.1007/978-3-319-26529-2_11© 2015 ACM, Inc. http://doi.acm.org/10.1145/2676726.2676996 / 京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第19863号 / 情博第614号 / 新制||情||107(附属図書館) / 32899 / 京都大学大学院情報学研究科通信情報システム専攻 / (主査)教授 五十嵐 淳, 教授 山本 章博, 教授 岡部 寿男 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM

Page generated in 0.0497 seconds