Reviewerly/exHarmony huggingface dataset:
Constitution and Causal Roles

Gebharter (2017b) has proposed to use one of the best known Bayesian network(BN) causal discovery algorithms, PC, to identify the constitutive dependencies munderwriting mechanistic explanations. His proposal assumes that mechanistic constitution behaves like deterministic direct causation, such that PC is directly applicable to mixed variable sets featuring both causal and constitutive dependencies. Gebharter claims that such mixed sets, under certain restrictions, comply with PC’s background assumptions. The aim of this paper is twofold. In the first half, we argue that Gebharter’s proposal incurs severe problems, ultimately rooted in widespread non-compliance of mechanistic systems with PC’s assumptions. In the second half, we present an alternative way to bring PC to bear on the discovery of mechanistic constitution. More precisely, we argue that all of the parts of a phenomenon that account for why the phenomenon has its characteristic causal role are constituents—where the notion of causal role is probabilistically understood.
A Method for the Detection of Decrease in Power in PV Systems Using Satellite Data

In this paper, a method to detect a decrease in the output power of photovoltaic systems is proposed.This method is based on using satellite irradiance data.In addition, fault detection is carried out with only one day's data in this method.Thus, the time elapses since the decrease in output is shorter than with the other methods.In order to mitigate the error in satellite data and improve the accuracy of fault detection, data extraction is carried out, which consists of two steps.In the first step, effective data are extracted by setting a lower irradiance limit.In the second step, "Calculation day" is determined depending on the number of effective data in one day.Fault detection, which is only conducted on the Calculation day, is conducted by comparing the expected power and the measured power.The parameters used in this study were optimized by testing 45 systems that appear normal.Subsequently, 340 systems were analyzed with the proposed method, using optimized parameters.The results showed the effectiveness of our method from the viewpoints of both accuracy and time required.In addition, three data extraction methods were considered to distinguish between the permanent decrease caused by failure, and the temporary decrease caused by partial shade.Fuzzy cluster analysis showed the best result among the three methods used.
Rethinking the Recall Measure in Appraising Information Retrieval Systems and Providing a New Measure by Using Persian Search Engines

The aim of the study was to improve Persian search engines’ retrieval performance by using the new measure. In this regard, consulting three experts from the Department of Knowledge and Information Science (KIS) at Ferdowsi University of Mashhad, 192 FUM students of different degrees from different fields of study, both male and female, were asked to conduct the search based on 32 simulated work tasks (SWT) on the selected search engines and report the results by citing the related URLs. The Findings indicated that to measure recall, one does not focus on how documents are selecting, but the retrieval of related documents that are indexed in the information retrieval system database is considered While to measure comprehensiveness, in addition to considering the related documents' retrieval in the system's database, the performance of the documents selecting on the web (performance of crawler) was also measured. At the practical level, there was no strong correlation between the two measures (recall and comprehensiveness) however, these two measure different features. Also, the test of repeated measures design showed that with the change of the measure from recall to comprehensiveness, the search engine’s performance score is varied.  Finally, it can be said, if the study purpose of the search engines evaluation is to assess the indexer program performance, the recall use will be suggested while, if its purpose is to appraise the search engines to determine which one retrieves the most relevant documents, the comprehensiveness use will be proposed.
CEH∞F-SLAM: A ROBUST AND JACOBIAN-FREE SOLUTION TO SLAM PROBLEM

H∞ ﬁlter-based simultaneous localization and mapping (SLAM)algorithm does not make any assumptions about the noises, butit has the drawback of calculating Jacobian matrices; CKF-SLAMvariants are Jacobian free, but they tend to show low robustnessto non-Gaussian noises.
VSI: Emerging Services Cloud

Cloud Computing has reached maturity in software architecture, methods and technologies. The research and development work has moved from the context of exploration and formalization to the application. Nowadays, Cloud Computing offers unprecedented possibilities in a wide range of new computation areas, becoming a key topic in the academia and industry, not only contributing to the critical questions of the How but also opening new scientific questions needing the foundation for the What and Why matters.
Multi-sensor Platform for Automatic Assessment of Physical Activity of Older Adults

