Viabilidade De Implantação De Um Buffet De Eventos Especializado Em Churrasco Em São José - Sc

TCC (graduação) - Universidade Federal de Santa Catarina, Centro Sócio Econômico, Curso de Administração.Este trabalho consiste na elaboração de um Plano de Negócios com o intuito de verificar a viabilidade de implantação de um Buffet de churrasco em domicílio no município de São José-SC

POTENTIAL HISTORY: READING ARTIFICIAL INTELLIGENCE FROM INDIGENOUS KNOWLEDGES

Until the beginning of the twentieth century, history, as a core concept of the political project of modernity, was highly concerned with the future. The many crimes, genocides, and wars perpetuated in the name of historical progress eventually caused unavoidable fractures in the way Western philosophies of history have understood change over time, leading to a depoliticization of the future and a greater emphasis on matters of the present. However, the main claim of the “Historical Futures” project is that the future has not completely disappeared from the focus of historical thinking, and some modalities of the future that have been brought to the attention of historical thought relate to a more-than-human reality. This article aims to confront the prospects of a technological singularity through the eyes of peoples who already live in a world of more-than-human agency. The aim of this confrontation is to create not just an alternative way to think about the future but a stance from which we can explore ways to inhabit and therefore repoliticize historical futures. This article contains a comparative study that has been designed to challenge our technologized imaginations of the future and, at the same time, to infuse the theoretical experiment with contingent historical experiences. Could we consider artificial intelligence as a new historical subject? What about as an agent in a “more-than-human” history? To what extent can we read this new condition through ancient Amerindian notions of time? Traditionally, the relationship between Western anthropocentrism and Amerindian anthropomorphism has been framed in terms of an opposition. We intend to prefigure a less hierarchical and more horizontal relation between systems of thought, one devoid of a fixed center or parameter of reference. Granting the same degree of intellectual dignity to the works of Google engineers and the views of Amazonian shamans, we nevertheless foster an intercultural dialogue (between these two “traditions of reasoning”) about a future in which history can become more-than-human. We introduce potential history as the framework not only to conceptualize Amerindian experiences of time but also to start building an intercultural dialogue that is designed to discuss AI as a historical subject

Execution Time Program Verification With Tight Bounds

This paper presents a proof system for reasoning about execution time bounds for a core imperative programming language. Proof systems are defined for three different scenarios: approximations of the worst-case execution time, exact time reasoning, and less pessimistic execution time estimation using amortized analysis. We define a Hoare logic for the three cases and prove its soundness with respect to an annotated cost-aware operational semantics. Finally, we define a verification conditions (VC) generator that generates the goals needed to prove program correctness, cost, and termination. Those goals are then sent to the Easycrypt toolset for validation. The practicality of the proof system is demonstrated with an implementation in OCaml of the different modules needed to apply it to example programs. Our case studies are motivated by real-time and cryptographic software

Método rugoscópico como ferramenta de identificação humana

