Viva@Matemática project: a different way to see math

Viva@Mat is a project developed by four Math teachers from the School of Industrial Studies and Management (ESEIG) that was born with the fundamental objective of engaging ESEIG students with different math backgrounds in Math challenging activities. Some of these activities were transformed into real palpable materials and others into small interactive ones, being the great majority of them proposed by ESEIG’ students themselves. This small project rapidly grew into something we didn’t expect – it did flow over the walls of our institution to the general involving community – specifically to pre-university schools through the Viva@Math Exhibits – Orange, Blue and Green (the fourth, the Purple one is still in development). Nowadays, Viva@Math Exhibits – the public face of the Project – are itinerant and have been travelling between several, and different institutions (pre-university schools, preparatory schools, libraries, among others), around ESEIG and IPP area of influence and having registered visitors/participants of all ages. In this article we will describe the Viva@Math Project, its different activities that are categorized in some “great groups” like Numerical Trivia, Logic Activities and Mental Calculation, Puzzles, Geometric Curiosities, Magic Tricks, among others, designed to challenge students to use the underlying logical-mathematical reasoning to any ordinary and everyday activity. We will give specific and concrete examples of some of the activities developed and, also, reproduce of the general stimulating feedback the Project receives from the enrolled “actors” (teachers, students and their relatives, institutions, among others). We feel that this Project has become a small “bridge” between the pre-university schools and Higher Education Institutions (HEI), in trying to shorten the “gap” between the institutions of different levels of education and bring them to work together.

A qualitive reasoning approach for improving query results for sketch based queries by topological analysis of spatial aggregation

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Probabilistic constraint reasoning

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Constraint reasoning with local search for continuous optimization

Optimization is a very important field for getting the best possible value for the optimization function. Continuous optimization is optimization over real intervals. There are many global and local search techniques. Global search techniques try to get the global optima of the optimization problem. However, local search techniques are used more since they try to find a local minimal solution within an area of the search space. In Continuous Constraint Satisfaction Problems (CCSP)s, constraints are viewed as relations between variables, and the computations are supported by interval analysis. The continuous constraint programming framework provides branch-and-prune algorithms for covering sets of solutions for the constraints with sets of interval boxes which are the Cartesian product of intervals. These algorithms begin with an initial crude cover of the feasible space (the Cartesian product of the initial variable domains) which is recursively refined by interleaving pruning and branching steps until a stopping criterion is satisfied. In this work, we try to find a convenient way to use the advantages in CCSP branchand- prune with local search of global optimization applied locally over each pruned branch of the CCSP. We apply local search techniques of continuous optimization over the pruned boxes outputted by the CCSP techniques. We mainly use steepest descent technique with different characteristics such as penalty calculation and step length. We implement two main different local search algorithms. We use “Procure”, which is a constraint reasoning and global optimization framework, to implement our techniques, then we produce and introduce our results over a set of benchmarks.

Probabilistic constraint reasoning with Monte Carlo integration to robot localization

This work studies the combination of safe and probabilistic reasoning through the hybridization of Monte Carlo integration techniques with continuous constraint programming. In continuous constraint programming there are variables ranging over continuous domains (represented as intervals) together with constraints over them (relations between variables) and the goal is to find values for those variables that satisfy all the constraints (consistent scenarios). Constraint programming “branch-and-prune” algorithms produce safe enclosures of all consistent scenarios. Special proposed algorithms for probabilistic constraint reasoning compute the probability of sets of consistent scenarios which imply the calculation of an integral over these sets (quadrature). In this work we propose to extend the “branch-and-prune” algorithms with Monte Carlo integration techniques to compute such probabilities. This approach can be useful in robotics for localization problems. Traditional approaches are based on probabilistic techniques that search the most likely scenario, which may not satisfy the model constraints. We show how to apply our approach in order to cope with this problem and provide functionality in real time.

Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Improving practical reasoning and argumentation

