Results 1 to 10 of about 32,620 (305)
Morita Equivalence of Formal Poisson Structures [PDF]
International Mathematics Research Notices, 2021 Abstract We extend the notion of Morita equivalence of Poisson manifolds to the setting of formal Poisson structures, that is, formal power series of bivector fields $\pi =\pi _0 + \lambda \pi _1 +\cdots $ satisfying the Poisson integrability condition $[\pi ,\pi ]=0$.
Henrique Bursztyn +2 more
openalex +4 more sources
Formal Game Grammar and Equivalence [PDF]
2020 IEEE Conference on Games (CoG), 2020 We develop methods to formally describe and compare games, in order to probe questions of game structure and design, and as a stepping stone to predicting player behavior from design patterns. We define a grammar-like formalism to describe finite discrete games without hidden information, allowing for randomness, and mixed sequential and simultaneous ...
Paul Riggins, David McPherson
openalex +4 more sources
Formal Equivalences in $\mathbb{C}^{4}$ [PDF]
, 2018 There are solved standard problems related to Formal (Holomorphic) Segre preserving Mappings of non-trivial Real-Formal Hypersurfaces in $\mathbb{C}^{2}$.
Valentin Burcea
openalex +3 more sources
Adaptation and content validity of the Brazilian version of the Mental Health Literacy questionnaire [PDF]
Revista Brasileira de EnfermagemObjectives: to perform cross-cultural adaptation and content validity of the Mental Health Literacy questionnaire into Brazilian Portuguese. Methods: a validity study developed according to the following stages: (1) assessment of conceptual and item ...
Wanderson Carneiro Moreira +3 more
doaj +2 more sources
RTL2RTL Formal Equivalence: Boosting the Design Confidence [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Increasing design complexity driven by feature and performance requirements and the Time to Market (TTM) constraints force a faster design and validation closure.
M V Achutha Kiran Kumar +2 more
doaj +4 more sources
Convergence of formal equivalences of hypersurfaces [PDF]
, 2000 20 pages ...
Joël Merker
openalex +3 more sources
Formal Lumping of Polynomial Differential Equations Through Approximate Equivalences
Journal of Logical and Algebraic Methods in Programming, 2022 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Luca Cardelli +4 more
openalex +6 more sources
Equivalence of formal semantics definition methods [PDF]
Formal Aspects of Computing, 1997 Abstract There are numerous methods of formally defining the semantics of computer languages. Each method has been designed to fulfil a different purpose. For example, some have been designed to make reasoning about languages as easy as possible; others have been designed to be accessible to a large audience and some have been designed to ...
Matthew J.A. Caswell
openalex +3 more sources
A Critical Examination of the Translation Philosophy of the Asante-Twi Bible [PDF]
E-Journal of Humanities, Arts and Social Sciences, 2023 Bible translation activities have been documented since the return of the Jewish people from the Babylonian captivity in the period of the 5th century BCE (Before the Common Era).
Yaw Worae +1 more
doaj +1 more source
A Study of Nida’s (1964) Types of Equivalence in Three English Translations of Letters 40 to 60 of Nahj-al-balagheh [In English] [PDF]
آموزش زبان، ادبیات و زبانشناسی, 2022 The main objective of this study is to probe into the issue of equivalency in three translations of Nahj-al-balagheh. More specifically, it is aimed to find out if there was any significant difference between dynamic and formal types of equivalence in ...
Samad Mirza Suzani +1 more
doaj +1 more source