In the present work, we study the propositional proof complexity. First, we prove an exponential lower bound on the complexity of resolution applying directly Razborov's approximation method, which was previously used only for bounds on the size of monotone circuits. Next, we use the approximation method for a new proof of an exponential lower bound on the complexity of random resolution refutations. That should have further applications in separating some theories in bounded arithmetic. In both cases, we use a problem from the graph theory called Broken Mosquito Screens. Finally, we state a conjecture that the approximation method is applicable even for stronger propositional proof systems, for example Cutting Plane Proofs. Powered by TCPDF (www.tcpdf.org)

Nesse projeto apresentamos o desenvolvimento da proposta de estudo sobre o processo de cristianização dos espaços, tendo como objeto central de análise a coleção de lamparinas escavadas no sítio arqueológico de Apollonia-Arsuf, Israel. Constata-se que as lamparinas concernentes ao período de dominação romana na Palestina encontram-se mutiladas na parte relativa às cenas figurativas do paganismo. Artefatos cujo período de atividade estende-se do século I ao século III d.C.. O conhecimento e análise da citada coleção, tanto nos níveis formal quanto imagético, contribui para uma caracterização e maior conhecimento do paradoxo que circunda nosso objeto. A investigação permite questionamentos sobre a construção do orbis romanorum e as relações estabelecidas dentro desse âmbito. / In this project I present the development of the research about the process of early Christianization in Roman Palestine via the analysis of Roman-period discus lamps retrieved from the archaeological site of Apollonia-Arsuf (Israel). It appears that the discus lamps that came from Roman Apollonia, of the late 1st to 3rd century AD, had the usual pagan and erotic moulded figurative scenes on the upper body intentionally broken away. The knowledge and analysis of this assemblage of hundreds of lamps, both through form and imagery contributes to a better understanding and characterization of the paradox that surrounds our subject of study. The research thus allows questions about the construction of orbis Romanorum and the relations established within this framework.

Esta pesquisa de mestrado se deu a partir de uma investigação das montagens do espetáculo A Bilha Quebrada, de Heinrich Von Kleist, realizados, respectivamente, em 1993 e 2011 pela Companhia Razões Inversas, com direção de Marcio Aurelio. No primeiro capítulo, apresenta-se um breve histórico do diretor e um panorama de todos os espetáculos da Companhia realizados entre 1990 e 2015. No segundo, analisa-se com mais atenção as montagens de A Bilha Quebrada em 1993 e 2011, estudando-se a trama, a comicidade existente no texto, as diversas montagens no Brasil e a relação do teatro e tribunal. Por fim, no terceiro capítulo, analisa-se o campo de visão e a leitura de mesa, um dos exercícios utilizados pela Companhia para a criação de seus espetáculos. O estudo explicita a importância de cada encenação para o momento cultural da época, apontando para uma necessidade de salvaguardar a trajetória de uma das companhias mais importantes do cenário paulistano e nacional. / This master\'s research took from an investigation of the performing assemblies The Broken Jug, Heinrich Von Kleist, performed respectively in 1993 and 2011 by the Razões Inversas Company, directed by Marcio Aurelio. The first chapter presents a brief history of the director and an overview of all the Company\'s spectacles carried out between 1990 and 2015. In the second, we analyze more closely the assemblies The Broken Jug in 1993 and 2011, is studying the plot, the existing comic in the text, the various assemblies in Brazil and the relationship of theater and court. Finally, the third chapter analyzes the \"campo de visão\" and the table work, one of the exercises used by the Company to create its shows. The study explains the importance of each scenario for the cultural moment of the day, pointing to a need to safeguard the trajectory of one of the most important companies in the São Paulo and Brazil scene.

