Results 81 to 90 of about 5,780 (194)
Extending the Logic IM-SPDL with Impulse and State Rewards [PDF]
, 2007 This report presents the logic SDRL (Stochastic Dynamic Reward Logic), an extension of the stochastic logic IM-SPDL, which supports the specication of complex performance and dependability requirements.
Haverkort, Boudewijn R., Kuntz, Matthias
core +1 more source
Metabolic Reprogramming of Cancer Cells and Therapeutics Targeting Cancer Metabolism
Cancer Medicine, Volume 14, Issue 18, September 2025.ABSTRACT Background Cancer metabolism is a field focused on the unique alterations in metabolic pathways that occur in cancer cells, distinguishing them from the metabolic processes in normal cells. Methods An extensive review of the current literature on the metabolic adaptation of cancer cells was carried out in the current study. Results The rapidly
Jilsy M. J. Punnasseril +4 more
wiley +1 more source
Nitro-fatty acid formation and metabolism [PDF]
, 2018 Nitro-fatty acids (NO 2 -FA) are pleiotropic modulators of redox signaling pathways. Their effects on inflammatory signaling have been studied in great detail in cell, animal and clinical models primarily using exogenously administered nitro-oleic acid ...
Bonacci, Gustavo Roberto +4 more
core +1 more source
Formal Proof of SCHUR Conjugate Function
, 2010 The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie groups and symmetric functions. The core of the computations relies on enumeration and
A. Lascoux +8 more
core +3 more sources
Playmath, 2007 Ekipa V. gimnazije sudjelovala je na dva međunarodna informatička natjecanja u SAD-u, ACSL-u i TopCoder-u, i tamo postigla iznimne uspjehe.
openaire +1 more source
A direct-execution parallel architecture for the Advanced Continuous Simulation Language (ACSL) [PDF]
A direct-execution parallel architecture for the Advanced Continuous Simulation Language (ACSL) is presented which overcomes the traditional disadvantages of simulations executed on a digital computer.
Carroll, Chester C., Owen, Jeffrey E.
core +1 more source
Finite Type Link Concordance Invariants [PDF]
, 1999 This paper is a generalization of the author's previous work on link homotopy to link concordance. We show that the only real-valued finite type link concordance invariants are the linking numbers of the components.Comment: 19 pages, many figures ...
Mellor, Blake
core +4 more sources
Modeling the thermal behavior of biosphere 2 in a non-controlled environment using bond graphs [PDF]
, 1996 Biosphere 2 is a closed ecological system of high complexity built to deepen the understanding of ecological systems, to study the dynamics of closed ecologies, and to learn to control their behavior.
Cellier, François E. +2 more
core +1 more source
Formulation of the linear model from the nonlinear simulation for the F18 HARV [PDF]
The F-18 HARV is a modified F-18 Aircraft which is capable of flying in the post-stall regime in order to achieve superagility. The onset of aerodynamic stall, and continued into the post-stall region, is characterized by nonlinearities in the ...
Hall, Charles E., Jr.
core +1 more source
, 1986 This report evaluates the advanced Continuous Simulation Language ( ACSL). It describes the language structure and assesses its features. The user-computer interaction, ease of use of the package and its capabilities in result analysis are discussed.
Rahbar , M.T. +3 more
openaire