Results 11 to 20 of about 2,584,848 (276)
Programming in logic without logic programming [PDF]
, 2015 In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial ...
Kowalski, Robert, Sadri, Fariba
core +3 more sources
PGC-1β maintains mitochondrial metabolism and restrains inflammatory gene expression
Scientific Reports, 2022 Metabolic programming of the innate immune cells known as dendritic cells (DCs) changes in response to different stimuli, influencing their function. While the mechanisms behind increased glycolytic metabolism in response to inflammatory stimuli are well-
Hannah Guak +9 more
doaj +1 more source
Using Linearizing Sets to Solve Multivariate Quadratic Equations in Algebraic Cryptanalysis
IEEE Access, 2023 In this paper we describe a class of cryptographic guess-and-determine attacks which is based on the notion of a linearizing set. A linearizing set-based attack is applied to a system of Multivariate Quadratic equations (MQ) over $GF(2)$ field, which ...
Alexander Semenov +3 more
doaj +1 more source
A framework for understanding the factors influencing pair programming success [PDF]
, 2005 Pair programming is one of the more controversial aspects of several Agile system development methods, in particular eXtreme Programming (XP). Various studies have assessed factors that either drive the success or suggest advantages (and disadvantages ...
C. Poole +11 more
core +3 more sources
Моделирование и анализ информационных систем, 2018 To ensure traffic safety of railway transport, non-destructive testing of rails is regularly carried out by using various approaches and methods, including magnetic and eddy current flaw detection methods.
Egor V. Kuzmin +3 more
doaj +1 more source
Approximate Dynamic Programming via Sum of Squares Programming [PDF]
, 2012 We describe an approximate dynamic programming method for stochastic control problems on infinite state and input spaces. The optimal value function is approximated by a linear combination of basis functions with coefficients as decision variables.
Kamgarpour, Maryam +5 more
core +1 more source
On Finding a Threshold of Useful Signals in the Analysis of Magnetic and Eddy Current Defectograms
Моделирование и анализ информационных систем, 2017 To ensure traffic safety of railway transport, non-destructive testing of rails is regularly carried out by using various approaches and methods, including magnetic and eddy current flaw detection methods. The paper is devoted to the problem of automatic
Egor V. Kuzmin +3 more
doaj +1 more source
Fluids, 2021 This paper presents the Eulerian–Lagrangian approach for numerical modeling of high-speed gas-droplet flows and aeroacoustics. The proposed hybrid approach is implemented using the OpenFOAM library and two different methods.
Valeriia G. Melnikova +2 more
doaj +1 more source
Моделирование и анализ информационных систем, 2018 To ensure traffic safety of railway transport, non-destructive test of rails is regularly carried out by using various approaches and methods, including magnetic and eddy current flaw detection methods.
Egor V. Kuzmin +4 more
doaj +1 more source
Deriving Synchronizing and Homing Sequences for Input/Output Automata
Моделирование и анализ информационных систем, 2017 In this paper, we study the problem of existence check and derivation of synchronizing and homing sequences for finite input/output automata. Corresponding sequences can be effectively used for the current state identification of a system under test ...
Natalia G. Kushik +3 more
doaj +1 more source