Results 61 to 70 of about 6,461,261 (322)

Confluence via strong normalisation in an algebraic \lambda-calculus with rewriting

, 2011
The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms.
Alejandro Díaz-Caro, Alejandro Díaz-Caro, Christine Tasson, Elaine Pimentel, Henk P. Barendregt, Jean-Louis Krivine, Jean-Yves Girard, John C. Reynolds, Lionel Vaux, Lionel Vaux, Mauro Jaskelioff, Michele Pagani, Michele Pagani, Pablo Arrighi, Pablo Arrighi, Pablo Arrighi, Pablo Buiras, Simona Ronchi della Rocca, TeReSe, Thomas Ehrhard, Thomas Ehrhard, Thomas Ehrhard, Thomas Ehrhard   +22 more
core   +4 more sources

Between Droughts and Floods: The Seasonal Response of Freshwater Snails in Artificial Reservoirs in the Brazilian Semiarid Region

Population Ecology, EarlyView.
We investigate the seasonal dynamics of two freshwater snails, Biomphalaria straminea and Melanoides tuberculata, in artificial reservoirs of the Brazilian semiarid region. Despite regulated hydrology, B. straminea exhibited strong seasonal fluctuations associated with dry periods, while M. tuberculata maintained stable populations throughout the year,
Lucas Henrique Sousa da Silva, João Hemerson de Sousa, Adriana Josefa da Rocha, Manuella Feitosa Leal, Lucas Ariel de Sousa Aguiar, Tamaris Gimenez Pinheiro, Edson Lourenço da Silva   +6 more
wiley   +1 more source

Moving in the Dark: Enlightening the Spatial Population Ecology of European Cave Salamanders

Population Ecology, EarlyView.
We assessed individual interactions, movement ecology and activity patterns of a subterranean population of Speleomantes strinatii, applying spatial capture–recapture modeling to a photographic dataset of 104 individuals. ABSTRACT Space use and movement are fundamental aspects of organisms' ecology, mirroring individual fitness, behavior, and life ...
Giacomo Rosa, Andrea Costa, Sebastiano Salvidio   +2 more
wiley   +1 more source

Transformations of Linear Standard Systems to Positive Asymptotically Stable Linear Ones

International Journal of Applied Mathematics and Computer Science
New approaches to transformations of linear continuous-time systems to their positive asymptotically stable canonical controllable (observable) forms are proposed.
Kaczorek Tadeusz
doaj   +1 more source

Definition of a linear equivalent model for a non-linear system with impacts [PDF]

, 2012
Modal characteristics of non-linear system are typically studied through response to harmonic excitation and using various definitions of non-linear modes. However, few results are available for systems under broadband excitation.
BALMES, Etienne, CORUS, Mathieu, THENINT, Thibaud   +2 more
core   +3 more sources

Infection Models for Pine Wilt Disease on the Basis of Vector Behaviors

Population Ecology, EarlyView.
Infection models for pine wilt disease without vector density were built to estimate the transmission coefficient of the pathogenic nematode. The models successfully simulated the annual change in the density of infected trees for four pine stands. ABSTRACT Pine wilt disease is caused by the pinewood nematode (Bursaphelenchus xylophilus Steiner et ...
Katsumi Togashi
wiley   +1 more source

Unified study on the decomposition for deterministic signals and stationary random signals

Tongxin xuebao, 2016
The unified decomposition theories and methods for deterministic signals and stationary random signals were deeply studied.According to the stability theory of linear systems,the unified results of signal decomposition under both regular stable and ...
Hong-yu WANG, Tian-shuang QIU
doaj  

Fractional descriptor continuous–time linear systems described by the Caputo–Fabrizio derivative

International Journal of Applied Mathematics and Computer Science, 2016
The Weierstrass–Kronecker theorem on the decomposition of the regular pencil is extended to fractional descriptor continuous-time linear systems described by the Caputo–Fabrizio derivative.
Kaczorek Tadeusz, Borawski Kamil
doaj   +1 more source

Fractional Time–Invariant Compartmental Linear Systems

International Journal of Applied Mathematics and Computer Science, 2023
Fractional time-invariant compartmental linear systems are introduced. Controllability and observability of these systems are analyzed. The eigenvalue assignment problem of compartmental linear systems is considered and illustrated with a numerical ...
Kaczorek Tadeusz
doaj   +1 more source

FoxO1 signaling in B cell malignancies and its therapeutic targeting

FEBS Letters, EarlyView.
FoxO1 has context‐specific tumor suppressor or oncogenic character in myeloid and B cell malignancies. This includes tumor‐promoting properties such as stemness maintenance and DNA damage tolerance in acute leukemias, or regulation of cell proliferation and survival, or migration in mature B cell malignancies.
Krystof Hlavac, Petra Pavelkova, Laura Ondrisova, Marek Mraz   +3 more
wiley   +1 more source