This work presents a multi-sensor platform integrating one or more commercial low-cost ambient sensors and one wearable device for the automatic assessment of the physical activity and sedentary time of an aged person. Each sensor node could operate in a stand-alone way or in a multi-sensor approach; in the last case, fuzzy logic data fusion techniques are implemented in a gateway in order to improve the robustness of the estimation of a physiological measure characterizing the level of physical activity and specific parameters for the quantification of a sedentary lifestyle. The automatic assessment was conducted through two main algorithmic steps: (1) recognition of well-defined set of human activities, detected by ambient and wearable sensor nodes, and (2) estimation of a physiological measure, that is (MET)-minutes. The overall accuracy for activity recognition, obtained using simultaneously ambient and wearable sensors data, is about 5% higher of single sub-system and about 2% higher of that obtained with more than one ambient sensor. The effectiveness of the platform is demonstrated by the relative error between IPAQ-SF score (used as ground-truth, in which a low score corresponds to a sedentary lifestyle whereas a high score refers to moderate-to-vigorous activity level) and average measured (MET)-minutes obtained by both sensor technologies (after data fusion step), which never exceeds 7%, thus confirming the advantage of data fusion procedure for different aged people used for validation.
Verifying Information Flow Control Libraries

Information Flow Control (IFC) is a principled approach to protecting the confidentiality and integrity of data in software systems. Intuitively, IFC sys- tems associate data with security labels that track and restrict flows of information throughout a program in order to enforce security. Most IFC techniques require developers to use specific programming languages and tools that require substantial efforts to develop or to adopt. To avoid redundant work and lower the threshold for adopting secure languages, IFC has been embedded in general-purpose languages through software libraries that promote security-by-construction with their API. This thesis makes several contributions to state-of-the-art static ( MAC ) and dynamic IFC libraries ( LIO ) in three areas: expressive power, theoretical IFC foundations and protection against covert channels. Firstly, the thesis gives a functor algebraic structure to sensitive data, in a way that it can be processed through classic functional programming patterns that do not incur in security checks. Then, it establishes the formal security guarantees of MAC, using the standard proof technique of term erasure, enriched with two-steps erasure , a novel idea that simplifies reasoning about advanced programming features, such as exceptions, mutable references and concurrency. Secondly, the thesis demonstrates that the lightweight, but coarse-grained, enforcement of dynamic IFC libraries (e.g., LIO ) can be as precise and permissive as the fine-grained, but heavyweight, approach of fully-fledged IFC languages. Lastly, the thesis contributes to the design of secure runtime systems that protect IFC libraries, and IFC languages as well, against internal- and external-timing covert channels that leak information through certain runtime system resources and features, such as lazy evaluation and parallelism . The results of this thesis are supported with extensive machine-checked proof scripts, consisting of 12,000 lines of code developed in the Agda proof assistant.
Security Preserved Data Acquisition Process for Keen Grid Applications Using Cloud Innovation

The progressions made in the savvy meters have empowered the mechanized procedure of the charging arrangement of purchaser electrical utilization. So as to mechanize the errand of charging frameworks, cloud based charging model has been recommended. This sort of open source model can be effortlessly recognizable and altered by the outsider assailants. Henceforth, information security is the major worry amid information procurement and transmission process. This paper devises the cipher text arrangement–Attribute Based Encryption(CP-ABE) for accomplishing productive and anchored information learning show for the shrewd matrix frameworks. A community oriented key is produced for unscrambling the information for the approved client that upgrades the security of the framework. At first, they got information is protected with the entrance control approaches. The information proprietor who has the synergistic key can get to the touchy information or disaster will be imminent, the trait repudiation show confines the information consent. Thus, we can reluctantly illuminate the key escrow issues with diminished capacity utilization in the cloud information sharing frameworks. Trial examination has demonstrated the productivity of the proposed CP-ABE as far as time taken for key age, encryption and unscrambling process. It delineates that the proposed CP-ABE performed better.
WorldShare Collection Evaluation: A Case Study

In 2016, the University of Kansas (KU) Libraries began a yearlong subscription to OCLC’s WorldShare Collection Evaluation (CE), similar to a project undertaken 8 years earlier using the OCLC Collection Analysis tool. KU librarians planned to use the data collected to better understand KU’s collections and aid in setting allocations. Due to technical complications with the CE product, librarians had to modify initial project goals. Resulting data from the modified project objectives included identifying potential collaborative collection-development opportunities with Kansas State University in addition to approval plan and collection allocation adjustments based on publisher analyses and ARL benchmarking.
Impact of digital India among rural people

