Reviewerly/exHarmony huggingface dataset:
STRATEGIC MANAGEMENT OF THE PORTFOLIO OF FINANCIAL ASSET

Until now, three approaches to asset portfolio management have been used. The first approach is the classic one, based on the "Efficient Market Hypothesis" (EMH). The second and more modern approach is related to the "Fractal Market Hypothesis" (FMH). Modern economic practice is characterized by the presence of structurally unstable markets, included as nodes in the network of the world economy, which functions in real time. The structure of the available financial instruments is heterogeneous and non-Markovian processes arise in them. The third approach is the formation of a dynamic strategy of investment management of the asset portfolio. Due to the complex structure of the modern global financial market, the heterogeneous structure of available financial instruments and traders using different approaches and time horizons, forecasts, as a rule, require a large number of observations, work poorly at the edges of bifurcations, and do not have a computer model that could build forecasts in real time. In these structures, slow diffusion-type processes with a memory phenomenon occur, i.e., non-Markovian processes. Therefore, the formation of a dynamic strategy using modern methods of mathematical and computer modeling is very promising. Real financial data is expressed in rational numbers. Computational models were developed on the basis of classical substance analysis. Therefore, p-adic analysis methods are increasingly used in financial mathematical modeling. These methods are used, in particular, in the construction of neural networks, cellular automata, and percolation models. The paper seems to have taken the first step towards building a "synthetic" model of dynamic asset portfolio management. The model has the form of a differential equation in fractional derivatives obtained using the so-called interbasin kinetics method. A general form of the energy market model is also offered, as one of the specific, especially nowadays, markets.
Implications of the period of the COVID-19 pandemic on the elderly population in the city of Santos from 2020 to 2021

The objective of this study was to gather data regarding vaccination and deaths related to COVID-19 of the elderly population living in Santos in the years 2020 and 2021 and, through the application of an adapted quality of life assessment scale and listening to the elderly over 60 years of age living in a Long-Term Care Institution located in the Ponta da Praia neighborhood, investigate an alleged relationship between the results collected and the pandemic period related to the Coronavirus experienced. Regarding vaccinations, according to data collected in July 2022, 1,148,207 doses were administered in total. As for deaths, between March and December 2020, 843 were recorded, and between January and December 2021, 979. The survey was carried out with an exploratory purpose using an evaluator scale, whose results were analyzed qualitatively. A total of 10 individuals of both genders were interviewed, 6 males and 4 females whose age range was established from the age of 60 years. The results revealed little variation between averages and specifically low impact related to COVID-19. Complaints about physical health, autonomy, and social relationships were raised.
Decentralised Techniques Based White Paper Publication Portal

This paper presents the development of a web application, which aims to provide a platform for white paper authors to upload and have their documents reviewed by industry experts and scholars. The web app will utilize Ethereum block chain technology to provide security and authenticity to the uploaded white papers, which will be converted into non-fungible tokens to ensure their uniqueness. The authors will have the ability to self-upload their white papers onto a secured IPFS (Inter Planetary File System) database and use ERC721 (Ethereum Request for Comments) protocols to mint them as non-fungible tokens. In addition, the web app will allow white paper authors to receive crowdfunded support from users holding ETH in their web3 wallets. With our unique authentication system utilizing decentralized techniques, the Paper Publication Portal ensures that only verified authors can publish their work, enhancing both the security and credibility of the platform.
Research on high precision image registration method based on line segment feature and ICP algorithm

Image registration is an important research content in image processing technology. Aiming at the problem that traditional registration methods are difficult to accurately register low-texture images, this paper proposes a high-precision image registration algorithm based online segment features. For the case of wrong match, using the RANSAC random consistent sampling algorithm when searching for the transformation model, and then iterate the nearest points through ICP to transform the parameters further accurately. From the experimental results, the image registration method proposed in this paper is robust to scale, rotation, and illumination and the registration accuracy is improved.
Re-targeting self-supervised transformers for semantic segmentation without training

Semantic segmentation is one of the fundamental problems in computer vision. Many learning paradigms have been proposed to alleviate the annotation burden for the semantic segmentation task, such as weakly-supervised learning, one-shot learning, and few-shot learning. However, these approaches still require collecting a large amount of labeled data for training. In this paper, we are motivated to release the model from collecting such training samples and propose to retarget on-the-shelf self-supervised models for semantic segmentation tasks. We observe that the self-supervised transformers have reasonable representations to evaluate the patch affinities and the semantic meanings. By leveraging the patch-level affinities, accurate segmentation masks can be obtained. Meanwhile, the semantic assignments can be obtained by comparing the pixel’s representations with precomputed prototypes. Assembling them together, semantic segmentation results can be derived from the model without any finetuning. With only a single example per class, our approach achieves up to 51.4% mIoU on the challenging PASCAL VOC 2012 val set without any training using masks, demonstrating the effectiveness of the approach.
Optimized Polarization Encoder with High Extinction Ratio for Quantum Key Distribution System

