Reviewerly/exHarmony huggingface dataset:
Airborne Hyperspectral Imaging for Monitoring Geothermal Activity Through Vegetation

&amp;lt;p&amp;gt;Remote sensing techniques are used to explore geothermal areas. They can offer spatial, temporal and spectral information to map lithological boundaries and hydrothermal alteration in a fast and cheap manner. However, some geothermal areas are densely covered by vegetation, which can hamper remote sensing monitor efforts for geothermal areas.&amp;lt;/p&amp;gt;&amp;lt;p&amp;gt;Vegetation cover in geothermal areas can reflect the subsurface activity, reacting to interactions between soil&amp;amp;#8217;s chemical conditions, heat and gas emissions. An example of such is kanuka (i.e. kunzea ericoides), an endemic shrub of geothermal areas in the Taupo Volcanic Zone (TVZ), New Zealand, which has been used as an indicator species for ground-based geothermal studies. This study assesses the use of airborne hyperspectral and thermal data over the Waiotapu Geothermal Field, TVZ, New Zealand, analysing kanuka shrub surface cover and its spectral response to geothermal activity. To explore the capability in hyperspectral remote sensing for geothermal site mapping and exploration, a series of vegetation indices, including; Anthocyanin Reflectance Index, Atmospherically Resistant Vegetation Index, Moisture Stress Index, Normalised Difference Vegetation Index, Simple Ratio Index, Vogelmann Index and Water Band Index were calculated from narrow bandwidth high-resolution hyperspectral.&amp;lt;/p&amp;gt;&amp;lt;p&amp;gt;The spectral response of vegetation was then analysed to explore the effects of geothermal heat, offering surrogate information on vegetation health. Vegetation indices results were compared against the thermal infrared data by visual interpretation and quantitative analyses, which shows strong spatial correlation among the vegetation cover type and heat distribution. Furthermore, exponential trendlines produced the best fit between vegetation indices and thermal infrared data. This correlation indicates soil temperatures affect the vegetation health (e.g. chlorophyll concentrations, newly forming leaves, water content). This relationship can highlight that there is valuable information in airborne hyperspectral data to complement exploration efforts, such as heat flux mapping. We conclude kanuka shrub has the potential to be employed as a proxy in exploration and monitoring of geothermal areas in New Zealand from remote sensing platforms.&amp;lt;/p&amp;gt;
Supporting algorithmic approach to basic school mathematics by programming tasks

The paper describes some findings from a programming task book project. The book contains tasks on arithmetic (operations, calculating the value of numeric expressions, common fractions etc), number theory (factors, prime numbers, GCD, LCM, Euclid algorithm), constructions in planar geometry, algebra (linear equations and inequalities, systems of linear equations, polynomials), some types of nonroutine tasks. The paper also brings up the necessary information processing that is not explicit when mathematical tasks are solved by paper-and-pencil method: parsing of algebraic expressions, finding the coordinates of intersection points by planar constructions, programming of algorithms for the tasks that appear in textbooks only in the form of one single numerical example. Some warnings are given about the impact of ”brute force“ computer solutions of reasoning-oriented tasks.
Fake it Till You Make it: Self-Supervised Semantic Shifts for Monolingual Word Embedding Tasks.

The use of language is subject to variation over time as well as across social groups and knowledge domains, leading to differences even in the monolingual scenario. Such variation in word usage is often called lexical semantic change (LSC). The goal of LSC is to characterize and quantify language variations with respect to word meaning, to measure how distinct two language sources are (that is, people or language models). Because there is hardly any data available for such a task, most solutions involve unsupervised methods to align two embeddings and predict semantic change with respect to a distance measure. To that end, we propose a self-supervised approach to model lexical semantic change based on the perturbation of word vectors in the input corpora. We show that our method can be used for the detection of semantic change with any alignment method. Furthermore, it can be used to choose the landmark words to use in alignment and can lead to substantial improvements over the existing techniques for alignment. We illustrate the utility of our techniques using experimental results on three different datasets, involving words with the same or different meanings. Our methods not only provide significant improvements but also can lead to novel findings for the LSC problem.
Croatian public libraries’ activities on facebook during the covid-19 lockdown in the spring of 2020

