Kommentar zu § 1631d BGB (Beschneidung aus religiösen Gründen, elterliches Sorgerecht), Kommentar zum Urteil des Landgerichts Köln vom 7. Mai 2012 (Strafrecht, Religionsfreiheit) / In May 2012 a misleading decision of the Landgericht (Court of Appeal) Cologne declared that male circumcision in children amounts to be a criminal offence, even if performed lege artis and with the consent of the parents. The article pays attention to the new legislation of December 2012 introduced into the BGB as a legal framework of male circumcision with regard to the right of freedom of religion and the parental rights in education especially for Jewish and Muslims in Germany.

In our experience of teaching Calculus to engineering undergraduates we have had to grapple with many different problems. A major hurdle has been students’ inability to appreciate the importance of the theory. In their view the theoretical part of mathematics is separate from the computing part. In general, students also believe that they can pass their exams even though they do not have a real understanding of the theory behind the problems they are required to solve. In an effort to surmount these difficulties we tried to find ways to make students better understand the theoretical part of Calculus. This paper describes our experience of teaching Calculus. It reports on the continuation of our previous research.

The purpose of this paper is to compare curriculum documents for K-12 education from the state of North Carolina from two time periods, 1920s and 2003. The historical development of the mathematics curriculum in North Carolina provides a snapshot of the shifts in mathematics teaching and learning. North Carolina, a state in the southeast of the United States, has had a statewide standard course over a period spanning more than eighty years. A document analysis of printed curriculum standards from allows a description of the mathematics concepts and tasks that were expected of students in those years. The analysis revealed stark contrasts in the focus of mathematics from a very computational emphasis to one of problem solving. The analysis also highlighted the understanding of algebraic concepts and ideas as an essential outcome of current mathematics programs.

No description available.

No description available.

Zugl.: Hamburg, Universiẗat, Diss., 2008.

