Evolving rules for document classification

We describe a novel method for using Genetic Programming to create compact classification rules based on combinations of N-Grams (character strings). Genetic programs acquire fitness by producing rules that are effective classifiers in terms of precision and recall when evaluated against a set of training documents. We describe a set of functions and terminals and provide results from a classification task using the Reuters 21578 dataset. We also suggest that because the induced rules are meaningful to a human analyst they may have a number of other uses beyond classification and provide a basis for text mining applications

Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition

Cylindrical algebraic decomposition(CAD) is a key tool in computational algebraic geometry, particularly for quantifier elimination over real-closed fields. When using CAD, there is often a choice for the ordering placed on the variables. This can be important, with some problems infeasible with one variable ordering but easy with another. Machine learning is the process of fitting a computer model to a complex function based on properties learned from measured data. In this paper we use machine learning (specifically a support vector machine) to select between heuristics for choosing a variable ordering, outperforming each of the separate heuristics.Comment: 16 page

Class of viable modified f(R)f(R) gravities describing inflation and the onset of accelerated expansion

A general approach to viable modified $f(R)$ gravity is developed in both the Jordan and the Einstein frames. A class of exponential, realistic modified gravities is introduced and investigated with care. Special focus is made on step-class models, most promising from the phenomenological viewpoint and which provide a natural way to classify all viable modified gravities. One- and two-steps models are explicitly considered, but the analysis is extensible to $N$-step models. Both inflation in the early universe and the onset of recent accelerated expansion arise in these models in a natural, unified way. Moreover, it is demonstrated that models in this category easily pass all local tests, including stability of spherical body solution, non-violation of Newton's law, and generation of a very heavy positive mass for the additional scalar degree of freedom.Comment: 15 pages, 2 figures, version to appear in Physical Review

Cosmological entropy and generalized second law of thermodynamics in F(R,G)F(R,G) theory of gravity

We consider a spatially flat Friedmann-Lemaitre-Robertson-Walker space time and investigate the second law and the generalized second law of thermodynamics for apparent horizon in generalized modified Gauss Bonnet theory of gravity (whose action contains a general function of Gauss Bonnet invariant and the Ricci scalar: $F(R,G)$). By assuming that the apparent horizon is in thermal equilibrium with the matter inside it, conditions which must be satisfied by $F(R,G)$ are derived and elucidated through two examples: a quasi-de Sitter space-time and a universe with power law expansion.Comment: 10 pages, minor changes, typos corrected, accepted for publication in Europhysics Letter

An efficient k.p method for calculation of total energy and electronic density of states

An efficient method for calculating the electronic structure in large systems with a fully converged BZ sampling is presented. The method is based on a k.p-like approximation developed in the framework of the density functional perturbation theory. The reliability and efficiency of the method are demostrated in test calculations on Ar and Si supercells

Hepatitis B virus-infection related cryoglobulinemic vasculitis. Clinical manifestations and the effect of antiviral therapy: A review of the literature

Objective: Hepatitis B virus (HBV) infection causes chronic hepatitis, cirrhosis, and hepatocellular carcinoma. Furthermore, about 20% of the patients develop extrahepatic manifestations such as cryoglobulinemic vasculitis (CV), polyarteritis nodosa, non-rheumatoid arthritis, glomerulonephritis and non-Hodgkin lymphoma. This review analyzed literature data on clinical manifestations of HBV-related CV and the impact of antiviral therapy with analoques nucleotide. Methods: A PubMed search was performed to select eligible studies in the literature, up to July 2022. Results: Some studies have analyzed clinical manifestations in HBV-related CV and have investigated the role of antiviral therapy with nucleotides analogues (NAs). Clinical manifestations of CV vary from mild to moderate (purpura, asthenia and arthralgias) to severe (leg ulcers, peripheral neuropathy, glomerulonephritis, and non-Hodking lymphoma). NAs therapy leads to suppression of HBV-DNA; therefore, it is capable of producing clinical response in the majority of patients with mild to moderate symptoms. Conclusion: Antiviral therapy with NAs is the first choice for HBV suppression and control of mild to moderate disease. In severe vasculitis (glomerulonephritis, progressive peripheral neuropathy and leg ulcers), rituximab alone or with plasma-exchange is always indicated in combination with antiviral therapy

A Survey of Satisfiability Modulo Theory

Satisfiability modulo theory (SMT) consists in testing the satisfiability of first-order formulas over linear integer or real arithmetic, or other theories. In this survey, we explain the combination of propositional satisfiability and decision procedures for conjunctions known as DPLL(T), and the alternative "natural domain" approaches. We also cover quantifiers, Craig interpolants, polynomial arithmetic, and how SMT solvers are used in automated software analysis.Comment: Computer Algebra in Scientific Computing, Sep 2016, Bucharest, Romania. 201

Conserved Quantities in f(R)f(R) Gravity via Noether Symmetry

This paper is devoted to investigate $f(R)$ gravity using Noether symmetry approach. For this purpose, we consider Friedmann Robertson-Walker (FRW) universe and spherically symmetric spacetimes. The Noether symmetry generators are evaluated for some specific choice of $f(R)$ models in the presence of gauge term. Further, we calculate the corresponding conserved quantities in each case. Moreover, the importance and stability criteria of these models are discussed.Comment: 14 pages, accepted for publication in Chin. Phys. Let