Reviewerly/exHarmony huggingface dataset:
Research and Application of Micro-Services Framework for Public Information of Waterway

Public information of waterway was usually serviced by waterway management departments in conventional means such as official websites, special Apps and so on.These service ways lead to that it is hard to make full using of waterway data resources in users' own application scenarios and systems.This paper designs a four-tier micro-service framework for waterway public information services, it including data layer, interface layer, application layer and business application client layer.Public information of waterway collected from the digital waterway systems was classified into different type data resources, which were then serviced by REST-based APIs dividedly complying with the rules of micro-service.And, now the waterway public information services had be utilized by several third-part application systems in multiple scenarios.The results showed that the micro-service framework is an effective way to publish the waterway public information, and improve the utilization efficiency of data resources from digital waterway systems.
The Study and Development for the Set of Activity Table to Support the Activity Learning of Grade 4 Students by Department of Arts

The research objectives are 1) to study the students' behavior in using desk and chair set for art learning activities, 2) to develop a desk and chair set for art learning activities, 3) to test the efficiency of developed desk and chair set according to the loading standard with the universal testing machine -UH4, and 4) to evaluate the satisfaction of 4th grade students and teachers in using the desk and chair set.The result of the behavior study identified that some students sit leaning forward to the desk causing an inappropriate posture for using pencils and brushes in art learning activities, and also the existing desk design does not allow for group learning which is the major need for them.The developed desk is evaluated as being very appropriate (x = 4.18., S.D. = 0.82).We built a prototype and put it through the load test with the universal testing machine -UH4 and found that the new design passed the standard.Finally, we gathered feedback from the 4th grade students and teachers stating that they are very satisfied (for students x = 4.69., S.D. = 0.48; and for teachers x = 4.72., S.D. = 0.54).
Psi-Calculi Revisited: Connectivity and Compositionality

Psi-calculi is a parametric framework for process calculi similar to popular pi-calculus extensions such as the explicit fusion calculus, the applied pi-calculus and the spi calculus. Mechanised proofs of standard algebraic and congruence properties of bisimilarity apply to all calculi within the framework. A limitation of psi-calculi is that communication channels must be symmetric and transitive. In this paper, we give a new operational semantics to psi-calculi that allows us to lift these restrictions and simplify some of the proofs. The key technical innovation is to annotate transitions with a provenance -- a description of the scope and channel they originate from. We give mechanised proofs that our extension is conservative, and that the standard algebraic and congruence properties of strong and weak bisimilarity are maintained. We show correspondence with a reduction semantics and barbed bisimulation. We show how a pi-calculus with preorders that was previously beyond the scope of psi-calculi can be captured, and how to encode mixed choice under very strong quality criteria.
Satellite-based quantum communications (Conference Presentation)

Quantum key distribution is now a mature quantum communication protocol which allows the verifiably secure sharing of encryption keys between two communicating parties. It seeks to address potential vulnerabilities of data transmission and storage, offering a realistic possibility to share encryption keys which are robust to eavesdropping attacks and future-proof against hacking. Fibre-optic implementations of quantum key distribution currently have a limited practical transmission distance, of less than 400 km, making commercial applications limited. Quantum-specific amplifier/repeater technology is not yet mature enough to increase the transmission distance to achieve global capabilities. Optical fiber is also impractical and expensive for applications where a remote area or moving platform are involved. In recent years, long-distance free-space quantum communications using low-Earth orbit satellites has seen an increase in interest from the academic community as well as from industrial organisations and national research institutes. The source of this new interest was a series of proof-of-principle demonstrations of satellite-based quantum key distribution in 2017. The use of free-space channels implementing airborne or satellite platforms also opens a range of new applications for quantum communications, as they allow coverage of remote areas, moving platforms, and also avoid the requirement of spooling fibre through volatile regions. This presentation will give a general introduction to satellite-based quantum communications, an overview of the field, and discuss future endeavours. The talk will also include an overview of our research into novel photonic technology, such as the use of detector array technology, for the optical ground station receiver.
Attention-Aware Age-Agnostic Visual Place Recognition

