Objects interacting with fluid are of high interest to visually present in three-dimensional applications, such as computer games and virtual environments. For presenting the interactions with high correctness, dynamic rigid body simulation may be used. This paper presents methods for efficient, physics-based real-time simulation of fluid-immersed rigid bodies, where the correctness of the simulation is maintained. Simulated forces include gravity, buoyancy, thrust, drag, and lift. To have the simulation run efficiently in real-time, discretization of the simulated rigid body is made by applying mentioned forces to a user-defined number of particles, sampled pseudo-randomly within the rigid body.

No description available.

No description available.

Simulating the human heart is a challenging problem, with simulations being very time consuming, to the extent that some can take days to compute even on high performance computing resources. There is considerable interest in computational optimisation techniques, with a view to making whole-heart simulations tractable. Reliability of heart model simulations is also of great concern, particularly considering clinical applications. Simulation software should be easily testable and maintainable, which is often not the case with extensively hand-optimised software. It is thus crucial to automate and verify any optimisations. CellML is an XML language designed for describing biological cell models from a mathematical modeller’s perspective, and is being developed at the University of Auckland. It gives us an abstract format for such models, and from a computer science perspective looks like a domain specific programming language. We are investigating the gains available from exploiting this viewpoint. We describe various static checks for CellML models, notably checking the dimensional consistency of mathematics, and investigate the possibilities of provably correct optimisations. In particular, we demonstrate that partial evaluation is a promising technique for this purpose, and that it combines well with a lookup table technique, commonly used in cardiac modelling, which we have automated. We have developed a formal operational semantics for CellML, which enables us to mathematically prove the partial evaluation of CellML correct, in that optimisation of models will not change the results of simulations. The use of lookup tables involves an approximation, thus introduces some error; we have analysed this using a posteriori techniques and shown how it may be managed. While the techniques could be applied more widely to biological models in general, this work focuses on cardiac models as an application area. We present experimental results demonstrating the effectiveness of our optimisations on a representative sample of cardiac cell models, in a variety of settings.

Esta dissertação apresenta os resultados de pesquisa que buscou analisar as implicações do fenômeno politicamente correto na produção atual de livros infantis no Brasil, avaliado em suas dimensões ética, estética e mercadológica. Tendo sido realizada na Faculdade de Educação e, sendo a escola a principal via de aproximação da criança brasileira com a leitura, tem como eixo orientador a interação entre literatura e educação. Tomando a leitura como prática social que contribui para a constituição da subjetividade da criança, e considerando o uso histórico da literatura infantil como ferramenta pedagógica de transmissão de valores e normas sociais, discutem-se: (i) conceito social de infância, seus aspectos particulares na contemporaneidade, formação moral e educação para valores (ARIÈS, 1978; PIAGET, 2003, 1994); (ii) literatura infantil e as transformações por que passa a partir dos anos 1970 (HUNT, 1992, 2006, 2010; NODELMAN, 2008; NIKOLAJEVA, 2005, 1996, 2010; PERROTTI, 1986, 1990); (iii) usos ideológicos da linguagem, funcionamento do campo literário e cultura de massas (BOSI, 1996,1977; ORWELL, 1946, 2009; BOURDIEU, 2006, 2003, 2004; ARENDT, 2016, 2013); (iv) percurso histórico e manifestações do fenômeno politicamente correto (HUGHES, 2010, WILSON 1995). Tendo como base esta conceituação teórica, são analisados livros de literatura infantil publicados no Brasil em anos recentes, com foco em questões de gênero e representação de personagens femininas em contos de fadas (COLOMER 1994, 2009; ZIPES, 1993, 2006, 2012; TATAR 2015, 1999, 1987; HAASE, 2004), buscando avaliar o impacto das exigências do politicamente correto no mercado editorial brasileiro e os efeitos da mediação de leitura na Educação Infantil e Ensino Fundamental I. A partir da distinção entre livros politicamente corretos e politicamente comprometidos, que tratam de temas sociais sem abrir mão da qualidade literária, defende-se a necessidade de conjugar ética e estética na literatura infantil contemporânea. / This dissertation is the result of a research conducted to investigate the implications of the political correctness on the current production of children \'s books in Brazil, considered in it\'s ethical, aesthetic and market dimensions. Considering that this study was developed at the Institute of Education and that Brazilian children\'s access to books and reading takes place mostly at school, the study focuses mainly on the relationship between children\'s literature and education. Seeing reading as a social practice that plays an important role in the construction of child\'s subjectivity, and children\'s literature as historically used to teach values and social behavior, we discuss: (i) childhood as social construction, characteristics of contemporary childhood, moral development and civic education (ARIÈS, 1978; PIAGET, 2003, 1994); (ii) children\'s literature and it\'s deep changes since the 1970s (HUNT, 1992, 2006, 2010; NODELMAN, 2008; NIKOLAJEVA, 2005, 1996, 2010; PERROTTI, 1986, 1990); (iii) ideological language, literary field, mass culture (BOSI, 1996,1977; ORWELL, 1946, 2009; BOURDIEU, 2006, 2003, 2004; ARENDT, 2016, 2013); (iv) historical origins, development and current agendas of political correctness (HUGHES, 2010, WILSON 1995). In the final chapter, we analyze children\'s books published in Brazil in recent years, with focus on gender issues and representation of female characters in fairy tales (COLOMER 1994, 2009; ZIPES, 1993, 2006, 2012; TATAR 2015, 1999, 1987; HAASE, 2004), effects of reading mediation in preschool and elementary school and the impact of politically correct demands on the Brazilian publishing market. From the standpoint of the difference between politically correct and politically committed books, that deal with social issues without giving up literary quality, we defend the need of combining political ethos and aesthetics in contemporary children\'s literature.