Orientador: Antonio Soares de Castro / Banca: Marcelo Batista Hott / Banca: Pedro Almeida Vieira Alberto / Banca: Luis Rafael Benito Castro / Banca: Edisom de Souza Moreira junior / Resumo: O espalhamento relativístico de bósons de spin 0 e de férmions de spin 1/2 por potenciais coulombianos esfericamente simétricos 'e analisado em detalhes com uma mistura arbitrária de acoplamentos escalar e vetorial. Mostra-se que a série de ondas parciais, seja para bósons ou férmions, se reduz à amplitude de espalhamento de Rutherford exata quando os potenciais escalar e vetorial têm a mesma magnitude. O mesmo acontece na aproximação de potenciais fracos. O comportamento da amplitude de espalhamento próximo das condições que fornecem a forma fechada é também discutido. A partir dos polos complexos da amplitude de onda parcial, soluções exatas de estados ligados para partículas e antipartículas em diferentes circunstâncias são obtidas. A quebra perturbativa da degenerescência acidental aparecendo em um par de casos especiais é relacionado com a não conservação do vetor de Runge-Lenz. No caso de férmions, as amplitudes de ondas parciais têm formas fechadas não apenas para as simetrias de spin e pseudospin mas também quando há uma ligeira quebra das mesmas. Mostra-se que no limite não relativístico, a seção de choque diferencial obtida se reduz para a seção de choque de Rutherford para simetrias de spin e pseudospin exatas e para a seção de choque de Mott quando a simetria é suavemente quebrada / Abstract: The relativistic scattering of spin-0 bosons and spin-1/2 fermions by spherically symmetric Coulomb potentials is analyzed in detail with an arbitrary mixing of vector and scalar couplings. It is shown that the partial wave series for both bosons and fermions reduces the scattering amplitude to that one resulting in the Rutherford formula exactly when the vector and scalar potentials have the same magnitude. The same happen in the approximation for weak potentials. The behavior of the scattering amplitude near the conditions that furnish its closed form is also discussed. From the complex poles of the partial scattering amplitude for bosons the exact closed form of bound-state solutions for both particles and antiparticles with different scenarios for the coupling constants are obtained. Perturbative breaking of the accidental degeneracy appearing in a pair of special cases is related to the nonconservation of the Runge-Lenz vector. In the case of fermions, the closed form for the partial wave series occurs not only for the spin and pseudospin symmetries but also when there is a slight breaking of the same. It is shown that in the non-relativistic limit, the differential cross section obtained reduces to Rutherford's cross section when there are spin and pseudospin symmetries and to Mott differential cross section when the symmetry is slightly broken / Doutor

