Results 61 to 70 of about 185,172 (275)
AVIATION SECURITY AS AN OBJECT OF MATHEMATICAL MODELING
Научный вестник МГТУ ГА, 2017 The paper presents a mathematical formulation of the problem formalization of the subject area related to aviation security in civil aviation. The formalization task is determined by the modern issue of providing aviation security.
L. N. Elisov, N. I. Ovchenkov
doaj
Semantic Criteria of Correct Formalization [PDF]
, 2010 This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas ...
Lampert, Timm
core
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Erkenntnis, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Advanced Science, EarlyView.Low‐frequency noise fingerprints in hafnia ferroelectrics provide a quantitative handle to resolve the long‐standing debate between polarization‐mediated and defect‐mediated switching. By tuning oxygen vacancy density via ALD O3 dose time and applying a physically constrained deconvolution, we extract bias‐resolved current fractions for both mechanisms
Ryun‐Han Koo +8 more
wiley +1 more source
Asian Development Review, 2020 Do firms pay more taxes after formalization? The answer to this question is nontrivial. Tax noncompliance can be a persistent behavior among formerly informal firms.
Amadou Boly
doaj +1 more source
Regulation, governance and informality: an empirical analysis of selected countries [PDF]
, 2011 The Informal Economy provides employment to more than 60 per cent of the labour population in the developing world despite being a site unfettered by regulations and social norms of fairness governing pay and work conditions.
Dutta, Mousumi, Roychowdhury, Punarjit
core
Leveraging Artificial Intelligence and Large Language Models for Cancer Immunotherapy
Advanced Science, EarlyView.Cancer immunotherapy faces challenges in predicting treatment responses and understanding resistance mechanisms. Artificial intelligence (AI) and machine learning (ML) offer powerful solutions for cancer immunotherapy in patient stratification, biomarker discovery, treatment strategy optimization, and foundation model development.
Xinchao Wu +4 more
wiley +1 more source
Financial Dependence, Formal Credit, and Informal Jobs: New Evidence from Brazilian Household Data [PDF]
This paper examines a much overlooked link between credit markets and formalization: since access to bank credit typically requires compliance with tax and employment legislation, firms are more likely to incur such formalization costs once bank credit ...
Catão, Luis A. V. +2 more
core +3 more sources
Formalization of Organizations of Recyclers by Trade in Bogota: Reflections from Popular Economy
Íconos, 2018 In big global cities, the management of residues is a problem that continues to gain importance. For generations the community of recyclers has taken charge of a labor that, although poorly recognized, generates multiple social, environmental and ...
Luisa Fernanda Tovar
doaj +1 more source