Made available in DSpace on 2016-04-26T20:24:23Z (GMT). No. of bitstreams: 1 Karina Kassis dos Reis Jatene.pdf: 1917172 bytes, checksum: 43567ec0fed75afbc41ceaa70138eb2b (MD5) Previous issue date: 2016-03-18 / Pontificia Universidade de São Paulo / The theme to be developed is related to the fundamental right to freedom of expression against the right to non-discrimination of minorities, from the perspective of "political correctness". It is intended to highlight the restrictions on freedom of expression resulting from it, minority protection movement. From another angle, freedom of expression does not allow hate speech or incitement to violence. The promotion of tolerance in a multicultural society is the scenario that is aimed. Freedom as an institute, from which stems the freedom of expression in all its aspects (freedom of expression of thought, freedom of conscience, belief and religious worship, freedom of communication and information) as well as the restrictions imposed on this fundamental right, will be analyzed in the first chapter. The second chapter is dedicated to the minority race and ethnicity; woman; people with disability and sexual orientation. The reasons that characterize these groups as minority and vulnerable, as well as the scope of national and international protection will be expounded. The "political correctness" is the theme of the third chapter. It is a protective movement of minorities that develops primarily in the behavioral quadrant and freedom of expression. In the fourth chapter multiculturalism is studied, an outstanding feature of contemporary Western society. The diversity and coexistence - voluntary or involuntary - of different social groups is the main reason to intolerance. The fifth and final chapter is devoted to the highlight of the right of opinion and dissent, and its essential nature to democracy. It is also developed an explanation about the principle of proportionality as a method to weigh the fundamental rights at stake, to illuminate the tortuous path in the search for coexistence of divergences / A temática a ser desenvolvida está relacionada ao direito fundamental à liberdade de expressão frente ao direito de não discriminação das minorias, sob a ótica do politicamente correto . Pretende-se destacar as restrições impostas à liberdade de expressão oriundas desse movimento de proteção das minorias. Por outro ângulo, a liberdade de expressão não autoriza o discurso do ódio ou a incitação à violência. Almeja-se a promoção da tolerância no cenário multicultural. A liberdade como instituto gênero, do qual decorre a liberdade de expressão, em todas as suas vertentes (liberdade de manifestação do pensamento; liberdade de consciência, de crença e de culto religioso; liberdade de comunicação e informação), assim como as restrições impostas a esse direito fundamental, serão analisadas no primeiro capítulo. O segundo capítulo dedica-se às minorias: raça e etnia; mulher; pessoa com deficiência e orientação sexual. Serão expostas as razões que caracterizam esses grupos como minoritários e vulneráveis, bem como o âmbito de proteção nacional e internacional. O politicamente correto é o tema do terceiro capítulo. Trata-se de um movimento de proteção das minorias que se desenvolve, basicamente, no quadrante comportamental e da liberdade de expressão. Mais adiante, no quarto capítulo, passa-se ao estudo do multiculturalismo, traço marcante da sociedade contemporânea ocidental. Em razão dessa diversidade e da convivência voluntária ou involuntária de diferentes grupos sociais, emerge a intolerância. O quinto e último capítulo dedica-se a destacar o direito de opinião e dissidência, essenciais para a democracia, bem como se apresenta o princípio da proporcionalidade como método a ponderar os direitos fundamentais em jogo, a iluminar o caminho tortuoso na busca pela convivência das divergências