Made available in DSpace on 2014-12-17T15:07:13Z (GMT). No. of bitstreams: 1 CarlosAP_TESE.pdf: 1390778 bytes, checksum: 211a59f9cec8875bc0c9b17bfe3df1d0 (MD5) Previous issue date: 2012-03-26 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Die Beziehung zwischen Literatur und Gesellschaft wurden, im Laufe der Jahrhunderte, aus unterschiedlichen Perspektiven analysiert. Die Wissenschaftler analysieren manchmal die Aspekten der sozialen Realit?t, sie betonen manchmal die Natur der literarischen Werk. Wir glauben, dass Antonio Candido einen Gleichgewichtszustand erreicht, als er das Konzept der strukturellen Reduktion oder Formalisierung entwickelt. N?mlich, der Prozess, bei dem die menschliche und soziale Leben zu einem Bestandteil der literarischen Struktur wird. Der Autor tritt eine Einbahnstra?e und er kann Daten aus der sozialen Ordnung aufholen, ohne dabei die Materialit?t des Textes den Augen verlieren. Und das sind die theoretische Annahmen, die die Entwicklung dieser Arbeit leiten. Wir wollen zu zeigen, dass die Struktur der mamediana Lyrik aufdeckt, signifikante Daten der Gesellschaft, in der der Autore eingef?gt wurde enth?llt. Folglich, wir analysieren soziale Thema, das sein Werk durchzieht. Zuerst, wir untersuchen, wie Zila Mamede den Alltag der Gesellschaft vertreten. Von der strukturellen Organisation der Gedichte, wir erkennen, das die Episode aus kleiner St?dte ein Akt des Widerstands gegen die fragmentierte Profil der kapitalistischen Gesellschaf sind. Das ist, warum sie doch eng mit der Idee der Tradition erscheinen. Die dichotome Beziehung zwischen den regionalen Daten und der Element der Modernisierung etabliert, sie wird durch die Organisation des Raumes verst?rkt. W?hrend die Stadt bei konkrete gesellschaftliche Ordnung Spitzenbetr?ge verweist, hat die Landschaft eine harmonische und warme Form. Allgemeinen, die moderne Stadt von Zila Mamede geformt, ist eine Abbild der Industriegesellschaft. Die Bilder die Landschaft sind ein Gegenmittel gegen die Feindseligkeiten Merkmale der neuen urbanen Zustand. So, die Landschaft hat die Funktion von Umstrukturierung der Pers?nlichkeit des Einzelnen durch die Erfahrung der gro?en St?dte betroffen verdinglichenden. Der Konflikt, der durch das lyrische mamediana l?uft, sind Reflexionen des Prozesses der Modernisierung der Stadt Natal, ihres eigenen Landes die politische Instabilit?t, sie durch verschiedene staatliche Programme ging, w?hrend Der Autor seine literarische T?tigkeit verfolgt / Ao longo dos s?culos, as rela??es entre literatura e sociedade foram analisadas a partir de diferentes perspectivas, de modo que os estudiosos ora se voltavam para os aspectos da realidade social, ora destacavam a natureza da obra liter?ria. Acreditamos, contudo, que Antonio Candido alcan?ou um ponto de equil?brio ao desenvolver o conceito de redu??o estrutural ou formaliza??o, isto ?, o processo atrav?s do qual a realidade social e humana se torna um componente da estrutura liter?ria. Trilhando um caminho de m?o dupla, o autor consegue recuperar os dados de ordem social sem perder de vista a materialidade do texto. E s?o exatamente tais pressupostos te?ricos que orientam o desenvolvimento desta tese. O nosso principal objetivo ?, portanto, fazer uma an?lise da poesia de Zila Mamede a partir do seu processo de redu??o estrutural. Pretendemos, com isso, mostrar que a estrutura da l?rica mamediana revela dados significativos da sociedade na qual a autora estava inserida. Consequentemente, acabamos por efetuar o exame da tem?tica social que perpassa a sua obra. Inicialmente, examinamos o modo como Zila Mamede representou a vida cotidiana da sociedade. A partir da organiza??o estrutural dos poemas, percebemos que as cenas interioranas representam um ato resist?ncia contra o perfil fragment?rio da sociedade capitalista; ? por esse motivo que elas aparecem intimamente vinculadas ? ideia de tradi??o. A rela??o dicot?mica institu?da entre o dado regional e o elemento modernizador ? refor?ada, inclusive, pela organiza??o do espa?o, pois enquanto a cidade de concreto aponta para uma ordem social fracion?ria, o campo tem um feitio harmonioso e acolhedor. Em linhas gerais, a cidade moderna delineada por Zila Mamede ? uma esp?cie de simulacro da sociedade industrial. As imagens campestres, por sua vez, funcionam como ant?doto contra as hostilidades caracter?sticas da nova condi??o urbana. Dessa forma, o campo desempenha a fun??o de reestruturar a personalidade do indiv?duo afetado pela experi?ncia reificante das grandes cidades. Os conflitos que transpassam a l?rica mamediana s?o reflexos do processo modernizador da cidade de Natal e da pr?pria instabilidade pol?tica do pa?s, que passou por diferentes regimes de governo ao longo dos anos em que a autora exerceu a sua atividade liter?ria

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-03-09T18:47:46Z No. of bitstreams: 1 MadielDeSouzaConservaFilho_TESE.pdf: 1314650 bytes, checksum: ea38672191d7c35f5274cb1360bcfef1 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-03-10T21:13:38Z (GMT) No. of bitstreams: 1 MadielDeSouzaConservaFilho_TESE.pdf: 1314650 bytes, checksum: ea38672191d7c35f5274cb1360bcfef1 (MD5) / Made available in DSpace on 2017-03-10T21:13:38Z (GMT). No. of bitstreams: 1 MadielDeSouzaConservaFilho_TESE.pdf: 1314650 bytes, checksum: ea38672191d7c35f5274cb1360bcfef1 (MD5) Previous issue date: 2016-08-12 / O uso crescente de sistemas complexos exige cada vez mais um maior investimento de recursos no desenvolvimento de software para garantir a confiabilidade dos mesmos. Para lidar com esta complexidade, abordagens composicionais podem ser utilizadas no desenvolvimento de sistemas de software, possibilitando a integra??o e a reutiliza??o de componentes existentes. Entretanto, a fim de garantir o sucesso desta abordagem, ? essencial confiar no comportamento dos componentes e, al?m disso, nos sistemas que s?o desenvolvidos utilizando essa estrat?gia, uma vez que falhas podem ser introduzidas se a composi??o n?o assegurar propriedades importantes. Problemas podem surgir quando dois ou mais componentes s?o integrados pela primeira vez. Esta situa??o ? ainda mais relevante quando um grupo de componentes trabalha em conjunto a fim de executar determinadas tarefas, especialmente em aplica??es cr?ticas, onde podem surgir problemas cl?ssicos, como livelock. Esta tese de doutorado apresenta uma estrat?gia local para garantir aus?ncia de livelock, por constru??o, em sistemas s?ncronos modelados com a nota??o padr?o de CSP. A nossa t?cnica ? baseada na an?lise local das m?nimas sequ?ncias que levam o processo CSP ao seu estado inicial. O uso de t?cnicas locais evita a explos?o do espa?o de estados gerado pela integra??o dos componentes. A verifica??o destas condi??es locais utilizam metadados que permitem armazenar resultados parciais das verifica??es, reduzindo o esfor?o durante a an?lise. A abordagem proposta tamb?m pode ser aplicada para verificar aus?ncia de livelock em modelos que realizam comunica??es ass?ncronas. Neste caso, analisamos o modelo de componentes BR IC, cujo comportamento dos componentes ? representado por um processo CSP. A fim de realizar esta verifica??o, consideramos duas vers?es para BR IC: BR IC , o qual realiza composi??es ass?ncronas atrav?s de buffers finitos, e BR IC? no qual a assincronicidade ? realizada atrav?s de buffers infinitos. Estas duas abordagens foram analisadas porque a possibilidade de introduzir livelock em sistemas ass?ncronos depende diretamente da finitude do buffer. As t?cnicas propostas para garantir aus?ncia de livelock em CSP e BR IC foram avaliadas atrav?s de tr?s estudos de caso: o escalonador de Milner e duas varia??es do jantar dos fil?sofos. Uma vers?o apresenta um sistema livre de livelock, e a outra apresenta um sistema com livelock. Neste estudo, avaliamos a nossa abordagem em compara??o com outras duas t?cnicas para verifica??o de aus?ncia de livelock, a an?lise global tradicional do FDR e a an?lise est?tica de livelock do SLAP. Este estudo comparativo demonstra que a nossa estrat?gia pode ser aplicada como uma alternativa para a verifica??o de aus?ncia de livelock em grandes sistemas. / The use of increasingly complex applications is demanding a greater investment of resources in software development to ensure that applications are safe. For mastering this complexity, compositional approaches can be used in the development of software by integrating and reusing existing reliable components. The correct application of such strategies, however, relies on the trust in the behaviour of the components and in the emergent behaviour of the composed components because failures may arise if the composition does not preserve essential properties. Problems may be introduced when two or more error-free components are integrated for the first time. This concern is even more relevant when a group of components is put together in order to perform certain tasks, especially in safety-critical applications, during which classical problems can arise, such as livelock. In this thesis, we present a local strategy that guarantees, by construction, the absence of livelock in synchronous systems as modelled using the standard CSP notation. Our method is based solely on the local analysis of the minimum sequences that lead the CSP model back to its initial state. Locality provides an alternative to circumvent the state explosion generated by the interaction of components and allows us to identify livelock before composition. The verification of these conditions use metadata that allow us to record partial results of verification, decreasing the overall analysis effort. In addition, our work can also be applied to check livelock freedom in models that perform asynchronous communications. In this case, we carry out livelock analysis in the context of a component model, BR IC, whose behaviour of the components is described as a CSP process. Finally, we introduce three case studies to evaluate our livelock analysis technique in practice: the Milner?s scheduler and two variations of the dining philosophers, a livelock-free version and a version in which we have deliberately included livelock. For each case study, we also present a comparative analysis of the performance of our strategy with two other techniques for livelock freedom verification, the traditional global analysis of FDR and the static livelock analysis of SLAP. This comparative study demonstrates that our strategy can be used in practice and that it might be a useful alternative for establishing livelock freedom in large systems.