This thesis justifies the need for and develops a new integrated model of practical reasoning and argumentation. After framing the work in terms of what is reasonable rather than what is rational (chapter 1), I apply the model for practical argumentation analysis and evaluation provided by Fairclough and Fairclough (2012) to a paradigm case of unreasonable individual practical argumentation provided by mass murderer Anders Behring Breivik (chapter 2). The application shows that by following the model, Breivik is relatively easily able to conclude that his reasoning to mass murder is reasonable – which is understood to be an unacceptable result. Causes for the model to allow such a conclusion are identified as conceptual confusions ingrained in the model, a tension in how values function within the model, and a lack of creativity from Breivik. Distinguishing between dialectical and dialogical, reasoning and argumentation, for individual and multiple participants, chapter 3 addresses these conceptual confusions and helps lay the foundation for the design of a new integrated model for practical reasoning and argumentation (chapter 4). After laying out the theoretical aspects of the new model, it is then used to re-test Breivik’s reasoning in light of a developed discussion regarding the motivation for the new place and role of moral considerations (chapter 5). The application of the new model shows ways that Breivik could have been able to conclude that his practical argumentation was unreasonable and is thus argued to have improved upon the Fairclough and Fairclough model. It is acknowledged, however, that since the model cannot guarantee a reasonable conclusion, improving the critical creative capacity of the individual using it is also of paramount importance (chapter 6). The thesis concludes by discussing the contemporary importance of improving practical reasoning and by pointing to areas for further research (chapter 7).

Implementação de um modelo de geometric semantic genetic programming para aplicação naval

Recaí sob a responsabilidade da Marinha Portuguesa a gestão da Zona Económica Exclusiva de Portugal, assegurando a sua segurança da mesma face a atividades criminosas. Para auxiliar a tarefa, é utilizado o sistema Oversee, utilizado para monitorizar a posição de todas as embarcações presentes na área afeta, permitindo a rápida intervenção da Marinha Portuguesa quando e onde necessário. No entanto, o sistema necessita de transmissões periódicas constantes originadas nas embarcações para operar corretamente – casos as transmissões sejam interrompidas, deliberada ou acidentalmente, o sistema deixa de conseguir localizar embarcações, dificultando a intervenção da Marinha. A fim de colmatar esta falha, é proposto adicionar ao sistema Oversee a capacidade de prever as posições futuras de uma embarcação com base no seu trajeto até à cessação das transmissões. Tendo em conta os grandes volumes de dados gerados pelo sistema (históricos de posições), a área de Inteligência Artificial apresenta uma possível solução para este problema. Atendendo às necessidades de resposta rápida do problema abordado, o algoritmo de Geometric Semantic Genetic Programming baseado em referências de Vanneschi et al. apresenta-se como uma possível solução, tendo já produzido bons resultados em problemas semelhantes. O presente trabalho de tese pretende integrar o algoritmo de Geometric Semantic Genetic Programming desenvolvido com o sistema Oversee, a fim de lhe conceder capacidades preditivas. Adicionalmente, será realizado um processo de análise de desempenho a fim de determinar qual a ideal parametrização do algoritmo. Pretende-se com esta tese fornecer à Marinha Portuguesa uma ferramenta capaz de auxiliar o controlo da Zona Económica Exclusiva Portuguesa, permitindo a correta intervenção da Marinha em casos onde o atual sistema não conseguiria determinar a correta posição da embarcação em questão.

Integration of geometric consistency contributory factors in three-leg junctions collision prediction models of Portuguese two-lane national highways

This paper aims at developing a collision prediction model for three-leg junctions located in national roads (NR) in Northern Portugal. The focus is to identify factors that contribute for collision type crashes in those locations, mainly factors related to road geometric consistency, since literature is scarce on those, and to research the impact of three modeling methods: generalized estimating equations, random-effects negative binomial models and random-parameters negative binomial models, on the factors of those models. The database used included data published between 2008 and 2010 of 177 three-leg junctions. It was split in three groups of contributing factors which were tested sequentially for each of the adopted models: at first only traffic, then, traffic and the geometric characteristics of the junctions within their area of influence; and, lastly, factors which show the difference between the geometric characteristics of the segments boarding the junctionsâ area of influence and the segment included in that area were added. The choice of the best modeling technique was supported by the result of a cross validation made to ascertain the best model for the three sets of researched contributing factors. The models fitted with random-parameters negative binomial models had the best performance in the process. In the best models obtained for every modeling technique, the characteristics of the road environment, including proxy measures for the geometric consistency, along with traffic volume, contribute significantly to the number of collisions. Both the variables concerning junctions and the various national highway segments in their area of influence, as well as variations from those characteristics concerning roadway segments which border the already mentioned area of influence have proven their relevance and, therefore, there is a rightful need to incorporate the effect of geometric consistency in the three-leg junctions safety studies.

Echocardiographic assessment of the different left ventricular geometric patterns in hypertensive patients