Made available in DSpace on 2015-03-05T17:16:48Z (GMT). No. of bitstreams: 0 Previous issue date: 27 / Nenhuma / O presente trabalho busca investigar a relação entre direito e moral proposta por Robert Alexy, bem como criticar, com base no paradigma hermenêutico, o uso de uma moral corretiva nos termos por ele defendidos. Para tanto, a partir dos casos das mortes de fugitivos ocorridas na fronteira da extinta RDA – denominado o caso dos atiradores do muro – e julgados pelo Tribunal Constitucional Federal alemão, que ilustram a posição do autor sobre a relação entre direito e moral, se expõe os principais elementos da teoria alexyana – especialmente a pretensão de correção – que permitem identificar a relação, por ele proposta, entre direito e uma moral que o corrige. Por fim, procura-se desenvolver a crítica a este entendimento com base no paradigma hermenêutico, apontando para uma compreensão mais adequada do papel da moral e de sua relação com o direito, no contexto do Estado Democrático de Direito / The present paper seeks to investigate the relation between law and morality as proposed by Robert Alexy, as well as criticize, based on the hermeneutical paradigm, the use of a corrective morality in the terms defended by the author. Using as starting point the death cases of fugitives in the extinct RDA’s border – named the wall shooter’s case – trialed by the german Constitutional Federal Court, that illustrate the author’s opinion about the relation between law and morality, its presented the main elements of Alexy’s theory – especially the claim to correctness – which allows to identify the relation, by him proposed, between law and a morality that corrects it. At the end, the dissertation seeks to criticize this understanding, based on the hermeneutical paradigm, pointing in to the direction of an comprehension more suitable to the roll that morality and its relation with law should play in the context of a Constitutional Democracy

