Search

The lack of proper interoperability poses a significant challenge in leveraging use cases within the blockchain industry. Unlike typical solutions that rely on third parties such as oracles and witnesses, the interpool design operates as a standalone solution that mints, exchanges, and burns (MEB) within the same liquidity pool. This MEB approach ensures that minting is backed by the locked capital supplied by liquidity providers. During the exchange process, the order of transactions in the mempool is optimized to maximize returns, effectively transforming the front-running issue into a solution that forges an external blockchain hash. This forged hash enables a novel protocol, Listrack (Listen and Track), which ensures that ultimate liquidity is always enforced through a solid burning procedure, strengthening a trustless design. Supported by Listrack, atomic swaps become feasible even outside the interpool, thereby enhancing the current design into a comprehensive interoperability solution, Comment: 23 pages, 6 figures

RAGMan is an LLM-powered tutoring system that can support a variety of course-specific and homework-specific AI tutors. RAGMan leverages Retrieval Augmented Generation (RAG), as well as strict instructions, to ensure the alignment of the AI tutors' responses. By using RAGMan's AI tutors, students receive assistance with their specific homework assignments without directly obtaining solutions, while also having the ability to ask general programming-related questions. RAGMan was deployed as an optional resource in an introductory programming course with an enrollment of 455 students. It was configured as a set of five homework-specific AI tutors. This paper describes the interactions the students had with the AI tutors, the students' feedback, and a comparative grade analysis. Overall, about half of the students engaged with the AI tutors, and the vast majority of the interactions were legitimate homework questions. When students posed questions within the intended scope, the AI tutors delivered accurate responses 98% of the time. Within the students used AI tutors, 78% reported that the tutors helped their learning. Beyond AI tutors' ability to provide valuable suggestions, students reported appreciating them for fostering a safe learning environment free from judgment., Comment: Accepted at SIGCSE Virtual 2024

A major drawback in deploying central bank digital currencies (CDBC) is the offline puzzle, which requires that a CBDC must keep the provision given by cash, and, simultaneously, avoid double-spending, counterfeiting, and other issues. The puzzle is solved by minting the coins in serials, which are stored on a local blockchain (e.g. smartphone). The local blockchain is secured by keys embedded in the hardware and can be continuously mined by the wallet to enhance security. The coins can be either minted as hot coins, which can be retrieved in case of loss, or minted as cold coins, like physical cash., Comment: 20 pages, 2 tables and 2 figures

This work presents a new fiberless soft pneumatic actuator that can work multifunctional and bidirectional, and its embedded sensors give it a self-proprioception ability. This actuator works based on the idea of employing helical pressure channels. Applying the controlled input pressures into these two channels causes a variety of deformations and actuation. In particular, single pressure, imbalanced pressures, and balanced pressures applied in the channels cause bidirectional coilings, opposite bendings, and elongation, respectively, in a single unit actuator. Also, two U-shaped microchannels are created, and by injecting a gel-based conductive material, the actuator is equipped with resistive sensors which are responsive to a vast dynamic range from a small oscillation to a large elongation. This actuator has so many promising features as a multifunctional soft gripper, and its embedded soft sensors enable it to have better controllability in real problems. The multifunctionality of this actuator has been validated with several experimental tests, and also we have shown it has excellent potential in gripping a variety of objects. Finally, the embedded sensors can discriminate the main functions of actuators, and also they can play the role of independent sensors as well like a stretch, pressure, or bending sensors.

Developers often resort to online Q&A forums such as Stack Overflow (SO) for filling their programming needs. Although code examples on those forums are good starting points, they are often incomplete and inadequate for developers' local program contexts; adaptation of those examples is necessary to integrate them to production code. As a consequence, the process of adapting online code examples is done over and over again, by multiple developers independently. Our work extensively studies these adaptations and variations, serving as the basis for a tool that helps integrate these online code examples in a target context in an interactive manner. We perform a large-scale empirical study about the nature and extent of adaptations and variations of SO snippets. We construct a comprehensive dataset linking SO posts to GitHub counterparts based on clone detection, time stamp analysis, and explicit URL references. We then qualitatively inspect 400 SO examples and their GitHub counterparts and develop a taxonomy of 24 adaptation types. Using this taxonomy, we build an automated adaptation analysis technique on top of GumTree to classify the entire dataset into these types. We build a Chrome extension called ExampleStack that automatically lifts an adaptation-aware template from each SO example and its GitHub counterparts to identify hot spots where most changes happen. A user study with sixteen programmers shows that seeing the commonalities and variations in similar GitHub counterparts increases their confidence about the given SO example, and helps them grasp a more comprehensive view about how to reuse the example differently and avoid common pitfalls., Comment: This paper will appear at ICSE 2019