Digital India project is launched order to remodel India into a complete digitally empowered nation by making the nation digitally literate. The digital India concept focuses on clean digitization of data on the way to help in making matters much more green and fast in the future. It will reduce paper work, save man energy and save time also. The success of digital India project will depend upon the benefits accrued to people when it is executed completely. If India is proficient to sustain its digital revolution, it's not only going to simply improve the lives of its billion-plus people, but it'll also benefit the globe at huge.. Presently, only three hundred million of India's 1.25 billion people are digitally connected, around a half of them via cell phones. Rural access and usage is quite depressing. All these gaps will be converted into possibilities for big corporations and for creating a large number of entrepreneurs because the digital revolution needs improvements and development of several of applications. This paper discusses about the digital India campaign as whole along with its advantages and disadvantages among rural people in Tamil Nadu.
Implementation of Lightweight Crypto Processor Using Logistic Map for Wireless Sensor Network

Use of a suitable cryptographic algorithm for wireless sensor networks is important due to the limitations of energy, computation capability and storage resources of the sensor nodes. Among two basic types of cryptographic techniques, namely asymmetric and symmetric key cryptography, symmetric cryptography technique is considered to be efficient over other in terms of computation cost. In symmetric key encryption, the secret key is known prior to encryption and decryption process. Therefore, in a wireless sensor network where keys are pre-distributed with Key Pre-distribution Schemes (KPS), can be used by both sides, i.e. sender and receiver nodes. In this paper, we will discuss symmetric key encryption techniques that can be efficiently used in wireless sensor network and explain the design possibilities and computation cost of using symmetric key cryptographic method. We have discussed the design of a crypto processor using a well-known chaotic map called Logistic map. Also, we have performed some experiments on the crypto processor and the results were stated.
I LOG IN, THEREFORE I AM AN INSIGHT ON THE CONTRIBUTION OF DATA TOWARDS IDENTITY CONSTRUCTION IN CYBERSPACE.

02Jan 2019 I LOG IN, THEREFORE I AM AN INSIGHT ON THE CONTRIBUTION OF DATA TOWARDS IDENTITY CONSTRUCTION IN CYBERSPACE. Nusrat Zahan Chowdhury , Md. Rezaul Arefin and Mohammed Mizanur Rashid. Lecturer, Department of English, Bangladesh University of Professionals, Mirpur Cantonment, Road No 2, Section 12, Dhaka ? 1216, Bangladesh. Independent Researcher, Department of English, Jahangirnagar University, Savar, Dhaka ? 1342, Bangladesh. Senior Lecturer, Department of English, East West University,Plot A/2, Jahurul Islam City, Aftabnagar, Dhaka - 1212, Bangladesh.
Library Guides: Hate: Bullying

This guide provides information on hate in our society. It focuses upon online hate and strategies for dealing with it.
GEOGRAPHIC INFORMATION SYSTEM AND IMAGE CLASSIFICATION OF REMOTE SENSING SYNERGY FOR LAND-USE IDENTIFICATION

Geographic Information System (GIS) is one of the ways to obtain updated information indetail. As the name suggests, GIS can perform detail information about geographical area or place. Moreover,transferring the classified imagery as the result of remote sensing obtained in each period of time (per oneyear, per two years, per three years, based on the needs) to the GIS database will increase the informationresources. This is because; at first, the remote sensing image can cover the entire surface of this earth; second,remote sensing image contains information about the earth’s surface. By doing an appropriate imageprocessing procedure, rich information could be collected. For further research, other techniques ofclassification are necessary to be done so that the results can be compared with the results of the previoustechniques. This research produces two different image date resources, i.e. digital maps of land use inwatershed of Ciliwung downstream (accommodated raw data by Bakosurtanal/Coordinator for The National Survey and Mapping) and landsat TM image with 30 m resolution using RoI in Ciliwung downstreamwatershed (accommodated raw data by Geotek LIPI/Indonesian Institute of Sciences for GeologicalTechnology at Sangkuriang, Bandung). Digital intersections of these two resources produce a varied classingland-use.
Proofs of retrievability from linearly homomorphic structure-preserving signatures

Proofs of retrievability (PoR) enables clients to outsource huge amount of data to cloud servers, and provides an efficient audit protocol, which can be employed to check that all the data is being maintained properly and can be retrieved from the server. In this paper, we present a generic construction of PoR from linearly homomorphic structure-preserving signature (LHSPS), which makes public verification possible. Authenticity and retrievability of our PoR scheme are guaranteed by the unforgeability of LHSPS. We further extend our result to dynamic PoR, which supports dynamic update of outsourced data. Our construction is free of complicated data structures like Merkle hash tree. With an instantiation of a recent LHSPS scheme proposed by Kiltz and Wee (EuroCrypt15), we derive a publicly verifiable (dynamic) PoR scheme. The security is based on standard assumptions and proved in the standard model.
Blinds Personal Assistant Application for Android

