Thesis (M.S.)--Missouri State University, 2008. / "August 2008." Includes bibliographical references (leaf 53). Also available online.

Thesis (M.Ed.)--University of Hong Kong, 1995. / Includes bibliographical references (leaves 90-99). Also available in print.

Thesis (Ph. D.)--University of Wisconsin--Madison, 1984. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 224-228).

abstract: This research explores the influence of brand and shelf display cues on consumer preferences for products that appear to be in scarce supply. In so doing, I develop a theoretical model of how scarcity operates in the retail environment, identifying when it increases purchase intentions, when it decreases purchase intentions, and the underlying mechanisms driving these outcomes. Across a series of five studies, I find that when consumers infer that products are scarce due to popularity, they are more likely to buy these products, but only when the products are unfamiliar nonfood brands. I also find that scarce products are less likely to be purchased when they are familiar food brands. In addition, the price of the product is an important moderator of these effects, as price further influences perceptions about the popularity of the product. / Dissertation/Thesis / Ph.D. Business Administration 2010

Esta dissertação tem como objetivo principal analisar o cabimento, no direito processual brasileiro, de uma distribuição dinâmica das regras do ônus da prova. Na primeira parte, são analisados o conceito, o objeto e a finalidade da prova, com apontamento da distinção entre fontes e meios. Após, são estudados o conceito de ônus da prova e sua distinção da obrigação, dando ênfase aos seus aspectos objetivo e subjetivo e às principais teorias, antigas e modernas, que tratam dos critérios para a distribuição do ônus da prova. Estudou-se, em seguida, os principais fenômenos relacionados ao ônus da prova, quais sejam a distribuição, cuja regra geral está no art. 333 do CPC, e a redistribuição como gênero, tendo com espécies a redistribuição strictu sensu, cabível em casos de probatio diabolica e em excepcionais casos em que a prova se apresenta difícil por fatores externos ao processo, e a inversão, cujo exemplo, no direito pátrio, é o art. 6o, inc. VIII, do CDC. Na segunda parte do trabalho, são apresentadas duas novas teorias sobre a distribuição do ônus da prova: a visão solidarista do ônus da prova e a teoria dinâmica dos ônus probatórios. Por fim, ante a necessidade de flexibilização das atuais regras gerais de distribuição do ônus da prova e, ao mesmo tempo, controle do excessivo subjetivismo judicial, analisa-se o cabimento da aplicação da teoria dinâmica no direito brasileiro, apontando-se os parâmetros para a decisão judicial que a aplique. Do estudo, concluiu-se que o direito processual brasileiro admite a aplicação da teoria dinâmica dos ônus probatórios em face da incidência do princípio da igualdade, dos poderes instrutórios do juiz e do dever de lealdade, boa-fé e colaboração das partes. Concluiuse, ainda, que embora possa acontecer em momento diverso, o momento mais oportuno para a ocorrência da redistribuição do ônus da prova é a audiência preliminar, não podendo se verificar, em nenhuma hipótese, surpresa às partes, sob pena de ferimento ao princípio do contraditório. Quanto à decisão judicial que aplica a teoria dinâmica, deve esta levar em conta que tal aplicação é de caráter excepcionalíssimo, devendo ser bem fundamentada. / This study has the purpose of analyzing a dynamic employment of the burden of proof in the Brazilian Procedural Law. In the first part of this study, the concept and object and the evidence are analyzed through distinguishing sources and ways. Afterwards, the concept of burden of proof and its difference from obligation are studied based on subjective and objective aspects of dominant old and modern theories. We also examined the main phenomena relating to the burden of proof in general presented on the art. 333 Brazilian Procedural Code, the presentation of the burden of proof strict sensu in case of probatio diabolica and the shifting of burden of proof based on the art. 6, inc.VII, Brazilian Consumption Code. In the second part of the study, two theories related to the shifting of the burden of proof are presented. Based on those two theories, we came to the conclusion that a more dynamic way of applying the general rules for shifting the burden of proof and excessive control of judicial subjectivism is necessary to reach fairness. Finally, we concluded that the Brazilian Procedural Law allows the application of the dynamic theory of burden of proof based on the principle of equity, discretion, loyalty, good faith and the collaboration of the parties. Besides, the best moment to submit some evidence for the shifting of the burden of proof is over the course of a hearing. The decision shall be based on legal matters, facts and principles due to the fact that the dynamic theory to analyze evidence in case of shifting the burden of proof is used in special cases.

