Related papers: Reducing Tile Complexity for Self-Assembly Through…
Binary embedding of high-dimensional data requires long codes to preserve the discriminative power of the input space. Traditional binary coding methods often suffer from very high computation and storage costs in such a scenario. To…
Modeling potential alloys requires the exploration of all possible configurations of atoms. Additionally, modeling the thermal properties of materials requires knowledge of the possible ways of displacing the atoms. One solution to finding…
An efficient low-order scaling method is presented for large-scale electronic structure calculations based on the density functional theory using localized basis functions, which directly computes selected elements of the density matrix by…
Thermal comfort in shared spaces is essential to occupants well-being and necessary in the management of energy consumption. Existing thermal control systems for indoor shared spaces adjust temperature set points mechanically, making it…
Artificially designed composite materials consist of microstructures, that exhibit various thermal properties depending on their shapes, such as anisotropic thermal conductivity. One of the representative applications of such composite…
The fabrication of versatile building blocks that are reliably self-assemble into desired ordered and disordered phases is amongst the hottest topics in contemporary material science. To this end, microscopic units of varying complexity,…
The synthesis of complex materials through the self-assembly of particles at the nanoscale provides opportunities for the realization of novel material properties. However, the inverse design process to create experimentally feasible…
Developing critical components, such as mission controllers or embedded systems, is a challenging task. Reactive synthesis is a technique to automatically produce correct controllers. Given a high-level specification written in LTL,…
In this paper we present a new algorithm for solving linear programs that requires only $\tilde{O}(\sqrt{rank(A)}L)$ iterations to solve a linear program with $m$ constraints, $n$ variables, and constraint matrix $A$, and bit complexity…
Self-assembly in the laboratory can now yield `information-rich' nanostructures in which each component is of a distinct type and has a defined spatial position. Ensuring the thermodynamic stability of such structures requires…
Field-induced self-organized patterning in ultrathin (< 100 nm) polymer films produces resolutions of the order of 10 {\mu}m or more because of the high energy penalty for the surface deformations on small scales. We propose here a very…
We propose a new protocol that ensures the fast equilibration of an overdamped harmonic oscillator by a joint time-engineering of the confinement strength and of the effective temperature of the thermal bath. We demonstrate experimentally…
Structural system identification in the presence of thermal loads is challenging, as unmeasured or poorly modeled thermal effects can mask or mimic damage, leading to unreliable conclusions. This work presents an optimization-driven,…
An efficient technique to generate ensembles of spins that are highly polarized by external magnetic fields is the Holy Grail in Nuclear Magnetic Resonance (NMR) spectroscopy. Since spin-half nuclei have steady-state polarization biases…
Thermal nonreciprocity plays a vital role in chip heat dissipation, energy-saving design, and high-temperature hyperthermia, typically realized through the use of advanced metamaterials with nonlinear, advective, spatiotemporal, or gradient…
We present a superconducting micro-resonator array fabrication method that is scalable, reconfigurable, and has been optimized for high multiplexing factors. The method uses uniformly sized tiles patterned on stepper photolithography…
Computations, where the number of results is much smaller than the input data and are produced through some sort of accumulation, are called Reductions. Reductions appear in many scientific applications. Usually, reductions admit an…
Pattern self-assembly tile set synthesis (PATS) is a combinatorial optimization problem which aim at minimizing a rectilinear tile assembly system (RTAS) that uniquely self-assembles a given rectangular pattern, and is known to be NP-hard.…
We demonstrate that the configurational temperature formalism can be derived from the classical hypervirial theorem, and introduce a hierarchy of hyperconfigurational temperature definitions, which are particularly well suited for…
We introduce an algorithm to systematically improve the efficiency of parallel tempering Monte Carlo simulations by optimizing the simulated temperature set. Our approach is closely related to a recently introduced adaptive algorithm that…