A cross-domain visual place recognition (VPR) task is proposed in this work, i.e., matching images of the same architectures depicted in different domains. VPR is commonly treated as an image retrieval task, where a query image from an unknown location is matched with relevant instances from geo-tagged gallery database. Different from conventional VPR settings where the query images and gallery images come from the same domain, we propose a more common but challenging setup where the query images are collected under a new unseen condition. The two domains involved in this work are contemporary street view images of Amsterdam from the Mapillary dataset (source domain) and historical images of the same city from Beeldbank dataset (target domain). We tailored an age-invariant feature learning CNN that can focus on domain invariant objects and learn to match images based on a weakly supervised ranking loss. We propose an attention aggregation module that is robust to domain discrepancy between the train and the test data. Further, a multi-kernel maximum mean discrepancy (MK-MMD) domain adaptation loss is adopted to improve the cross-domain ranking performance. Both attention and adaptation modules are unsupervised while the ranking loss uses weak supervision. Visual inspection shows that the attention module focuses on built forms while the dramatically changing environment are less weighed. Our proposed CNN achieves state of the art results (99% accuracy) on the single-domain VPR task and 20% accuracy at its best on the cross-domain VPR task, revealing the difficulty of age-invariant VPR.
I-DBSCAN Algorithm with PSO for Density Based Clustering

International Journal of Computer Sciences and Engineering (A UGC Approved and indexed with DOI, ICI and Approved, DPI Digital Library) is one of the leading and growing open access, peer-reviewed, monthly, and scientific research journal for scientists, engineers, research scholars, and academicians, which gains a foothold in Asia and opens to the world, aims to publish original, theoretical and practical advances in Computer Science,Information Technology, Engineering (Software, Mechanical, Civil, Electronics & Electrical), and all interdisciplinary streams of Computing Sciences. It intends to disseminate original, scientific, theoretical or applied research in the field of Computer Sciences and allied fields. It provides a platform for publishing results and research with a strong empirical component. It aims to bridge the significant gap between research and practice by promoting the publication of original, novel, industry-relevant research.
Topics in Conditional Inference

Author(s): Hung, Kenneth | Advisor(s): Fithian, William; Aldous, David | Abstract: The modern data analysis process is rarely one-step, but instead paved with iterative exploratory data analyses and choices. Often data analysts are tempted to peek at the data before choosing the hypotheses to be tested. In other times, the vast amount of data is screened and not all information is accessible to the analysts. In either case, data analyses have to be carried post-selection, as a consequence of even the most innocuous exploratory data analyses. A particular method to conduct post-selection inference is conditional inference, with a few instances detailed in this work.Chapter 2 — based on Hung and Fithian (2019a) — explores a scenario where the choice of null hypothesis is dependent on the very same data used in the test. Using conditional inference, we provide a test that adapts to the data, for whichever hypothesis is most sensible. As a consequence of the adaptivity, our test is also much more powerful than the classical approaches.Chapter 3 — based on Hung and Fithian (2019b) — describes a meta-analysis where the data itself has been selected, but meaningful inference is nonetheless desired. Through conditional inference, we modified classical methods to provide post-selection inference.Finally in Chapter 4, I present unpublished work investigating an optimal method of combining information from a post-selection original experiment and a replication experiment, a current common concern in experimental psychology.
La expresión de la obra y su carácter original como requisitos de su protección por el derecho de autor: Sentencia del Tribunal de Justicia de 13 de noviembre de 2018, asunto C-310/17: Levola Hengelo