Der Spigot-Ansatz ist eine elegante Vorgehensweise, spezielle numerische Werte zuverlässig, effizient und mit beliebiger Genauigkeit zu berechnen. Die Stärke des Ansatzes ist seine Effizienz, seine totale Korrektheit und seine mathematisch exakt begründete Sicherstellung einer gewünschten absoluten Genauigkeit. Seine Schwäche ist möglicherweise die eingeschränkte Anwendbarkeit. Es gibt in der Literatur Spigot-Berechnung für e und pi. Wurzelberechnung und Logarithmenberechnung gehören zu den Hauptergebnissen der Dissertation. In Kombination mit den Methoden der Reihentransformation von Zeilberger und Wilf bzw. von Gosper ist der Einsatz zur Berechnung von hypergeometrischen Reihen sehr Erfolg versprechend. Eine interessante offene Frage ist die Berechnung der Feigenbaumkonstanten mit dem Ansatz. 'Spigot' bedeutet 'sukzessive Extraktion von Wertanteilen': die Wertanteile werden extrahiert, als ob sie durch einen Hahn (englisch: spigot) gepumpt werden. Es ist dabei besonders interessant, dass in bestimmten Fällen ein Wert-Anteil mit einer Ziffer der Kodierung des Ergebnisses versehen werden kann. Der Spigot-Ansatz steht damit im Gegensatz zu den konventionellen Iterationsverfahren: in einem Schritt des Spigot-Ansatzes wird jeweils ein Wert-Anteil 'extrahiert' und das gesamte Ergebnis ist die Summe der Wert-Anteile; während ein Schritt in einem Iterationsverfahren die Berechnung eines besseren gesamten Ergebnisses aus dem des vorigen Schritt beinhaltet. Das Grundschema der Berechnung mit dem Spigot-Ansatz sieht folgendermaßen aus: zuerst wird für den zu berechnenden numerischen Wert eine gut konvergierende Reihe mit rationalen Gliedern durch symbolisch-algebraische Methoden hergeleitet; dann wird für eine gewünschte Genauigkeit eine Teilsumme ausgewählt; anschließend werden aus der Teilsumme Wert-Anteile iterativ extrahiert. Die Extraktion von Wert-Anteilen aus der Teilsumme geschieht mit dem Spigot-Algorithmus, der auf Sale zurück geht, nur Integer-Arithmetik benötigt und sich als eine verallgemeinerte Form der Basis-Konvertierung dadurch auffassen lässt, dass die Teilsumme als die Kodierung des Wertes in einer inhomogenen Basis interpretiert wird. Die Spigot-Idee findet auch in der Überführung einer Reihe in eine besser konvergierende Reihe auf der Art und Weise Anwendung, dass Wert-Anteile aus der Reihe extrahiert werden, um die originale Reihe werttreu zur Reihe der Wert-Anteile zu transformieren. Dies geschieht mit den Methoden der Reihentransformation von Gosper bzw. Wilf. Die Dissertation umfasst im Wesentlichen die Formalisierung des Spigot-Algorithmus und der Gosperschen Reihentransformation, eine systematische Darstellung der Ansätze, Methoden und Techniken der Reihenentwiclung und Reihentransformation (die Herleitung von Reihen mit Hilfe charakteristischer Funktionalgleichungen; Methoden der Reihentransformation von Euler, Kummer, Markoff, Gosper, Zeilberger und Wilf) sowie die Methoden zur Berechnung von Wurzeln und Logarithmen mit dem Spigot-Ansatz. Es ist interessant zu sehen, wie sich die Grundideen des Spigot-Algorithmus, der Wurzelberechnung und der Logarithmenberechnung jeweils im Wesentlichen durch eine Gleichung ausdrücken lassen. Es ist auch interessant zu sehen, wie sich verschiedene Methoden der Reihentransformation auf einige einfache Grundideen zurückführen lassen. Beispiele für den Beweis von totalen Korrektheit (bei iterativer Berechnung von Wurzeln) könnte auch von starkem Interesse sein. Um die Zuverlässigkeit anderer Methoden zur Berechnung von natürlichen Logarithmen zu überprüfen, scheint der Vergleich der Ergebnisse mit den des Spigot-Ansatzes die beste Methode zu sein. Anders als bei Wurzelberechnung kann hierbei zur Überprüfung die inverse Berechnung nicht angewandt werden. / spigot, total correctness, acceleration of series, computation of roots, computation of logarithms Reliable numerical computations with spigot approach Spigot approach is an elegant way to compute special numerical values reliably, efficiently and with arbitrary accuracy. The advantage of this way are its efficiency and its total correctness including the bounding of the absolute error. The disadvantage is perhaps its restricted applicableness. There are spigot computation for e an pi. The computation of roots and logarithms belongs to the main results of this thesis. In combination with the methods for acceleration of series by Gosper as well as by Zeilberger and Wilf is the use for numerical summation of hypergeometric series very promising. An interesting open question is the computation of the Feigenbaum constant by this way. ‘Spigot’ means ‘successive extraction of portions of value’: the portions of value are ‘extracted’ as if they were pumped through a spigot. It is very interesting in certain case, where these portions can be interpreted as the digits of the result. With respect to that the spigot approach is the opposition to the iterative approach, where in each step the new better result is computed from the result of the previous step. The schema of spigot approach is characterised as follows: first a series for the value to be computed is derived, then a partial sum of the series is chosen with respect to an desired accuracy, afterwards the portions of value are extracted from the sum. The extraction of potions of value is carried by the spigot algorithm which is due to Sale an requires only integer arithmetic. The spigot algorithm can be understood as a generalisation of radix-conversion if the sum is interpreted as an encoding of the result in a mixed-radix (inhomogeneous) system. The spigot idea is also applied in transferring a series into a better convergent series: portions of value are extracted successively from the original series in order to form the series of extracted potions which should have the same value as the original series. This transfer is carried with the methods for acceleration of series by Gosper and Wilf. The thesis incorporates essentially the formalisation of the spigot algorithm and the method of Gosper for acceleration of series, a systematisation of methods and techniques for derivation and acceleration of series (derivation of series for functions by using their characteristic functional equations; methods for acceleration of series by Euler, Kummer, Markov, Gosper Zeilberger and Wilf) as well as the methods for computation of roots and logarithms by spigot approach. It is interesting to see how to express the basic ideas for spigot algorithm, computation of roots and computation of logarithm respectively in some equations. It is also interesting to see how to build various methods for acceleration of series from some simple basic ideas. Examples for proof of total correctness (for iterative computation of roots) can be of value to read. Comparing with the results produced by spigot approach is possibly the best way for verifying the reliability of other methods for computation of natural logarithms, because (as opposed to root computing) the verification by inverse computation is inapplicable.

