Bibliografias temáticas / Interpretation formalism

Índice

  1. Artigos de revistas
  2. Teses / dissertações
  3. Livros
  4. Capítulos de livros
  5. Trabalhos de conferências
  6. Relatórios de organizações

Literatura científica selecionada sobre o tema "Interpretation formalism"

Autor: Grafiati
Publicado: 29 de março de 2025

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Interpretation formalism".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Artigos de revistas sobre o assunto "Interpretation formalism"

1

Baumann, Veronika, e Stefan Wolf. "On Formalisms and Interpretations". Quantum 2 (15 de outubro de 2018): 99. http://dx.doi.org/10.22331/q-2018-10-15-99.

Texto completo da fonte
Resumo:
One of the reasons for the heated debates around the interpretations of quantum theory is a simple confusion between the notions of formalism versus interpretation. In this note, we make a clear distinction between them and show that there are actually two inequivalent quantum formalisms, namely the relative-state formalism and the standard formalism with the Born and measurement-update rules. We further propose a different probability rule for the relative-state formalism and discuss how Wigner's-friend-type experiments could show the inequivalence with the standard formalism. The feasibility in principle of such experiments, however, remains an open question.
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Hathaway, Joshua, e Michael R. W. Dawson. "Giant Steps In The Interpretation Of A Musical PDP Network". Eureka 4, n.º 1 (28 de julho de 2014): 24–29. http://dx.doi.org/10.29173/eureka22826.

Texto completo da fonte
Resumo:
We first introduce the notion of chord progressions by describing a particular example (the II-V-I) that is related to the Coltrane changes. Second, we describe the Coltrane changes using a formalism derived from previous musical investigations with neural networks (Yaremchuk & Dawson, 2005, 2008). Finally, we describe how we trained a neural network to generate the Coltrane changes, how we analyzed its internal structure, and the implications of this interpretation. In particular, we discovered that a network represented transitions between chords in a fashion that could be described in terms of a new musical formalism that we had not envisioned. In short, this paper shows that the interpretation of the internal structure of a musical network can provide new formalisms for representing musical regularities, and can suggest new directions for representational research on musical cognition.
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

HUQ, M., P. I. OBIAKOR e S. SINGH. "POINT PARTICLE WITH EXTRINSIC CURVATURE". International Journal of Modern Physics A 05, n.º 22 (20 de novembro de 1990): 4301–10. http://dx.doi.org/10.1142/s0217751x90001793.

Texto completo da fonte
Resumo:
We have considered point particle action with extrinsic curvature having a geometric interpretation. It is shown that the Hamiltonian formalism possesses more gauge symmetries than the Lagrangian one. Equivalence of the BRST method in both formalisms is also exhibited.
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

Hahn, Songsuk Susan. "Logical Form and Ethical Content". Hegel Bulletin 32, n.º 1-2 (2011): 143–62. http://dx.doi.org/10.1017/s0263523200000203.

Texto completo da fonte
Resumo:
Hegel's empty formalism charge is taken, virtually without exception, as a serious objection to Kant's categorical imperative and a powerful refutation of his formalist ethics. The dominant interpretation is represented by Bradley, Paton, Mill, Korsgaard, Guyer, Wood, Schneewind, Sedgwick, more recently, Freyenhagen, and others. So far, the dominant interpretation has remained powerfully influential and virtually unchallenged.However, the dominant interpretation tends to take Hegel's empty formalism in isolation from other texts in the corpus, his holistic system, and dialectical method in general. What makes this non-contextualised approach problematic is that it ignores his remarks on formalism in other texts where his use of dialectical and sceptical method is more in evidence. Hegel's emptiness remarks span his entire career, from their appearance in Jena right up to the end of his career in Berlin. In Jena, his views on formal thinking in a logical sense developed alongside his views on formalism in ethics. Prima facie, the arguments bring together two subject matters that seem to have nothing to do with one another. This may explain why no one has given an interpretation that brings the two domains together. But it is worth noting that Kant himself brings logical considerations to bear on his conception of the moral principle. His distinction between the form of a moral principle and its empirical content recalls his characterisation of logical laws in the firstCritique(B77-B78/A53-A54).
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

van Eijndhoven, S. J. L., e J. de Graaf. "A mathematical interpretation of Dirac's formalism". Reports on Mathematical Physics 23, n.º 3 (junho de 1986): 299–326. http://dx.doi.org/10.1016/0034-4877(86)90026-1.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Wilce, Alexander. "Formalism and Interpretation in Quantum Theory". Foundations of Physics 40, n.º 4 (20 de janeiro de 2010): 434–62. http://dx.doi.org/10.1007/s10701-010-9410-x.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Seppänen, Samuli. "Formalism and anti-formalism in the Chinese Communist Party’s governance project". Global Constitutionalism 10, n.º 2 (julho de 2021): 290–306. http://dx.doi.org/10.1017/s2045381720000271.

Texto completo da fonte
Resumo:
AbstractThis article argues that the governance project of the Chinese Communist Party (CCP) oscillates between rule-based formalism and anti-formalist scepticism about rule-based governance. In this dichotomy, anti-formalist arguments support CCP leaders’ efforts to maintain and increase the Party’s influence over the judiciary and other state organs, which is a key justification for the Party’s power. Formalist language, in contrast, supports Party leaders’ attempts to constrain lower-level cadres’ uses of power within the Party. Formalist language is particularly prominent in the writings of Party ideologues on the interpretation of the Party’s internal regulations, including the CCP Constitution. At the same time, Party ideology also provides for various anti-formalist arguments about rule-based governance within and outside the Party. Paradoxical as it may be, the Party leadership seeks to exert rule-transcending political leadership through formal rules. While the focus of this article is on China, it argues that other illiberal regimes may also be studied in terms of similar, potentially incoherent approaches to rule-based governance.
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Bagwell, Timothy J. "American Formalism and the Problem of Interpretation". Poetics Today 7, n.º 3 (1986): 591. http://dx.doi.org/10.2307/1772521.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

