Search results for "predicate"
showing 10 items of 216 documents
Decentralized Deployment of Mobile Sensors for Optimal Connected Sensing Coverage
2008
In this paper, we address the optimal connected sensing coverage problem, i.e., how mobile sensors with limited sensing capabilities can cooperatively adjust their locations so as to maximize the extension of the covered area while avoiding any internal “holes”, areas that are not covered by any sensor. Our solution consists in a distributed motion algorithm that is based on an original extension of the Voronoi tessellation.
Scatter search for an uncapacitated p-hub median problem
2015
Scatter search is a population-based method that has been shown to yield high-quality outcomes for combinatorial optimization problems. It uses strategies for combining solution vectors that have proved effective in a variety of problem settings. In this paper, we present a scatter search implementation for an NP -hard variant of the classic p-hub median problem. Specifically, we tackle the uncapacitated r-allocation p-hub median problem, which consists of minimizing the cost of transporting the traffics between nodes of a network through special facilities that act as transshipment points. This problem has a significant number of applications in practice, such as the design of transportati…
Introduction to Mathematical Logic (Edition 2017)
2017
Hyper-textbook for students in mathematical logic, Edition 2017
A note on some fundamental results in complete gauge spaces and application
2015
We discuss the extension of some fundamental results in nonlinear analysis to the setting of gauge spaces. In particular, we establish Ekeland type and Caristi type results under suitable hypotheses for mappings and cyclic mappings. Our theorems generalize and complement some analogous results in the literature, also in the sense of ordered sets and oriented graphs. We apply our results to establishing the existence of solution to a second order nonlinear initial value problem.
Ein rechnerunterstütztes elektromechanisches Meßsystem zur Untersuchung der Flexions- und Extensionskraft im oberen Sprunggelenk
2008
Pseudo-relatives, gerunds and infinitives in Romance: (only) superficial resemblances and structural connections
2013
L'argomento di questa monografia è un confronto tra i costrutti predicativi di tipo frasale nelle diverse varietà romanze. Mentre le pseudorelative sono diffuse pressoché in tutta la Romània, con qualche variazione parametrica minore, i gerundi predicativi e gli infiniti preposizionali sono usati solo in alcune varietà. Negli studi linguistici sull'argomento è mancata finora l'ottica comparativa, sia tra varietà diverse, sia tra costrutti predicativi diversi. Il mio lavoro si prefissa lo scopo di colmare questa lacuna, senza ignorare però i costrutti percettivi composti da un infinito semplice, che da parte della letteratura sono stati paragonati alle strutture predicative delle pseudorelat…
L'infinitif des constructions perceptives : un prédicat de l'objet (direct)?
2016
In this study, we investigate the infinitive verb found in the subordinate infinitive (traditional grammar) from a strictly syntactic point of view (what is the role it plays in the structure phrase?), even if the arguments we advance to do this are from the syntax and semantics. Our main goal is to show that although this infinitive formally resembles a predicate of the object, it can not/should not yet be analyzed in this way in syntax.
“Čut’ živye, v noč’ osennjuju / My s ochoty vozvraščaemsja…” Secondary predicate in Nekrasov’s poetic texts
2021
The main aim of the article is to examine the grammatical and stylistic functions of the predicative attribute in the poetic work of Nekrasov. The study contributes to the general ‘grammar of poetry’, which has been proposed and developed by Roman Jakobson. The study shows that Nekrasov often used the predicative attribute and it constitutes one of the specific features of his style. Grammatically extended adjectival, participial and adverbial phrases, frequent in Nekrasov’s poetry, cause additional predication, which makes it possible to expand the narrative. The predicative attribute often combines the functions of an attribute with those of the adverbial modifiers of cause and consequenc…
On probabilistic interpretations of predicates
2016
In classical logic, any m-ary predicate is interpreted as an m-argument two-valued relation defined on a non-empty universe. In probability theory, m-ary predicates are interpreted as probability measures on the mth power of a probability space. m-ary probabilistic predicates are equivalently semantically characterized as m-dimensional cumulative distribution functions defined on Rm. The paper is mainly concerned with probabilistic interpretations of unary predicates in the algebra of cumulative distribution functions defined on R. This algebra, enriched with two constants, forms a bounded De Morgan algebra. Two logical systems based on the algebra of cumulative distributions are defined an…
Introduction to Mathematical Logic, Edition 2021
2021
Textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux and resolution methods. Herbrand's theorem. Sections 1, 2, 3 represent an extended translation of the corresponding chapters of the book: V. Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian).