A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

Natal Condomínio Clube : inovação espacial nos eixos de valorização da zona sul da cidade

This dissertation is about new real estate development in the southward expansion area in Natal, Brazil, by use of high-rise condos, so-called club-condominiums. The area includes part of the neighboring municipality, Parnamirim, and focuses on the role played by urban developers in the housing market. The main feature in these condos are common areas filled with leisure equipments, allegedly to grant quality of life, comfort and tranquility to residents. The rapid development of the area takes advantage of large plots of land available as well as of urban infrastructure. Overall preference of middle-class sectors for the South area of Natal (and adjoining part of Parnamirim) is also a factor worth of note. For this reason, this part of the city constitutes one of the preferred areas of urban developers. This dissertation includes a discussion of Henri Lefebvre s production of space, emphasizing its tridimensional features. It draws on David Harvey s works to deal with transformations of the built environment regarding the dynamics of real estate markets; in particular, it considers the idea of creative destruction. Finally, the dissertation discusses the concepts developed by Pedro Abramo regarding the forms of operation by urban entrepreneurs, in particular the concepts of urban convention and spatial innovation. For the empirical work, a number of interviews with key entrepreneurs and civil servants were undertaken. In more general terms, it is worth observing that there is a direct relationship between the location of such developments and the process of spatial fragmentation, seen both as a consequence and a strategy of the way urban developers operate

Estado neurológico e cardiorrespiratório de filhotes de cães nascidos de parto normal ou de cesariana sob anestesia geral inalatória com sevofluorano

A anestesia obstétrica possibilita um procedimento mais seguro para a mãe e para os fetos. em medicina veterinária, no entanto, a literatura científica a respeito do assunto é deficiente. Este trabalho teve como objetivo avaliar o grau de depressão neurológica, hemodinâmica e respiratória fetais provocado pelo agente anestésico, em que as mães foram submetidas ao parto normal ou à cesariana, utilizando-se sevofluorano como agente de manutenção anestésica, comparando-o com o parto normal. Foram realizados seis partos normais (GN) e seis cesarianas (GC), avaliando-se um total de 36 filhotes. As cesarianas foram realizadas utilizando-se acepromazina, propofol e sevofluorano (GC) e os neonatos foram avaliados clinicamente ao primeiro, quinto e décimo minuto de nascimento, nos dois grupos. Observou-se maior depressão respiratória nos filhotes nascidos de cesariana. Contudo, apesar dessa depressão, o protocolo anestésico empregado não comprometeu de maneira importante a viabilidade e a saúde das mães e dos filhotes, demonstrando ser seguro em cadelas gestantes.

Cromatografia gasosa ultrarrápida: uma visão geral sobre parâmetros, instrumentação e aplicações

Since the introduction of GC there has been an ongoing interest in reducing time of analysis resulting in new terms and definitions such as ultra fast gas chromatography (UF-GC). One of the most used definitions describes UF-GC as a technique that combines the employment of short narrow bore column with very fast temperature programming rates producing chromatographic peaks in the range of 50 ms and allowing separations times in 1-2 min or less. This paper summarizes the analytical approaches, the main parameters involved and the instrumentation towards UF-GC.

O modelo Z-D e a função emprego: descrições gráficas à luz da Teoria Geral de Keynes

Este artigo compara três versões do modelo Z-D que descrevem graficamente a função emprego de Keynes. Ao mesmo tempo, o artigo corrige a redação dada por Keynes, na Teoria Geral, à descrição desta função. O artigo conclui que as versões em pauta têm o mérito de demonstrar que é possível descrever a função emprego através de um diagrama inspirado no conceito de demanda efetiva e considerando suposições menos restritas que as utilizadas por Keynes.

Efeitos do modo ventilatório sobre variáveis hemogasométricas em equinos submetidos à mudança de decúbito durante a anestesia geral inalatória com halotano