HAJRA, K. "STOCHASTIC INTERPRETATION OF POSITION-MOMENTUM UNCERTAINTY RELATION". Modern Physics Letters A 04, n.º 15 (10 de agosto de 1989): 1469–77. http://dx.doi.org/10.1142/s0217732389001684.

Texto completo da fonte
Resumo:
Heisenberg’s uncertainty relation is derived here from Nelson’s stochastic quantization procedure introducing Brownian motion in the internal space of a particle apart from that in the external space. This helps us to have a relativistic generalisation of Nelson’s formalism when a relativistic quantum particle appears to be a stochastically extended one. The nonrelativistic formalism is obtained in the sharp point limit. Quantum probability is found to be a manifestation of the internal geometry in this sharp point limit.
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Santos, Emilio. "Stochastic Interpretation of Quantum Mechanics Assuming That Vacuum Fields Are Real". Foundations 2, n.º 2 (4 de maio de 2022): 409–42. http://dx.doi.org/10.3390/foundations2020028.

Texto completo da fonte
Resumo:
We characterize the electromagnetic vacuum as a stochastic field. Some consequences, like the particle behaviour of light, are studied. The stochastic approach is connected with the standard Hilbert space formalism via the Weyl transform. Several experiments involving spontaneous parametric down conversion are studied comparing Hilbert space and Weyl–Wigner formalisms. This allows an intuitive picture of entanglement to be obtained as a correlation between field fluctuations in distant places, involving the vacuum fields. The analysis shows that the Bell definition of local realism is not general enough, whence the reported violation of Bell inequalities does not refute local realism.
Estilos ABNT, Harvard, Vancouver, APA, etc.
Mais fontes

Teses / dissertações sobre o assunto "Interpretation formalism"

1

Pintore, Anna. "Legal formalism: a comparison between Jori and Schauer". Pontificia Universidad Católica del Perú, 2017. http://repositorio.pucp.edu.pe/index/handle/123456789/116188.

Texto completo da fonte
Resumo:
This essay examines and juxtaposes Mario Jori’s and Frederick Schauer’s ideas on legal formalism. Although developed independently of each other, these ideas show remarkable similarities: both focus on the notion of norm or rule as a tool for clarifying the notion of legal formalism; both defend legal formalism from the criticisms routinely moved against it. The author maintains that Jori’s and Schauer’s theories may contribute to shed light on (and criticize) the controversial notion of defeasibility of legal rules; they may also contribute to scale down, from a legal-theoretical point of view, the novelties of contemporary constitutional orders; finally, it may help to better understand their working machinery.
In questo saggio vengono esaminate e messe a confronto le idee di Mario Jori e di Frederick Schauer in tema di formalismo giuridico. Pur essendo state elaborate l’una indipendentemente dall’altra, presentano notevoli somiglianze, perché entrambe usano la nozione di norma o regola come punto focale per chiarire la nozione di formalismo giuridico, e perché entrambe difendono quest’ultimo dalle critiche usualmente rivolte ad esso. L’autrice ritiene che l’esame delle idee dei due autori possa contribuire a chiarire (e criticare) la controversa nozione di defeasibility delle norme giuridiche e possa altresì, in via generale, contribuire a ridimensionare, dal punto di vista teorico-giuridico, le novità del diritto degli odierni Stati costituzionali, oltre che a comprenderne meglio i meccanismi di funzionamento.
En este trabajo se examina y compara las ideas de Mario Jori y de Frederick Schauer en relación con el formalismo jurídico. A pesar de haber sido desarrolladas de forma independiente unas de las otras, dichas ideas presentan notables semejanzas ya que ambos autores utilizan el concepto de una norma o regla como punto focal para aclarar la noción de formalismo jurídico, y porque ambos lo defienden de las críticas que usualmente se le dirigen. La autora considera que el examen de las ideas de los dos autores puede contribuir a aclarar (y criticar) la controvertida noción de defeasibility (derrotabilidad) de las normas jurídicas y, de modo general, también a redimensionar, desde el punto de vista teórico-jurídico, las novedades que presentan los derechos de los modernos Estados constitucionales, y comprender mejor los mecanismos de su funcionamiento.
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Baker, David, e n/a. "Of Unprincipled Formalism: Readings in the Work of David Malouf and Peter Carey". Griffith University. School of Humanities, 2003. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20040616.120642.

Texto completo da fonte
Resumo:
This thesis develops a critical reading methodology entitled unprincipled formalism. This methodology is tested in close readings of three relatively contemporary Australian literary texts: David Malouf's short story "A Traveller's Tale" (1986) and novella Remembering Babylon (1994), and Peter Carey's short story "The Chance" (1978). Unprincipled formalism is developed in relation to three broad contexts: the fragmented state of the contemporary discipline of literary studies; the complex of international economic and social phenomena which goes under the general rubric of globalisation; and the specific Australian left-liberal literary critical tradition which I have termed, for convenience sake, the Meanjin literary formation. Unprincipled formalism does not draw a distinction between form and content. Unprincipled formalism is a critical methodology that is both avowedly socially concerned and strictly formalist. It is concerned with articulating and analysing the particular social and political interventions made by literary texts (as well as the resultant critical discussion of those texts) through a consideration of the formal techniques by which literary texts situate themselves as acts of communication. Principal among these techniques is the mise en abyme. The thesis provides a detailed analysis of debates around the mise en abyme informed by the work of theorists such as Ross Chambers, Lucien Dallenbach, Frank Lentricchia, Moshe Ron, Jacques Derrida and others. Politically, unprincipled formalism attempts to steer a middling course between neo-liberal triumphalism on the one hand and nostalgic left romanticism on the other. This involves on the one hand a critique of neo-liberalism drawing on the work of Charles Taylor, Stephen Holmes, John Frow and others, and on the other a critique of a nostalgic romantic tendency in "progressive" critical technologies such as postmodern and postcolonial literary studies.
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Baker, David. "Of Unprincipled Formalism: Readings in the Work of David Malouf and Peter Carey". Thesis, Griffith University, 2003. http://hdl.handle.net/10072/366447.

