137,668 research outputs found
O conceito de direito em Pontes de Miranda
No full textTese (doutorado) - Universidade Federal de Santa Catarina, Centro de Ciencias JuridicasPropusemo-nos, na presente tese, investigar o conceito de direito em Pontes de Miranda, procurando resgatar sua memória jusfilosófica, sua contribuição epistemológica para a teoria jurídica contemporânea e mostrar a importância do seu pensamento jurídico na atualidade. A proposta metodológica do trabalho é analisar crítica e reflexivamente o significado do direito pontesiano, a partir das obras produzidas pelo autor tematizado, dedicando especial atenção às de filosofia do direito por se inserirem nas linhas da pesquisa escolhida, que, por sua vez, servirão como uma espécie de âncora para a indagação de caráter interdisciplinar empreendida; por isso, também são tematizadas as obras sociológicas , políticas, jurídicas, literárias e outras. O estudo, porém, não se reduz à análise do autor em si mesmo, na reflexão da definição única por ele defendida. Visamos ainda analisar sua concepção do direito em relação a determinados autores contemporâneos, discípulos seus e estudiosos de suas obras. Aspecto que igualmente não descuramos foi o de procurar, sempre que possível e no interesse temático, recuperar suas fontes de influência, residentes principalmente no pensamento jurídico alemão. Estruturamos a tese em cinco capítulos. No primeiro, examinamos a tematização da ciência em Pontes de Miranda, envolvendo a relatividade do conhecimento jurídico, o problema fundamental do conhecimento e a formulação de princípios sociológicos. O segundo capítulo dedicamos o método na visão de Pontes de Miranda, onde destacamos o método indutivo como o privilegiado pela ciência jurídica na concepção do jurista brasileiro mencionado. No terceiro capítulo, cuidamos do conceito jurídico em Pontes de Miranda, objeto temático propriamente dito, onde buscamos trabalhar sua natureza sociológica, realçar sua função de coexistência social e sua concepção enquanto fenômeno de paz. O quarto capítulo destinamos ao estudo do objeto do direito em Pontes de Miranda, em que realçamos sua origem nos círculos sociais e a formação dos sistemas jurídicos, examinados o problema das fontes do direito, a insuficiência da forma tradicional de conflitos sociais, no caso, o silogismo lógico, face ao mito da plenitude lógica da ordem jurídica, destacando a concepção valorativa das regras do direito. No último capítulo, abordamos o normativismo dogmático e a política jurídica na perspectiva de Pontes de Miranda, chamando a atenção para a missão delicada da política jurídica que é a de prover o justo, dimensão esta compreendida no conceito do direito pontesiano e que pode servir de resposta para a pergunta tantas vezes formulada e com bastante insistência respondida por lidadores do direito de forma tão diversas e até mesmo contraditórias: que é direito? Em síntese, pretende refletir sobre o significado do direito em Pontes de Miranda, como condição de possibilidade de repensar a matriz jurídica sob a perspectiva da política jurídica, que pode servir de um novo topo legitimador do direito
Ancestral polymorphisms in Drosophila pseudoobscura and Drosophila miranda
No full textAncestral polymorphisms are defined as variants that arose by mutation prior to the speciation event that generated the species in which they segregate. Their presence may complicate the interpretation of molecular data and lead to incorrect phylogenetic inferences. They may also be used to identify regions of the genome that are under balancing selection. It is thus important to take into account the contribution of ancestral polymorphisms to variability within species and divergence between species. Here, we extend and improve a method for estimation of the proportion of ancestral polymorphisms within a species, and apply it to a dataset of 33 X-linked and 34 autosomal protein-coding genes for which sequence polymorphism data are available in both Drosophila pseudoobscura and Drosophila miranda, using Drosophila affinis as an outgroup. We show that a substantial proportion of both X-linked and autosomal synonymous variants in these two species are ancestral, and that a small number of additional genes with unusually high sequence diversity seem to have an excess of ancestral polymorphisms, suggestive of balancing selection
A variant on Miranda-Talenti estimate
No full textIn this note we prove formula (1.1),which extends to functions in W 2,2 with zero normal derivative the analogous formula (1.2) by G. Talenti ([5]) on functions with zero trace. To prove (1.1) we use the technique introduced by C. Miranda in [3] and give a geometrical interpretation of his results (formula (2.17))
From ACT-ONE to Miranda, a Translation Experiment
No full textIt is now almost universally acknowledged that the data language ACT-ONE associated with the formal description technique LOTOS is inappropriate for the purpose of OSI formal description. In response to this the LOTOS restandardisation activity plans to replace ACT-ONE with a functional language. Thus, compatibility between ACT-ONE and the replacement data language becomes an issue. In response to this, we present an experimental investigation of backward compatibility between ACT-ONE and the new LOTOS data language. Specifically, we investigate translating ACT-ONE data types into the functional language Miranda. Miranda has been chosen as it is a widely used functional programming language and it is close in form to the anticipated new data language. This work serves as a ``verification of concept'' for translating ACT-ONE to the E-LOTOS data language. It identifies the bounds on embedding ACT-ONE in a functional data language. In particular, it indicates what can be translated and what cannot be translated. In addition, the paper reveals pertinent issues which can inform the E-LOTOS work. For example, which constructs are needed in E-LOTOS in order to support the class of data type specifications typically made in the LOTOS setting? We conclude with a number of specific recommendations for the E-LOTOS data language
Error estimation by compatibility in patches for plate structures
No full textError estimation is a key tool in modern finite element technology in order to verify and validate the finite element simulations, as well as to improve results and control the error, when combined with adaptivity. An efficient and practical way to derive a posteriori error estimators is offered by recovery procedures. The error, generally in stress based norms, is estimated by comparing the original finite element solution with the recovered one. The major steps forward in using recovery procedures were taken with the Superconvergent Patch Recovery (SPR) developed by Zienkiewicz and Zhu [1] and the Recovery by Equilibrium in Patches (REP) developed by Boroomand and Zienkiewicz [2]. Both these procedures have been successfully applied to plate problems in [3]. Recently, a new superconvergent procedure called Recovery by Compatibility in
Patches (RCP) has been proposed by one of the authors [4] and shown to provide an excellent basis for error estimation in 2D problems [5].
Thin structures like plates and shells constitute an important class among finite element analyses because of their large application fields. With this in mind, the aim of the present paper is to develop an extension of the RCP-based error estimation to Reissner-Mindlin plates finite element analysis. The basic idea of this procedure is the same as the RCP in its original version, that is to recover stress resultants by enforcing compatibility over patches of elements.
Displacements computed by the finite element analysis are prescribed on the boundary of the patch, and improved stress resultants are computed by minimizing the complementary energy of
such a sub-model. The resulting procedure is simple, efficient, numerically stable and does not need any knowledge of superconvergent points. Some numerical examples involving thin and thick plates under different loading and support conditions are given.
References
[1] Zienkiewicz OC, Zhu JZ, The superconvergent patch recovery and a posteriori error estimates. Part I: The recovery technique, International Journal for Numerical Methods in Engineering, 33, 1992, 1331–1364.
[2] Boroomand B, Zienkiewicz OC, An improved REP recovery and the effectivity robustness test, International Journal for Numerical Methods in Engineering, 40, 1997, 3247–3277.
[3] Boroomand B, Ghaffarian M, Zienkiewicz OC, On application of two superconvergent recovery procedures to plate problems, International Journal for Numerical Methods in Engineering, 61, 2004, 1644–1673.
[4] Ubertini F, Patch recovery based on complementary energy, International Journal for Numerical Methods in Engineering, 59, 2004, 1501–1538.
[5] Benedetti A, de Miranda S, Ubertini F., A posteriori error estimation based on the superconvergent Recovery by Compatibility in Patches, International Journal for Numerical Methods in Engineering, in press
G. Bras Miranda, La prohibition des pactes sur succession future
No full textG. Bras Miranda, La prohibition des pactes sur succession future. In: Revue internationale de droit comparé. Vol. 54 N°1, Janvier-mars 2002. pp. 194-195
G. Bras Miranda, La prohibition des pactes sur succession future
No full textG. Bras Miranda, La prohibition des pactes sur succession future. In: Revue internationale de droit comparé. Vol. 54 N°1, Janvier-mars 2002. pp. 194-195
G. Parra Perez. Miranda et la Révolution Française
No full textVan Kalken Frans. G. Parra Perez. Miranda et la Révolution Française. In: Revue belge de philologie et d'histoire, tome 5, fasc. 2-3, 1926. pp. 664-665
Miranda Spencer, \u2781 (BardCorps)
No full textPlease note that this recording was damaged and is incomplete. Miranda Spencer recalls applying to Bard for her interest in the arts; transferring from the University of New Hampshire; working with the group \u27The Quasi-Sexual Vegetarians for Christ to Bring More Comedy to Bard; her participation in the popular Bond-esque skit The Man from B&G in which Spencer performed singing atop a piano; using available venues--the Coffee Shop at Kline, the Chapel, the lawn at Blithewood--as performance spaces; the realization that, for her, freedom at Bard meant \u27no one to catch you\u27; creative encouragement from her film professor; learning to make mistakes; switching her senior project at the last minute.https://digitalcommons.bard.edu/oral_hist/1018/thumbnail.jp
- …
