Equivariant dendroidal sets and simplicial operads. (arXiv:1911.06399v1 [math.AT])

We establish a Quillen equivalence between the homotopy theories of equivariant Segal operads and equivariant simplicial operads with norm maps. Together with previous work, we further conclude that the homotopy coherent nerve is a right-Quillen equivalence from the model category of equivariant simplicial operads with norm maps to the model category structure for equivariant-$\infty$-operads in…

Directed sets and topological spaces definable in o-minimal structures. (arXiv:1911.06409v1 [math.LO])

We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue holds in full generality. We use the theory of tame pairs to extend the results in the field case…

Reversible Hardware for Acoustic Communications. (arXiv:1911.06438v1 [cs.ET])

Reversible computation has been recognised as a potential solution to the technological bottleneck in the future of computing machinery. Rolf Landauer determined the lower limit for power dissipation in computation and noted that dissipation happens when information is lost, i.e., when a bit is erased. This meant that reversible computation, conserving information conserves energy as…

Structural Controllability of Networked Relative Coupling Systems under Fixed and Switching Topologies. (arXiv:1911.06450v1 [eess.SY])

This paper studies controllability of networked systems in which subsystems are of general high-order linear dynamics and coupled through relative state variables, from a structure perspective. The purpose is to search conditions for subsystem dynamics and subsystem interaction topologies, under which there exists a set of weights for the interaction links such that the associated…

Estimating adaptive cruise control model parameters from on-board radar units. (arXiv:1911.06454v1 [stat.AP])

Two new methods are presented for estimating car-following model parameters using data collected from the Adaptive Cruise Control (ACC) enabled vehicles. The vehicle is assumed to follow a constant time headway relative velocity model in which the parameters are unknown and to be determined. The first technique is a batch method that uses a least-squares…

Fourier Spectrum Discrepancies in Deep Network Generated Images. (arXiv:1911.06465v1 [eess.IV])

Advancements in deep generative models such as generative adversarial networks and variational autoencoders have resulted in the ability to generate realistic images that are visually indistinguishable from real images. In this paper, we present an analysis of the high-frequency Fourier modes of real and deep network generated images and the effects of resolution and image…

Interpreting chest X-rays via CNNs that exploit disease dependencies and uncertainty labels. (arXiv:1911.06475v1 [eess.IV])

Chest radiography is one of the most common types of diagnostic radiology exams, which is critical for screening and diagnosis of many different thoracic diseases. Specialized algorithms have been developed to detect several specific pathologies such as lung nodule or lung cancer. However, accurately detecting the presence of multiple diseases from chest X-rays (CXRs) is…