Regular-SAT is a constraint programming language between CSP and SAT that—by combining many of the good properties of each paradigm—offers a good compromise between performance and expressive power. Its similarity to SAT allows us to define a uniform encoding formalism, to extend existing SAT algorithms to Regular-SAT without incurring excessive overhead in terms of computational cost, and to i...

PageRank is a popularity measure designed by Google to rank Web pages. Experiments confirm that PageRank values obey a power law with the same exponent as In-Degree values. This paper presents a novel mathematical model that explains this phenomenon. The relation between PageRank and In-Degree is modeled through a stochastic equation, which is inspired by the original definition of PageRank, an...

The PageRank is a popularity measure designed by Google to rank Web pages. Experiments confirm that the PageRank obeys a ‘power law’ with the same exponent as the In-Degree. This paper presents a novel mathematical model that explains this phenomenon. The relation between the PageRank and In-Degree is modelled through a stochastic equation, which is inspired by the original definition of the Pa...

The occurrence of an S-shaped polarization curve in a simple model for the continuous electrochemical oxidation of CO on a platinum electrode is discussed. In the model, the S-shaped polarization curve is caused by the competitive Langmuir-Hinshelwood mechanism between surface-bonded CO and OH. The reaction is studied experimentally on single-crystal platinum rotating disk electrodes in perchlo...

This paper details the participation of Pattern Recognition and Intelligent System lab of BUPT in CCR and SSF task of TREC 2013 Knowledge Base Acceleration track. In the CCR task, The PRIS system focuses attention on query expansion and similarity calculation. The system uses DBpedia as external source data to do query expansion and generates directional documents to calculate similarities with...

Regular Gabor frames for L2(Rd) are obtained by applying time-frequency shifts from a lattice in Λ Rd× R̂d to some decent so-called Gabor atom g, which typically is something like a summability kernel in classical analysis, or a Schwartz function, or more generally some g∈ S0(R). There is always a canonical dual frame, generated by the dual Gabor atom g̃. The paper promotes a numerical approach f...

Writing data structures for abstract syntax trees (ASTs) in a conventional OO programming language is tedious and error-prone. Hence, programmers often use AST generators to generate OO code from a higher-level description. This article argues that the existing AST generators do not provide good support for programs that manipulate several similar structural variations of an AST. Using a conven...

background: cervical cancer is the second most common cancer among women in the world and the most common cancer in developing countries. secondary prevention, achieved through pap smear testing, is the single most effective tool in reducing deaths due to cervical cancer. the aim of this study was to determine factors affecting the belief to obtain a regular pap smear test among women based on ...

‎let $v$ be a vector space over a field $f$ of characteristic $pgeq 0$ and let‎ ‎$t$ be a regular subgroup of the affine group $agl(v)$‎. ‎in the finite dimensional case we show that‎, ‎if $t$ is abelian or $p>0$‎, ‎then $t$ is unipotent‎. ‎for $t$ abelian‎, ‎pushing forward some ideas used in [a‎. ‎caranti‎, ‎f‎. ‎dalla volta and m‎. ‎sala‎, ‎abelian regular subgroups of the affine group and r...

in this paper, we introduce and study the concept of $r$-fuzzy regular semi open (closed) sets in smooth topological spaces. by using $r$-fuzzy regular semi open (closed) sets, we define a new fuzzy closure operator namely $r$-fuzzy regular semi interior (closure) operator. also, we introduce fuzzy regular semi continuous and fuzzy regular semi irresolute mappings. moreover, we investigate the ...