In the thesis a new way of checking whether a function is CCZ-equivalent to a permutation is given. The results for known families of almost perfect nonlinear (APN) functions are presented for functions defined over GF(2n ), for even n ≤ 12. The ways how to reduce the number of polynomials from each family are studied. For functions of the form x3 + a-1 tr1(a3 x9 ) it is shown, that they cannot be CCZ-equivalent to a permutation on fields GF(24n ) for n ∈ ℕ .

No description available.

[pt] Ao descrever-se a prova de um teorema, é fundamental que haja cautela para que esta não contenha erros ou inconsistências. Para provas muito longas, no entanto, a detecção de erros pode tornar-se uma tarefa humanamente inviável. Um assistente de provas é um programa cuja finalidade é realizar esta detecção de erros para um usuário de forma eficiente, bem como facilitar a construção e compreensão de provas complexas a partir de outras já existentes. O Lean Theorem Prover, desenvolvido em 2012 por Leonardo de Moura, é um assistente de provas que trabalha com descrição de provas através de uma linguagem computacional compilável. Propomos aqui uma descrição no Lean Theorem Prover das provas de funcionamento de diversos algoritmos pertinentes à área de criptografia. / [en] When describing a proof of a theorem, one must be cautious to ensure said proof does not contain errors or inconsistencies. For very long proofs, however, error detection can become humanly infeasible. A proof assistant is a program whose purpose is to perform said error detection efficiently, as well as to assist in the creation and comprehension of complex proofs out of simpler, existing proofs. The Lean Theorem Prover, developed in 2012 by Leonardo de Moura, is a proof assistant which functions via description of proofs in a compilable computer language. We present a description of proofs of correctness of various algorithms pertaining to cryptography in the Lean Theorem Prover.

Orientador: Monica da Costa Serra / Resumo: Nos processos criminais muitas vezes o magistrado precisa do aporte técnico de um expert no assunto relacionado ao crime sub judice para a aplicação da sanção penal. O proferimento da sentença, embasado em laudo de excelente qualidade, assegura ao processo o devido cumprimento da Justiça. A região de face, cabeça e pescoço costuma ser alvo daqueles que procuram lesionar ou mesmo matar suas vítimas. Não há estudos que analisem processos, laudos periciais e dados epidemiológicos de casos de mortes violentas, em que tenha havido acometimento da região de face, cabeça e pescoço. Assim, com tal objetivo, propomos a realização deste estudo. Para isto foram levantadas, primeiramente, decisões de segunda instância de processos criminais originários do Estado de São Paulo, no período de 2012 a setembro de 2017, de casos de morte violenta em que face, cabeça e pescoço tivessem sido acometidos. Foi utilizada a ferramenta de consulta de jurisprudência do site do Tribunal de Justiça de São Paulo. Foram incluídas nesta pesquisa as comarcas cuja competência para realização dos exames periciais é do Instituto Médico Legal de Araraquara-SP. Os acórdãos foram lidos e selecionados os que tratavam de homicídio, lesão corporal seguida de morte e latrocínio consumados. Os laudos periciais correspondentes aos processos levantados foram buscados no IML de Araraquara. Essa busca resultou em 49 laudos, que foram analisados. Observou-se que a maioria das vítimas de homicídio e latrocínio era homem, bra... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: In criminal lawsuits, the judge often needs the technical input of an expert on the subject related to the crime, for the application of the penal sanction. The delivery of the decision, based on a report of excellent quality, ensures to the lawsuit the due enforcement of justice. The face, head and neck region is often targeted by those who seek to injure or even to kill their victims. There are no studies that analyze lawsuits, expert reports and epidemiological data of cases of violent deaths, in which there has been involvement of the face, head and neck region. Thus, with this objective, we propose this study. For this purpose, we searched decisions of the second instance of criminal cases originated in State of São Paulo, from 2012 to September 2017, in cases of violent death in which the face, head and neck were affected. We used the consultation jurisprudence tool of the website of the Court of Justice of São Paulo. We included in this research the counties whose competence to perform the expert examinations is from the Institute of Legal Medicine (IML) of Araraquara-SP. The decisions were read and those related to consumated homicide, body injury followed by death and robbery followed by death were selected. The expert reports corresponding to the selected cases were searched in the IML of Araraquara. This search resulted in 49 reports, which were analyzed. We observed that the majority of homicide and robbery victims were male, white, under 40 years of age and of lo... (Complete abstract click electronic access below) / Mestre