Texto completo da fonte
Resumo:
This thesis develops a critical reading methodology entitled unprincipled formalism. This methodology is tested in close readings of three relatively contemporary Australian literary texts: David Malouf's short story "A Traveller's Tale" (1986) and novella Remembering Babylon (1994), and Peter Carey's short story "The Chance" (1978). Unprincipled formalism is developed in relation to three broad contexts: the fragmented state of the contemporary discipline of literary studies; the complex of international economic and social phenomena which goes under the general rubric of globalisation; and the specific Australian left-liberal literary critical tradition which I have termed, for convenience sake, the Meanjin literary formation. Unprincipled formalism does not draw a distinction between form and content. Unprincipled formalism is a critical methodology that is both avowedly socially concerned and strictly formalist. It is concerned with articulating and analysing the particular social and political interventions made by literary texts (as well as the resultant critical discussion of those texts) through a consideration of the formal techniques by which literary texts situate themselves as acts of communication. Principal among these techniques is the mise en abyme. The thesis provides a detailed analysis of debates around the mise en abyme informed by the work of theorists such as Ross Chambers, Lucien Dallenbach, Frank Lentricchia, Moshe Ron, Jacques Derrida and others. Politically, unprincipled formalism attempts to steer a middling course between neo-liberal triumphalism on the one hand and nostalgic left romanticism on the other. This involves on the one hand a critique of neo-liberalism drawing on the work of Charles Taylor, Stephen Holmes, John Frow and others, and on the other a critique of a nostalgic romantic tendency in "progressive" critical technologies such as postmodern and postcolonial literary studies.
Thesis (PhD Doctorate)
Doctor of Philosophy (PhD)
School of Humanities
Full Text
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

Motta, Otávio Luiz Verdi. "Justificação da decisão judicial : a motivação e o precedente". reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2014. http://hdl.handle.net/10183/183812.

Texto completo da fonte
Resumo:
O presente estudo propõe que a atual compreensão sobre interpretação judicial influencia no modo de ver a tutela dos direitos. Para isso, parte-se do entendimento de que trabalhar com o direito não é trabalhar com um objeto pronto antes da interpretação, mas com indeterminação. Isso conduz à conclusão de que a interpretação jurídica é um caminho que se percorre por meio de escolhas. Com o reconhecimento de que interpretar envolve escolher, realça-se o papel da justificação das decisões judiciais como ponto fundamental da atividade jurisdicional. Dado que a finalidade do processo civil é a tutela dos direitos, a justificação da decisão abre espaço para a tutela dos direitos em duas perspectivas. De um lado, considerando-se que no processo a interpretação tem o fim de decidir um caso, estrutura-se o discurso da motivação voltado à obtenção de uma decisão justa para as partes, o que corresponde a um meio de colaborar para a tutela dos direitos numa perspectiva particular. De outro, considerando-se que por meio da resolução do caso reduz-se a sua indeterminabilidade, estrutura-se o discurso do precedente voltado à tutela dos direitos numa perspectiva geral por duas frentes: promove-se um tratamento isonômico das pessoas e cria-se um ambiente mais seguro para o desenvolvimento da vida social.
This study proposes that the current understanding of judicial interpretation influences the way we understant the protection of rights. In order to achieve this conclusion, we start from the understanding that dealing with the law does not means to deal with a given object finished before the interpretation process, but with indeterminacy. This leads to the conclusion that legal interpretation is a path that runs by making choices. With the recognition that interpretation involves choosing, it is emphasized the role of the justification of judicial decisions as a key point of judicial activity. Given that the purpose of civil proceedings is the protection of rights, the justification of the decision opens the way for the protection of rights in two perspectives. On the one hand, considering that in the judicial process the interpretation happens for the function of dispute resolutions, it is possible to oganize a discourse of the judicial reason giving aiming to achieve a fair decision for the parties, which corresponds to a means to colaborate for the protection of rights in a particular perspective. On the other hand, considering that through the resolution of the case the indeterminacy of the law is reduced, it is possible to organize a discourse of the judicial precedent aiming to achieve the protection of rights in a broad perspective by two fronts: promoting a isonomic treatment of people and creating a safer enviroment for the development of social life.
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

Laouici, Imadeddine. "Geological knowledge formalization and automation of the structural interpretation process for building 3D architectures of the sub-surface". Electronic Thesis or Diss., Orléans, 2024. https://theses.univ-orleans.fr/prive/accesESR/2024ORLE1072_va.pdf.

Texto completo da fonte
Resumo:
Les systèmes actuels utilisés pour construire des modèles géologiques structuraux 3D offrent des solutions performantes pour les représentations géométriques, mais reposent souvent sur les interprétations des experts et le formalisme mathématique en place. L'un des principaux verrous scientifiques réside dans l'incapacité de ces systèmes à s’impliquer dans le processus d’interprétation, en raison de l’utilisation tacite des connaissances par les experts. Cela entraîne des difficultés dans le partage et l'intégration des connaissances au sein des systèmes, ainsi qu'une complexité accrue pour reproduire et communiquer les modèles. Ce travail de recherche explore une approche innovante de modélisation, axée sur la notion d'interprétation et l'utilisation explicite des connaissances. Deux contributions majeures sont proposées : un formalisme pour l’interprétation et un cadre ontologique pour formaliser les connaissances mobilisées par les experts durant le processus de modélisation
Current systems used to build 3D structural geological models offer essential solutions for geometric representations, but often rely on expert interpretations and the existing mathematical formalism. One of the scientific challenges is the inability of these systems to be deeply involved in the interpretation process due to the tacit use of knowledge by experts. This leads to problems of sharing and integrating knowledge in systems, as well as issues in reproducing and communicating models. This research explores an innovative modeling approach, centered on the notion of interpretation and the explicit use of knowledge. In this context, two major contributions are proposed: an interpretation formalism supported by a prototype algorithm, and an ontological framework to formalize the knowledge used by experts during the modeling process
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Noel, Sophie. "Les effets pervers du formalisme (études à partir du contrat d'auteur)". Thesis, Paris 2, 2012. http://www.theses.fr/2012PA020082/document.

