Platonic Gravitating Skyrmions

We construct globally regular gravitating Skyrmions, which possess only discrete symmetries. In particular, we present tetrahedral and cubic Skyrmions. The SU(2) Skyrme field is parametrized by an improved harmonic map ansatz. Consistency then requires also a restricted ansatz for the metric. The numerical solutions obtained within this approximation are compared to those obtained in dilaton gravity.Comment: 13 pages, 4 figure

Protocol for deposition of conductive oxides onto 3D-printed materials for electronic device applications

Additively manufactured (AM) three-dimensional (3D) mesostructures can be designed to enhance mechanical, thermal, or optical properties, driving future device applications at the micron to millimeter scale. We present a protocol for transforming AM mesostructures into 3D electronics by growing nanoscale conducting films on 3D-printed polymers. In this generalizable approach, we describe steps to utilize precision thermal atomic layer deposition (ALD) of conducting, semiconducting, and dielectric metal oxides. This can be applied to ultrasmooth, customizable photopolymer lattices printed by high-resolution microstereolithography. For complete details on the use and execution of this protocol, please refer to Huddy et al. (2022)

Normalizer: Augmenting Code Clone Detectors using Source Code Normalization

Code clones are duplicate fragments of code that perform the same task. As software code bases increase in size, the number of code clones also tends to increase. These code clones, possibly created through copy-and-paste methods or unintentional duplication of effort, increase maintenance cost over the lifespan of the software. Code clone detection tools exist to identify clones where a human search would prove unfeasible, however the quality of the clones found may vary. I demonstrate that the performance of such tools can be improved by normalizing the source code before usage. I developed Normalizer, a tool to transform C source code to normalized source code where the code is written as consistently as possible. By maintaining the code\u27s function while enforcing a strict format, the variability of the programmer\u27s style will be taken out. Thus, code clones may be easier to detect by tools regardless of how it was written. Reordering statements, removing useless code, and renaming identifiers are used to achieve normalized code. Normalizer was used to show that more clones can be found in Introduction to Computer Networks assignments by normalizing the source code versus the original source code using a small variety of code clone detection tools

Transforming 3D-printed mesostructures into multimodal sensors with nanoscale conductive metal oxides

Additively manufactured (AM) three-dimensional (3D) mesostructures exhibit geometrically optimal mechanical, thermal, and optical properties that could drive future microrobotics, energy harvesting, and biosensing technologies at the micrometer to millimeter scale. We present a strategy for transforming AM mesostructures into 3D electronics by growing nanoscale conducting films on 3D-printed polymers. This highly generalizable method utilizes precision atomic layer deposition (ALD) of conducting metal oxides on ultrasmooth photopolymer lattices printed by high-resolution microstereolithography. We demonstrate control of 3D electronic transport by tuning conformal growth of ultrathin amorphous and crystalline conducting metal oxides. To understand the scaling of 3D electrical properties, we apply graph theory to compute network resistance and precisely design the 3D mesostructures\u27 conductivity. Finally, we demonstrate 3D-enhanced multimodal sensing of chemical, thermal, and mechanical stimuli, geometrically boosting sensitivity by 100× over 2D films and enabling a new class of low-power, 3D-printable sensors

A Framework for Developing Real-Time OLAP algorithm using Multi-core processing and GPU: Heterogeneous Computing

The overwhelmingly increasing amount of stored data has spurred researchers seeking different methods in order to optimally take advantage of it which mostly have faced a response time problem as a result of this enormous size of data. Most of solutions have suggested materialization as a favourite solution. However, such a solution cannot attain Real- Time answers anyhow. In this paper we propose a framework illustrating the barriers and suggested solutions in the way of achieving Real-Time OLAP answers that are significantly used in decision support systems and data warehouses

A Hyperhypercube of Side Two

In the August 1971 Word Ways, Darryl Francis challenged the reader to produce a hyperhypercube (a word cube in five dimensions) out of 80 suitably-chosen two-letter words. This array on the right represents the best solution I have been able to obtain. 73 of the words are found in Webster\u27s Second or Third Editions (one, OP, is found in the Addenda to the Third); 5 words from Webster\u27s First Edition; 2 (UA, UK) are found in the Times Index-Gazetteer

Non-constructive complex analysis in Coq

Winding numbers are fundamental objects arising in algebraic topology, with many applications in non-constructive complex analysis. We present a formalization in Coq of the wind- ing numbers and their main properties. As an application of this development, we also give non-constructive proofs of the following theorems: the Fundamental Theorem of Algebra, the 2-dimensional Brouwer Fixed-Point theorem and the 2-dimensional Borsuk-Ulam theorem