Human identification is a challenging and complex process. The increase in the number of crimes and mass disasters needing to establish the individual identity in avariety of situations demands the availability of precise methods, which provide certain agility and indisputable criteria. As the conventional methods are inconsistent, palatal rugae can be an effective tool in post-mortem identification. As they resist from extreme situations and a few days after death, they are regarded as unique and stable throughout the indiviual’s life. The aim of this study is to characterize the pattern of palatal rugae according to the number and shape in study models of dental students from the UFPB, located in João Pessoa, Brazil, including the distinction between the genders. The research consisted of an observational, blind and cross-sectional study,using a comparative and statistical-descriptive procedure. The sample consisted of 108 models, in which 48 were male and 60 were female, obtained from the Forensic Dentistry subject of the UFPB. The research was based on the observation and discrimination of the palatal rugae according to three rugoscopic classifications: Castro-Silva, Silva and Veiga (2014) aimed at quantifying palatal rugae in the 2-7, 8-14 or 15-23 ages. Carrea (1937) adopted type I for rugae arranged posteriorly towards the palatine raphe; type II for rugae arranged perpendicular to the palatine raphe; type III for rugae arranged anteriorly towards the palatine raphe; type IV for rugae arranged in random directions; Bassauri (1961) established the point, line, angle, sinuous, curve,circle and polymorphic forms for each palatal rugae evaluated. The results showed that palatal rugae consisted of a range of 8-14 rugae predominantly (men-81.3% and women-80%), in addition to type IV (men-68.8% and women-73.3 %). Besides, the sinuous rugae was more prevalent (men-32.33% and women-31.88%), followed by the forms, line, polymorphic, curve, point, angle and circle. Statistically significant differences between the genders were not found between the variables (p <0.05).Comparing the right and left sides of the total sample, a statistically significant difference was found in the quantification of the palatal rugae (p = 0.01), which was also observed in the male gender (p = 0.004), but not in females (p = 0.055). Regarding the palatine forms, no significant differences were found between the palatine sides in the total sample and between the genders. In the light of the results, the palatine rugoscopy can be used as an effective means for human identification due to its singularity and stability. Besides, there are not two individuals with the same rugoscopic pattern. In addition, it is a feasible, easy to perform and low-cost method, but it is not efficient for gender determination.A identificação humana é um processo desafiador e complexo. O aumento do número de crimes e desastres em massa, com a necessidade de estabelecimento da identidade individual do desconhecido, que pode se encontrar nas mais diversas situações, torna relevante a disponibilidade de métodos precisos, que proporcionem certa agilidade e de critério incontestável. Mediante situações de comprometimento dos métodos convencionais, as rugas palatinas podem ser um adjunto eficaz na identificação post-mortem, por sua natureza única e estável durante toda a vida do indivíduo, resistindo a situações extremas e mesmo a alguns dias após a morte. O Objetivo desse estudo foi caracterizar o padrão de rugosidades palatinas quanto seu número, disposição e forma em modelos de estudo de estudantes de Odontologia da UFPB, na cidade de João Pessoa-PB, incluindo a avaliação da distinção entre os sexos. Tratou-se de um estudo observacional, cego e transversal, e utilizou de procedimento comparativo e estatístico-descritivo. A amostra foi composta por 108 modelos de gesso, sendo 48 do sexo masculino e 60 do sexo feminino, obtidos por consulta ao acervo da disciplina de Odontologia Legal da referida instituição. A pesquisa baseou-se na observação e discriminação das rugas segundo três classificações rugoscópicas: Castro-Silva, Silva e Veiga (2014) voltadas a quantificação das rugas nas faixas de 2-7, 8-14 ou 15-23; Carrea (1937) adotando os tipos I, para as rugas dispostas em sentido posterior em direção a rafe palatina; tipo II, para as rugas dispostas perpendicular a rafe palatina; tipo III, para as rugas dispostas em sentido anterior em direção a rafe palatina; e tipo IV, para as rugas dispostas em direções aleatórias; e Bassauri (1961) estabelecendo as formas de ponto, linha, ângulo, sinuosa, curva, círculo ou polimórfica para cada ruga avaliada. Os resultados mostraram que numericamente as rugas assumiram a faixa de 8-14 rugas predominantemente (homens-81,3% e mulheres-80%), juntamente com a disposição do tipo IV (homens-68,8% e mulheres-73,3%) e que a ruga sinuosa esteve mais presente (homens-32,33% e mulheres-31,88%), seguida das formas, linha, polimórfica, curva, ponto, ângulo e círculo. Não foram estabelecidas diferenças estatisticamente significantes entre os sexos para as variáveis estipuladas (p<0,05).Ao comparar os lados direito e esquerdo da amostra total foi obtida diferença estatisticamente significante na quantificação das rugas (p=0,01), igualmente observado ao avaliar o sexo masculino (p=0,004), porém inexistente no sexo feminino(p=0,055). Quanto as formas palatinas, não foi constatada diferenças significantes entre os lados palatinos na amostra total e para os sexos. Pôde-se concluir que a rugoscopia palatina pode ser utilizada como um meio eficaz para identificação humana, devido a sua genuína singularidade e estabilidade, não havendo dois indivíduos com o mesmo padrão rugoscópico, além de ser um método viável, de fácil execução e baixo custo, porém não é eficiente para a determinação sexual

A falta de isonomia na concessão de prisões domiciliares no contexto da pandemia

The impacts of COVID-19 pandemic are particularly noticed by the most vulnerable groups. People deprived of their liberty, who already live with the precariousness of the state punitive system and the overcrowding of prisons, now suffer from an invisible, easily transmissible threat that has made them even more invisible. This current paper has as main reference the Recommendation 62/2020 of the National Council of Justice of Brazil, which guided the Judiciary across the country to adopt measures to contain the virus, but unfortunately, has not been fulfilled, under the allegation that it is not binding. Based on the jurisprudence of the higher courts and the legislation in force, the possibilities of replacing preventive prisons with house prisons are presented, in comparison with the new regulation brought by the National Council of Justice of Brazil. It also focuses on the interpretation given by some courts to Resolution 62/2020, establishing the contradiction of decisions in similar cases, to the damage of the principle of equality and legal certainty. Legislative reactions to the Recommendation (backlash effect) are also analyzed based on international human rights jurisprudence.Os impactos da pandemia de COVID-19 são especialmente percebidos pelos grupos mais vulneráveis. Pessoas privadas de liberdade, que já convivem com a precarização do sistema punitivo estatal e a superlotação dos estabelecimentos prisionais, agora sofrem com uma ameaça facilmente transmissível e que as tornou ainda mais invisibilizadas. O presente trabalho tem como principal referência a Recomendação 62/2020 do Conselho Nacional de Justiça, que orientou o Poder Judiciário de todo o país a adotar medidas de contenção do vírus. A partir da jurisprudência dos tribunais superiores e da legislação em vigor, são apresentadas as possibilidades de substituição das prisões preventivas por prisões domiciliares, em cotejo com o novo regramento trazido pelo Conselho Nacional de Justiça. Enfoca-se, ainda, a interpretação conferida à Resolução 62/2020, demonstrando-se a contrariedade das decisões em casos análogos, em prejuízo ao princípio da igualdade e da segurança jurídica. As reações legislativas à Recomendação (efeito backlash) são igualmente abordadas e analisadas à luz da jurisprudência internacional dos direitos humanos