Reviewerly/exHarmony huggingface dataset:
TableMorph: Haptic Experience with Movable Tables and Redirection

We presented ”TableMorph,” a novel method that combines redirection techniques and encountered-type haptic displays. In this method, concave and convex-shaped tables with mobile robots move through the real environment according to the relative positions of the user and the virtual tables in the virtual environment. In the process, by using redirection techniques that change the position and orientation of the user’s virtual hand and the shape of the virtual tables visually presented through the head-mounted display from the actual one, the system can make them feel, both visually and haptically, that the table has a shape very different from the real one. In the demonstration at SIGGRAPH ASIA 2023 E-tech, participants can try virtual mazes as an application of the proposed method. As the users move around in the virtual maze separated by tables, the arrangement of the tables in the real environment changes. This allows for the presentation of various types of mazes that are four times larger than the physical space.
The Zoetop: a kinesthetic aware zoetrope

We introduce the Zoetop, an innovative variation of the Zoetrope opening up new opportunities for design. At the core of the Zoetop is a small and inexpensive electronic device that can be embedded on any naturally spinning object, such as hand-spun spinning tops, car wheels, bouncing balls, or windmills. The device uses an inertial sensor to keep track of its own instantaneous axis of rotation and angular speed. It then produces a constant number of flashes per revolution regardless of speed variations, and corresponding to the number of frames in the animation. As a consequence animations can be created without strobe light synchronization, delicate mechanical setups including driving motors, or any form of calibration. As such, this “kinaesthetic-aware” computational Zoetrope offers new opportunities for deployment in the wild, augmenting hand-spun toys, wind-powered chimes, propellers or fans with animated graphics. We believe that the Zoetop can inspire designers and the DIY community to come up with new ideas centered around this age-old yet still fascinating Victorian-era optical gadget.
Hitchhiking Hands: Remote Interaction by Switching Multiple Hand Avatars with Gaze

Virtual reality (VR) and augmented reality (AR) with eye tracking and hand tracking are widely used in entertainment, gaming, design, and training. However, most VR and AR interaction methods are limited in their interactable range and do not fully support the direct manipulation of VR and AR objects. This paper proposes a novel technique called Hitchhiking Hands, which allows the user to switch multiple hand avatars by staring them, and enables natural and direct interaction with VR/AR objects ranging from nearby objects to remote ones.
AvatarForge: A Real-time and Node-Based Body Editing System

Designing non-humanoid avatars with different body structures from humans so that humans can intuitively manipulate them requires the design of body structure and motion mapping, which is complex, takes time and requires special design skills. To address this problem, we propose AvatarForge which allows users to design non-humanoid avatars by editing body structure and motion mapping in real-time. In this system, users interact with a node-based interface in a virtual environment to edit their own bodies while visualizing the changes. This system aims to reduce the difficulty of designing non-humanoid avatars, expedite the prototyping of new bodies, and enable personalized avatars that match individual preferences and physical abilities. It contributes to the advancement of non-humanoid body utilization in various fields such as CG animation, inclusive design, and human augmentation.
A Digital Image Correlation Technique for Laboratory Structural Tests and Applications: A Systematic Literature Review

Digital image correlation (DIC) is an optical technique used to measure surface displacements and strains in materials and structures. This technique has demonstrated significant utility in structural examination and monitoring. This manuscript offers a comprehensive review of the contemporary research and applications that have leveraged the DIC technique in laboratory-based structural tests. The reviewed works encompass a broad spectrum of structural components, such as concrete beams, columns, pillars, masonry walls, infills, composite materials, structural joints, steel beams, slabs, and other structural elements. These investigations have underscored the efficacy of DIC as a metrological instrument for the precise quantification of surface deformation and strain in these structural components. Moreover, the constraints of the DIC technique have been highlighted, especially in scenarios involving extensive or complex test configurations. Notwithstanding these constraints, the effectiveness of the DIC methodology has been validated as a strain measurement instrument, offering numerous benefits such as non-invasive operation, full-field measurement capability, high precision, real-time surveillance, and compatibility with integration into other measurement instruments and methodologies.
THE LIVING PRINCIPLE IN HUMAN. PART I. HISTORICAL AND PHILOSOPHICAL ANALYSIS OF CLASSICAL PHILOSOPHY