Compararam-se os efeitos da ventilação espontânea (V E) e controlada (V C) em equinos submetidos à mudança de decúbito durante anestesia. Dezesseis animais foram equitativamente divididos em dois grupos: V E e V C. Os procedimentos cirúrgicos foram iniciados com os animais em decúbito lateral esquerdo (DLE) e, após 75 minutos, os animais foram reposicionados em decúbito lateral direito (DLD). Análises hemogasométricas do sangue arterial foram realizadas após 30 e 75 minutos com os animais posicionados em cada decúbito (M1 e M2 no DLE e M3 e M4 no DLD, respectivamente). Durante a V E, observaram-se hipercapnia (PaCO2 >45mmHg), acidose respiratória (pH <7,35), redução significativa da oxigenação sanguínea após 75min da mudança de decúbito (M4: 205,8±124,7mmHg) em relação aos valores de PaO2 observados antes da mudança de posicionamento (M1: 271,8±84,8mmHg). A Vc foi associada a valores de PaCO2 e pH mais próximos da normalidade bem como resultou em valores de PaO2 significativamente maiores (52 a 96% de elevação nos valores médios) que a V E. Conclui-se que a mudança de decúbito, em equinos anestesiados com halotano e mantidos sob V E, resulta em hipercapnia, acidose respiratória e diminuição dos valores de PaO2. A instituição de V C, desde o início da anestesia, previne a acidose respiratória, além de resultar em valores de PaO2 mais próximos do ideal para animais respirando O2 a 100%.

Fundamentos de otimização por inteligência de enxames: uma visão geral

Este artigo apresenta uma breve revisão de alguns dos mais recentes métodos bioinspirados baseados no comportamento de populações para o desenvolvimento de técnicas de solução de problemas. As metaheurísticas tratadas aqui correspondem às estratégias de otimização por colônia de formigas, otimização por enxame de partículas, algoritmo shuffled frog-leaping, coleta de alimentos por bactérias e colônia de abelhas. Os princípios biológicos que motivaram o desenvolvimento de cada uma dessas estratégias, assim como seus respectivos algoritmos computacionais, são introduzidos. Duas aplicações diferentes foram conduzidas para exemplificar o desempenho de tais algoritmos. A finalidade é enfatizar perspectivas de aplicação destas abordagens em diferentes problemas da área de engenharia.

Atelectasia pulmonar em cães durante anestesia geral

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Modelo geral das atividades da empresa

O modelo evidencia que as atividades de qualquer tipo de empresa, inclusive a de serviços, podem ser organizadas em quatro grupos (produção, atendimento, apoio e planejamento) e que essa organização é aplicável à empresa como um todo, a qualquer órgão (departamento, seção) e a qualquer célula de trabalho, inclusive a constituída por apenas um funcionário. O modelo, por mergulhar, como nenhum outro, nas profundezas da empresa, complementa outros modelos (Tavistock, Katz & Kahn, Kast & Rosenzweig). A comparação com o modelo da Cadeia de Valores de Porter e as vantagens apontadas no texto permitem concluir que o modelo é bastante adequado para a proposição de mudanças na empresa que melhorem sua posição competitiva.

Escuta analítica no hospital geral: : implicações com o desejo do analista

Partindo da experiência na enfermaria de um hospital-escola1, do confronto com o status-quo do trabalho dos psicólogos em hospitais e da avaliação da literatura sobre a clínica psicanalítica em hospital, esta pesquisa se propôs a buscar avanços frente a uma questão específica: a escuta psicanalítica no trabalho em enfermarias de hospital geral e as implicações dessa prática com o desejo do psicanalista. Foram entrevistados quinze psicólogos declaradamente de orientação psicanalítica, vinculados a unidades de internação e com experiência mínima de dois anos de trabalho em hospital geral. As entrevistas foram abertas e semi-estruturadas, com o intuito de contemplar de maneira uniforme a coleta de informações de cunho mais objetivo, assim como de facilitar a pertinência ao tema de estudo. A interpretação dos dados foi realizada à luz do referencial clínico psicanalítico (freud-lacaniano), sendo que tal interpretação nos permitiu identificar uma importante interação entre os impasses, presentes na instituição hospitalar, da prática clínica psicanalítica com questões pessoais e de formação do profissional, interação que se vincula à postura de trabalho adotada no hospital. Reafirmamos, através desta pesquisa, a possibilidade de fazer uso de uma escuta analítica no trabalho com pacientes internados, a qual está sempre voltada para as manifestações do inconsciente ao longo da fala, e na qual a direção do tratamento é a emergência do sujeito do inconsciente.