Zinkgruvan is a stratiform Zn-Pb-Ag and Cu sulphide deposit hosted by Paleoproterozoic strata in southern Bergslagen, Sweden. The deposit underwent medium-high grade regional metamorphism during the Svecokarelian orogeny, including partial melting of the host succession. Subordinate zones of semi-massive to massive magnetite and Fe-rich skarns occur in marble stratigraphically below the stratiform Zn-Pb-Ag ore but have so far not been described in detail in the scientific literature. This thesis presents results from detailed geological drill core logging, light optical microscopy (LOM) and scanning electron microscopy (SEM), which have been integrated with results from electron microprobe analysis (FE-EMPA) and whole-rock lithogeochemical analysis to provide a comprehensive description of the magnetite mineralization. Samples from the formerly mined magnetite deposits Västerby, Garpa and Åmme - distal to Zinkgruvan - have also been studied to allow for a comparison. The combined dataset has been used to 1) discuss the genesis of the magnetite mineralizations, including their relationship to base metal sulphide mineralization, and 2) evaluate potential vectors to Zn-Pb-Ag and Cu mineralization based on variations in the magnetite deposits. The semi-massive to massive magnetite, adjacent and associated Fe-rich skarn at Zinkgruvan are located in the stratigraphic upper part of the marble host. Three different varieties of magnetite mineralization can be defined: 1) semi-massive to massive magnetite mineralization in marble, 2) magnetite-bearing veins and 3) retrograde magnetite after olivine. Detailed optical microscopy has revealed a positive spatial correlation between aluminium spinel, apatite, magnetite and graphite. Semi-massive to massive magnetite mineralization at Zinkgruvan is enriched in P2O5, ΣREELa-Lu and Mn relative to a carbonate precursor. A positive correlation exists between P2O5 and ∑REELa-Lu, suggesting apatite and monazite are the primary REE-bearing minerals. The fact that the samples with highest P2O5 and ∑REELa-Lu are all Fe-rich rocks suggest the enrichment of the latter is related to the event which formed the Fe mineralization. Magnetite mineralization from the historic iron mines NW of Zinkgruvan share several key attributes with magnetite mineralization at Zinkgruvan. These include: 1) magnetite is the only iron oxide, 2) lithological and mineralogical similarities, including spatial association with marble, 3) equally high whole-rock Fe content, 4) equally high Mn (1-4 wt.% MnO), 5) equally high Eu anomalies (Eu/Eu* = 1.1- 2.8, avg. 1.75), and 6) local presence of sphalerite mineralization. Bending of the tectonic foliation from c. E-W to NW in the western part of Zinkgruvan suggest these magnetite mineralizations may be located along the same trend as those at Zinkgruvan. The normal calc-silicate mineralogy in Zinkgruvan marble (e.g. diopside, forsterite, phlogopite) can be explained by prograde regional metamorphic reactions between silicates and dolomite or calcite in impure carbonate rocks with a variable content of detrital siliciclastic and volcaniclastic material. However, the stratabound magnetite mineralization and associated Fe-rich skarns cannot be fully accounted for by this model. It is plausible that the Fe-rich skarns can be explained by similar reactions but involving more Fe-rich carbonates (ferrodolomite, ankerite, siderite). In the absence of quartz, siderite is known to thermally decompose into magnetite and graphite at temperatures above 465° C, whereby siderite-rich rocks may have been precursor to the semi-massive to massive magnetite mineralization. A recent genetic model suggests that the ore-forming fluids which formed Zinkgruvan where similar to those which formed McArthur-type SEDEX deposits. The presented results are consistent with this model, since e.g. siderite is a common alteration mineral in alteration envelopes to such deposits. Hence, magnetite mineralization, Zn-Pb-Ag and Cu-ore may all be related to the same pre-metamorphic hydrothermal system. The current genetic model places the magnetite mineralization at Zinkgruvan proximal to a fossil hydrothermal vent zone (the Burkland discontinuity). It is plausible that the magnetite mineralization mined at surface lay along the northern continuation of the Burkland discontinuity. Based on the assumption that the Burkland Cu-mineralization is most proximal and the old iron mines at Åmme are most distal along this structure, variations in whole-rock lithogeochemistry, mineral chemistry and mineralogy have been used to define nine vectors to economic Zn-Pb-Ag and Cu ore as is mined at Zinkgruvan.

The relationship between the police and African Americans has been fraught for some time. In the 2010s, amid the rise of the Black Lives Matter movement, the relationship between African Americans and the police was marked by serious tensions including racism, White privilege, and perceptions of police brutality. The purpose of this case study was to explore the current relationship between the police and the Black Lives Matter social movement and assess movement activists' perceptions of police actions. The theoretical framework for this qualitative case study was based on procedural justice and the reason of actions component of Derrick Bell's critical race theory. Data for this study included more than 1,000 social media postings from Facebook and Twitter; 205 public documents, which included police interactions, incident reports, and interviews; and 25 observations from public gatherings between 2013-2016. Data were coded into a priori themes and then content analyzed. Findings indicated that the Black Lives Matter movement generally increases the tensions in the relationship between the police and African Americans, creating emotional strain due to activists' messages of racism, White privilege, and violence. Recommendations included expanding open communication with the police, providing more training for the police, and encouraging police officers to control their actions when having interactions with African Americans, all of which may result in positive social change. The study findings provided a blueprint for community policing in minority communities.