Texto completo da fonte
Resumo:
Le Code de la propriété intellectuelle est dédié à la protection des auteurs. Sur le terrain contractuel, cela se traduit par un formalisme important qui entoure la cession des droits patrimoniaux. Ainsi, le contrat d’auteur doit être rédigé par écrit, doit détailler le contenu du transfert, et doit préciser la rémunération de l’auteur. L’objectif du législateur, en recourant au formalisme, est de tenter de protéger l’auteur partie faible, de mieux l’informer, de restaurer un certain équilibre contractuel. Une étude de la matière révèle rapidement l’échec du formalisme en ce que le dispositif est inutile et inefficace. Pire, il crée nombre d’effets pervers, qui ne peuvent qu’inciter à douter du bien-fondé du choix du législateur. D’autant qu’il n’est pas possible en la matière de s’appuyer sur le rôle modérateur du juge qu’avait décrit Flour : en droit d’auteur, le juge est très exigeant quant au respect des dispositions formalistes et va même parfois au-delà de l’esprit des textes. Le juge n’assouplit pas le formalisme, il le rigidifie. Face à un droit d’auteur compliqué et exigeant, le professionnel, cocontractant de l’auteur et cessionnaire des droits, a souvent recours aux usages et se détourne ainsi du Code de la propriété intellectuelle. Ainsi, un droit parallèle des contrats d’auteur s’est progressivement mis en place. Devant l’échec du formalisme et sa mise à l’écart par la pratique, le législateur a dû réagir : il a choisi la voie de la réforme (très incomplète et imparfaite) en introduisant dans la loi quelques exceptions au formalisme. Le juge quant à lui semble finalement hésiter sur la démarche à suivre. A côté du mouvement très formaliste qui existe en jurisprudence, un autre courant, plus récent est à noter : certains juges décident de faire de l’interprétation du contrat la pièce maitresse de leur intervention pour faire reculer le formalisme. Ces magistrats, bien plus en phase avec la pensée de Flour, semblent nous indiquer la solution aux effets pervers du formalisme
The Code of Intellectual Property is dedicated to the protection of authors. On contractual grounds, this translates into a significant formality surrounding the transfer of copyright. Thus, the author's contract must be in writing, must detail the contents of the transfer, and specify the remuneration of the author. The legislature's objective, using the formalism, is trying to protect the weaker party (the author), to better inform, and restore some balance within the contract. Studying the material quickly reveals the failure of formalism in that the device is useless and ineffective. Worse, it creates many negative effects, which only encourages one to doubt the validity of the choice of the legislature. Even more so, since it is not possible in such a matter, to rely on moderating the role of judge Flour who described: in copyright law, the judge is very demanding with regard to formalistic compliance and sometimes goes beyond the spirit of the text. The judge did not relax the formalism; he has made it more rigid. When faced with complicated and demanding copyright, the professional, the contractor of the author and assignee of rights, often resorts to the practices and so turns away from the Code of Intellectual Property. Thus, a parallel right of copyright agreements is gradually implemented. Confronted with the failure of formalism and sidelining the practice, the legislature had to react: he chose the path of reform (very incomplete and imperfect) by introducing into the law some exceptions in the formalism. The Judge, meanwhile, seems ultimately unsure of how to proceed. Aside from the movement’s very formalistic jurisprudence, on another more recent note: some judges decide to make the interpretation of the contract the centerpiece of their intervention in order to turn back the formalism. These magistrates, more in line with Flour’s thinking, seem to indicate the solution of the perverse effects of formalism
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Fassassi, Idris. "La légitimité du contrôle juridictionnel de la constitutionnalité des lois aux États-Unis : étude critique de l'argument contre-majoritaire". Thesis, Aix-Marseille, 2015. http://www.theses.fr/2015AIXM1088.

Texto completo da fonte
Resumo:
Comment expliquer que des juges non élus puissent écarter la volonté des représentants élus et responsables devant le peuple ? La critique principale adressée à l’encontre du contrôle juridictionnel de constitutionnalité des lois renvoie ainsi à sa dimension anti-démocratique, puisque les conceptions classiques de la démocratie mettent l’accent sur l’élection. Aux États-Unis, cette « difficulté contre-majoritaire » est encore accentuée en raison des origines prétoriennes du "judicial review". Cette étude, centrée sur la Cour suprême, ne vise pas à résoudre la difficulté contre-majoritaire, au demeurant insoluble. L’objectif est d’étudier comment a opéré, et continue d’opérer, la critique contre-majoritaire, à analyser les causes structurelles de la prégnance du débat, et à voir s’il peut être relativisé. Il est en effet possible d’apprécier la dimension majoritaire du "judicial review", au sens où il traduit les aspirations majoritaires du corps social. Entre le « noble rêve», celui d’une Cour héroïquement contre-majoritaire qui protègerait les droits des minorités, et le « cauchemar », celui d’une Cour tyrannique imposant sa volonté, il existe un espace dans lequel on peut envisager la réalité de ce que font les juges. La mise en lumière de l’influence de l’opinion publique sur la Cour ouvre la voie à une appréciation réaliste de ce qu’est le "judicial review", ce qui suppose de s’éloigner des modèles formalistes. Cette relativisation de la difficulté contre-majoritaire n’est pas une résolution de la question. Parce que les travaux de légitimation tendent à banaliser un pouvoir qui doit rester l’objet de discussions, il n’est même pas souhaitable que la question soit résolue
Why should nine unelected judges be able to disregard the will of elected officials accountable to the people ? The main criticism against judicial review highlights its anti-democratic dimension since democracy has long been defined by reference to the majoritarian principle. In the United States, this countermajoritarian difficulty is particularly accentuated in light of the origins of judicial review. This research does not aim to solve the countermajoritarian difficulty, which is in fact unsolvable. The goal is rather to study how the countermajoritarian criticism deployed itself in the course of American history and continues to operate today, to analyze the structural factors explaining the salience of the debate and to consider whether the difficulty can be put into perspective. A careful analysis of the Supreme Court’s case law reveals its majoritarian dimension, in the sense that the Court’s decisions tend to reflect the state of public opinion. Between the «noble dream» of a Court heroically protecting minority rights, and the « nightmare » of a Court tyrannically imposing its will, there is a space in which the reality of the actions of the Court can be analyzed. The evidence of a correlation between public opinion and the Supreme Court paves the way for a more realistic assessment of judicial review and reinforces the need to escape from formalistic modes of reasoning. However, this relativization of the countermajoritarian difficulty does not amount to a resolution of the difficulty. In fact, it is because legitimating efforts tend to normalize a power which should remain a source of discussion that it is ultimately not desirable that the question be solved
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Dejean, Philippe. "Un formalisme pour les entités du traitement et de l'analyse des images". Toulouse 3, 1996. http://www.theses.fr/1996TOU30242.

