Exchange of Geometric Information Between Applications

The Web Geometry Laboratory (WGL) is a collaborative and adaptive e-learning Web platform integrating a well known dynamic geometry system. Thousands of Geometric problems for Geometric Theorem Provers (TGTP) is a Web-based repository of geometric problems to support the testing and evaluation of geometric automated theorem proving systems. The users of these systems should be able to profit from each other. The TGTP corpus must be made available to the WGL user, allowing, in this way, the exploration of TGTP problems and their proofs. On the other direction TGTP could gain by the possibility of a wider users base submitting new problems. Such information exchange between clients (e.g. WGL) and servers (e.g. TGTP) raises many issues: geometric search - someone, working in a geometric problem, must be able to ask for more information regarding that construction; levels of geometric knowledge and interest - the problems in the servers must be classified in such a way that, in response to a client query, only the problems in the user's level and/or interest are returned; different aims of each tool - e.g. WGL is about secondary school geometry, TGTP is about formal proofs in semi-analytic and algebraic proof methods, not a perfect match indeed; localisation issues, e.g. a Portuguese user obliged to make the query and process the answer in English; technical issues-many technical issues need to be addressed to make this exchange of geometric information possible and useful. Instead of a giant (difficult to maintain) tool, trying to cover all, the interconnection of specialised tools seems much more promising. The challenges to make that connection work are many and difficult, but, it is the authors impression, not insurmountable.Comment: In Proceedings ThEdu'17, arXiv:1803.0072

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

Synergy between the Large Synoptic Survey Telescope and the Square Kilometre Array

We provide an overview of the science benefits of combining information from the Square Kilometre Array (SKA) and the Large Synoptic Survey Telescope (LSST). We first summarise the capabilities and timeline of the LSST and overview its science goals. We then discuss the science questions in common between the two projects, and how they can be best addressed by combining the data from both telescopes. We describe how weak gravitational lensing and galaxy clustering studies with LSST and SKA can provide improved constraints on the causes of the cosmological acceleration. We summarise the benefits to galaxy evolution studies of combining deep optical multi-band imaging with radio observations. Finally, we discuss the excellent match between one of the most unique features of the LSST, its temporal cadence in the optical waveband, and the time resolution of the SKA.Comment: SKA Synergies Chapter, Advancing Astrophysics with the SKA (AASKA14) Conference, Giardini Naxos (Italy), June 9th-13th 201

GeoGebra as a learning mathematical environment

GeoGebra, a software system for dynamic geometry and algebra in the plane, since its inception in 2001, has gone from a dynamic geometry software (DGS), to a powerful computational tool in several areas of mathematics. Powerful algebraic capabilities have joined GeoGebra, an efficient spreadsheet that can deal with many kinds of objects, an algebraic and symbolic calculation system and several graphical views that expand the possibility of multidimensional representations, namely, by using colouring domain techniques, expanded to representations in the Riemann sphere, making this DGS a powerful research tool in mathematics. On the other hand, GeoGebra can create applications easily and export to HTML, and the possibility to quickly integrating these applets in several web platforms provides this DGS with an excellent way to create strong collaborative environments to teach and learn mathematics. Recently was added to GeoGebra powerful capabilities that transform this software a real Learning Mathematical Environment, using the GeoGebraBooks and GeoGebraGroups, plain of collaborative functionality between students and teachers

O método do ângulo completo no sistema OpenGeoProver

Dissertação de Mestrado em Matemática apresentada à Faculdade de Ciências e Tecnologia da Universidade de CoimbraO método do ângulo completo para geometria euclideana construtiva foi proposto por Chou, Gao e Zhang no início dos anos 1990. Este método, uma extensão do método da área proposto pelos mesmos autores, produz demonstrações legíveis e de um modo eficiente demonstra muitos teoremas não triviais. Pode ser considerado como um dos métodos mais interessante e de maior sucesso na demonstração de teoremas em geometria e, possivelmente, o mais bem sucedido na produção de demonstrações automáticas legíveis. Nesta dissertação de mestrado faz-se a apresentação do mêtodo do ângulo completo e demonstram-se muitos dos seus lemas. Descreve-se ainda a planificação da implementação, em código livre, do método do ângulo completo.The full-angle method for euclidean constructive geometry was proposed by Chou, Gao, Zhang in early 1990’s. The method, an extension of the area method proposed by the same authors, produces humanreadable proofs and can efficiently prove many non-trivial theorems. It can be considered as one of the most interesting and most successful methods in geometry theorem proving and probably the most successful in the domain of automated production of readable proofs. In this master thesis a presentation of the full-angle method is made and several of its lemmas are proved. A plannification of the implementation, in open source code, of the full-angle method is also described

