Related papers: Extended Abstract: Partial-encapsulate and Its Sup…
This paper presents results about fabrication and operation of electrostatic actuators in liquids with various permittivities. In the static mode, we provide experimental and theoretical demonstration that the pull-in effect can be shifted…
We introduce the quantum fractional Hadamard transform with continuous variables. It is found that the corresponding quantum fractional Hadamard operator can be decomposed into a single-mode fractional operator and two single-mode squeezing…
Transformation optics has shaped up a revolutionary electromagnetic design paradigm, enabling scientists to build astonishing devices such as invisibility cloaks. Unfortunately, the application of transformation techniques to other branches…
Partial wave analysis is a core tool in hadron spectroscopy. With the high statistics data available at facilities such as the Beijing Spectrometer III, this procedure becomes computationally very expensive. We have successfully implemented…
Recent studies have demonstrated the effectiveness of position encoding in transformer architectures. By incorporating positional information, this approach provides essential guidance for modeling dependencies between elements across…
In this letter the explicit form of general two-point functions in affine SL(N) current algebra is provided for all representations, integrable or non-integrable. The weight of the conjugate field to a primary field of arbitrary weight is…
Solution procedures for establishing the regimes of stick and slip for frictional contacts capable of idealisation within the framework of half-plane elasticity and subject to complex loading regimes are reviewed, starting with the well…
Continuous unitary transformations are a powerful tool to extract valuable information out of quantum many-body Hamiltonians, in which the so-called flow equation transforms the Hamiltonian to a diagonal or block-diagonal form in second…
Optical computing systems provide an alternate hardware model which appears to be aligned with the demands of neural network workloads. However, the challenge of implementing energy efficient nonlinearities in optics -- a key requirement…
The use of autonomous robots for assistance tasks in hospitals has the potential to free up qualified staff and im-prove patient care. However, the ubiquity of deformable and transparent objects in hospital settings poses signif-icant…
Self-encapsulated droplets floating at an oil--air interface undergo striking shape changes during evaporation, including flattening and localized loss of membrane tension leading to crumpling and wrinkling. Here we combine experiments,…
We present FPRaker, a processing element for composing training accelerators. FPRaker processes several floating-point multiply-accumulation operations concurrently and accumulates their result into a higher precision accumulator. FPRaker…
This work describes methodologies to successfully implement the Implicit Monte Carlo (IMC) scheme for thermal radiative transfer in reduced-precision floating-point arithmetic. The methods used can be broadly categorized into scaling…
This note shows how quantum entanglement may be simulated in classical computing. The simulated entanglement protocol is implemented using oblivious transfer in the simplest case and other many-to-one mappings in more general cases. For the…
Even though the ACL2 logic is first order, the ACL2 system offers several mechanisms providing users with some operations akin to higher order logic ones. In this paper, we propose a macro, named instance-of-defspec, to ease the reuse of…
Synthesizing programs from examples requires searching over a vast, combinatorial space of possible programs. In this search process, a key challenge is representing the behavior of a partially written program before it can be executed, to…
A tapered floating point encoding is proposed which uses the redundant signed radix 2 system and is based on the canonical recoding. By making use of ternary technology, the encoding has a dynamic range exceeding that of the…
This paper presents results and convergence study of the Global--Local Iterative Coupling through the implementation in the commercial software Abaqus making use of the co-simulation engine. A hierarchical modeling and simulation approach…
We present a new method to create an active cloak for a rigid inclusion in a thin plate, and analyse flexural waves within such a plate governed by the Kirchhoff plate equation. We consider scattering of both a plane wave and a cylindrical…
We derive level set version of partial uniform ellipticity for symmetric concave functions. This suggests an effective approach to investigate second order fully nonlinear equations of elliptic and parabolic type.