Results 61 to 70 of about 1,184,149 (273)
Negligible Feeding Responses by Birds to Variations in Abundance of the Budworm, \u3ci\u3eChoristoneura Pinus\u3c/i\u3e (Lepidoptera: Tortricidae) [PDF]
, 2017 (excerpts) Recent studies have emphasized that to evaluate the potential importance of any predators in prey regulation it is necessary to consider their functional (feeding) and numerical responses to variations in prey abundance (Holling 1959, Buckner ...
Mattson, William J
core +2 more sources
CFA2: a Context-Free Approach to Control-Flow Analysis [PDF]
Logical Methods in Computer Science, 2011 In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and return well: they remember only a bounded number of pending calls because they approximate
Dimitrios Vardoulakis, Olin Shivers
doaj +1 more source
Molecular Oncology, EarlyView.Patient‐derived xenografts (PDXs) can be improved by implantation of a humanized niche. We tested different biomaterials and approaches, and demonstrate that the combination of an injectable biomaterial for scaffold creation plus an intravenous route for acute myeloid leukemia (AML) xenotransplantation provide the most convenient and robust approach to
Daniel Busa +13 more
wiley +1 more source
CCS with Hennessy's merge has no finite-equational axiomatization [PDF]
, 2004 This paper confirms a conjecture of Bergstra and Klop¿s from 1984 by establishing that the process algebra obtained by adding an auxiliary operator proposed by Hennessy in 1981 to the recursion free fragment of Milner¿s Calculus of Communicationg Systems
Aceto, L. (Luca) +3 more
core
Brillouin spectral deconvolution method for centimeter spatial resolution and high-accuracy strain measurement in Brillouin sensors [PDF]
, 2005 This paper was published in Optics Letters and is made available as an electronic reprint with the permission of OSA. The paper can be found at the following URL on the OSA website: http://www.opticsinfobase.org/abstract.cfm?URI=ol-30-7-705.
Afshar V. +8 more
core +1 more source
Symbolic and Asynchronous Semantics via Normalized Coalgebras [PDF]
Logical Methods in Computer Science, 2011 The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized by the final morphism in some category of coalgebras.
Filippo Bonchi, Ugo Montanari
doaj +1 more source
Molecular Oncology, EarlyView.Triacsin C inhibition of the acyl‐CoA synthetase long chain (ACSL) family decreases multiple myeloma cell survival, proliferation, mitochondrial respiration, and membrane potential. Made with Biorender.com. Multiple myeloma (MM) is an incurable cancer of plasma cells with a 5‐year survival rate of 59%.
Connor S. Murphy +12 more
wiley +1 more source
Size segregation and convection
, 1995 The size segregation of granular materials in a vibrating container is investigated using Molecular Dynamics. We find that the rising of larger particles is accompanied by the existence of convection cells even in the case of the lowest possible ...
Allen M P +13 more
core +2 more sources
A Model of Cooperative Threads [PDF]
Logical Methods in Computer Science, 2010 We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until they terminate or explicitly yield control.
Martín Abadi, Gordon D. Plotkin
doaj +1 more source
Molecular Oncology, EarlyView.Transient receptor potential melastatin‐4 (TRPM4) is overexpressed in prostate cancer (PCa). Knockout of TRPM4 resulted in reduced PCa tumor spheroid size and decreased PCa tumor spheroid outgrowth. In addition, lack of TRPM4 increased cell death in PCa tumor spheroids.
Florian Bochen +6 more
wiley +1 more source