Orientador: Prof. Dr. Eduardo Lucas Subtil / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Ciência e Tecnologia Ambiental, Santo André, 2018. / O lançamento de águas urbanas servidas (AUS) sem tratamento causa problemas associados à saúde pública e à deterioração dos recursos hídricos. Neste contexto, os Biorreatores com Membranas Submersas (BRMS) e Biofilme (BRMS-BF), operados sob condições específicas para nitrificação e desnitrificação simultâneas (NDS), são uma opção viável para o tratamento de água AUS e seu potencial reúso. Este projeto de pesquisa teve como objetivos avaliar a remoção de nitrogênio via NDS, caracterizar o processo de fouling das membranas e identificar os principais microrganismos associados ao ciclo do nitrogênio em um sistema piloto BRMS-BF operado em diferentes concentrações de oxigênio dissolvido (OD) para o tratamento de AUS. O volume útil do reator foi de 156 L com módulo de 17 membranas (sintetizadas em fluoreto de vinilideno, PVDF) tipo placa plana de ultrafiltração de 0,1 ?m. O material suporte foi de poliuretano (gel termoplástico). O efluente utilizado foi da residência estudantil e o restaurante universitário da Universidade de São Paulo. Foram propostas duas fases de operação com concentrações de OD acima de 2, e 0,8 mgO2/L. Os valores de temperatura (T), Potencial de Redox (ORP), e pressão transmebranar (PTM) foram monitorados e os de pH, vazão (Q) e OD controlados, por meio de sensores. A aeração foi realizada controlando o fluxo através de rotação por meio de dois difusores de ar de 10 e 15 L/min. Os resultados para a fase I e II apresentaram os valores médios a seguir, respetivamente: T (24 e 23 ?), ORP (186 e -11 mV), PTM (0,02 e 0,04 bar), pH (6,9 e 6,7), Q (22 e 16 L/h), OD (2,2 e 0,9 mgO2/L) e SST (5,7 e 5,6 g/L). A remoção de matéria orgânica (DQO e DBO5 mg/L) e de turbidez foi maior de 96% e de 99%, respetivamente nas duas fases. A remoção de nitrogênio total foi de 33% para a Fase I e 74% na Fase II, apresentando melhoras na remoção a baixa concentração de OD. No entanto, a Fase II apresentou acúmulo de nitirto, que pode estar relacionado com a desnitrificação parcial, devido a ausência de carbono suficiente em presença de baixas concentrações de OD. As comindades de microrganismos observadas perteneceram principalmente ao filo Petrobacteria (abundância relativa > 70% na biomassa suspensa e o biofilme para a Fase I e II). O gênero Nitrospira foi o principal gênero identificado que influenciou o processo de oxidação de nitirito. Não foi encontrada diferença significativa entre os microrganismos presentes segundo o tipo de biomassa e a concentração de OD. Não houve uma redução significativa na permeabilidade das membranas, associada ao fouling, quando a concentração de OD foi reduzida para 0,9 mg/L. / Urban waters served (UWS) without any kind of treatment causes problems which are related to public health and hydric resources deterioration. In this context, the Submerged Membranes Bioreactor (MBRS) and Biofilm (MBRS-BF), operated under specific conditions for simultaneous nitrification-denitrification (SND), are a viable option for UWS treatment and their potential reuse. The aim of this project is to evaluate nitrogen removal via SND, characterize the process of fouling of the membranes and identify the main microorganisms related to nitrogen cycle in a MBRS-BF pilot-system which was operated on different concentrations of dissolved oxygen (DO) for UWS treatment. Reactor useful volume was 156 L with 17-membranes module - (synthesized in a Polyvinylidene Fluoride - PDVF) - 0,1 ?m ultrafiltration flat-plate type. Support material was composed of polyurethane (thermoplastic gel). The used effluent has come as from student residence as USP's food court. Two operation-phases were proposed in which concentration was over 2, and 0,8 mgO2/L. Temperatures values (T), Redox potential (ORP) and trasmembrane pressure(TMP) was monitored as well as pH, leakage (L) and DO was controlled by sensors. Aeration was carried out by controlling flow in rotation through two air diffusers with 10 e 15 L/min capacity. The results for phases I and II performed the following average values, respectively: T (24 and 23), ORP (186 and -11 mV), PTM (0,02 and 0,04 bar), pH (6,9 and 6,7), Q (22 and 16 L/h), OD (2,2 and 0,9 mgO2/L) and SST (5,7 and 5,6 g/L). Organic matters removal (DQO and DBO5 mg/L) and turbidity was bigger, by ranging from 96% to 99%, respectively, in both phases of this operation. Total nitrogen removal was 33% for Phase I and 74% of Phase II, by perfoming best efficiency in concentration of low OD (0,9mgO2/L).However, phase II showed nitrite storage, which can be attributed to partial denitrification, due to absence of carbon enough in OD low concentrations. Observed microorganisms communities belonged to mainly Petrobacteria phylum (relative abundance > 70% in suspended biomass and biofilm for phases I and II). Nitrospira was the main genus found which influenced nitrite oxidation process. It was not found significant difference among these present microorganisms according to their biomass type and DO concentration. There were not any significant reduction on membranes permeability, related to fouling, when DO concentration was reduced to 0,9 mg/L.