The technology can be in many ways to help visually impaired people, but the problem of identifying objects and reading hard copy documents by blind people is still a challenging task. The aim of this study was to design an efficient and costeffective method for object detection and optical character recognition for visually impaired people. This project was designed and developed for android devices as an application, which can have downloaded and installed on any android smart phone typically having camera, voice processing unit and internet access. Android was chosen, because it has been already proliferated in the market to a very great extent. Organization of the paper are Introduction, State of Art Development, Motivation, Objective, Scope, Methodology, Experimental results and analysis, Conclusion, Future enhancements and References
Facial image comparisons of morphed facial imagery

Facial image morphing is a technique whereby two or more faces are blended together to create a new face (the morph). Apps and open source software are now freely available to create morphs. While morph creation is predominantly for entertainment value, it is also a method being used to create facial imagery for use on fraudulent identity documents. This study sought to answer two questions. First, would participants accept a morph persona (an identity created using only morphed facial imagery) as a credible identity? Second, could participants match faces that had been used to create a morph (so-called constituent faces)? Results showed that morph personas were credible, being correctly matched more often than alternative images of real people. Further, results showed that propensity to declare a constituent face a match to its morph was dependent on the type of morph, with morphs made using two faces more likely to yield matches than those made using eight or 16 faces. A follow up similarity study on faces selected showed that even if a constituent face was selected it would more than likely have been ruled out as a match following a more thorough one-to-one comparison.
Building an Electronic Auction Platform for Recyclable Waste Trading with Gamification Implementation

Waste is becoming a prevalent problem in Indonesia. Waste is overproduced to thepoint that waste landfills are constantly struggling to keep up, and are forced to do destructive,polluting methods. Recycling campaigns have been organized and socialized into the society topromote and motivate recycling in order to tackle waste problems, but failed to do anysignificant impact. Difficulties in finding recyclable waste buyers and insufficient informationof recyclable waste market price further demotivates society to recycle. This paper introduceseLDUS, an electronic auction for recyclable waste auctions, as a solution to attract and motivatesociety to recycle their waste. A prototype is developed in the form of mobile applications and aweb service to facilitate e-auctions for prospective sellers and buyers. To further engage andretain users in continuing the usage of eLDUS, gamification is implemented into the systemwith the help of the Octalysis framework. A closed beta test involving ten respondents are thenconducted. Respondents’ responses are analyzed to find insights and draw conclusions. Theconcept is well-received and can attract and motivate respondents to recycle. The prototype hasbeen evaluated to be very intuitive, easy to use, safe, and convenient in general. Theimplementation of gamification has been found to provide positive impact to the respondents’experience.
Stopping Fraudsters by Changing Products

Presented on January 25, 2019 at 12:00 p.m. in the Krone Engineered Biosystems Building, Room 1005.
A Map of the Total Longitudinal Electric Conductivity of the Sedimentary Cover of the Voronezh Crystalline Massif and Its Framing

In the central part of the region, a digital version of the conductivity map of the sedimentary cover. When constructing the S map, electro-prospecting data was used by the VES method. In general, sedimentary rocks are characterized by a large range of variation in the specific electrical resistance (from 0.1 to several thousand Ω m). The values of S vary from Sm units in the VCM territory to the first thousand Sm in the neighboring valleys. In the arch part of anteclise, the values of the longitudinal conductivity are within the first tens of Sm. The increase in conductivity is observed along the Losevskaya suture zone. In the area of transition of the array to adjacent large-scale tectonic structures, the values of S are from 40 to 120 Sm. In the central part of the DDV and RSP, S is equal to 2000 Sm. However, there is an area with S = 3500–4000 Sm.
Students’ Perception towards Techniques for Teaching Reading at The Ninth Grade of SMP Negeri 1 Ngawen in 2018/2019 Academic Year

This research paper aimes at investigating students' perception towards techniques for teaching reading at Junior High School. The writer uses descriptive research as the type of the study. The data of the study are students' perception towards techniques for teaching reading at the ninth grade at SMP N 1 Ngawen. The result of this study shows intensive reading is a technique that is often used by me students, because it is faster to get information easily. This technique is effective for learning reading by the students and it is easier to understand the content of the story.
Testing my @withknown install to see if ...

Testing my @withknown install to see if I edited the templates for notes to have post syndicate to my fediverse instance: https://github.com/jgmac1106/Known/blob/master/IdnoPlugins/Status/templates/default/entity/Status.tpl.php