Searching accounts for one of the most frequently performed computations over the Internet as well as one of the most important applications of outsourced computing, producing results that critically affect users' decision-making behaviors. As such, verifying the integrity of Internet-based searches over vast amounts of web contents is essential. We provide the first solution to this general security problem. We introduce the concept of an authenticated web crawler and present the design and prototype implementation of this new concept. An authenticated web crawler is a trusted program that computes a special "signature" $s$ of a collection of web contents it visits. Subject to this signature, web searches can be verified to be correct with respect to the integrity of their produced results. This signature also allows the verification of complicated queries on web pages, such as conjunctive keyword searches. In our solution, along with the web pages that satisfy any given search query, the search engine also returns a cryptographic proof. This proof, together with the signature $s$, enables any user to efficiently verify that no legitimate web pages are omitted from the result computed by the search engine, and that no pages that are non-conforming with the query are included in the result. An important property of our solution is that the proof size and the verification time both depend solely on the sizes of the query description and the query result, but not on the number or sizes of the web pages over which the search is performed. Our authentication protocols are based on standard Merkle trees and the more involved bilinear-map accumulators. As we experimentally demonstrate, the prototype implementation of our system gives a low communication overhead between the search engine and the user, and allows for fast verification of the returned results on the user side.

This paper describes a framework and a method with which speech communication can be analyzed. The framework consists of a set of low bit rate, short-range acoustic communication systems, such as speech, but that are quite different from speech. The method is to systematically compare these systems according to different objective functions such as data rate, computational overhead, psychoacoustic effects and semantics. One goal of this study is to better understand the nature of human communication. Another goal is to identify acoustic communication systems that are more efficient than human speech for some specific purposes., Comment: 4 pages, 2 figures

Web-based application developers face a dizzying array of platforms, languages, frameworks and technical artifacts to choose from. We survey, classify, and compare technologies supporting Web application development. The classification is based on (1) foundational technologies; (2)integration with other information sources; and (3) dynamic content generation. We further survey and classify software engineering techniques and tools that have been adopted from traditional programming into Web programming. We conclude that, although the infrastructure problems of the Web have largely been solved, the cacophony of technologies for Web-based applications reflects the lack of a solid model tailored for this domain., Comment: 43 pages

This paper discusses how theories can be assessed within the epistemological viewpoint advanced by the Austrian physicist Ludwig E. Boltzmann. It builds upon, and further develops, the perspective of Boltzmann's thinking as advanced by Ribeiro and Videira (1998, arXiv:physics/9806011). Boltzmann's epistemological viewpoint accepts that reality is real and proposes that reality can be described by different points of view because his main philosophical thesis states that scientific theories are images of Nature. We present the historical context that witnessed the genesis of Boltzmann's ideas and expand Ribeiro and Videira's (Ibid.) perspective by arguing that later in his life Boltzmann realized the insufficiency of his thesis as justification for theoretical pluralism and avoidance of dogmatism. Consequently, his thinking went beyond epistemology, the nature of scientific knowledge, to include realism, the nature of the represented objects., Comment: 19 pages. New abstract. Sections 1 and 5 were slightly revised and enlarged. Version v1 was intended as a chapter of a book on Boltzmann, but the publisher cancelled it. This version matches the text appearing in "Interdisciplinary Science Reviews"

This work discusses the presence of a dogmatic tendency within modern cosmology, and some ideas capable of neutralizing its negative influence. It is verified that warnings about the dangers of dogmatic thinking in cosmology can be found as early as the 1930's, and we discuss the modern appearance of "scientific dogmatism". The solution proposed to counteract such an influence, which is capable of neutralizing this dogmatic tendency, has its origins in the philosophical thinking of the Austrian physicist Ludwig Boltzmann (1844-1906). In particular we use his two main epistemological theses, scientific theories as representations of nature and theoretical pluralism, to show that once they are embodied in the research practice of modern cosmology, there is no longer any reason for dogmatic behaviours., Comment: 14 pages; LaTeX source

Representing polyether-salt systems by chains of interacting coordination shells, defined by the cation and by its nearest ligands, we derive the interaction potential between closest shells -- the inter-shells potential -- in terms of two-electron polarization effects. Values are presented for monovalent-based crystalline poly(ethylene oxide), PEO, electrolytes. For the eutectic composition $\text{PEO}_{12} \text{EuBr}_3$, the inter-shells energy is evaluated also by relating the empirical value of the nearest-ligands local-field potential with the variation of the $\text{Eu}^{3+}$ concentration. Both methods give the same results., Comment: 12 pages RevTex with one Figure (which should be requested to the first author)