espanolEl Tribunal de Justicia de la Union Europa ha abordado en distintas ocasiones en su jurisprudencia la cuestion de que requisitos debe reunir una creacion intelectual para ser considerada una «obra» protegible por el derecho de autor. En el presente articulo se aborda esta cuestion al hilo del estudio de un supuesto limite recientemente resuelto por la Gran Sala del TJUE, el de si el sabor de un alimento (un queso para untar a las finas hierbas) puede ser considerado una «obra» en el sentido de la Directiva 2001/29. El Tribunal senala que el concepto de «obra» es un concepto autonomo de Derecho de la Union que tiene dos ingredientes o elementos que deben estar presentes de manera simultanea: tenemos que estar ante una creacion original y dicha creacion debe tener una expresion precisa y objetiva, lo que no ocurre con el sabor de un queso para untar. EnglishThe expression of the word and its original character as requirements for copyright protection. The Court of Justice of the European Union has addressed on several occasions in its jurisprudence the question of what requirements an intellectual creation must meet to be considered a «work» protected by Copyright Law. In the present article we approach this question in the context of the study of a hard case recently solved by the Great Chamber of the CJEU, whether the flavour of a food (a cheese spread) should be considered a «work» within the meaning of Directive 29/2001. The Court notes that the concept of «work» is an autonomous concept of EU Law composed by two ingredients or elements that must be present cumulatively: there needs to be an original creation and this creation must present a precise and objective expression, which does not happen in the case of the taste of a cheese spread
A Digital Currency for Computation offloading

International Journal of Computer Sciences and Engineering (A UGC Approved and indexed with DOI, ICI and Approved, DPI Digital Library) is one of the leading and growing open access, peer-reviewed, monthly, and scientific research journal for scientists, engineers, research scholars, and academicians, which gains a foothold in Asia and opens to the world, aims to publish original, theoretical and practical advances in Computer Science,Information Technology, Engineering (Software, Mechanical, Civil, Electronics & Electrical), and all interdisciplinary streams of Computing Sciences. It intends to disseminate original, scientific, theoretical or applied research in the field of Computer Sciences and allied fields. It provides a platform for publishing results and research with a strong empirical component. It aims to bridge the significant gap between research and practice by promoting the publication of original, novel, industry-relevant research.
Design of a Simple High-Altitude Rescue Buffer Device

With the increasing number of high-rise buildings in cities, people have more and more chances to encounter dangers in high-rise buildings.How to escape safely and quickly has become a hot research issue.Based on this, this paper designs a hydraulic damped high-altitude rescue buffer device based on the principle of hydraulic transmission.On the premise of fully understanding the current market situation of the retarder, the design scheme of hydraulic damper type is put forward at first.Then, according to the five components of the hydraulic system, the overlap of the overall structure of the system is completed.Finally, the model is developed by SolidWorks, a three-dimensional aided design software, and the engineering drawings of the whole system components are designed.
Assessing geologic model uncertainty - a case study comparing methods

Evaluating mineral resources requires the prior delimitation of geologically homogeneous stationary domains. The knowledge about the ore genesis and geological processes involved are translated into three dimensional models, essential for planning the production and decision-making. The mineral industry usually considers grade uncertainty for resource evaluation; however, uncertainty related to the geological boundaries are often neglected. This uncertainty, related to the location of the boundary between distinct geological domains can be one of the major sources of uncertainty in a mineral project, and should be assessed due to its potential impact on the ore tonnage, and consequently, on enterprise profitability. This study aims at presenting three different methodologies capable of generating multiple geomodel realizations and thus, assessing uncertainty. A real dataset with high geological complexity is used to illustrate the methodology. The results are compared to a deterministic model used as a reference scenario.
A revitalização do espaço físico da Divisão Técnica de Biblioteca e Documentação da Universidade Estadual Paulista (UNESP) – Campus Botucatu/Rubião Jr. utilizando a abordagem do Design Thinking

The present article aims to report the experience of readjusting the space in the Library and Documentation Technical Division at Universidade Estadual Paulista (UNESP), Botucatu/Rubiao Jr. Campus, using the Design Thinking approach. The method of the work went through three processes: inspiration, ideation and iteration. These are the results: the space rearrangement provided a change to the location of the books making them more accessible and closer to the circulation desk; addition of more than 40 study desks; setting up of new gathering areas furnished with mats, cushions, hammocks and beanbags; a new classroom with student chairs and whiteboard. Due to this, the daily average number of Library users increased from 700 to 1200. We conclude that there is still a lot of improvement to be made to the Library facilities, collections and services, but the process of rearranging the Library space, based on Design Thinking , was the starting point to renew concepts, ideas and attitudes. It was a change in how the Library team see users, users see the Library, and how the team see the Library itself. We believe that a lot can be made, despite scarce resources, both material and financial, as long as there is not any lack of passion and attitude from all those involved.
The Meaning of “Most” for Visual Question Answering Models

