Results 111 to 120 of about 5,780 (194)

Initial investigations into the damping characteristics of wire rope vibration isolators [PDF]

Passive dampers composed of coils of multi-strand wire rope are investigated. Analytical results range from those produced by complex NASTRAN models to those of a Coulomb damping model with variable friction force. The latter agrees well with experiment.
Cochran, J. E., Jr., Cutchins, M. A., Fitz-Coy, N. G., Kumar, K., Tinker, M. L.   +4 more
core   +1 more source

SLC11A1 can activate TGF-β1 signaling pathway to resist ferroptosis in colorectal cancer

Scientific Reports
High expression of Solute Carrier Family 11 Member 1(SLC11A1) leads to a poor prognosis in patients with CRC, while the specific role of SLC11A1 in CRC remains unreported. Therefore, this study mainly addressed the preliminary mechanism and specific role
DongQiang Yang, LianMei Zhao, Ping Shi, Jianfeng Zhang, Guang Yang, Bo Shi, Hongqing Ma, Baokun Li, Feifei Wang, Guiying Wang   +9 more
doaj   +1 more source

ACSL/ACSL++ and JML translator from ASFM

D3.2 provides a software demonstrator that translates the information coming from the common universal part and the source code into ACSL/ACSL++ and JML annotations. D3.2 is the main result of T3.2. Tasks 3.4 and 3.5 will then use these annotations as a first basis to enrich until they become precise, complete for the reviewers’ objectives and ...
openaire   +1 more source

Multibody dynamics model building using graphical interfaces [PDF]

In recent years, the extremely laborious task of manually deriving equations of motion for the simulation of multibody spacecraft dynamics has largely been eliminated.
Macala, Glenn A.
core   +1 more source

Automated Inference of ACSL Contracts for Programs with Heaps

, 2023
Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code.
openaire   +1 more source

Building up on SIDAN: improved and new invariants for a software hardening Frama-C plugin

, 2012
We present improvements made on SIDAN, an intrusion detection system working at the software level. The operating principle of SIDAN consists in statically computing invariant properties of the targeted programs and in generating an instrumentation to ...
Karpman, Pierre
core  

Lipid metabolism on and off the beaten path. [PDF]

J Biol Chem
Coleman RA.
europepmc   +1 more source

Acyl-CoA Synthetase 5 Knockout and Inhibitors Protect Against Diet-Induced Obesity in Mice by Activating the Ileal Brake. [PDF]

J Endocr Soc
Powell DR, Van Sligtenhorst I, Main A, Jin H, Carson KG, Shi ZC, Swaffield J, Smith M, Harris A, Gopinathan S, Platt KA, Wade J, Zambrowicz B, McDonald P, Orton D, Kuttippurathu L, Mullens M, Greer J, Yang QM, Ding ZM.   +19 more
europepmc   +1 more source

Improving blood safety: NAT-based detection of Plasmodium spp. in blood donors in endemic areas of Brazil. [PDF]

Blood Transfus
Gomes de Almeida AC, Shuan Laco AC, Rodrigues MG, Godinho de Siqueira VG, de Moura Brito FB, Gato CM, Mota Cordeiro JS, Hipólito Carneiro JM, Lopes Albuquerque SR, Chaves YO, de Fátima Ferreira da Cruz M, Baptista PA, Addas-Carvalho M, Tarragô AM, de Melo GC.   +14 more
europepmc   +1 more source

Research progress of ferroptosis pathway and its related molecular ubiquitination modification in liver cancer. [PDF]

Front Oncol
Yao S, Quan Y.
europepmc   +1 more source