Application of ERTS-1 data to integrated state planning in the state of Maryland

There are no author-identified significant results in this report

Termos, relacionamentos e representatividade na indexação de texto para recuperação de informação

Uma das fases da recuperação de informação é a indexação dos textos dos documentos. Nesta fase, um conjunto de descritores (termos e/ou relacionamentos entre termos) descreve conceitos (atômicos e/ou complexos) presentes nos textos. Diversas estratégias com tais finalidades são encontrados na bibliografia, algumas consideram dependência de termos e outras não. Com o objetivo de apresentar uma visão geral das estratégias de representação de textos que consideram dependência de termos, são descritas quatro experiências onde as representatividades dos relacionamentos dependem dos termos componentes (estratégias com índices múltiplos, com árvore binária, com triplas e com famílias morfológicas), três onde as representatividades dos relacionamentos dependem de suas próprias freqüências de ocorrência (estratégias com expressões de índice, com pares lematizados e com expressões ternárias), duas onde os relacionamentos são reconhecidos mas não são utilizados como descritores (estratégias com nodos temáticos e com conexões gramaticais) e uma experiência onde os relacionamentos são eminentemente estatísticos (estratégia com bitermos)

Reading in English for academic purposes (EAP): the effect of background knowledge with special reference to schema-directed processes

It is my belief that the present study adds to the accumulated knowledge on EAP reading, and that in fact, some of its findings may be relevant not only to EAP reading but to L2 reading in general.The findings of the study provide supporting evidence for the advisability of maintaining or promoting EAP reading courses given that reading in one's own discipline has been shown to counterbalance to a significant extent the difficulties of reading in a foreign language.The findings of the interpretative analysis suggest however, that the beneficial effects of previous knowledge of topic do not necessarily obliterate the influence of 'lower-level' linguistic difficulties. Thus, we also conclude that ways to circumvent such influence need to be contemplated for the implementation of EAP reading courses. In other words, the characteristic nature of EAP reading as processing of a deficiently known code should not be underestimated.The second conclusion that can be drawn from the study concerns the relevancy of converging methodologies 239 of research.1 Whenever possible, EAP reading research should involve both a quantitative and a qualitative approach to data analysis. „As indicated by the findings of this study the use of only one of these approaches may lead to a partial picture or to premature conclusions of the results obtained. If we are interested in clarifying the EAP reading phenomenon we will need the complementary contributions that both kinds of methodology are capable of providing.With regard to the theoretical approach that was adopted, it is my contention that the notion of schema has a place in L2 reading research. The summaries obtained from the experiment showed how previous knowledge of topic made the readers label something as part of a certain schema and how this previous knowledge also provided the necessary details to elaborate on the interpretations that had been generated. In other words, knowledge schemata 'filter and shape'² comprehension in EAP reading just as much or perhaps more than they do in other instances of discourse comprehension

2020 Student Symposium Research and Creative Activity Book of Abstracts

The UMaine Student Symposium (UMSS) is an annual event that celebrates undergraduate and graduate student research and creative work. Students from a variety of disciplines present their achievements with video presentations. It’s the ideal occasion for the community to see how UMaine students’ work impacts locally – and beyond. The 2020 Student Symposium Research and Creative Activity Book of Abstracts includes a complete list of student presenters as well as abstracts related to their works

2013 Conference Abstracts: Annual Undergraduate Research Conference at the Interface of Biology and Mathematics

URC Schedule and Abstract Book for the Fifth Annual Undergraduate Research Conference at the Interface of Biology and Mathematics Date: November 16-17, 2013Plenary Speaker: Mariel Vazquez, Associate Professor of Mathematics at San Francisco State UniversityFeatured Speaker: Andrew Liebhold, Research Entomologist for the USDA Forest Servic

Earth Resources: A continuing bibliography (issue 32)

This bibliography list 580 reports, articles and other documents introduced into the NASA scientific and technical information system. Emphasis is placed on the use of remote sensing and geophysical instrumentation in spacecraft and aircraft to survey and inventory natural resources and urban areas. Subject matter is grouped according to agriculture and forestry, environmental changes and cultural resources, geodesy and cartography, geology and mineral resources, hydrology and water management, data processing and distribution systems, instrumentation and sensors, and economic analysis

New Directions in Model Checking Dynamic Epistemic Logic

Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, its existing implementations are based on explicit model checking which can only deal with small models, so we do not know how DEL performs for larger and real-world problems. For temporal logics, in contrast, symbolic model checking has been developed and successfully applied, for example in protocol and hardware verification. Symbolic model checkers for temporal logics are very efficient and can deal with very large models. In this thesis we build a bridge: new faithful representations of DEL models as so-called knowledge and belief structures that allow for symbolic model checking. For complex epistemic and factual change we introduce transformers, a symbolic replacement for action models. Besides a detailed explanation of the theory, we present SMCDEL: a Haskell implementation of symbolic model checking for DEL using Binary Decision Diagrams. Our new methods can solve well-known benchmark problems in epistemic scenarios much faster than existing methods for DEL. We also compare its performance to to existing model checkers for temporal logics and show that DEL can compete with established frameworks. We zoom in on two specific variants of DEL for concrete applications. First, we introduce Public Inspection Logic, a new framework for the knowledge of variables and its dynamics. Second, we study the dynamic gossip problem and how it can be analyzed with epistemic logic. We show that existing gossip protocols can be improved, but that no perfect strengthening of "Learn New Secrets" exists

Remote Sensing of Plant Biodiversity

This Open Access volume aims to methodologically improve our understanding of biodiversity by linking disciplines that incorporate remote sensing, and uniting data and perspectives in the fields of biology, landscape ecology, and geography. The book provides a framework for how biodiversity can be detected and evaluated—focusing particularly on plants—using proximal and remotely sensed hyperspectral data and other tools such as LiDAR. The volume, whose chapters bring together a large cross-section of the biodiversity community engaged in these methods, attempts to establish a common language across disciplines for understanding and implementing remote sensing of biodiversity across scales. The first part of the book offers a potential basis for remote detection of biodiversity. An overview of the nature of biodiversity is described, along with ways for determining traits of plant biodiversity through spectral analyses across spatial scales and linking spectral data to the tree of life. The second part details what can be detected spectrally and remotely. Specific instrumentation and technologies are described, as well as the technical challenges of detection and data synthesis, collection and processing. The third part discusses spatial resolution and integration across scales and ends with a vision for developing a global biodiversity monitoring system. Topics include spectral and functional variation across habitats and biomes, biodiversity variables for global scale assessment, and the prospects and pitfalls in remote sensing of biodiversity at the global scale