Results 41 to 50 of about 2,486,152 (319)
Transition Systems with Independence and Multi-Arcs [PDF]
, 1997 We extend the model of transition systems with independence in order to provide it with a feature relevant in the noninterleaving analysis of concurrent systems, namely multi-arcs.
Hildebrandt, T., Sassone, V.
core +4 more sources
Journal of the European Mathematical Society, 2020 We study NSOP _1 theories. We define Kim-independence , which generalizes non-forking independence in simple theories and corresponds to non-forking at a generic scale.
Nicholas Ramsey, Itay Kaplan
openaire +3 more sources
Archive for Mathematical Logic, 2019 We study two ideals which are naturally associated to independent families. The first of them, denoted J A, is characterized by a diagonalization property which allows along a cofinal sequence (the order type of which of uncountable cofinality) of stages along a finite support iteration to adjoin a maximal independent family.
Vera Fischer, Diana Carolina Montoya
openaire +2 more sources
Insights into PI3K/AKT signaling in B cell development and chronic lymphocytic leukemia
FEBS Letters, EarlyView.This Review explores how the phosphoinositide 3‐kinase and protein kinase B pathway shapes B cell development and drives chronic lymphocytic leukemia, a common blood cancer. It examines how signaling levels affect disease progression, addresses treatment challenges, and introduces novel experimental strategies to improve therapies and patient outcomes.
Maike Buchner
wiley +1 more source
On quasi-stability of the vector Boolean problem of minimizing absolute deviations of linear functions from zero [PDF]
Computer Science Journal of Moldova, 2006 We consider a multi-criterion Boolean programming problem with partial criteria of the kind MIN MODUL of linear functions. We investigate such type of stability which can be understood as a discrete analogue of the Hausdorff lower semi-continuity.
Vladimir A. Emelichev +1 more
doaj
Gantmacher-Kreĭn theorem for 2 nonnegative operators in spaces of functions
Abstract and Applied Analysis, 2006 The existence of the second (according to the module) eigenvalue λ2 of a completely continuous nonnegative operator A is proved under the conditions that A acts in the space Lp(Ω) or C(Ω) and its exterior square A∧A is also nonnegative. For the case when
O. Y. Kushel, P. P. Zabreiko
doaj +1 more source
Frontiers in Cell and Developmental Biology, 2020 The adult heart following injury such as a myocardial infarction forms a fibrotic scar associated with transformation of resident cardiac fibroblasts into myofibroblast, accelerating cardiac remodeling and dysfunction.
Lindsay Kraus +7 more
doaj +1 more source
Association of Vitamin K Insufficiency With Cognitive Dysfunction in Community-Dwelling Older Adults
Frontiers in Nutrition, 2022 Vitamin K is a fat-soluble vitamin shown to be associated with several age-related diseases. Although a small number of epidemiological studies described the relationship between vitamin K status and cognitive impairment, vitamin K status was estimated ...
Kotaro Azuma +5 more
doaj +1 more source
Making tau amyloid models in vitro: a crucial and underestimated challenge
FEBS Letters, EarlyView.This review highlights the challenges of producing in vitro amyloid assemblies of the tau protein. We review how accurately the existing protocols mimic tau deposits found in the brain of patients affected with tauopathies. We discuss the important properties that should be considered when forming amyloids and the benchmarks that should be used to ...
Julien Broc, Clara Piersson, Yann Fichou
wiley +1 more source
Application of Collocation BEM for Axisymmetric Transmission Problems in Electro- and Magnetostatics
Mathematical Modelling and Analysis, 2016 This paper considers the numerical solution of boundary integral equations for an exterior transmission problem in a three-dimensional axisymmetric domain.
Olga Lavrova, Viktor Polevikov
doaj +1 more source