Seit Jahren steigen psychische und psychosoziale Belastungen im Arbeitsalltag von Ingenieuren* an, was unter anderem an der zunehmenden Zahl von Erkrankungen, die beispielsweise auf permanenten Stress zurückzuführen sind, erkennbar ist. Durch die Pandemie, die seit mehr als einem Jahr Alltag und Arbeitsleben maßgeblich beeinflusst, treten diese Belastungen noch deutlicher in den Vordergrund. Nach einer kurzen Einführung werden zunächst theoretische Grundlagen dargelegt und wesentliche Begriffe definiert. Mit Blick auf den Arbeitsplatz werden potenzielle Belastungen skizziert und die Bedeutung von Kompetenzen herausgearbeitet, die unterstützen können, um mit diesen Belastungen umzugehen. Außerdem wird der Frage nachgegangen, ob Ingenieure das nötige „Kompetenz bezogene Rüstzeug“ - sprich die persönlichen psychischen Ressourcen - haben, um mit den Anforderungen und Belastungen, die sich am Arbeitsplatz ergeben, adäquat umgehen zu können und welche Bedeutung der Hochschulausbildung dabei zukommt. Den Abschluss bildet ein Plädoyer für eine systematische (Neu-)Ausrichtung und regelmäßige Weiterentwicklung bzw. Anpassung der Aus- und Weiterbildung von Ingenieuren anhand von ermittelten Anforderungen bzw. Belastungen am Arbeitsplatz – nicht zuletzt basierend auf einem Constructive Alignment.