Static and Dynamic Analysis of a Bistable Frequency Up-Converter Piezoelectric Energy Harvester [PDF]
, 2023 Mohammad Atmeh +2 more
openalex +1 more source
An intracellular transporter mitigates the CO2‐induced decline in iron content in Arabidopsis shoots
FEBS Letters, EarlyView.This study identifies a gene encoding a transmembrane protein, MIC, which contributes to the reduction of shoot Fe content observed in plants under elevated CO2. MIC is a putative Fe transporter localized to the Golgi and endosomal compartments. Its post‐translational regulation in roots may represent a potential target for improving plant nutrition ...
Timothy Mozzanino +7 more
wiley +1 more source
A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution
Open Computer Science, 2020 Static analysis is an essential way to find code smells and bugs. It checks the source code without execution and no test cases are required, therefore its cost is lower than testing.
Fülöp Endre, Pataki Norbert
doaj +1 more source
By dawn or dusk—how circadian timing rewrites bacterial infection outcomes
FEBS Letters, EarlyView.The circadian clock shapes immune function, yet its influence on infection outcomes is only beginning to be understood. This review highlights how circadian timing alters host responses to the bacterial pathogens Salmonella enterica, Listeria monocytogenes, and Streptococcus pneumoniae revealing that the effectiveness of immune defense depends not only
Devons Mo +2 more
wiley +1 more source
Optimization study of shape of translational shell of square plan
Structural Mechanics of Engineering Constructions and Buildings, 2019 The aim of the work. The static analysis and comparison of the results for translational shells under equally distributed load of dead weight are provided. The shells of the similar general dimensions in plan and rise of four different types: translation
Evgeniya M. Tupikova
doaj +1 more source
Nonlinear static and dynamic analysis of mixed cable elements [PDF]
, 2017 This paper presents a family of finite elements for the nonlinear static and dynamic analysis of cables based on a mixed variational formulation in curvilinear coordinates and finite deformations.
Crusells Girona, Miquel +2 more
core +1 more source
Hematopoietic (stem) cells—The elixir of life?
FEBS Letters, EarlyView.The aging of HSCs (hematopoietic stem cells) and the blood system leads to the decline of other organs. Rejuvenating aged HSCs improves the function of the blood system, slowing the aging of the heart, kidney, brain, and liver, and the occurrence of age‐related diseases.
Emilie L. Cerezo +4 more
wiley +1 more source
Towards Energy Consumption Verification via Static Analysis
, 2015 In this paper we leverage an existing general framework for resource usage verification and specialize it for verifying energy consumption specifications of embedded programs.
Haemmerle, Remy +4 more
core
Some studies on the use of NASTRAN for nuclear power plant structural analysis and design [PDF]
, 1973 Studies made on the use of NASTRAN for nuclear power plant analysis and design are presented. These studies indicate that NASTRAN could be effectively used for static, dynamic and special purpose problems encountered in the design of such plants.
Setlur, A. V., Valathur, M.
core +1 more source
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
, 2016 We consider the problem of static deadlock detection for programs in the Go programming language which make use of synchronous channel communications. In our analysis, regular expressions extended with a fork operator capture the communication behavior ...
A Williams +12 more
core +1 more source