Results 31 to 40 of about 185,172 (275)
Images of Person-Organization Fit: Elements Affecting Employee Organizational Behavior [PDF]
, 2017 The purpose of the paper is to build upon the existing literature a new approach to personorganization fit, in particular, employees’ perception of the P-O fit, taking into consideration two main criteria: 1) the level of formalization as a company’s ...
Światek Barylska, Ilona
core +2 more sources
Formal Languages, Formally and Coinductively
Logical Methods in Computer Science, 2017 Traditionally, formal languages are defined as sets of words. More recently, the alternative coalgebraic or coinductive representation as infinite tries, i.e., prefix trees branching over the alphabet, has been used to obtain compact and elegant proofs of classic results in language theory.
openaire +6 more sources
Formalizing Calculus without Limit Theory in Coq
Mathematics, 2021 Formal verification of mathematical theory has received widespread concern and grown rapidly. The formalization of the fundamental theory will contribute to the development of large projects. In this paper, we present the formalization in Coq of calculus
Yaoshun Fu, Wensheng Yu
doaj +1 more source
Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic
, 2015 We present several known formalizations of theorems from computational complexity in bounded arithmetic and formalize the PCP theorem in the theory PV1 (no formalization of this theorem was known).
Pich, Ján
core +1 more source
Advanced Engineering Materials, EarlyView.The documentation of component manufacture has become an essential part of today's production processes, especially for the analysis and optimization of production or component design with regard to structural performance, economic efficiency, and sustainability.
Björn Denker +4 more
wiley +1 more source
LogisticsBackground: Urban mobility management faces growing challenges that require the analysis and optimization of sustainable solutions. Digital twins (DTs) have emerged as innovative tools for this assessment, but their implementation requires standardized ...
Andrea Grotto +3 more
doaj +1 more source
About the Forms of Existence of the Legal Interest of Taxpayer
Сибирское юридическое обозрение, 2018 On the basis of doctrinal provisions the article deals with the problem of legal existence of the taxpayer's legal interest. The author analyzes the normative and non-normative (natural-legal) points of view and concludes that these two legal approaches ...
S. A. Yadrikhinskii
doaj +1 more source
Unsupervised Controllable Text Formalization
, 2019 We propose a novel framework for controllable natural language transformation. Realizing that the requirement of parallel corpus is practically unsustainable for controllable generation tasks, an unsupervised training scheme is introduced.
Azad, Amar Prakash +3 more
core +1 more source
Advanced Engineering Materials, EarlyView.This article presents a solver‐agnostic domain‐specific language (DSL) for computational structural mechanics that strengthens interoperability in virtual product development. Using a hierarchical data model, the DSL enables seamless exchange between diverse simulation tools and numerical methods.
Martin Rädel +3 more
wiley +1 more source
Revista Iberoamericana de Estudios de DesarrolloIt is common to find «informal ownership» in Latin America in the context of illegal takings. Human settlements in Peru, favelas in Brazil, or camps in Chile, in all cases, a group of people builds land rights outside the law.
Guillermo Arribas
doaj +1 more source