772 research outputs found
Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment
The area of geometry with its very strong and appealing visual contents and
its also strong and appealing connection between the visual content and its
formal specification, is an area where computational tools can enhance, in a
significant way, the learning environments.
The dynamic geometry software systems (DGSs) can be used to explore the
visual contents of geometry. This already mature tools allows an easy
construction of geometric figures build from free objects and elementary
constructions. The geometric automated theorem provers (GATPs) allows formal
deductive reasoning about geometric constructions, extending the reasoning via
concrete instances in a given model to formal deductive reasoning in a
geometric theory.
An adaptative and collaborative blended-learning environment where the DGS
and GATP features could be fully explored would be, in our opinion a very rich
and challenging learning environment for teachers and students.
In this text we will describe the Web Geometry Laboratory a Web environment
incorporating a DGS and a repository of geometric problems, that can be used in
a synchronous and asynchronous fashion and with some adaptative and
collaborative features.
As future work we want to enhance the adaptative and collaborative aspects of
the environment and also to incorporate a GATP, constructing a dynamic and
individualised learning environment for geometry.Comment: In Proceedings THedu'11, arXiv:1202.453
Tetraparesia: an Unusual Presentation of Disseminated Tuberculosis
A 48-year-old man with a 4 months history of asthenia, anorexia, 10 kg weight loss and 1 month of hematuria and dysuria was admitted to another hospital for sudden muscular weakness. He was found to have areflexic tetraparesis and was referred to our hospital.On admission, he was bradycardic, tachypneic, with flaccid tetraplegia. Laboratory results showed metabolic acidemia, severe hyperkalemia and hyponatremia, acute renal dysfunction and sterile pyuria. After hyperkalemia correction, the neurological symptoms resolved.On the second day, he became febrile and chest radiograph and CT images showed a pulmonary bilateral reticulomicronodular pattern, left hydronephrosis and diffuse bladder wall thickening. Disseminated tuberculosis was considered as diagnosis by the coexistence of this imagiologic alterations and sterile pyuria. Acid-fast test for Mycobacteriumtuberculosis was negative, but the urine culture became positive after 2 weeks.Antituberculosis treatment was started. One year later, he was asymptomatic and the structural urinary lesions had disappeared.info:eu-repo/semantics/publishedVersio
Relato financeiro eletrónico: as necessidades dos utilizadores no caso angolano
O relato financeiro eletrónico é uma realidade tornada possível com o aparecimento da Internet,cada vez mais utilizado pelas empresas na divulgação da informação contabilístico-financeira. Embora seja uma área de investigação relativamente recente, existem já diversos estudos e recomendações no sentido de as empresas potenciarem as suas possibilidades. Contudo, é mais escassa a investigação publicada que incida no lado da procura da informação contabilístico-financeira e que identifique as necessidades dos utilizadores quanto ao formato e conteúdo dessa informação. Assim, o objetivo deste estudo é verificar se as necessidades e interesses dos utilizadores deste tipo de informação, num mercado bolsista emergente, como é o caso de Angola,
coincidem, ou não, com as recomendações e modelos de divulgação atuais. Concluímos que as necessidades dos utilizadores estudados correspondem às recomendações atuais, quanto ao formato de apresentação da informação contabilístico-financeira e respetivo conteúdo, devendo ser consideradas como referência pelas empresas que vão integrar o mercado bolsista emergente
angolano. Este trabalho apresenta dois contributos: por um lado, a análise na perspetiva da procura da informação e, por outro lado, o estudo desta temática num mercado emergente, o que permitirá aos organismos reguladoras definir regras e recomendações antecipadamente, no que respeita ao relato financeiro eletrónico.fThe authors are pleased to acknowledge financial support from Fundação para a Ciência e a Tecnologia (grant UID/ECO/04007/2013) and FEDER/COMPETE (POCI-01-0145-FEDER-007659
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
The pursue of what are properties that can be identified to permit an automated reasoning program to generate and find new and interesting theorems is an interesting research goal (pun intended). The automatic discovery of new theorems is a goal in itself, and it has been addressed in specific areas, with different methods. The separation of the "weeds", uninteresting, trivial facts, from the "wheat", new and interesting facts, is much harder, but is also being addressed by different authors using different approaches. In this paper we will focus on geometry. We present and discuss different approaches for the automatic discovery of geometric theorems (and properties), and different metrics to find the interesting theorems among all those that were generated. After this description we will introduce the first result of this article: An undecidability result proving that having an algorithmic procedure that decides for every possible Turing Machine that produces theorems, whether it is able to produce also interesting theorems, is an undecidable problem. Consequently, we will argue that judging whether a theorem prover is able to produce interesting theorems remains a non deterministic task, at best a task to be addressed by program based in an algorithm guided by heuristics criteria. Therefore, as a human, to satisfy this task two things are necessary: An expert survey that sheds light on what a theorem prover/finder of interesting geometric theorems is, and-to enable this analysis- other surveys that clarify metrics and approaches related to the interestingness of geometric theorems. In the conclusion of this article we will introduce the structure of two of these surveys -the second result of this article- and we will discuss some future work.</p
Are martial arts and combat sports a school for life? Relationships between sport attitudes and quality of life (intermediate results)
El sentido del número en los futuros profesores de Primer Ciclo dos estudios de caso
Esta comunicación pretende presentar algunas evidencias del trabajo de investigación que se lleva a cabo en el proyecto SNUMERO, del Núcleo de investigación y Desarrollo en Educación (NIDE) del Instituto Politécnico de Leiria. Se pretende caracterizar el sentido del número en los futuros profesores de 1.er ciclo de enseñanza básica, y percibir la forma en que planifican y llevan a cabo tareas en ese ámbito, en el contexto de la práctica pedagógica. En la construcción de casos se ha empleado una metodología cualitativa de naturaleza interpretativa. Se presentan los casos de dos futuras profesoras pertenecientes al mismo núcleo de práctica. Los resultados permiten apreciar que las futuras profesoras tienen diferentes niveles de desarrollo del sentido del número, aunque ambas planifican tareas muy pertinentes en ese ámbito. La exploración de esas tareas con los alumnos presenta, en los dos casos, características propias
Are martial arts and combat sports a school for life? Relationships between sport attitudes and quality of life (intermediate results)
[EN] Quality of Life (QoL) is an indicator of health status and represents a multidimensional..
The number sense of preservice elementary school teachers, two case studies
Esta comunicación pretende presentar algunas evidencias del trabajo de
investigación que se lleva a cabo en el proyecto SNUMERO, del Núcleo de
investigación y Desarrollo en Educación (NIDE) del Instituto Politécnico de Leiria. Se
pretende caracterizar el sentido del número en los futuros profesores de 1.er ciclo de
enseñanza básica, y percibir la forma en que planifican y llevan a cabo tareas en ese
ámbito, en el contexto de la práctica pedagógica. En la construcción de casos se ha
empleado una metodología cualitativa de naturaleza interpretativa. Se presentan los
casos de dos futuras profesoras pertenecientes al mismo núcleo de práctica. Los
resultados permiten apreciar que las futuras profesoras tienen diferentes niveles de
desarrollo del sentido del número, aunque ambas planifican tareas muy pertinentes en
ese ámbito. La exploración de esas tareas con los alumnos presenta, en los dos casos,
características propias
The role of European «ro-ro» port terminals in the automotive supply chain management
http://www.sciencedirect.com/science/article/B6VG8-4V5XNYN-2/2/e3b9cc9ae1d3da27edb4977da8fc19e
ACLIMATAÇÃO DA MAQUINARIA FOTOSSINTÉTICA DO CLONE DE SERINGUEIRA FX 3864 A CICLOS DE DEFICIÊNCIA HÍDRICA
A seringueira é uma espécie nativa da Amazônia, explorada comercialmente pela produção de látex para fabricação da borracha natural. Contudo, no Brasil estudos têm mostrado que a produtividade dos seringais pode ser afetada pela variação climática nos ambientes em que a cultura está inserida, principalmente quanto à limitação hídrica, e relatam que plantas submetidas a sucessivos estresses hídricos são capazes de desenvolver de forma mais rápida, respostas de aclimatação, potencializando seu desempenho quando submetidas novamente ao mesmo estresse. E assim, o objetivo do estudo foi testar a hipótese de que mudas clonais de seringueira FX 3864 submetidas a três ciclos de deficiência hídrica são capazes de apresentar respostas de aclimatação bem mais evidentes do que plantas submetidas a apenas um ciclo. Para isso foram monitoradas variáveis ecofisiológicas e microclimáticas durante todo o estudo, que foi desenvolvido em casa de vegetação, no município de Jerônimo Monteiro, ES. O experimento teve duração de 167 dias (outubro/2015 a abril/2016) e as mudas tinham 47 dias de enxertia ao iniciar os tratamentos. O delineamento experimental foi o inteiramente casualizado (DIC). Os tratamentos consistiram em ciclos de deficiência hídrica (DH): controle (plantas sempre irrigadas); 1C (plantas submetidas à um ciclo); 2C (plantas submetidas à dois ciclos); e 3C (plantas submetidas à três ciclos). Cada ciclo de DH foi caracterizado por duas fases, a inicial com a desidratação das plantas pela suspensão da irrigação até que a taxa de assimilação líquida (A) das plantas atingisse o valor zero (A ≤ 0), e a final com a reposição da água do substrato para próximo a capacidade de campo (CC). Após a reidratação das plantas, quando a taxa de A alcançou 90% da taxa das plantas do controle se iniciou um novo ciclo de deficiência hídrica. Os resultados mostraram que as plantas do tratamento 3C obtiveram maiores taxas de A, condutância estomática (gs), transpiração (E) e eficiência instantânea do uso da água (pela relação A/E) durante o terceiro ciclo de DH, encerrando o ciclo com 25% de água disponível (AD) no substrato, em relação as plantas 2C e 1C. O status hídrico das plantas do 3C, observado pelo conteúdo relativo de água (CRA) ao final do terceiro ciclo de DH, permaneceu semelhante ao das plantas-controle, indicando uma maior manutenção da turgescência nas células destas plantas. Já as plantas do 1C foram afetadas com a DH, pois mesmo com 44% de AD no substrato o status hídrico no interior das células foi reduzido significativamente, e em consequência os processos fisiológicos. Quanto aos pigmentos fotossintéticos as plantas do tratamento 3C acumularam maiores teores de pigmentos cloroplastídicos, com destaque para clorofila a e carotenóides em relação as plantas 2C e 1C. E, portanto, conclui-se que as plantas submetidas a três ciclos de DH aclimataram a sua maquinaria fotossintética ao longo dos estresses hídricos a que foram submetidas, ao contrário das plantas submetidas a um ciclo de DH, pois um único ciclo promoveu danos severos ao seu metabolismo causando intensa redução nas suas taxas fisiológicas e consequente abscisão foliar
- …