Results 11 to 20 of about 4,194,434 (347)

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, Ryan D. Sheldon, Ian Beddows, Alexandra Vander Ark, Matthew J. Weiland, Hui Shen, Russell G. Jones, Julie St-Pierre, Eric H. Ma, Connie M. Krawczyk   +9 more
doaj   +1 more source

An Efficient Algorithm for Finding a Threshold of Useful Signals in the Analysis of Magnetic and Eddy Current Defectograms

Моделирование и анализ информационных систем, 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, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin   +3 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, Kirill Antonov, Stepan Kochemazov, Artem Pavlenko   +3 more
doaj   +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, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin   +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, Kariotoglou, Nikolaos, Kunz, Konstantin, Lygeros, John, Summers, Sean, Summers, Tyler H.   +5 more
core   +1 more source

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

Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms

Моделирование и анализ информационных систем, 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, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin   +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, Nina V. Yevtushenko, Igor B. Burdonov, Alexander S. Kossatchev   +3 more
doaj   +1 more source

How functional programming mattered [PDF]

, 2015
In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly ‘why functional programming matters’. More than two decades have passed. Has functional programming really mattered? Our answer is
Abelson, Armstrong, Armstrong, Arts, Arts, Axelsson, Baars, Backus, Bahr, Barthe, Bertot, Bird, Bird, Bird, Bird, Bird RS Moor, Blelloch, Blelloch, Bringert, Carette, Chakravarty, Chakravarty MMT Leshchinskiy, Chetali, Chin, Claessen, Claessen, Cole, Cole, de Moor, Dean, Devriese, Dijkstra, Dybvig, Elliott, Elliott, Epstein, Farmer, Fegaras, Felleisen, Ford, Gibbons, Gibbons, Gill, Halloway, Hammond, Hansen MR Rischel, Harris, Hinze, Hinze, Hu, Hu, Hu, Hu, Hu, Hudak, Hudak, Hudak, Hudak, Hudak, Hudak, Hughes, Hughes, Hughes, Hughes JM Bolinder, Hutton, Hutton, Jones, Katayama, Katayama, Kiselyov, Launchbury, Launchbury, Leijen, Leroy, Liang, Lindley, Loidl HW Rubio, Matsuzaki, Mcbride, Meijer, Meijer, Milner, Minsky, Minsky, Moggi, Moggi, Morita, Mu, Naiman, Norell, Odersky, Oliveira BCS Moors, Paterson, Paulson, Persson, Peyton Jones, Peyton Jones, Peyton Jones SL Wadler, Reynolds, Sagonas, Schrijvers, Sculthorpe, Seibel, Sheard, Skillicorn, Smith, Snyder, Steele, Steele, Svenningsson, Svenningsson, Swierstra, Swierstra SD Duponcheel, Takano, Takano, Tesson, Wadler, Wadler, Wadler, Wadler, Wampler, Yang   +121 more
core   +1 more source

Programmed Safety through Programmed Learning [PDF]

Human Factors: The Journal of the Human Factors and Ergonomics Society, 1973
A study was conducted to determine the relative effectiveness of various safety training techniques on industrial accident occurrence. A punch press simulator was designed and equipped with special electronic instrumentation to record the occurrence of simulated accidents as well as to indicate the production of substandard simulated parts.
J H, Leslie, S K, Adams
openaire   +2 more sources