Polarization encoding is a promising approach for practical quantum key distribution (QKD) systems due to its simple encoding and decoding methodology. In this study, we propose a self-compensating polarization encoder (SCPE) based on a phase modulator, which can be composed of commercial off-the-shelf (COT) devices. We conducted a proof-of-concept experiment to test the SCPE, which demonstrated an in-system quantum bit error rate (QBER) of 0.53% and long-term running stability without any active adjustments. Additionally, we conducted experiments with transmission over commercial fiber spools of lengths up to 100 km and obtained a secure finite key rate of 3 kbps. Our polarization encoder is a promising solution for various polarization encoding protocols, including BB84, MDI, and RFI.
Fab Synthesis: Performing sound, from Musique Concrète to Mechatronics

This article firstly explores and identifies the implications of sound performance and expression as a building block in electroacoustic sound composition. Secondly, it attempts to introduce and describe Fab Synthesis as a sound synthesis paradigm that facilitates uncompromised sound expressivity and encourages the combination of human and electromechanical agents to interact seemingly.
Sound models for synthesis: a structural viewpoint

For the needs of music production and multimedia art, sound synthesis algorithms are needed which are versatile, responsive to user’s expectations, and having high audio quality. It is useful to organize our intuitive sound abstracts into models. A computational model can be used for representing and generating a whole class of sounds, depending on the internal structure of the model and on the choice of control parameters. We will review some of the most important computational models that are being used for sound synthesis in musical production from the viewpoint of the model structure. Moreover, the Centro di Sonologia Computazionale of Padova University has done research on synthesis models for a long time and the main achievements in both the scientific and musical fields will be presented.
DAMPAK KILAT TERHADAP PENGLIHATAN MANUSIA PERSPEKTIF AL-QUR’AN DAN SAINS

Lightning is a natural phenomenon that is both beautiful enough to be seen with the eyes and a threatening natural occurrence at the same time. Various sources define lightning as a very fast light containing an electric current that is then delivered to a cloud or the ground. The transmission of electric current when lightning occurs causes a threat to humans, which is one of these lightning threats as studied in the title of this study. The research method used is qualitative research with the study of the library using a case approach. The analysis used in this study is descriptive analysis. The problem raised is how the impact of lightning on the human eye is seen from the perspective of the Qur’an and science. The result or conclusion was found to be that lightning, from the perspective of the Qur'an, has a variety of meanings, with its very bright ability to blind or eliminate sight when seen by the eye. From a scientific standpoint, lightning can cause red eyes and blurred vision. Which, if not handled properly, can result in permanent blindness.
The Metadiscourse Analysis in Abstracts of Multidisciplinary Sciences Journal Articles: Hedges vs Boosters

In academic writing, authors must separate opinion from facts and assess their arguments suitably and convincingly, the expressing of uncertainty and certainty is critical. This research investigates the usage of hedges and boosters in research articles from three disciplines: engineering, social science, and midwifery. This study carries three issues: what are the language forms of hedges and boosters in abstracts of journal articles of multi-disciplinary science at Tulungagung University, how often hedges and boosters are used and how their meaning reflects the writer's level of assurance in the information given. The research design used in this study is descriptive-qualitative. The data taken were from in the past five years (from 2017 to 2022) as its primary sources of data. The researcher used random sampling and took ten articles of each science. There were thirty papers contributed by the lecturers who submitted their journal articles to the Tulungagung University repository (https://repository.unita.ac.id/). This study concluded that abstracts of journal articles in midwifery science were the highest among the other sciences. The second most used of hedges was also found in engineering sciences and the lowest usage was from social science. This finding is not relevant to (Vázquez Orta &amp; Giner, 2008) conclusion that Hedging is more common in disciplines driven by socially manufactured, abstract data and less often in fields driven by real data. The findings of this study generally validated Salager- Meyer's assertion that it is crucial and extremely important to be able to navigate scientific language. In contrary, the highest booster frequencies were found in social science, and then the second was in midwifery science. The lowest was in engineering science. It appears that the boosters are being used to convey a high level of confidence in the conclusions that can be drawn from the outcomes of the study that was carried out. In other instances, the boosters appear to serve as rhetorical devices that are designed to express the author's view as if it were self-evident or as if it were a commonly acknowledged thought or truth. In social science which the author writes more argumentatively, boosters were needed to convey their ideas or opinions much more.
Cognitive Metascience: A New Approach to the Study of Theories