Texto completo da fonte
Resumo:
Dans le cadre de l'analyse et de l'interpretation d'images, nous proposons une nouvelle approche pour la modelisation des entites de traitement d'images. Cette approche differe de celles implementees dans des systemes classiques. En effet, notre modele de donnees est unique quelle que soit la dimension ou la nature de l'entite manipulee. Il se decompose en cinq elements caracteristiques dont les expressions sont developpees dans un langage rigoureux: leo. Le modele d'operateurs rend compte des transformations d'informations effectuees par ceux-ci, et decrit precisement les entites produites intervenant comme indices visuels durant le processus d'interpretation. Ainsi une sequence d'operateurs est consideree comme un constructeur de concepts fournissant une description de ceux-ci dans le langage propose. Le formalisme que nous avons developpe, constitue des modeles de donnees et d'operateurs et du langage, permet ainsi de decrire de facon rigoureuse le traitement d'images en tant que manipulation de donnees, mais aussi en tant que manipulation de concepts d'un domaine specifique. De cette facon, nos modeles peuvent etre utilises par un systeme de resolution d'objectifs d'analyse d'images. Par le formalisme utilise, ils fournissent des elements interessant pour une bonne comprehension de la chaine produite ou pour une aide a la configuration et a la mise au point de ces chaines
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Mello, Patrícia Perrone Campos. "Nos bastidores do Supremo Tribunal Federal: constituição, emoção, estratégia e espetáculo". Universidade do Estado do Rio de Janeiro, 2014. http://www.bdtd.uerj.br/tde_busca/arquivo.php?codArquivo=7958.

Texto completo da fonte
Resumo:
A tese busca identificar os elementos jurídicos e extrajurídicos que interferem sobre o comportamento judicial do Supremo Tribunal Federal. A análise é desenvolvida com base nos seguintes modelos decisórios: o modelo legalista, o modelo ideológico, o modelo institucional e o modelo estratégico de comportamento judicial. Ao longo do trabalho, examina-se a influência do direito, da ideologia, das normas que regem o Judiciário, das regras que regem as decisões colegiadas, do Poder Executivo, do Poder Legislativo, da opinião pública e da imprensa no processo decisório do Supremo Tribunal Federal.
This work aims at identifying legal and non-legal factors that interfere with Brazilian Supreme Court decisions. The analysis is developed with basis on the legal model, on the attitudinal model, on the institutional model and on the strategic model of judicial decision-making. It examines the influence of constitutional law, ideology, collegial process, Executive Power, Legislative Power, public opinion and of the media on Brazilian Supreme Court attitudes.
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Shorkend, Danny. "A new interpretation of sport derived from art-related aesthetics". Thesis, 2016. http://hdl.handle.net/10500/21797.

Texto completo da fonte
Resumo:
This thesis is concerned with understanding sport theory based on art theory. In so doing, in extending their relationship, a deeper appreciation of both may result. In turn, this may enhance our lives. While postmodern theories of art somewhat devalue the rarefied status of art, at the same time art’s openness is particularly well appointed to understanding other aesthetic domains. Scholarly attention to the so-called aesthetics of the everyday of which sport is an example, is a relatively recent paradigm shift that attempts to give philosophical weight to common, ordinary experiences as aesthetic. Art as the paradigm case of aesthetic experience is therefore useful in illuminating such experiences, one of which is sport. The results of this study are: Like art, sport idealises in its desire for perfection. Like art, sport is a second-order mimetic activity that is autonomous and reflects extra-aesthetic concerns. The implications of the postmodern language turn for art, namely detotalising and/or meaninglessness can be applied to sport. Drawing from Wittgenstein, art and sport are culturally embedded within institutional frameworks and quite simply are learnt ways of thinking and doing. Expressive theories of art were introduced which, it was found, has resonance with sport, as it can be similarly described as an expression of “aesthetic ideas”, to use Kant’s phrase. The artistic formalist perspective and the realization of form led to describing sport as aesthetically beautiful in many ways. One might apply Zangwell’s moderate aesthetic formalism to sport where formal qualities, representation and content co-exist, thus somewhat combining the above conclusions. An analysis of this kind suggests that sport may derive its meaning from an artistic perspective, at least in theory. At the same time, though not the primary focus of this thesis, one might describe the relationship between art and sport as an oscillation, if at times a dialectic, in which case boundaries between them inevitably become more complex. It is conceivable that within that complexity/struggle/play there can be self- realization and world-bettering. It is also conceivable that this is a result of the emergence of a new sub-discipline, namely sports art.
Art History, Visual Arts and Musicology
D. Litt. et Phil. (Art History)
Estilos ABNT, Harvard, Vancouver, APA, etc.

Livros sobre o assunto "Interpretation formalism"

1

Stephen, Cohen, ed. Shakespeare and historical formalism. Aldershot, England: Ashgate, 2007.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Richard, Woodfield, e Sedlmayr Hans 1896-, eds. Framing formalism: Riegl's work. Amsterdam: G+B Arts International, 1999.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Twitchell, Beverly H. Cézanne and formalism in Bloomsbury. Ann Arbor, Mich: UMI Research Press, 1987.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

