We present an alternative way to calculate the screening of the static potential between two charges in (non)abelian gauge theories at high temperatures. Instead of a loop expansion of a gauge boson self-energy, we evaluate the energy shift of the vacuum to order e 2 after applying an external static magnetic field and extract a temperature-and momentum-dependent dielectric permittivity. The Ha...

It is known that non-Abelian classical kinetic theory reproduces the Hard Thermal/Dense Loop (HTL/HDL) effective action of QCD, obtained after integrating out the hardest momentum scales from the system, as well as the first higher dimensional operator beyond the HTL/HDL level. We discuss here its applicability at still higher orders, by comparing the exact classical effective action obtained i...

We consider the Hypothesis Transfer Learning (HTL) problem where one incorporates a hypothesis trained on the source domain into the learning procedure of the target domain. Existing theoretical analysis either only studies specific algorithms or only presents upper bounds on the generalization error but not on the excess risk. In this paper, we propose a unified algorithm-dependent framework f...

Abstract In this paper we propose a new compact static delay model for latch-based CMOS Threshold logic gates. The particular effects captured by the model are: the dependency of the delay on threshold (data) values and the dependency of the delay vs. capacitive loading. The model parameters were extracted from several Threshold logic gate setups and the delay predicted by the model for a compu...

Threshold models try to explain the consequences of social influence like the spread of fads and opinions. Along with models of epidemics, they constitute a major theoretical framework of social spreading processes. In threshold models on static networks, an individual changes her state if a certain fraction of her neighbors has done the same. When there are strong correlations in the temporal ...

This paper describes a tool-supported method for the formal verification of timed properties of HTL programs, supported by the automated translation tool HTL2XTA, which extracts from a HTL program (i) an Uppaal model and (ii) a set of properties that state the compliance of the model with certain automatically inferred temporal constraints. These can be manually extended with other temporal pro...

We propose a threshold-logic gate device consisting of subthreshold MOSFET circuits. The device performs threshold-logic operation, using a technique of current addition and subtraction. To examine the operation of the device, we designed sample subsystems, adders, based on majority logic and confirmed their operation by computer simulation. The device has a simple structure and operates at low...