Results 61 to 70 of about 3,740,015 (392)

Land landing couch dynamics computer program [PDF]

, 1967
Computer programs perform landing stability studies of mechanical impact system designs for advanced spacecraft. The programs consider variation in spacecraft vertical and horizontal velocity, attitude and orientation, shock strut load-stroke ...
Herting, D. N., Pohlen, J. C., Pollack, R. A.   +2 more
core   +1 more source

Interaction vesicles as emerging mediators of host‐pathogen molecular crosstalk and their implications for infection dynamics

FEBS Letters, EarlyView.
Interaction extracellular vesicles (iEVs) are hybrid vesicles formed through host‐pathogen communication. They facilitate immune evasion, transfer pathogens' molecules, increase host cell uptake, and enhance virulence. This Perspective article illustrates the multifunctional roles of iEVs and highlights their emerging relevance in infection dynamics ...
Bruna Sabatke, Izadora Volpato Rossi, Marcel I. Ramirez   +2 more
wiley   +1 more source

A power-spectral-density computer program [PDF]

, 1967
Computer program simplifies and clarifies random noise vibration test results. It also varies PSD test specifications, sets up automatic equalization equipment, and calculates an exact accleration level for the random noise prior to the ...
Chapman, C. P.
core   +1 more source

STAT3 expression is reduced in cardiac pericytes in HFpEF and its loss reduces cellular adhesion and induces pericyte senescence

FEBS Letters, EarlyView.
Heart failure with preserved ejection fraction (HFpEF) accounts for half of the heart failure cases. It is characterised by microvascular dysfunction, associated with reduced pericyte coverage and diminished STAT3 expression in pericytes. Loss of STAT3 impairs pericyte adhesion, promotes senescence, and activates a pro‐fibrotic gene program.
Leah Rebecca Vanicek, Ariane Fischer, Mariano Ruz Jurado, Anita Tamiato, Tara Procida‐Kowalski, Jochen Wilhelm, Dennis Hecker, Maximilian Merten, Felicitas Escher, Badder Kattih, Valentina Puntmann, David John, Marcel H. Schulz, Eike Nagel, Stefanie Dimmeler, Guillermo Luxán   +15 more
wiley   +1 more source

Graph Neural Networks For Mapping Variables Between Programs -- Extended Version [PDF]

arXiv, 2023
Automated program analysis is a pivotal research domain in many areas of Computer Science -- Formal Methods and Artificial Intelligence, in particular. Due to the undecidability of the problem of program equivalence, comparing two programs is highly challenging.
arxiv  

Programming and symbolic computation in Maude

Journal of Logical and Algebraic Methods in Programming, 2020
Journal of Logical and Algebraic Methods in Programming ...
Durán, Francisco, Eker, Steven, Escobar Román, Santiago, NARCISO MARTÍ OLIET, José Meseguer, Rubén Rubio, Talcott, Carolyn   +6 more
openaire   +6 more sources

Aerotherm charring materials ablation computer program [PDF]

, 1973
Ablating-surface boundary conditions involve considerations of surface thermochemistry.
Kendall, R. M., Powars, C. A.
core   +1 more source

Protonophore activity of short‐chain fatty acids induces their intracellular accumulation and acidification

FEBS Letters, EarlyView.
The protonated form of butyrate, as well as other short‐chain fatty acids (SCFAs), is membrane permeable. In acidic extracellular environments, this can lead to intracellular accumulation of SCFAs and cytosolic acidification. This phenomenon will be particularly relevant in acidic environments such as the large intestine or tumor microenvironments ...
Muwei Jiang, Frans Bianchi, Geert van den Bogaart   +2 more
wiley   +1 more source

Transpiling Programmable Computable Functions to Answer Set Programs [PDF]

arXiv, 2018
Programming Computable Functions (PCF) is a simplified programming language which provides the theoretical basis of modern functional programming languages. Answer set programming (ASP) is a programming paradigm focused on solving search problems. In this paper we provide a translation from PCF to ASP.
arxiv  

Computer program to generate attitude error equations for a gimballed platform [PDF]

, 1972
Computer program for solving attitude error equations related to gimballed platform is described. Program generates matrix elements of attitude error equations when initial matrices and trigonometric identities have been defined.
Hall, W. A., Jr., Morris, T. D., Rone, K. Y.   +2 more
core   +1 more source