Center, Langley Research, ed. Interpretation of IEEE-854 floating-point standard and definition in the HOL system. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

Center, Langley Research, ed. Interpretation of IEEE-854 floating-point standard and definition in the HOL system. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Faulkner and Yoknapatawpha Conference (35th 2008 University of Mississippi). Faulkner and formalism: Returns of the text : Faulkner and Yoknapatawpha, 2008. Jackson: University Press of Mississippi, 2012.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Russia) Mezhdunarodnai͡a nauchnai͡a konferent͡sii͡a "Brikovskie chtenii͡a" (2nd 2013 Moscow. Metodologii︠a︡ i praktika russkogo formalizma: Materialy mezhdunarodnoĭ nauchnoĭ konferent︠s︡ii "II Brikovskie chtenii︠a︡: Metodologii︠a︡ i praktika russkogo formalizma" Moskovskiĭ gosudarstvennyĭ universitet pechati imeni Ivana Fedorova Moskva, 20-23 marta 2013 goda = Methodology and Practices of Russian Formalism : Papers of the 2nd Osip Brik International Colloquium - a Linguistic and Interdisciplinary Conference held at the Ivan Fedorov Moscow State University of Printing Arts March 20-23, 2013. Moskva: Azbukovnik, 2014.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Olin, Margaret Rose. Forms of representation in Alois Riegl's theory of art. University Park, Pa: Pennsylvania State University Press, 1992.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Any, Carol Joyce. Boris Eikhenbaum: Voices of a Russian formalist. Stanford: Stanford University Press, 1994.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Eberharter, Markus. Der poetische Formismus Tytus Czyżewskis: Ein literarischer Ansatz der fruehen polnischen Avantgarde und sein mitteleuropaeischer Kontext. Bern: Peter Lang International Academic Publishers, 2004.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
Mais fontes

Capítulos de livros sobre o assunto "Interpretation formalism"

1

Gill, Richard. "Internal Interpretation: Formalism". In Mastering, 359–64. London: Macmillan Education UK, 2006. http://dx.doi.org/10.1007/978-0-230-20852-0_36.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Mitchell, Catherine. "Formalism and contract interpretation". In Interpretation of Contracts, 122–52. Second edition. | Milton Park, Abingdon, Oxon; New York, NY:: Routledge-Cavendish, 2018. http://dx.doi.org/10.4324/9781315761701-5.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Landsberg, P. T., e D. Home. "Wave Function Collapse in the Ensemble Interpretation". In Microphysical Reality and Quantum Formalism, 65–69. Dordrecht: Springer Netherlands, 1988. http://dx.doi.org/10.1007/978-94-009-2925-8_5.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

Campos-Rebelo, R., A. Costa e L. Gomes. "Graphical Formalism for Signal Interpretation Modeling". In Recent Advances in Intelligent Engineering, 139–54. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-14350-3_8.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

de Broglie, Louis. "General Formalism of Wave Mechanics". In Heisenberg’s Uncertainties and the Probabilistic Interpretation of Wave Mechanics, 34–41. Dordrecht: Springer Netherlands, 1990. http://dx.doi.org/10.1007/978-94-009-2127-6_4.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Conrad, Michael, D. Home e Brian Josephson. "Beyond Quantum Theory: A Realist Psycho-Biological Interpretation of Physical Reality". In Microphysical Reality and Quantum Formalism, 285–93. Dordrecht: Springer Netherlands, 1988. http://dx.doi.org/10.1007/978-94-009-2925-8_22.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Stachel, John. "On the Interpretation of the Einstein—Cartan Formalism". In On Einstein’s Path, 475–85. New York, NY: Springer New York, 1999. http://dx.doi.org/10.1007/978-1-4612-1422-9_33.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Castro, Paulo. "The Wave-Memory Interpretation of Quantum Mechanics". In Boston Studies in the Philosophy and History of Science, 189–226. Cham: Springer International Publishing, 2024. http://dx.doi.org/10.1007/978-3-031-49861-9_12.

Texto completo da fonte
Resumo:
AbstractPresent quantum mechanics has been a source of puzzlement since its inception in 1927. The theory has been undoubtedly successful predicting results in a large number of experimental situations. However, its heavy epistemological legacy, coming from the initial ideas of Niels Bohr about complementarity and about the possibility for physical description, has turned quantum mechanics in a kind of ontological black box. This work is an attempt to overcome such epistemological opacity, proposing an interpretation that will present Bohrian quantum mechanics formalism and the pilot-wave framework as two complementary and mutually non-exclusive theoretical descriptions of quantum phenomena. The two theories will, hopefully, become the foundations of a new and more complete approach to quantum reality. One that will, simultaneously, serve as a highly efficient predictive formalism and also as an intelligible description about quantum phenomena in four-dimensional spacetime. I will start from the pilot-wave framework, proposing that quantum waves are memory carrying structures that encode probabilistic distributions of the fundamental behaviors of corpuscles. This nomological information, as I will call it, will have a necessitarian weight upon all corpuscles behaviors, in the sense that the only behaviors allowed in Nature are the ones that can be encoded or have been encoded in the quantum wave carriers. Such a picture of quantum physics will imply that corpuscles exchange nomological information with the carrier waves, by means of the guidage or pilot-wave effect. Secondly, I will suggest that the actual Bohrian quantum mechanics formalism, the one used in the Copenhagen School interpretation, describes not the actual states and properties of quantum corpuscular entities, but the nomological information about those states and properties. As such Bohrian quantum mechanics is a description about not the actual physical observable dynamics, but about the dynamics of the nomological information encoded in the carrier quantum waves. The adoption and consistent interplay of both theoretical descriptions, pilot-wave mode and Bohrian mode, will serve epistemological completeness in the study of quantum phenomena.
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

van Eijndhoven, S. J. L., e J. de Graaf. "A mathematical interpretation of Dirac's formalism for quantum mechanics". In Lecture Notes in Mathematics, 209–51. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/bfb0081155.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Lachmayer, Konrad. "Formalism and judicial self-restraint as tools against populism?" In Populist Challenges to Constitutional Interpretation in Europe and Beyond, 75–94. Milton Park, Abingdon, Oxon ; New York, NY : Routledge, 2021. | Series: Comparative constitutional change: Routledge, 2021. http://dx.doi.org/10.4324/9781003148944-7.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.

Trabalhos de conferências sobre o assunto "Interpretation formalism"

1

OLKHOV, O. A. "GEOMETRICAL INTERPRETATION OF QUANTUM FORMALISM". In Proceedings of the 7th International Symposium. WORLD SCIENTIFIC, 2000. http://dx.doi.org/10.1142/9789812792433_0022.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Ma, Yue, Jean-Pierre Talpin e Thierry Gautier. "Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA". In 2010 IEEE 10th International Conference on Computer and Information Technology (CIT). IEEE, 2010. http://dx.doi.org/10.1109/cit.2010.406.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Yin, Junjun, e Jian Yang. "Novel Formalism and Interpretation Methods for General Compact Polarimetric Sar". In IGARSS 2019 - 2019 IEEE International Geoscience and Remote Sensing Symposium. IEEE, 2019. http://dx.doi.org/10.1109/igarss.2019.8900440.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

OLKHOV, O. A. "GEOMETRISATION OF ELECTROMAGNETIC FIELD AND TOPOLOGICAL INTERPRETATION OF QUANTUM MECHANICS FORMALISM". In Proceedings of the International Conference on the Structure and Interactions of the Photon Including the 14th International Workshop on Photon-Photon Collisions. WORLD SCIENTIFIC, 2002. http://dx.doi.org/10.1142/9789812777157_0070.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

Rawitscher, George H. "Interpretation of the Perey-Buck nonlocality in terms of the relativistic optical model formalism". In AIP Conference Proceedings Volume 124. AIP, 1985. http://dx.doi.org/10.1063/1.35008.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Van Leeuwen, Michael F., Stephanos Papademetriou e Carlos R. Stroud. "Autler-Townes absorption spectrum of a two-level atom irradiated by an intense bichromatic laser field". In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1993. http://dx.doi.org/10.1364/oam.1993.wl.5.

Texto completo da fonte
Resumo:
The dressed-atom formalism has been used to provide an appealingly transparent interpretation of the dynamics of a two-level atom coupled to a monochromatic field,1 and has recently been applied to the case of a 100% amplitude modulated field.
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Benger, Werner. "Illustrating Geometric Algebra and Differential Geometry in 5D Color Space". In WSCG 2023 – 31. International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision. University of West Bohemia, Czech Republic, 2023. http://dx.doi.org/10.24132/csrn.3301.1.

Texto completo da fonte
Resumo:
Geometric Algebra (GA) is popular for its immediate geometric interpretations of algebraic objects and operations. It is based on Clifford Algebra on vector spaces and extends linear algebra of vectors by operations such as an invertible product, i.e. divisions by vectors. This formalism allows for a complete algebra on vectors same as for scalar or complex numbers. It is particularly suitable for rotations in arbitrary dimensions. In Euclidean 3D space quaternions are known to be numerically superior to rotation matrices and already widely used in computer graphics. However, their meaning beyond its numerical formalism often remains mysterious. GA allows for an intuitive interpretation in terms of planes of rotations and extends this concept to arbitrary dimensions by embedding vectors into a higher dimensional, but still intuitively graspable space of multi-vectors. However, out intuition of more than three spatial dimensions is deficient. The space of colors forms a vector space as well, though one of non-spatial nature, but spun by the primary colors red, green, blue. The GA formalism can be applied here as well, amalgamating surprisingly with the notion of vectors and co-vectors known from differential geometry: tangential vectors on a manifold correspond to additive colors red/green/blue, whereas co-vectors from the co-tangential space correspond to subtractive primary colors magenta, yellow, cyan. GA in turn considers vectors, bi-vectors and anti-vectors as part of its generalized multi-vector zoo of algebraic objects. In 3D space vectors, anti-vectors, bi-vectors and covectors are all three-dimensional objects that can be identified with each other, so their distinction is concealed. Confusions arise from notions such as “normal vectors” vs. “axial vectors”. Higher dimensional spaces exhibit the differences more clearly. Using colors instead of spatial dimensions we can expand our intuition by considering "transparency" as an independent, four-dimensional property of a color vector. We can thereby explore 4D GA alternatively to spacetime in special/general relativity. However, even in 4D possibly confusing ambiguities remain between vectors, co-vectors, bi-vectors and bi-co-vectors: bi-vectors and bi-co-vectors - both six-dimensional objects - are visually equivalent. They become unequivocal only in five or higher dimensions. Envisioning five-dimensional geometry is even more challenging to the human mind, but in color space we can add another property, "texture" to constitute a five-dimensional vector space. The properties of a bi-vector and a bi-co-vector becomes evident there: We can still study all possible combinations of colors/transparency/texture visually. This higher-dimensional yet intuitive approach demonstrates the need to distinguish among different kinds of vectors before identifying them in special situations, which also clarifies the meanings of algebraic objects in 3D Euclidean space and allows for better formulations of algorithms in 3D.
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Fu, Z., e A. Y. C. Nee. "Interpreting Feature Viewpoints for Concurrent Engineering". In ASME 1994 International Computers in Engineering Conference and Exhibition and the ASME 1994 8th Annual Database Symposium collocated with the ASME 1994 Design Technical Conferences. American Society of Mechanical Engineers, 1994. http://dx.doi.org/10.1115/cie1994-0425.

Texto completo da fonte
Resumo:
Abstract Concurrent (or simultaneous) engineering has recently been proposed as a potential means to improve the product development practice. It requires the product life-cycle aspects such as manufacturing requirements to be considered during the stages of designing a part so that the design feedback on the manufacturability, assemblability and so on can be provided to the designers. To support this purpose needs the integration of geometric models, analysis and synthesis tools as well as domain knowledge while the design is in progress. In the past few years, the concept of features has received significant attentions in the context of design and manufacturing automation. However, the application of features is currently limited, mainly due to the domain-dependent nature of features. A crucial problem has been the interpretation of multiple feature viewpoints, particularly, the conversion among feature representations, that is to support the reasoning about feature-based representations of a product design from a specific perspective and their interpretation. In this paper, important engineering perspectives and related feature-based representations supporting concurrent design and manufacturing have been identified. A methodology of interpreting different feature representations has been proposed based on a coupling between grammatical formalism and knowledge-based inference. A case study of applying this methodology to the conversion from design features based representation into representations suitable for machining process planning is reported.
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Beck, M., D. T. Smithey, J. Cooper e M. G. Raymer. "Experimental test of number-phase uncertainty relations". In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1993. http://dx.doi.org/10.1364/oam.1993.wxx.1.

Texto completo da fonte
Resumo:
The uncertainty principle applied to electromagnetic fields implies that the field phase and photon number cannot simultaneously have arbitrarily narrow distributions. Here we describe an experiment which determines, for the first time, the variances of phase and photon number for a field containing small numbers of photons. The measurements allow a test of the uncertainty relation for the phase and photon number of a mode of the electromagnetic field when the field mode is in a very weak coherent state. The phase of the field is described by the Pegg-Barnett phase operator formalism. [1] The measurements are accomplished by experimentally determining the quantum state of the field by using optical homodyne tomography. [2] This method of state characterization requires that an ensemble of many measurements be performed. [3] In this case, the relevant interpretation of the uncertainty relation is that the state of the field does not have well defined phase and photon number.
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Bridge, William J., e Adrian Korpel. "Monte Carlo simulation of strong acoustooptic interaction". In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1989. http://dx.doi.org/10.1364/oam.1989.mg3.

Texto completo da fonte
Resumo:
In the conventional approach to strong acoustooptic interaction, the usual model is that of a rectangular sound column illuminated by a plane wave of light. By considering either the coupled modes of the unperturbed medium or the eigenmodes of the perturbed medium, a solution can then be found which predicts discrete plane waves of light as the diffracted orders. This model gives results in reasonable agreement with theory for configurations that approximate it. However, the physical reality of strongly interacting, arbitrary, diffracting sound and light fields is obviously very different from the simple, plane wave-sound column model. Qualitatively, any discrete orders predicted by the latter model can be explained in terms of multiple scattering in the physics based approach.1 Quantitatively, the solution must be framed in terms of Feynman diagrams and path integrals.2 A quantum mechanical interpretation of this formalism is one of photon transitions induced by the sound field. We report here on recent successful numerical experiments that simulate this quantum mechanical model by Monte Carlo methods using a classical computer.
Estilos ABNT, Harvard, Vancouver, APA, etc.

Relatórios de organizações sobre o assunto "Interpretation formalism"

1

Borgwardt, Stefan, e Rafael Peñaloza. A Tableau Algorithm for SROIQ under Infinitely Valued Gödel Semantics. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.223.

Texto completo da fonte
Resumo:
Fuzzy description logics (FDLs) are knowledge representation formalisms capable of dealing with imprecise knowledge by allowing intermediate membership degrees in the interpretation of concepts and roles. One option for dealing with these intermediate degrees is to use the so-called Gödel semantics. Despite its apparent simplicity, developing reasoning techniques for expressive FDLs under this semantics is a hard task. We present a tableau algorithm for deciding consistency of a SROIQ ontology under Gödel semantics. This is the first algorithm that can handle the full expressivity of SROIQ as well as the full Gödel semantics.
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Borgwardt, Stefan, Marcel Lippmann e Veronika Thost. Reasoning with Temporal Properties over Axioms of DL-Lite. Technische Universität Dresden, 2014. http://dx.doi.org/10.25368/2022.208.

Texto completo da fonte
Resumo:
Recently, a lot of research has combined description logics (DLs) of the DL-Lite family with temporal formalisms. Such logics are proposed to be used for situation recognition and temporalized ontology-based data access. In this report, we consider DL-Lite-LTL, in which axioms formulated in a member of the DL-Lite family are combined using the operators of propositional linear-time temporal logic (LTL). We consider the satisfiability problem of this logic in the presence of so-called rigid symbols whose interpretation does not change over time. In contrast to more expressive temporalized DLs, the computational complexity of this problem is the same as for LTL, even w.r.t. rigid symbols.
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Rosas-Shady, David, Laura Ripani e Oscar A. Mitnik. Comparing the Results of Youth Training Programs in Latin America and the Caribbean. Inter-American Development Bank, outubro de 2016. http://dx.doi.org/10.18235/0007025.

Texto completo da fonte
Resumo:
The evidence on the effectiveness of youth training programs in Latin American and the Caribbean (LAC) tends to be encouraging regarding the quality of employment of beneficiaries (positive impacts are observed regarding the access to formal employment), although there is significant heterogeneity across countries and by gender of the beneficiaries. It is not clear how easily one can generalize from the results of an impact evaluation in a particular country. We address the underlying heterogeneity in the characteristics of the beneficiaries of youth training programs in LAC by relying on the individual-level data used in the experimental impact evaluations of three of these programs. We show that we can identify, and characterize, the individuals satisfying a common support condition, i.e. those who are similar across programs. We use non-experimental multiple treatment estimators to eliminate differences across programs, which work better for men than for women. For men satisfying common support (i.e. comparable), who have worse initial conditions than non-comparable individuals, the positive treatment effects on formality disappear for some programs. The results highlight the importance of treatment effect heterogeneity, which may have implications for focalization and program design. They also make explicit the limits to the external validity of each of the experiments, and how difficult is the interpretation of the results from meta-analysis studies. By stressing for which types of individuals it is possible to make comparisons across programs, our study points towards a more nuanced comparison of impact evaluation studies of youth training programs.
Estilos ABNT, Harvard, Vancouver, APA, etc.
Você também pode estar interessado nas extensas listas de trabalhos sobre o assunto "Interpretation formalism":
Artigos de revistas Livros
Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!

Vá para a bibliografia