The search for ways to solve the problem of preservation and active reproduction of the living principle in human in the modern technologized world has necessitated the need to address the philosophical heritage of prominent philosophers. The article presents the results of historical and philosophical analysis of some part of classical philosophy, substantially related to the concept of “living principle in human”. The analysis of non-classical and modern philosophy will be reflected in the next article. The definition is formulated and the main features of the principle in human are outlined. It is defined that the principle in human is an internally holistic, natural being of man, an “organic whole”, self-developing and characterized by internal interconnectedness and interdependence of all sides. It is a set of system-organized components of human existence, each time manifested spontaneously and reproduced in its unique, unique form.
Implicative models of set theory

In this paper we show that using implicative algebras one can produce models of set theory generalizing Heyting/Boolean-valued models and realizability models of (I)ZF, both in intuitionistic and classical logic. This has as consequence that any topos which is obtained from a Set-based tripos as the result of the tripos-to-topos construction hosts a model of intuitionistic or classical set theory, provided a large enough strongly inaccessible cardinal exists.
A Categorical Framework for Program Semantics and Semantic Abstraction

Categorical semantics of type theories are often characterized as structure-preserving functors. This is because in category theory both the syntax and the domain of interpretation are uniformly treated as structured categories, so that we can express interpretations as structure-preserving functors between them. This mathematical characterization of semantics makes it convenient to manipulate and to reason about relationships between interpretations. Motivated by this success of functorial semantics, we address the question of finding a functorial analogue in abstract interpretation, a general framework for comparing semantics, so that we can bring similar benefits of functorial semantics to semantic abstractions used in abstract interpretation. Major differences concern the notion of interpretation that is being considered. Indeed, conventional semantics are value-based whereas abstract interpretation typically deals with more complex properties. In this paper, we propose a functorial approach to abstract interpretation and study associated fundamental concepts therein. In our approach, interpretations are expressed as oplax functors in the category of posets, and abstraction relations between interpretations are expressed as lax natural transformations representing concretizations. We present examples of these formal concepts from monadic semantics of programming languages and discuss soundness.
Dependent Type Refinements for Futures

Type refinements combine the compositionality of typechecking with the expressivity of program logics, offering a synergistic approach to program verification. In this paper we apply dependent type refinements to SAX, a futures-based process calculus that arises from the Curry-Howard interpretation of the intuitionistic semi-axiomatic sequent calculus and includes unrestricted recursion both at the level of types and processes. With our type refinement system, we can reason about the partial correctness of SAX programs, complementing prior work on sized type refinements that supports reasoning about termination. Our design regime synthesizes the infinitary proof theory of SAX with that of bidirectional typing and Hoare logic, deriving some standard reasoning principles for data and (co)recursion while enabling information hiding for codata. We prove syntactic type soundness, which entails a notion of partial correctness that respects codata encapsulation. We illustrate our language through a few simple examples.
Sharing Research Code in Archaeology

In this paper we trace the development of an R-package starting with the adaptation of code from a different field, via scripts shared between colleagues, to a published package that is being successfully used by researchers world-wide. Our aim is to encourage researchers to prepare their custom analysis code in a way that is useful and easily reusable for others.
Garbled Circuits Reimagined: Logic Synthesis Unleashes Efficient Secure Computation

Garbled circuit (GC) is one of the few promising protocols to realize general-purpose secure computation. The target computation is represented by a Boolean circuit that is subsequently transformed into a network of encrypted tables for execution. The need for distributing GCs among parties, however, requires excessive data communication, called garbling cost, which bottlenecks system performance. Due to the zero garbling cost of XOR operations, existing works reduce garbling cost by representing the target computation as the XOR-AND graph (XAG) with minimal structural multiplicative complexity (MC). Starting with a thorough study of the cipher-text efficiency of different types of logic primitives, for the first time, we propose XOR-OneHot graph (X1G) as a suitable logic representation for the generation of low-cost GCs. Our contribution includes (a) an exact algorithm to synthesize garbling-cost-optimal X1G implementations for small-scale functions and (b) a set of logic optimization algorithms customized for X1Gs, which together form a robust optimization flow that delivers high-quality X1Gs for practical functions. The effectiveness of the proposals is evidenced by comprehensive evaluations: compared with the state of the art, 7.34%, 26.14%, 13.51%, and 4.34% reductions in garbling costs are achieved on average for the involved benchmark suites, respectively, with reasonable runtime overheads.
Locally linear attributes of ReLU neural networks

A ReLU neural network functions as a continuous piecewise linear map from an input space to an output space. The weights in the neural network determine a partitioning of the input space into convex polytopes, where each polytope is associated with a distinct affine mapping. The structure of this partitioning, together with the affine map attached to each polytope, can be analyzed to investigate the behavior of the associated neural network. We investigate simple problems to build intuition on how these regions act and both how they can potentially be reduced in number and how similar structures occur across different networks. To validate these intuitions, we apply them to networks trained on MNIST to demonstrate similarity between those networks and the potential for them to be reduced in complexity.
Demo: Rotating Wide Tensors with HElayers

