Results 31 to 40 of about 655,566 (261)
Epistemic Future and epistemic modal verbs in Portuguese
Journal of Portuguese Linguistics, 2020 This paper discusses the semantics of two epistemic operators in Portuguese: the epistemic Future and modal verbs. The idea sustained in the literature for other languages that the epistemic Future has the same semantics as the modal verb (equivalent to)
Rui Marques
doaj +2 more sources
Maximal Existential and Universal Width [PDF]
, 2023 The tree width of an alternating finite automaton (AFA) measures the parallelism in all computations of the AFA on a given input. The maximal existential (respectively, universal) width of an AFA A on string w measures the maximal number of existential ...
Kai Salomaa, Casey Keeler
core +1 more source
Extending Existential Quantification in Conjunctions of BDDs
Journal on Satisfiability, Boolean Modeling and Computation, 2006 We introduce new approaches intended to speed up determining the satisfiability of a given Boolean formula φ expressed as a conjunction of Boolean functions. A common practice in such cases, when using constraint-oriented methods, is to represent the functions as BDDs, then repeatedly cluster BDDs containing one or more variables, and finally ...
Sean A. Weaver +2 more
openaire +2 more sources
Relative Tense without Existential Quantification and Before
Journal of Semantics, 2022 Abstract This article discusses the semantics of tense morphemes in Japanese in temporal adverbial clauses as well as in relative clauses. We claim that they are non-pronominal higher order entities but do not carry existential quantifier meanings on their own.
openaire +2 more sources
The power of relational work in existential therapy [PDF]
The power of relational work in existential therapy Aim/Purpose: This paper aims to present some preliminary findings from a PhD research study focusing on how existential therapists define and convey their role as therapists, with a particular ...
Smith, Vicki J
core +3 more sources
On the Satisfiability of Local First-Order Logics with Data [PDF]
Logical Methods in Computer ScienceWe study first-order logic over unordered structures whose elements carry a finite number of data values from an infinite domain. Data values can be compared wrt.\ equality.
Benedikt Bollig +2 more
doaj +1 more source
On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories [PDF]
Logical Methods in Computer ScienceThis paper introduces a generic framework that provides sufficient conditions for guaranteeing polynomial-time decidability of fixed-negation fragments of first-order theories that adhere to certain fixed-parameter tractability requirements.
Christoph Haase +2 more
doaj +1 more source
Solid Pseudopapillary Neoplasm of the Pancreas in Children and Adolescents: Expert Recommendations
Pediatric Blood &Cancer, EarlyView.ABSTRACT Solid pseudopapillary neoplasm of the pancreas (SPN) is a rare low‐grade malignant exocrine pancreatic tumor, mostly discovered during the second decade of life in females, with a very good prognosis, provided microscopically complete surgical excision is achieved.
Sabine Irtan +18 more
wiley +1 more source
Existential crisis among university students in Bangladesh [PDF]
, 2023 Bio-psycho-social factors can cause various psychological problems which are existential in nature. For instances, psychological problems derived from death of a friend or family member, suicidal ideation, and relationship difficulties are considered as ...
Muhamad, Mohd Mokhtar +2 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Loneliness is associated with adverse physical and mental health outcomes and remains understudied in children and adolescents undergoing cancer therapy. Pediatric oncology patients may be at increased risk due to medical isolation and disruption of social networks.
Charlotte N. Stahlfeld +5 more
wiley +1 more source