The correct interpretation of quantifier statements in the context of a visual scene requires non-trivial inference mechanisms.For the example of "most", we discuss two strategies which rely on fundamentally different cognitive concepts.Our aim is to identify what strategy deep learning models for visual question answering learn when trained on such questions.To this end, we carefully design data to replicate experiments from psycholinguistics where the same question was investigated for humans.Focusing on the FiLM visual question answering model, our experiments indicate that a form of approximate number system emerges whose performance declines with more difficult scenes as predicted by Weber's law.Moreover, we identify confounding factors, like spatial arrangement of the scene, which impede the effectiveness of this system.
Effects of Resistance Exercise Training on Body Composition, Insulin resistance, Growth Hormone and Insulin-Like Growth Factor-1 in obese college male students

The purpose of this study was to examine the effects of 11 weeks of resistance exercise training on body composition, insulin resistance, growth hormone and insulin-like growth factor-1 of obese college male students. Twenty obese college male students were volunteered to participate in this study as subjects, and they were randomly assigned to either resistance exercise training group(n=10) or control group(n=10). The subjects in resistance exercise program for intensity of 65% 1RM, three times per week for 11 weeks, whereas subjects in control were asked to maintain their normal life pattern for the same intervention period. All subjects were asked not to change their physical activity pattern throughout the intervention period. Main results of the present study were as follows: 1) Weight, BMI and % body fat were significantly decreased in resistance exercise training group. 2) Insulin and insulin resistance were significantly decreased in resistance exercise training group. but Insulin and insulin resistance were significantly increased in control group. 3) Growth hormone was significantly increased in resistance exercise training group. 4) Insulin-like growth factor-1 was significantly increased in resistance exercise training group. It was concluded that 11 weeks of resistance exercise training would be beneficial for body composition, Insulin resistance, growth hormone and insulin-like growth factor-1 in obese college male students.
Dynamic Fusion: Attentional Language Model for Neural Machine Translation

Neural Machine Translation (NMT) can be used to generate fluent output. As such, language models have been investigated for incorporation with NMT. In prior investigations, two models have been used: a translation model and a language model. The translation model's predictions are weighted by the language model with a hand-crafted ratio in advance. However, these approaches fail to adopt the language model weighting with regard to the translation history. In another line of approach, language model prediction is incorporated into the translation model by jointly considering source and target information. However, this line of approach is limited because it largely ignores the adequacy of the translation output. Accordingly, this work employs two mechanisms, the translation model and the language model, with an attentive architecture to the language model as an auxiliary element of the translation model. Compared with previous work in English--Japanese machine translation using a language model, the experimental results obtained with the proposed Dynamic Fusion mechanism improve BLEU and Rank-based Intuitive Bilingual Evaluation Scores (RIBES) scores. Additionally, in the analyses of the attention and predictivity of the language model, the Dynamic Fusion mechanism allows predictive language modeling that conforms to the appropriate grammatical structure.
The place of the phonograph and gramophone in Sweden 1900-1945 : Mediatization of Music and Musicalization of the Media

It has become a commonplace to describe the entrance of the phonograph into Western music history as taking place in the parlor, or (depending on the decade of focus) the more modern living room. ” ...
An Effective Teaching Quality Monitoring System under the Background of New Engineering

In the environment of new engineering, many universities are carrying out a new round of teaching reform and construction.In the new era of higher education, the educational mode has been changing from the original elite education to the popular, applied and other diversified training objectives.Based on the practical application of teaching quality monitoring, this paper puts forward a three-level monitoring system which involves the aspects of schools, colleges and research departments.It consists of four parts, i.e. teaching resources monitoring subsystem, teaching process monitoring subsystem, teaching information monitoring subsystem and teaching achievement evaluation subsystem, and it can be seen as an opportunity to realize the data acquisition, the data statistical analysis and the teaching quality.After long-term construction and development, schools and colleges have attached great importance to and fully supported the construction of teaching quality monitoring system, specialty, teaching staff and teaching conditions, and provided some strong guarantees.The proposed mode can generally provide an effective reference for training innovative, systematic and open talents.