OBJECTIVE: To identiy left ventricular geometric patterns in hypertensive patients on echocardiography, and to correlate those patterns with casual blood pressure measurements and with the parameters obtained on a 24-hour ambulatory blood pressure monitoring. METHODS: We studied sixty hypertensive patients, grouped according to the Joint National Committee stages of hypertension.. Using the single- and two-dimensional Doppler Echocardiography, we analyzed the left ventricular mass and the geometric patterns through the correlation of left ventricular mass index and relative wall thickness. On ambulatory blood pressure monitoring we assessed the means and pressure loads in the different geometric patterns detected on echocardiography RESULTS: We identified three left ventricular geometric patterns: 1) concentric hypertrophy, in 25% of the patients; 2) concentric remodeling, in 25%; and 3) normal geometry, in 50%. Casual systolic blood pressure was higher in the group with concentric hypertrophy than in the other groups (p=0.001). Mean systolic pressure in the 24h, daytime and nighttime periods was also higher in patients with concentric hypertrophy, as compared to the other groups (p=0.003, p=0.004 and p=0.007). Daytime systolic load and nighttime diastolic load were higher in patients with concentric hypertrophy ( p=0.004 and p=0.01, respectively). CONCLUSIONS: Left ventricular geometric patterns show significant correlation with casual systolic blood pressure, and with means and pressure loads on ambulatory blood pressure monitoring.

Distribution of cardiac geometric patterns on echocardiography in essential hypertension. Impact of two criteria of stratification

PURPOSE: To evaluate 2 left ventricular mass index (LVMI) normality criteria for the prevalence of left ventricular geometric patterns in a hypertensive population ( HT ) . METHODS: 544 essential hypertensive patients, were evaluated by echocardiography, and different left ventricular hypertrophy criteria were applied: 1 - classic : men - 134 g/m² and women - 110 g/m² ; 2- obtained from the 95th percentil of LVMI from a normotensive population (NT). RESULTS: The prevalence of 4 left ventricular geometric patterns, respectively for criteria 1 and 2, were: normal geometry - 47.7% and 39.3%; concentric remodelying - 25.4% and 14.3%; concentric hypertrophy - 18.4% and 27.7% and excentric hypertrophy - 8.8% and 16.7%, which confered abnormal geometry to 52.6% and 60.7% of hypertensive. The comparative analysis between NT and normal geometry hypertensive group according to criteria 1, detected significative stuctural differences,"( *p < 0.05):LVMI- 78.4 ± 1.50 vs 85.9 ±0.95 g/m² *; posterior wall thickness -8.5 ± 0.1 vs 8.9 ± 0.05 mm*; left atrium - 33.3 ± 0.41 vs 34.7 ± 0.30 mm *. With criteria 2, significative structural differences between the 2 groups were not observed. CONCLUSION: The use of a reference population based criteria, increased the abnormal left ventricular geometry prevalence in hypertensive patients and seemed more appropriate for left ventricular hypertrophy detection and risk stratification.

A aprendizagem de tópicos da circunferência com recurso ao GeoGebra: uma experiência com alunos do 9.º ano de escolaridade

Relatório de estágio de mestrado em Ensino de Matemática no 3.º ciclo do Ensino Básico e no Ensino Secundário

Geometric distortion correction in EPI at ultra high field

Magdeburg, Univ., Fak. für Naturwiss., Diss., 2012

Shape and size variations of Aegla uruguayana (Anomura, Aeglidae) under laboratory conditions: A geometric morphometric approach to the growth

Crustacean growth studies typically use modal analysis rather than focusing on the growth of individuals. In the present work, we use geometric morphometrics to determine how organism shape and size varies during the life of the freshwater crab, Aegla uruguayana Schmitt, 1942. A total of 66 individuals from diverse life cycle stages were examined daily and each exuvia was recorded. Digital images of the dorsal region of the cephalothorax were obtained for each exuvia and were subsequently used to record landmark configurations. Moult increment and intermoult period were estimated for each crab. Differences in shape between crabs of different sizes (allometry) and sexes (sexual dimorphism; SD) were observed. Allometry was registered among specimens; however, SD was not statistically significant between crabs of a given size. The intermoult period increased as size increased, but the moult frequency was similar between the sexes. Regarding ontogeny, juveniles had short and blunt rostrum, robust forehead region, and narrow cephalothorax. Unlike juveniles crabs, adults presented a well-defined anterior and posterior cephalothorax region. The rostrum was long and stylised and the forehead narrow. Geometric morphometric methods were highly effective for the analysis of aeglid-individual- growth and avoided excessive handling of individuals through exuvia analysis.

Geometric tools to determine the hyperbolicity of limit cycles

"Vegeu el resum a l'inici del document del fitxer adjunt."