Purpose. The purpose of this paper is to present libraries’ accepting and using the social networking service Facebook as a response to the extraordinary circumstances caused by the COVID-19 pandemic. Like most European countries, Croatia went into full lockdown during the COVID-19 outbreak in the spring of 2020. All public services in Croatia, including public libraries, were closed for 38 days, starting on March 19th. Croatian public libraries faced major changes as they had to transform their traditional library services into virtual ones, creating and sharing various digital content on Face-book, often on a daily basis. Approach/methodology/design. This paper is about libraries’ activities on Face-book as a way of serving communities during the lockdown. The presented research is based on the analysis of the posts created on public libraries’ Facebook pages. It was conducted in July of 2020 on 208 Croatian public libraries, i.e. 146 of them that had a Facebook page during the research period. Findings. The research shows that the Croatian public librarians have proved to live up to the challenges of new and unknown situations, demonstrating they can quickly adapt and appropriately use digital technologies. Libraries have been developing new innovative practices, becoming more and more creative. The result was handful of content on Facebook, but also on other social networks, like, workshops for children and adults;streamings of online events, organization of virtual exhibitions and collecting verified reference sources for research and learning. The public response was greater than expected, including following, commenting and sharing digital content created or shared by public libraries. Another impact of the crisis was the accelerated development of new digital library services, like online membership registration and e-books lending. Originality/value. The research is the first overview of the Croatian public libraries’ Facebook activities in extraordinary circumstances caused by lockdown and can encour-age other libraries to implement the best practices presented in this paper. © 2021, Hrvatsko Knjiznicarsko Drustvo. All rights reserved.
EVALUASI KAPASITAS SISTEM DRAINASE KELURAHAN KALIDERESJAKARTA BARAT

Kalideres is one of the wards in West Jakarta, where it is one of the locations that is prone to flooding when the rainy season comes. Kalideres Urban Village is very close to one of the flood control times in Jakarta, namely Kali Mookervart. In the case of flood mitigation in Kalideres Village, an evaluation studyof drainage system capacity is needed. Evaluation is done by comparing Qexisting and Qrencana. The rainfall used is 25 years using the rational method, then the Qr stall hanging is obtained = 9.3469 m3 / second; Qr Kojan = 17.6708 m3 / sec; QrImage 1 = 6.0778 m3 / sec; Qr Kodam = 10,0503 m3 / sec; Qr Bulak Teko = 27.4695 m3 / sec. From the Qrencana results obtained the PHB kojan channel and PHB Bulak Teko must be re-measured in dimensios
Are rights really so wrong? A response to Nigel Biggar’s <i>What’s Wrong with Rights</i>

In my response to Nigel Biggar’s book What’s Wrong with Rights, I argue that an epidemic of rights-fundamentalism does not require the complete rejection of all rights language. Rather, it is possible to use rights language in a way that reconceptualizes and broadens our understanding of duty, and advances our moral discourse and growth in virtue, rather than hindering it. To demonstrate this point, I contrast Biggar’s example of a problematic ruling by the Canadian Supreme Court with a more thoughtful and nuanced approach to rights language demonstrated by a series of cases on free speech in schools issued by the U.S. Supreme Court. I also offer a re-reading of Francisco de Vitoria’s development of rights language to argue that his presentation of rights overcomes many of Biggar’s critiques.
Light Weight Cloud Storage Auditing With De- Duplication Supporting Strong Privacy Protection

We present a new approach of the 2FA to provide security to the data user using the concept of light weight. In our paper, 2FA technique is implemented with the exigency of the user where he/she needs both the secret key as well as the light weight security device. It enhances the reliability of the system as the user needs to enter both the keys correctly, especially in those cases where many users share the same system for different web-based cloud services. In addition, it also used the concept of de- deduplication where it removes extra copies of the same kind of files, leaving only a single copy to be stored.
Earth Observations from Geostationary Satellites

The latest generation of geostationary satellites carry sensors such as the Advanced Baseline Imager (GOES-16/17) and the Advanced Himawari Imager (Himawari-8/9) that closely mimic the spatial and spectral characteristics of MODIS and VIIRS, useful for monitoring land surface conditions. The NASA Earth Exchange (NEX) team at Ames Research Center has embarked on a collaborative effort among scientists from NASA and NOAA exploring the feasibility of producing operational land surface products similar to those from MODIS/VIIRS. The team built a processing pipeline called GeoNEX that is capable of converting raw geostationary data into routine products of Fires, surface reflectances, vegetation indices, LAI/FPAR, ET and GPP/NPP using algorithms adapted from both NASA/EOS and NOAA/GOES-R programs. The GeoNEX pipeline has been deployed on Amazon Web Services cloud platform and it currently leverages near-realtime geostationary data hosted in AWS public datasets under a NOAA-AWS agreement. Initial analyses of various products from ABI/AHI sensors suggest that they are comparable to those from MODIS in representing the spatio-temporal dynamics of land conditions. Cloud computing offers a variety of options for deploying the GeoNEX pipeline including choice CPUs, storage media, and automation. By making the GEONEX pipeline available on the cloud, we hope to engage a broad community of Earth scientists from around the world in utilizing this new source of data for Earth monitoring.
Lohr CAR Transport Trailer DX11 [1.36.X]