Tile tensor is a recent data structure accompanied by a rich language that fully homomorphic encryption (FHE) programmers can use to easily describe their solution. We demonstrate the tile tensor power by showing a technique that enables transparent handling of inputs larger than the selected ciphertext size. Specifically, we explain how to emulate large ciphertext operations using smaller ones without modifying the original packing design.
IntelliTrace: Intelligent Contact Tracing Method Based on Transmission Characteristics of Infectious Disease

The COVID-19 pandemic has underscored the necessity for rapid contact tracing as a means to effectively suppress the spread of infectious diseases. Existing contact tracing methods leverage location-based or distance-based detection to identify contact with a confirmed patient. Existing contact tracing methods have encountered challenges in practical applications, stemming from the tendency to classify even casual contacts, which carry a low risk of infection, as close contacts. This issue arises because the transmission characteristics of the virus have not been fully considered. This study addresses the above problem by proposing IntelliTrace, an intelligent method that introduces methodological innovations prioritizing shared environmental context over physical proximity. This approach more accurately assesses potential transmission events by considering the transmission characteristics of the virus, with a special focus on COVID-19. In this study, we present space-based indoor Wi-Fi contact tracing using machine learning for indoor environments and trajectory-based outdoor GPS contact tracing for outdoor environments. For an indoor environment, a contact is detected based on whether users are in the same space with the confirmed case. For an outdoor environment, we detect contact through judgments based on the companion statuses of people, such as the same movements in their trajectories. The datasets obtained from 28 participants who installed the smartphone application during a one-month experiment in a campus space were utilized to train and validate the performance of the proposed exposure-detection method. As a result of the experiment, IntelliTrace exhibited an F1 score performance of 86.84% in indoor environments and 94.94% in outdoor environments.
Developing English Teaching Materials Using Task Generator to Enhance The Seventh Graders’ English Language And 21st Century Skills

Although extensive research has been carried out on the construction of teaching materials to increase students’ English skills, few studies have investigated how English teaching materials can be developed to sharpen students’ 21st century skills. This paper reports a research and development study on the enhancement of English teaching materials based on Task Generator Model to increase students’ 21st century skills. The study, which was conducted at a private secondary school in Medan, began with a need analysis in which students’ views on learning needs were surveyed. The questionnaire data revealed that the majority of students were in favor of materials which can support their English language and 21st century skills. The task-based materials were then developed and validated by experts (a lecturer and a teacher). The validation data showed that the initial product was deemed practical. There were also positive responses from both the teacher and students about the effectiveness of the task-based materials in supporting students’ English abilities and 21st century skills.Although extensive research has been carried out on the construction of teaching materials to increase students’ English skills, few studies have investigated how English teaching materials can be developed to sharpen students’ 21st century skills. This paper reports a research and development study on the enhancement of English teaching materials based on Task Generator Model to increase students’ 21st century skills. The study, which was conducted at a private secondary school in Medan, began with a need analysis in which students’ views on learning needs were surveyed. The questionnaire data revealed that the majority of students were in favor of materials which can support their English language and 21st century skills. The task-based materials were then developed and validated by experts (a lecturer and a teacher). The validation data showed that the initial product was deemed practical. There were also positive responses from both the teacher and students about the effectiveness of the task-based materials in supporting students’ English abilities and 21st century skills.
TREATMENT EFFICIENCY ASSESSMENT FOR WASTEWATER WITH A HIGH CONTENT OF ORGANIC COMPOUNDS USING GREEN PLANTS AND AN ADVANCED OXIDATION PROCESS

An efficient wastewater treatment is one of the key points in the environmental protection both due to growing amounts of wastewater and associated biological risks. Wastewater treatment is a complex and time-consuming process; however, despite a significant number of studies in this area, the problem of maximizing wastewater treatment has not been fully resolved yet.&#x0D; For the best wastewater treatment, researchers often experiment with the combined use of different treatment methods, but a highly efficient treatment of petroleum-containing wastewater is still an urgent task.&#x0D; One of the most efficient and safe ways to treat wastewater is phytoremediation involving the use of green plants to absorb various pollutants. Oxidation using hydroxyl radicals, which are involved in the natural processes of water self-purification, is a promising solution for treatment of wastewater with a high content of organic compounds, including petroleum-containing effluents.&#x0D; Wastewater treatment is a complex and time-consuming process; however, despite a significant number of studies in this area, the problem of maximizing wastewater treatment&#x0D; In this paper, we suggest a two-stage technology for treatment of wastewater with a high content of organic compounds using green plants and oxidation process. For the first stage, we have analyzed the phytoremediation method and selected the most effective plants in the treatment of wastewater under consideration. For the second stage, we have analyzed the Fenton's process, based on which we have selected the optimal ratio and concentration of oxidizer and catalyst. We have assessed the wastewater treatment efficiency using the suggested two-stage treatment technology in terms of the chemical oxygen demand (COD), which was 83.9 %.
Rancang Bangun Game Mobile Edukasi Bina Diri untuk Anak Berkebutuhan Khusus Tunagrahita

