Results 81 to 90 of about 1,855,215 (295)
Nested Term Graphs (Work In Progress) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We report on work in progress on 'nested term graphs' for formalizing higher-order terms (e.g. finite or infinite lambda-terms), including those expressing recursion (e.g. terms in the lambda-calculus with letrec).
Clemens Grabmayer, Vincent van Oostrom
doaj +1 more source
FEBS Letters, EarlyView.The physical dimensions and shape of bacterial cells define the surface area available to acquire nutrients and the volume available for synthesizing proteins and DNA. Here, we use computational systems biology to decode the importance of cell geometry as a major determinant of prokaryotic phenotype, including growth rate and metabolic efficiency. This
Ross P. Carlson +6 more
wiley +1 more source
A Comprehensive Study on the Zeros of the Two-Parameter Mittag-Leffler Function [PDF]
Sahand Communications in Mathematical AnalysisThe Mittag-Leffler function appears as an analytical solution of some fractional differential equations. The behavior of the zeros of the Mittag-Leffler function, especially their asymptotic distribution, plays a fundamental role in the study of ...
Farnoosh Abooali +1 more
doaj +1 more source
Higher-order term indexing using substitution trees [PDF]
ACM Transactions on Computational Logic, 2009 We present a higher-order term indexing strategy based on substitution trees for simply typed lambda-terms. There are mainly two problems in adapting first-order indexing techniques. First, many operations used in building an efficient term index and retrieving a set of candidate terms from a large collection are undecidable in general for higher-order
openaire +1 more source
FEBS Letters, EarlyView.We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace +6 more
wiley +1 more source
Multi-parameter approximation of stress field in a cracked specimen using purpose-built Java applications [PDF]
Fracture and Structural Integrity, 2015 A quality of multi-parameter approximation of the stress and displacement fields around a crack tip in a non-brittle material test specimen is studied in the paper.
V. Veselý +5 more
doaj +1 more source
FEBS Letters, EarlyView.Inositol pyrophosphates are energy‐rich signaling molecules that perform critical functions in cells. Three different families of phosphatases hydrolyze the β phosphate of the inositol pyrophosphate molecules: two have narrow specificities and one is promiscuous.
Ronda J. Rolfes
wiley +1 more source
An efficient solver for solving chemical kinetic equations using higher order block backward differentiation formula [PDF]
, 2019 In this paper, an efficient solver known as higher order block backward differentiation formula (HOBBDF) is applied to chemical kinetic equations. In order to prove the applicability of this higher order solver, the chemical kinetic ordinary differential
Asnor, Asma Izzati +2 more
core
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
The Skyrme model and higher order terms
Physics Letters B, 1990 Abstract We generalize the Skyrme lagrangian by considering a set of higher order terms in derivatives of the pion field (up to order twelve) using a systematic approach. We then consider a combination of those terms which preserves the equation for the chiral angle as a second-degree differential equation.
openaire +1 more source