Lógica fuzzy na avaliação da fertilidade do solo e produtividade do café conilon

The objective of this study was to analyze, using the geoestatistic and a system of classification fuzzy, the fertility of an experimental area with base in chemical attributes of the soil and its relationship with the productivity of the conilon coffee. The study was accomplished in the experimental farm of the INCAPER - ES. The soil samples were collected in the depth of 0 - 0.2 m, being analyzed the attributes: matches, potassium, calcium and magnesium, aluminum, sum of bases, cation exchange capacity (pH 7), and saturation percentage. The data were submitted to a descriptive, exploratory, and geostatistical analysis. A system of fuzzy classification was applied using the attributes described to infer about the fertility of the soil and its relationship with the productivity of the culture. The fertility possibility presented positive spatial relationship with the productivity of the culture, with higher values of this where the possibility of fertile soil is superior.

Palaeomagnetism of the Mesozoic Serra Geral Formation, southern Brazil

Palaeomagnetic results from 20 volcanic sequences and 11 intrusive bodies (sills and dykes) of the Serra Geral Formation (Paraná Basin) are reported in this paper. The sequences are widespread all over the basin, while sills and dykes (Ponta Grossa arch) come from the northeastern portion. Three mean palaeomagnetic poles were computed for the Serra Geral Formation, which account for a time interval of ∼ 15 Ma. Pole SG1 is located at 85°S,108°E (α95 = 1.1°, N = 18) and represents the main phase of the magmatic activity in the basin, with a mean age of ∼ 135 Ma. Pole SG2 is located at 82°S,38°E (α95 = 7.8°, N = 2) and represents a younger magmatic phase, with an associated age of ∼ 130 Ma. Pole SG3 (72°S,37°E; α95 = 6.8°, N = 10) is the youngest pole. It is computed from the intrusive rocks and its age is assumed to be not younger than 118 Ma, the lower limit of the 'Cretaceous normal magnetic interval'. These three poles describe a shifting path, which suggest that the South American platform moved ∼ 5° southwards and rotated ∼ 10° clockwise during the Lower Cretaceous, preceding the South Atlantic opening. © 1990.

Caracterizacao litoquimica e aspectos petrologicos de rochas vulcanicas da Formacao Serra Geral: regiao centro-sul do Estado do Parana

This work defines the main volcanic types of Central-Southern Parana State (Serra Geral Formation), their stratigraphic relations, and which petrological process are able to explain the observed volcanic associations. -from English summary

Complicacoes respiratorias em criancas submetidas a anestesia geral

Background and Objectives - The decision to perform anesthetic and surgical procedures in children with upper airway infeccious disease, due to the possibility of intraoperative respiratory morbidity, has been a dilemma for anesthesiologists. This study aimed at evaluating the incidence of respiratory complications in children submitted to general anesthesia and correlate them to preoperative signs and symptoms related to the respiratory tract, thus determining anesthetic-surgical morbidity. Methods - Participated in this study 284 children, physical status ASA I or II, submitted to general anesthesia. During preoperative evaluation, respiratory signs and symptoms were recorded, as well as types of diseases and corresponding diagnoses. Respiratory complications during anesthesia and in the recovery room were also recorded and analyzed taking into account age, elective or urgent procedure, airway management and presence or absence of signs, symptoms or history of respiratory tract diseases. Results - We found 38% of patients with preoperative respiratory disease history. The most common respiratory disease was upper airway infection. Intraoperative respiratory complications were present in 26.4% of patients. Children under 12 months of age and those with preoperative respiratory disease history had more intraoperative and PACU complications. Conclusions - We concluded that children, specially younger, with respiratory system involvement, like upper airway infections, are at a higher risk of intra and postoperative respiratory complications, thus with an increased incidence of anesthetic-surgical morbidity.