Updated to 1.36.x & DX11. Def files updated. 3D models revised & corrected. Ownable. Freight market. Ui shadows corrected. Corrected ...
LibGuides: Stressbusters: Games (Group)

Need a break? Here's a collection of some fun, casual stressbusters that you can do either solo or with your study group.
Some constructive variants of S4 with the finite model property

The logics CS4 and IS4 are intuitionistic variants of the modal logic S4. Whether the finite model property holds for each of these logics has been a long-standing open problem. In this paper we introduce two logics closely related to IS4: GS4, obtained by adding the Godel-Dummett axiom to IS4, and S4I, obtained by reversing the roles of the modal and intuitionistic relations. We then prove that CS4, GS4, and S4I all enjoy the finite model property.
SUNIYE: An Indian Sign Language Detection App

The paper is all about the system and interface developed, that allows deaf mutes and other people to communicate with each other help of Sign Language. Since the possibility of learning Sign Language for each and every person this project will help them to communicate with ease . It uses the of concepts like Deep Learning, Convolutional Neural Network, Tensor Flow. A webcam first captures the hand gestures, then this system will convert it to text format.. For this purpose, Neural Networks are linked with Tensor flow library. The final text module will be displayed on the screen.
Visual Literacy and Virtual Rephotography

Rephotography is a varied set of practices that begin with taking one or more pictures of the same subject. Valued for generating conversations in-situ about a place over time, recent large-scale migration to online learning draws attention to rephotography’s virtual modes. From examples that use online location software (e.g., Google Street View) to those in video game worlds, virtual rephotography might present convenient windows to unreachable destinations. However, rephotographing without having visited actual vantage points needs to take into account complexity and disjointedness introduced by such tools. Drawing from the author’s current practice-led research into photomedia, visual literacy and temporality in Northeastern Japan, emergent particularities are discussed for developing visual literacy through a necessary application of Google Street View.
Efficient Constructions of Pairing Based Accumulators.

Cryptographic accumulators are a crucial building block for a variety of applications where you need to represent a set of elements in a compact format while still being able to provide proofs of (non)membership. In this work, we give a number of accumulator constructions for the bilinear pairing setting in the trapdoor-based scenario, where a trusted manager maintains the accumulator. Using modular accumulator techniques, we first present the first optimally efficient (in terms of communication cost) dynamic, positive accumulators in the pairing setting. Additionally, we present a novel modular approach to construct universal accumulators that avoid costly non-membership proofs. We instantiate our generic construction and present the first universal accumulator in the bilinear pairing setting, that achieves constant parameter size, constant cost for element additions/deletions and witness generation by the manager, constant witness updates by the users and constant (non)membership verification. We finally show how our proposed universal accumulator construction can give rise to efficient ZK accumulators with constant non-membership witness updates.
Automatic Generation of Flexible Plans via Diverse Temporal Planning

Robots operating in the real world must deal with uncertainty, be it due to working with humans who are unpredictable, or simply because they must operate in a dynamic environment. Ignoring the uncertainty is dangerous, while accounting for all possible outcomes is often computationally infeasible. One approach, which lies between ignoring the uncertainty completely and addressing it completely is using flexible plans with choice, formulated as Temporal Planning Networks (TPNs). This method has been successfully demonstrated to work in human-robot teamwork using the Pike executive, an online executive that unifies intent recognition and plan adaptation. However, one of the main challenges to using Pike is the need to manually specify the TPN. In this paper, we address this challenge by describing a technique for automatically synthesizing a TPN which covers multiple possible executions for a given temporal planning problem specified in PDDL 2.1. Our approach starts by using a diverse planner to generate multiple plans, and then merges them into a single TPN. As there were no available diverse planners for temporal planning, we first present a novel method for adapting an existing diverse planning method, based on top-k planning, to the temporal setting. We then describe how merging diverse plans into a single TPN is performed using constraint optimization. Finally, an empirical evaluation on a set of IPC benchmarks shows that our approach scales well, and generates TPNs which can generalize the set of plans they are generated from.
남북통일 과정에서 군사통합 수행을 위한 군사행동개념 - DDR(무장해제, 동원해제, 사회로의 재통합)을 중심으로 -