Synergy between the Large Synoptic Survey Telescope and the Square Kilometre Array

We provide an overview of the science benefits of combining information from the Square Kilometre Array (SKA) and the Large Synoptic Survey Telescope (LSST). We first summarise the capabilities and timeline of the LSST and overview its science goals. We then discuss the science questions in common between the two projects, and how they can be best addressed by combining the data from both telescopes. We describe how weak gravitational lensing and galaxy clustering studies with LSST and SKA can provide improved constraints on the causes of the cosmological acceleration. We summarise the benefits to galaxy evolution studies of combining deep optical multi-band imaging with radio observations. Finally, we discuss the excellent match between one of the most unique features of the LSST, its temporal cadence in the optical waveband, and the time resolution of the SKA

Monitoring activity at the Daguangbao mega-landslide (China) using Sentinel-1 TOPS time series interferometry

The Daguangbao mega-landslide (China), induced by the 2008 Wenchuan earthquake (Mw = 7.9), with an area of approximately 8 km2, is one of the largest landslides in the world. Experts predicted that the potential risk and instability of the landslide might remain for many decades, or even longer. Monitoring the activity of such a large landslide is hence critical. Terrain Observation by Progressive Scans (TOPS) mode from the Sentinel-1 satellite provides us with up-to-date high-quality Synthetic Aperture Radar (SAR) images over a wide ground coverage (250 × 250 km), enabling full exploitation of various InSAR applications. However, the TOPS mode introduces azimuth-dependent Doppler variations to radar signals, which requires an additional processing step especially for SAR interferometry. Sentinel-1 TOPS data have been widely applied to earthquakes, but the performance of TOPS data-based time series analysis requires further exploitation. In this study, Sentinel-1 TOPS data were employed to investigate landslide post-seismic activities for the first time. To deal with the azimuth-dependent Doppler variations, a processing chain of TOPS time series interferometry approach was developed. Since the Daguangbao landslide is as a result of the collapse of a whole mountain caused by the 2008 Mw 7.9 Wenchuan earthquake, the existing Digital Elevation Models (DEMs, e.g. SRTM and ASTER) exhibit height differences of up to approximately 500 m. Tandem-X images acquired after the earthquake were used to generate a high resolution post-seismic DEM. The high gradient topographic errors of the SRTM DEM (i.e. the differences between the pre-seismic SRTM and the actual post-seismic elevation), together with low coherence in mountainous areas make it difficult to derive a precise DEM using the traditional InSAR processing procedure. A re-flattening iterative method was hence developed to generate a precise TanDEM-X DEM in this study. The volume of the coseismic Daguangbao landslide was estimated to be of 1.189 ± 0.110 × 109 m3 by comparing the postseismic Tandem-X DEM with the preseismic SRTM DEM, which is consistent with the engineering geological survey result. The time-series results from Sentinel-1 show that some sectors of the Daguangbao landslide are still active (and displaying four sliding zones) and exhibiting a maximum displacement rate of 8 cm/year, even eight years after the Wenchuan earthquake. The good performance of TOPS in this time series analysis indicates that up-to-date high-quality TOPS data with spatiotemporal baselines offer significant potential in terms of future InSAR applications.This work was supported by the National Natural Science Foundation of China under Grant No. 41474003. The research stay of Dr. Tomás at Newcastle University was funded by the Ministry of Education, Culture and Sport within the framework of Project PRX14/00100. Additional funding was obtained from the Spanish Government under projects TIN2014-55413-C2-2-P and ESP2013-47780-C2-2-R. Part of this work is also supported by the UK Natural Environmental Research Council (NERC) through the Centre for the Observation and Modelling of Earthquakes, Volcanoes and Tectonics (COMET, ref.: come30001) and the LICS and CEDRRiC projects (ref. NE/K010794/1 and NE/N012151/1, respectively), the ESA-MOST DRAGON-3 projects (ref. 10607 and 10665), the ESA-MOST DRAGON-4 project (ref. 32244) and the Open Fund from the Key Laboratory of Earth Fissures Geological Disaster, Ministry of Land and Resources (ref.: gla2013001)