Submitted by Noeme Timbo (noeme.timbo@metodista.br) on 2016-08-18T18:46:34Z No. of bitstreams: 1 Gustavo Moreira Zanini.pdf: 1290506 bytes, checksum: 41c7c0924876851a82287822dd335ffe (MD5) / Made available in DSpace on 2016-08-18T18:46:34Z (GMT). No. of bitstreams: 1 Gustavo Moreira Zanini.pdf: 1290506 bytes, checksum: 41c7c0924876851a82287822dd335ffe (MD5) Previous issue date: 2015-02-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / We realized that the traditional paradigms are now considered singular and dictatorial. On the other hand, sets out a new meaning whose north is the “political correctness”. Understanding the advertising as a socio-cultural product, this research is initially a bibliographic study, aimed the conceptualization and analysis of issues related to your theme. With this properly seized context, a pragmatic discourse analysis was performed on a corpus of advertisements aired between 2009 and 2014, on brazilian television through open format. Our investigation focused on the ways that elements postulated by politically correct thinking are being added to advertiser gender, in constructions of meaning. We could observe a rebuke trend of certain groups to advertising content that touch on very specific themes, with interpretations marked by a high degree of subjectivity; and what is being sought, oftentimes, through an empowerment permitted by our present context, is in fact the suppression of certain themes within the advertising communication. / Ao que se percebe, paradigmas até então vigentes passam a ser considerados singulares e ditatoriais. Em contrapartida, estabelece-se uma nova acepção, cujo norte é o pensar “politicamente correto”. Entendendo a publicidade como um produto sociocultural, essa pesquisa inicialmente é bibliográfica visando à conceituação e análise de questões inerentes ao seu tema. Com este contexto devidamente apreendido, uma análise pragmática do discurso foi realizada em um corpus de anúncios publicitários veiculados entre 2009 e 2014, no meio televisivo brasileiro de formato aberto. Nossa investigação se concentrou nos modos com que os elementos postulados pelo pensamento politicamente correto vêm sendo incorporados ao gênero publicitário em construções de sentido. Pudemos observar uma tendência de repreensão de determinados grupos a conteúdos publicitários que tocam em temáticas muito específicas, com interpretações marcadas por um alto grau de subjetividade; e o que se busca muitas vezes, através de um empoderamento permitido por nosso contexto atual, é mesmo a supressão de determinadas temáticas dentro da comunicação publicitária.

La mise à jour dynamique des programmes consiste en la modification de ceux-ci sans en arrêter l'exécution. Cette caractéristique est primordiale pour les applications critiques en continuelles évolutions et nécessitant une haute disponibilité. Le but de notre travail est d'effectuer la vérification formelle de la correction de la mise à jour dynamique d'applications Java Card à travers l'étude du système EmbedDSU. Pour ce faire, nous avons premièrement établi la correction de la mise à jour du code en définissant une sémantique formelle des opérations de mise à jour sur le code intermédiaire Java Card en vue d'établir la sûreté de typage des mises à jour. Nous avons ensuite proposé une approche pour vérifier la sémantique du code mis à jour à travers la définition d'une transformation de prédicats. Nous nous sommes ensuite intéressés à la vérification de la correction concernant la détection de points sûrs de la mise à jour. Nous avons utilisé la vérification de modèles. Cette vérification nous a permis de corriger d'abord un problème d'inter blocage dans le système avant d'établir d'autres propriétés de correction : la sûreté d'activation et la garantie de mise à jour. La mise à jour des données est effectuée à travers les fonctions de transfert d'état. Pour cet aspect, nous avons proposé une solution permettant d'appliquer les fonctions de transfert d’état tout en préservant la consistance du tas de la machine virtuelle Java Card et en permettant une forte expressivité dans leurs écritures. / Dynamic Software Updating (DSU) consists in updating running programs on the fly without any downtime. This feature is interesting in critical applications that are in continual evolution and that require high availability. The aim of our work is to perform formal verification the correctness of dynamic software updating in Java Card applications by studying the system EmbedDSU. To do so, we first established the correctness of code update. We achieved this by defining formal semantics for update operations on java Card bytecode in order to ensure type safety. Then, we proposed an approach to verify the semantics of updated programs by defining a predicate transformation. Afterward, we were interested in the verification of correction concerning the safe update point detection. We used model checking. This verification allowed us first to fix a deadlock situation in the system and then to establish other correctness properties: activeness safety and updatability. Data update is performed through the application of state transfer functions. For this aspect, we proposed a solution to apply state transfer functions with the preservation of the Java Card virtual machine heap consistency and by allowing a high expressiveness when writing state transfer functions.