A father's abandonment of his minor daughter can leave an indelible impression on her psyche -- one that can forever affect her intimate romantic relationships. The purpose of this qualitative phenomenological study was to explore where women who were abandoned by their fathers prior to the age of 18 are today as adults in terms of their intimate romantic relationships and how they develop and engage in these relationships. The research questions examined how a daughter being abandoned by her father prior to the age of 18 relates to where she is today in her adult intimate romantic relationships and what meanings participants attach to relationships and relationship satisfaction as a result of their childhood experiences. Theories of social constructionism and psychosocial development grounded the study. After a review of the literature, data were collected through screening questionnaires and semi-structured interviews with a purposeful sample of 8 women. Each interview was transcribed and the data examined for themes. Key findings indicated that the effect of a daughter being abandoned by her father prior to the age of 18 affects her adult intimate romantic relationships. Results also indicated the psychosocial stage at which she was abandoned affected how she viewed men in her adult relationships as it effects whether she builds trust or mistrust, autonomy or shame and doubt, initiative or guilt, industry or inferiority, identity or role confusion. When the stage is not met, the basic virtue of each stage (hope, will, purpose, competency, fidelity) may be lacking or lost. Positive social change is implicated through this collection of qualitative data that can inform practitioners and researchers, foster therapeutic treatment, and help shed light on and ameliorate the effects of the phenomenon of paternal abandonment of daughters prior to the age of 18.

Spinning the Plan Sideways is the story of Clara Gantz, a thirty-eight year old architect who spent her twenties getting her plans—and sections and elevations—just right. She built buildings in lieu of a family and has considered these buildings her children, but lately she’s been finding a void in wood, marble, and steel. Encouraged, with methods bordering on coercion, by Greta, her “sister” from the Gantz Home for Girls, Clara agrees to mentor Julien, a troubled twelve-year-old. Years ago, when Julien was five, his mother split their house apart, lifting it to make three-stories from one, and moved into the top level with her new husband and daughter, leaving Julien and his father, Michel on the levels below. The separation drove Michel to attempt suicide on Julien’s ninth birthday leaving him with violent aversions to homes over one-story tall. As Clara works with Julien, she discovers her life had been focused on developing the wrong types of plans and she invests in creating new plans for herself, Julien, and Michel. The story unfolds through the parallel viewpoints of Clara and Michel, with Julien’s Grim Fairytale tucked in the middle.

The Will County community supports community policing efforts and wants their law enforcement agencies to be transparent, service-orientated, and committed to their diverse neighborhoods. The purpose of this phenomenological study was to explore current policing methods and tactics to improve community relationships within Will County, Illinois. Six different focus group studies were completed where 33 participants completed questionnaires and follow-up, in-depth interviews were conducted to gather data on personal police experiences and perceptions. The questionnaire responses were separated into three categories including Likert-scale response questions, dichotomous (yes and no answers), and ranking police tactics by levels of importance. Nine statistically data driven tables were generated into percentage totals that created comparisons of police methods, police tactics, and issues. The main policing tactics that Will County residents expected from their policing agencies were rapid response for service and police professionalism (appearance, conduct, communication skills). The participants expected that police agencies solve major crimes (high-profile murders, assaults, robberies). The lowest ranked police tactics discovered in all 4 subcategories surveyed were aggressive enforcement efforts (even for minor offenses) and traffic enforcement. The participants demonstrated support for community policing efforts that requires law enforcement agencies to work with their neighborhoods. The results of this study can be used to create a policing culture that incorporates traditional policing efforts and combines these efforts with the newer community policing methods that are positively impacting the Will County communities.

The research in this study consisted of two strands. The first consists of noble metal geochemical studies and the second involves base metal supergene processes. The precious metal geochemistry carried out in the scope of this thesis involves palladium and tellurium geochemistry, surface chemistry studies of palladium-bismuth- and tellarium-bearing synthetic minerals, and electrochemical determinations of the inactivity of a variety of primary telluride minerals and alloys. Two new minerals have been found in deposits near Broken Hill, N.S.W. The second section of the research concerns itself with supergene processes in two copper-bearing orebodies. This was carried out by designing a method utilising solution equilibria to predict whether secondary mineral species are precipitating or dissolving in the supergene zones of the Girilambone, N.S.W. and North Mungana, Qld. orebodies. Results found could be used to develop new geochemical prospecting methods in the regions discussed. / Doctor of Philosophy (PhD)