In the study, military integration of inter-Korean reunification is a precursor to the creation of a successful national integration. The definition of military integration is unifying the organization, function, and system of two different inter-Korean military groups to achieve the national security goals of the unified Korea under the leadership of the Korean military. and It is to form a sense of unity internallyThis paper concluded the decisive process of determining the success of military integration during inter-Korean reunification is whether the DDR(Disarmament, Demobilization, Reintegration) is implemented or not, and the most important process of DDR is of disarmament. The study shows that a successful military integration type in inter-Korean reunification is a Enforced Military Integration of military engagement in the event of war or sudden north Korean collapse, as well as a Concerted Military Integration between a peaceful agreement or an agreement on north Korean collapse. Because of the two-type successful military integration is implemented DDR under the leadership of the Korean military.This paper can be summed up that. The DDR is a critical program, it will create a regional stabilization for military and national integration during the Korean reunification process. The key military action to successfully conduct DDR is creation a political and military advantage, inducement by voluntary disarmament and storage management of recovered weapons, sufficient livelihoods for the retired soldiers of north Korean military.
PREDIKSI PERTUMBUHAN PENDUDUK PADA PROVINSI SUMATERA BARAT DENGAN MENGGUNAKAN METODE BACKPROPAGATION

The problem of population is one of the problems in the Province of West Sumatra, especially in the City of Padang, Kota Bukitinggi, and the City of Payakumbuh which has a very fast population growth rate, this occurs due to several factors such as births, deaths, residents who come, and residents who leave. The highest population growth occurred in Padang City in 2018 amounting to 939,112 residents and the smallest population growth occurred in the City of Bukitinggi in 2014 amounting to 120,491 residents. The purpose of this study is to predict population growth that will occur in 2019 in the cities of Padang, Bukittinggi and Payakumbuh. The method used in this research is descriptive correlational by applying backpropagation neural networks. The application used is Matlab. Based on the problems and methods obtained, the predicted results in 2019 in Padang City amounted to 124,7150, Bukittinggi numbered 126,8040 and Payakumbuh totaled 128.7830. Keywords: Artificial Neural Networks, Backpropagation, Matlab.
FIU Libraries: Alma & Primo VE: Librarians & Library Staff: Primo VE Training

Welcome to FIU Libraries' Alma & Primo VE Implementation Guide: Find dates, notes, tips, resources, links, & tricks
LibGuides: Online Teaching & Design Resources for Fall 2020: Online Literature on Topic

This guide is for MCU faculty to support them in designing and redeveloping their fall 2020 courses. This guide will provide literature , resources, and other tools to use.
한국어 학술텍스트의 부스터 표현 사용 양상 연구 -인문계열과 사회계열의 비교를 중심으로-

Boosters have not received enough attention in the field of Korean language education even though they are important linguistic devices that convey interpersonal meanings just as hedges in academic discourse. In addition, Korean academic discourse education in terms of the pragmatic aspect is important and desperately needed. Therefore, this study conducted a fundamental study focusing on boosters. First, the concept of boosters was defined by reviewing previous studies on boosters. Based on the theoretical background, boosters used in 20 research articles from five disciplines-History, Korean Language and Literature, Psychology, Sociology, Journalism-were examined quantitatively as well as qualitatively. Finally, the pedagogical implications that can be provided for Korean language education were discussed. (Sun Yat-sen University)
Network Throughputs Modelling for Mobile Video Streaming Analysis

Continuous increasing the share of video streaming in Internet traffic has raised interest in research aimed at improving bit rate selection algorithms for HTTP Adaptive Streaming (HAS). These algorithms use a different bitrate adaptation logic to ensure adaptation to the change of available network bandwidth. Measured throughput traces for different networks are usually used in the analysis of the performance of the algorithms. Although real networks are best presented by these measured traces, due to large differences in statistical properties of traces measured at different times of the day or year, as well as different routes of users in mobile networks, they are not fully suitable for systematic analysis of streaming algorithms. For this purpose, synthetic (computer-generated) traces can be more appropriate, provided that they mimic realistic traces well. In this paper, we present results of statistical modeling of throughput traces by using Nakagami distribution. Based on the parameters of Nakagami distribution estimated from the data measured in 3G and 4G networks, synthetic traces were generated. By applying the simulation framework for video streaming and using the Liu adaptation algorithm, parameters that affect the quality of the uploaded video have been compared for the cases of using synthetic and real traces. Comparison of achieved average quality levels, estimated bandwidths, video bitrates as well as number and depth of quality switches show that Nakagami distribution is a good choice for generating the synthetic traces. By changing the shape parameter m and the spread parameter of the probability density function of the Nakagami distribution, synthetic traces can be generated that correspond to a wide range of real traces.
Airborne Geophysical Surveys with Ultralight Aircraft in The Search and Evaluation of Deposits

Summary The possibility of performing detailed surveys on promising small size areas is discussed. It is proved that airborne geophysical surveys are an effective means of optimizing the search by reducing the volume and precise positioning of drilling. The effectiveness of work with unmanned aircraft carriers is discussed. As an alternative, shooting with ultra-small manned aircraft is considered.