Results 31 to 40 of about 87,920 (289)
Loop Invariants Elimination for Definite Iterations over Unchangeable Data Structures in C Programs
Моделирование и анализ информационных систем, 2015 The C-program verification is an urgent problem of modern programming. To apply known methods of deductive verification it is necessary to provide loop invariants which might be a challenge in many cases.
I. V. Maryasov, V. A. Nepomniaschy
doaj +1 more source
Forecasting Innovative Development of a Company in the Process of Transformation [PDF]
SHS Web of Conferences, 2020 Innovation is traditionally considered to be an effective instrument of development for industrial enterprises, even at the time of crisis. However, as practical observations show, non-systematic and inconsistence innovative changes may lead to poor ...
Shvaika Olga, Kupriyanova Marina
doaj +1 more source
The Regulatory Role of Iron Transporter SLC39A13 in Liver Fibrosis
Advanced Science, EarlyView.SLC39A13/ZIP13, a newly discovered intracellular iron transporter, delivers iron to the ER/Golgi to catalyze procollagen hydroxylation during collagen maturation. Here, we systematically characterize the cell type‐specific functions of ZIP13 across distinct hepatic cell populations, and identify hepatic stellate cell‐specific ZIP13 as a promising and ...
Shanshan Guo +5 more
wiley +1 more source
Mathematical Knowledge, the Analytic Method, and Naturalism [PDF]
, 2018 This chapter tries to answer the following question: How should we conceive of the method of mathematics, if we take a naturalist stance? The problem arises since mathematical knowledge is regarded as the paradigm of certain knowledge, because ...
Sterpetti, Fabio
core +1 more source
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
Investigating Retrieval Method Selection with Axiomatic Features [PDF]
, 2019 We consider algorithm selection in the context of ad-hoc information retrieval. Given a query and a pair of retrieval methods, we propose a meta-learner that predicts how to combine the methods' relevance scores into an overall relevance score.
Arora, S., Yates, A.
core +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT As the circular economy transition gains traction in the healthcare sector, extending the lifespan of complex medical devices has become a key priority, given their high cost and the challenges associated with their technological sophistication.
Tetiana Shevchenko +7 more
wiley +1 more source
What is Time in Quantum Mechanics?
, 2014 Time of arrival in quantum mechanics is discussed in two versions: the classical axiomatic "time of arrival operator" introduced by J. Kijowski and the EEQT method. It is suggested that for free particles the two methods may lead to the same result.
Jadczyk, Arkadiusz
core +1 more source
Invariant Measure and Universality of the 2D Yang–Mills Langevin Dynamic
Communications on Pure and Applied Mathematics, EarlyView.ABSTRACT We prove that the Yang–Mills (YM) measure for the trivial principal bundle over the two‐dimensional torus, with any connected, compact structure group, is invariant for the associated renormalised Langevin dynamic. Our argument relies on a combination of regularity structures, lattice gauge‐fixing and Bourgain's method for invariant measures ...
Ilya Chevyrev, Hao Shen
wiley +1 more source
Metoda matematyki według B. Bolzano
Zagadnienia Filozoficzne w Nauce, 2006 The matter under discussion is the methodology of mathematics presented by Bernard Bolzano (1782-1848) in his early pamphlet 'Beitraege zu einer begruendeteren Darstellung der Mathematik' (Prague 1810).
Jerzy Dadaczyński
doaj