The ERA2 facility: towards application of a fiber-based astronomical spectrograph for imaging spectroscopy in life sciences

Astronomical instrumentation is most of the time faced with challenging requirements in terms of sensitivity, stability, complexity, etc., and therefore leads to high performance developments that at first sight appear to be suitable only for the specific design application at the telescope. However, their usefulness in other disciplines and for other applications is not excluded. The ERA2 facility is a lab demonstrator, based on a high-performance astronomical spectrograph, which is intended to explore the innovation potential of fiber-coupled multi-channel spectroscopy for spatially resolved spectroscopy in life science, material sciences, and other areas of research.Comment: 10 pages, 9 figures, SPIE Conference "Astronomical Telescopes and Instrumentation" 2012, Amsterda

The significance of the integrated Sachs-Wolfe effect revisited

We revisit the state of the integrated Sachs-Wolfe (ISW) effect measurements in light of newly available data and address criticisms about the measurements which have recently been raised. We update the data set previously assembled by Giannantonio et al. to include new data releases for both the cosmic microwave background (CMB) and the large-scale structure (LSS) of the Universe. We find that our updated results are consistent with previous measurements. By fitting a single template amplitude, we now obtain a combined significance of the ISW detection at the 4.4 sigma level, which fluctuates by 0.4 sigma when alternative data cuts and analysis assumptions are considered. We also make new tests for systematic contaminations of the data, focusing in particular on the issues raised by Sawangwit et al. Amongst them, we address the rotation test, which aims at checking for possible systematics by correlating pairs of randomly rotated maps. We find results consistent with the expected data covariance, no evidence for enhanced correlation on any preferred axis of rotation, and therefore no indication of any additional systematic contamination. We publicly release the results, the covariance matrix, and the sky maps used to obtain them.Comment: 19 pages, 10 figures. MNRAS in pres

Regional water balance analysis of glacierised river basins in the north-eastern Himalaya applying the J2000 hydrological model

The glacierised basins of the Northeast Himalayan region are highly vulnerable to climate-change impacts. The spatio-temporal hydroclimatic and physiographic variability impact the water balance of these glacierised basins across the region. This study assesses the glaciohydrological processes and dynamics in the data scarce region for the present as well future climate change scenarios by regional water balance analysis. The J2000 hydrological model was adapted to incorporate the frozen ground as well as glacier dynamics in a stepwise, nested basin calibration approach. The modelled ERA-Interim precipitation data cannot capture the high amplitude orographic and convective events. Therefore, Orographic correction factors were used to inversely correct the ERA-Interim precipitation data to account for the orographic as well as cyclonic precipitation in the region from reported glacier mass balance and evapotranspiration estimates. Monthly temperature lapse rate was adopted for correcting the ERA-Interim temperature dataset. The Beki basin was selected as the donor basin for model development and evaluation. The parameters from the Beki basin were regionalised to the receptor Lohit and the Noadihing basins by the Proxy-basin method. Multi-objective optimization criteria such as the Kling-Gupta efficiency (KGE) for temporal dynamics and flow distribution and Bias for overall water balance showed high to moderate conformity between measured and simulated discharge at the corresponding basin outlets. The variability in the water balance and runoff components among the three basins was primarily related to the spatio-temporal variation in the mean annual precipitation, runoff and evapotranspiration estimates. The impact of climate-change scenarios on the study basins indicated that water availability would sustain until the end of the century due to higher projected precipitation even though after the depletion of glaciers in the region