In light of the recent credibility crisis in psychology, this paper argues for a greater emphasis on theorizing in scientific research. Although reliable experimental evidence, preregistration, methodological rigor, and new computational frameworks for modeling are important, scientific progress also relies on properly functioning theories. However, the current understanding of the role of theorizing in psychology is lacking, which may lead to future crises. Theories should not be viewed as mere speculations or simple inductive generalizations.To address this issue, the author introduces a framework called “cognitive metascience,” which studies the processes and results of evaluating scientific practice. This study should proceed both qualitatively, as in traditional science and technology studies and cognitive science, and quantitatively, by analyzing scientific discourse using language technology.By analyzing theories as cognitive artifacts that support cognitive tasks, this paper aims to shed more light on their nature. This perspective reveals that multiple distinct theories serve entirely different roles, and studying these roles, along with their epistemic vices and virtues, can provide insight into how theorizing should proceed. The author urges a change in research culture to appreciate the variety of distinct theories and to systematically advance scientific progress.
Assignment of probabilities to the production rules of a conjunctive grammar

Abstract The assignment of probabilities to the production rules of a conjunctive grammar which yields a probabilistic conjunctive grammar is a subtle task. We use the maximum likelihood estimation to obtain the probabilities for each production rule and prove that this assignment gives a probabilistic conjunctive grammar. Mathematics Subject Classification Number: 68Q45
La Sintesi del suono in Iannis Xenakis. Indagine di una ricerca compositiva

Unlike many composers of his generation, Iannis Xenakis personally devised and implemented the sound synthesis techniques used in some of his creative efforts. Eight of his works feature – in part or exclusively – sounds obtained with analogue or digital synthesis techniques, in a time span that goes from Analogique B (1959) to S.709 (1994). All of his electroacoustic music after La Légend d’Eer (1977) has sounds synthesized with computer technology. The sound synthesis procedures he devised, reflect peculiar operational and technological conditions, and indeed represent tokens of musical and sonological knowledge characteristic of a truly unique practice. In this paper we provide a survey of Xenakis’s efforts with sound synthesis, delineating their historical path through the experimenting of different technical contexts of material production and the corresponding theoretical and musical implications. Xenakis’ approach on sound synthesis is viewed as a domain of design of direct compositional relevance. Across subsequent steps in his carrier, Xenakis’s notion of ‘synthesis’ appears as a process or device generative of sound and music at once, in a single compact constructive gesture or strategy making it difficult to tell matter from form. Gradually, the musical work’s identity seemed to incorporate not just a specific linguistic-formal configuration, but the set of conditions of possibility elaborated by the composer – that is, eventually, the computer programming code (Gendy3, 1992). Iannis Xenakis’ commitment to crafting sound generation techniques – before using them to also craft music – witnesses at an attitude in which the appropriation of the material means of creative labour is an irreducible precondition for freedom of expression and musical aesthetics.
Comparing Code Explanations Created by Students and Large Language Models

Reasoning about code and explaining its purpose are fundamental skills for computer scientists. There has been extensive research in the field of computing education on the relationship between a student's ability to explain code and other skills such as writing and tracing code. In particular, the ability to describe at a high-level of abstraction how code will behave over all possible inputs correlates strongly with code writing skills. However, developing the expertise to comprehend and explain code accurately and succinctly is a challenge for many students. Existing pedagogical approaches that scaffold the ability to explain code, such as producing exemplar code explanations on demand, do not currently scale well to large classrooms. The recent emergence of powerful large language models (LLMs) may offer a solution. In this paper, we explore the potential of LLMs in generating explanations that can serve as examples to scaffold students' ability to understand and explain code. To evaluate LLM-created explanations, we compare them with explanations created by students in a large course ($n \approx 1000$) with respect to accuracy, understandability and length. We find that LLM-created explanations, which can be produced automatically on demand, are rated as being significantly easier to understand and more accurate summaries of code than student-created explanations. We discuss the significance of this finding, and suggest how such models can be incorporated into introductory programming education.
Foundations for an Abstract Proof Theory in the Context of Horn Rules