Esta dissertação tem como objetivo principal analisar o cabimento, no direito processual brasileiro, de uma distribuição dinâmica das regras do ônus da prova. Na primeira parte, são analisados o conceito, o objeto e a finalidade da prova, com apontamento da distinção entre fontes e meios. Após, são estudados o conceito de ônus da prova e sua distinção da obrigação, dando ênfase aos seus aspectos objetivo e subjetivo e às principais teorias, antigas e modernas, que tratam dos critérios para a distribuição do ônus da prova. Estudou-se, em seguida, os principais fenômenos relacionados ao ônus da prova, quais sejam a distribuição, cuja regra geral está no art. 333 do CPC, e a redistribuição como gênero, tendo com espécies a redistribuição strictu sensu, cabível em casos de probatio diabolica e em excepcionais casos em que a prova se apresenta difícil por fatores externos ao processo, e a inversão, cujo exemplo, no direito pátrio, é o art. 6o, inc. VIII, do CDC. Na segunda parte do trabalho, são apresentadas duas novas teorias sobre a distribuição do ônus da prova: a visão solidarista do ônus da prova e a teoria dinâmica dos ônus probatórios. Por fim, ante a necessidade de flexibilização das atuais regras gerais de distribuição do ônus da prova e, ao mesmo tempo, controle do excessivo subjetivismo judicial, analisa-se o cabimento da aplicação da teoria dinâmica no direito brasileiro, apontando-se os parâmetros para a decisão judicial que a aplique. Do estudo, concluiu-se que o direito processual brasileiro admite a aplicação da teoria dinâmica dos ônus probatórios em face da incidência do princípio da igualdade, dos poderes instrutórios do juiz e do dever de lealdade, boa-fé e colaboração das partes. Concluiuse, ainda, que embora possa acontecer em momento diverso, o momento mais oportuno para a ocorrência da redistribuição do ônus da prova é a audiência preliminar, não podendo se verificar, em nenhuma hipótese, surpresa às partes, sob pena de ferimento ao princípio do contraditório. Quanto à decisão judicial que aplica a teoria dinâmica, deve esta levar em conta que tal aplicação é de caráter excepcionalíssimo, devendo ser bem fundamentada. / This study has the purpose of analyzing a dynamic employment of the burden of proof in the Brazilian Procedural Law. In the first part of this study, the concept and object and the evidence are analyzed through distinguishing sources and ways. Afterwards, the concept of burden of proof and its difference from obligation are studied based on subjective and objective aspects of dominant old and modern theories. We also examined the main phenomena relating to the burden of proof in general presented on the art. 333 Brazilian Procedural Code, the presentation of the burden of proof strict sensu in case of probatio diabolica and the shifting of burden of proof based on the art. 6, inc.VII, Brazilian Consumption Code. In the second part of the study, two theories related to the shifting of the burden of proof are presented. Based on those two theories, we came to the conclusion that a more dynamic way of applying the general rules for shifting the burden of proof and excessive control of judicial subjectivism is necessary to reach fairness. Finally, we concluded that the Brazilian Procedural Law allows the application of the dynamic theory of burden of proof based on the principle of equity, discretion, loyalty, good faith and the collaboration of the parties. Besides, the best moment to submit some evidence for the shifting of the burden of proof is over the course of a hearing. The decision shall be based on legal matters, facts and principles due to the fact that the dynamic theory to analyze evidence in case of shifting the burden of proof is used in special cases.