This paper provides an answer to the open problem raised by Feldman and Valiant at COLT’08. That is, it is known that concepts classes of conjunctions, disjunctions, linear threshold functions and k-CNF/DNF are evolvable over fixed distributions, but it is unknown whether they are evolvable distribution-independently. Or in other words, whether weak evolvability is equivalent to strong evolvabi...

A chiral U(3)∗U(3) Lagrangian containing, besides the usual meson fields, their first radial excitations is constructed. The Lagrangian is derived by bosonization of the Nambu–JonaLasinio quark model with separable non-local interactions, with form factors corresponding to 3–dimensional ground and excited state wave functions. The spontaneous breaking of chiral symmetry is governed by the NJL g...

Corneal collagen crosslinking is a promising new treatment of progressive corneal ectasia. Its clinical use has been rapidly increasing since it was originally introduced in 1997 as the first treatment that can improve biomechanical stability of the weakened cornea. The method is based on the combined action of photosensitizer riboflavin (vitamin B2) and ultraviolet A light, which induce the fo...

In this paper, we study a generalization of z-ideals in the ring C(X) of continuous real valued functions on a completely regular Hausdorff space X. The notion of a weak ideal and naturally a weak z-ideal and a prime weak ideal are introduced and it turns out that they behave such as z-ideals in C(X).

Non-statistical weak measurements yield weak values that are outside the range of eigenvalues and are not rare, suggesting that weak values are a property of every preand-post-selected ensemble. They also extend the applicability and valid regime of weak values.

In this paper, a discontinuity in beams whose intensity is adjusted by the spring stiffness factor is modeled using a torsional spring. Adapting two analyses in strong and weak forms for discontinuous beams, the improved governing differential equations and the modified stiffness matrix are derived respectively. In the strong form, two different solution methods have been presented to make an a...

In this paper we compute the maximum number of limit cycles of some classes of planar discontinuous piecewise linear differential systems defined in two half–planes separated by a straight line Σ. Here we only consider non–sliding limit cycles, i.e. the limit cycle does not contain any sliding segment. Among all the cases that we study, in particular, we prove that this maximum number of limit ...

A covariant spin-foam formulation of quantum gravity has been recently developed, characterized by a kinematics which appears to match well the one of canonical loop quantum gravity. In this paper we reconsider the implementation of the constraints that defines the model. We define in a simple way the boundary Hilbert space of the theory, introducing a slight modification of the embedding of th...

Answer Set Programming (ASP) is a popular framework for modeling combinatorial problems. However, ASP cannot easily be used for reasoning about uncertain information. Possibilistic ASP (PASP) is an extension of ASP that combines possibilistic logic and ASP. In PASP a weight is associated with each rule, where this weight is interpreted as the certainty with which the conclusion can be establish...

In infinitary orthogonal first-order term rewriting the properties confluence (CR), Uniqueness of Normal forms (UN), Parallel Moves Lemma (PML) have been generalized to their infinitary versions CR∞, UN∞, PML∞, and so on. Several relations between these properties have been established in the literature. Generalization of the termination properties, Strong Normalization (SN) and Weak Normalizat...