We introduce a novel, logic-independent framework for the study of sequent-style proof systems, which covers a number of proof-theoretic formalisms and concrete proof systems that appear in the literature. In particular, we introduce a generalized form of sequents, dubbed 'g-sequents,' which are taken to be binary graphs of typical, Gentzen-style sequents. We then define a variety of 'inference rule types' as sets of operations that act over such objects, and define 'abstract (sequent) calculi' as pairs consisting of a set of g-sequents together with a finite set of operations. Our approach permits an analysis of how certain inference rule types interact in a general setting, demonstrating under what conditions rules of a specific type can be permuted with or simulated by others, and being applicable to any sequent-style proof system that fits within our framework. We then leverage our permutation and simulation results to establish generic calculus and proof transformation algorithms, which show that every abstract calculus can be effectively transformed into a lattice of polynomially equivalent abstract calculi. We determine the complexity of computing this lattice and compute the relative sizes of proofs and sequents within distinct calculi of a lattice. We recognize that top elements in lattices correspond to nested sequent systems, while bottom elements correspond to labeled sequent systems, and observe that top and bottom elements coincide with many known (cut-free) nested and labeled sequent systems for logics characterized by Horn properties.
Meaning and Origin of ‘Baedar’

‘Baedar’ was first used in Dae-jong-gyo in the early 1900s and was used as a universal term to refer to the Korean people, mainly by Dae-jong-gyo leaders and independence activists during the Japanese colonial era. However, the meaning and origin of ‘Baedar’ are divided into two views. Dae-jong-gyo explained that ‘Baedar’ was the holy name of Dan-gun and the original national name of Dan-gun Joseon, and opinions that believe in Hwan-dan-go-gi understand ‘Baedar’ as ‘Shin-shi-bae-dar’ or Baedar nation of King Hwan-woong-cheon-hwang. These conflicting views are thought to be due to the lack of specific review and research on the meaning and origin of ‘Baedar’.&#x0D; This study examined when and through what process the Dae-jong-gyo used 'Baedar' as a term for Dan-gun and Dan-gun Joseon, and through this, it was confirmed that Hwan-in, Hwan-woong, and Dan-gun were united as one, that is, Dan-gun.
IMPLEMENTATION OF E-CRM UP-SELLING AND CROSS - SELLING STRATEGY AT MITRA SEJAHTERA STORE

Abstract: The development of information technology has experienced a very rapid growth, especially the internet. The Internet makes a very helpful contribution in a business field. Fierce business competition and the rapid growth of information technology make it easy for customers to switch to other stores. Mitra Sejahtera has not implemented a service that makes it easier for customers to buy goods easily and still uses the service manually, sales report data is still used in the general ledger so it is not efficient to do neatly organized records, customers must come directly to the store to find out what products are sold then customers do not know the latest discounts and products sold in stores. Mitra Sejahtera is a beauty business venture that sells brand products such as, wardah, emina, implora, garnier, etc. One of the efforts in improving services is by applying the concept of Customer Relationship Management (CRM) and implementing Up-Selling and Cross-Selling strategies. The goal achieved in this stage is the operability of the results of the system design that has been made. With this CRM design and Up-Selling and Cross-Selling strategy, it can increase sales in meeting customer needs. This system was created to make it easier for Toko Mitra Sejahtera to sell products, process data in a computerized manner and can improve service to customers. Keywords : cosmetics; electronic customer relationship management (E-CRM); up-selling and cross-selling strategies Abstrak: Perkembangan teknologi informasi telah mengalami pertumbuhan yang sangat pesat terutama internet. Internet memberikan kontribusi yang sangat membantu dalam bidang bisnis. Persaingan bisnis yang ketat dan pesatnya pertumbuhan teknologi informasi memudahkan pelanggan untuk beralih ke toko lain. Mitra Sejahtera belum menerapkan layanan yang memudahkan pelanggan untuk membeli barang dengan mudah dan masih menggunakan layanan secara manual, data laporan penjualan masih digunakan dalam buku besar sehingga tidak efisien untuk melakukan pencatatan yang tertata rapi, pelanggan harus datang langsung ke toko untuk mengetahui produk apa yang dijual maka pelanggan tidak mengetahui diskon terbaru dan produk yang dijual di toko. Mitra Sejahtera adalah usaha bisnis kecantikan yang menjual produk brand seperti, wardah, emina, implora, garnier, dll. Salah satu upaya dalam meningkatkan pelayanan adalah dengan menerapkan konsep Customer Relationship Management (CRM) dan menerapkan strategi Up-Selling dan Cross-Selling. Tujuan yang dicapai pada tahap ini adalah operabilitas hasil desain sistem yang telah dibuat. Dengan desain CRM ini dan strategi Up-Selling dan Cross-Selling, dapat meningkatkan penjualan dalam memenuhi kebutuhan pelanggan. Sistem ini dibuat untuk memudahkan Toko Mitra Sejahtera dalam menjual produk, mengolah data secara komputerisasi dan dapat meningkatkan pelayanan kepada pelanggan. Kata Kunci : kosmetik; manajemen hubungan pelanggan elektronik (E-CRM); strategi up-selling dan cross-selling