We consider the threshold for the solvability of random k-SAT formulas (for k ≥ 3) using the pure literal rule. We demonstrate how this threshold can be found by using differential equations to determine the appropriate limiting behavior of the pure literal rule.

Egg maturation and oosorption in Gonatocerus ashmeadi were investigated in the laboratory and the relationship between hind tibia length (HTL) and <12 h egg load, and wing wear and parasitoid age were determined. G. ashmeadi given access to honey-water and hosts, on average, matured 77 eggs in excess of those they were born with. The number of mature eggs in female G. ashmeadi provided honey-wa...

We compute analytically the diagonal quark number susceptibilities for a quarkgluon plasma at finite temperature and zero chemical potential, and compare with recent lattice results. The calculation uses the approximately self-consistent resummation of hard thermal and dense loops that we have developed previously. For temperatures between 1.5 to 5Tc , our results follow the same trend as the l...

Within the real-time formalism (RTF) of thermal field theory, we apply the hard thermal loop (HTL) resummation technique to calculating effective two-loop thermodynamic potential in quark-gluon plasma (QGP) and its renormalization. The result with collective effects is obtained, which is valid for an arbitrary number of quark flavors with masses. Keyword: quark-gluon plasma (QGP); finite temper...

Cellular automata (CA) are discrete, spatially explicit extended dynamic systems. CA systems are composed of adjacent cells or sites arranged as a regular lattice, which evolve in discrete time steps. Each cell is characterized by an internal state whose value belongs to a finite set. The updating of these states is made simultaneously according to a common local transition rule involving a nei...

Experts do not always feel very comfortable when they ha vt! to give precise nunterica I estimations of cena inty degrees. In this paper we present a qualitative approach which allows for atraching parti ally ordered symbolic grades to logical formulas. Uncertain inform ati on is expressed by means of parameterized mod a I operators. We propo se a sema ntics for this multimodal logic and give a...

Transfer learning aims to improve the performance of target learning task by leveraging information (or transferring knowledge) from other related tasks. Recently, transfer distance metric learning (TDML) has attracted lots of interests, but most of these methods assume that feature representations for the source and target learning tasks are the same. Hence, they are not suitable for the appli...

In our research, we consider transfer learning scenarios where a target learner does not have access to the source data, but instead to hypotheses or models induced from it. This is called the Hypothesis Transfer Learning (HTL) problem. Previous approaches concentrated on transferring source hypotheses as a whole. We introduce a novel method for selectively transferring elements from previous h...

Starting from a nonperturbative expression for entropy and density obtained from Φ-derivable two-loop approximations to the thermodynamic potential, a quasiparticle model for the thermodynamics of QCD can be developed which incorporates the physics of hard thermal loops and leads to a reorganization of the otherwise ill-behaved thermal perturbation theory through order α 3/2 s . Some details of...

With CMOS technology being scaled to ever smaller dimensions to achieve higher performance and integration levels, power dissipation has become a major concern in modern VLSI designs. Sub-threshold circuits have gained a lot of importance due to ultra low-power consumption. The paper reviews the sub-threshold circuit design. Various body-biasing schemes and logic families for performance enhanc...