Designing a game according to user needs and evaluating the design will increase the positive aspects and positive benefits of the game. The self-development curriculum in schools is assistance given to students to be able to carry out daily activities and take care of themselves without help or dependence on others by optimizing their abilities. This research was conducted at SLB Srimujinab Pekanbaru. The research method in designing games is Research &amp; Development (R&amp;D). Games are designed according to the needs of Sri Mujinab Special School students identified through interviews and discussions with teachers. Observation of game testing that has been designed was tested on 30 mentally retarded students (10 elementary, 10 junior high, 10 high school) at Srimujinab SLB Pekanbaru. The results of the research have succeeded in building a self-development mobile game that is 100% valid from the functional side of UAT, content and material validation. Based on the results of field observations, students are very interested, happy and more concentrated when playing games with the help of voice instructions and also red arrows in the game. Games that have been designed can be used as interesting learning media at Srimujinab SLB Pekanbaru.
PENERAPAN DATA MINING UNTUK PREDIKSI KELULUSAN MAHASISWA FAKULTAS TEKNIK INFORMATIKA UNIVERSITAS JABAL GHAFUR MENGGUNAKAN METODE K-NEAREST NEIGHBOR BERBASIS WEB

One of the instruments in campus accreditation, especially the faculty of informatics engineering at Jabal Ghafur University in order to get a good grade score is the satisfaction of graduate students getting decent jobs according to their fields, and is also a consideration during the study period for completing long lectures in a study program or faculty. The prediction of student graduation graduating on time or late does not only look at student data based on the highest scores as has been done in conventional grading systems so far. With advances in computer technology, especially in the field of data mining, it has brought many changes in the process of analyzing data patterns with data mining techniques, for example, in determining student graduation, a K-Nearest Neighbor method is used which processes data mining based on test data and sample data, especially on students. The results of the process for predicting student graduation are used sample data and training data. The sample data are students who are currently undergoing lectures and training data, namely students who have become alumni based on their graduation parameters. The final result obtained in the thesis research is that the system can input alternative data, criterion data, and process graduation predictions using the K-nearest neighbor method so that it can make a decision on whether the student who is being tested is "Passed" or "Graduated Late". The system can also display the K-nearest neighbor manual calculation flow and can display results reports.Key Words : Datamining, K-nearest Neighbor, Student Graduation Prediction, , PHPMySQL, Jabal Ghafur University
Application of Virtual Reality in Spatial Memory

In recent years, virtual reality (VR) has become a widely used tool with a plethora of applications in neuroscience [...].
The promises of large language models for protein design and modeling

The recent breakthroughs of Large Language Models (LLMs) in the context of natural language processing have opened the way to significant advances in protein research. Indeed, the relationships between human natural language and the “language of proteins” invite the application and adaptation of LLMs to protein modelling and design. Considering the impressive results of GPT-4 and other recently developed LLMs in processing, generating and translating human languages, we anticipate analogous results with the language of proteins. Indeed, protein language models have been already trained to accurately predict protein properties, generate novel functionally characterized proteins, achieving state-of-the-art results. In this paper we discuss the promises and the open challenges raised by this novel and exciting research area, and we propose our perspective on how LLMs will affect protein modeling and design.
The Interactive Web – Weeding Bound Serials Based upon Licensed Perpetual and Open Access to Digital Journals

AbstractThis Interactive Web column focuses on a traditional aspect of library management – deselection and weeding of physical materials. It describes the process and considerations of a traditionally conservative library when evaluating Open Access journal availability as a suitable substation for retained print materials. While many, if not most, medical and hospital libraries have weeded a significant part of their older print collections, it is still common to have both older print serials holdings and a pressing need for space.Keywords: DeselectionweedingserialsOpen Accessbackfiles Disclosure statementNo potential conflict of interest was reported by the author(s).