Results 61 to 70 of about 605,265 (316)
Electronic Proceedings in Theoretical Computer Science, 2010 A well-known result by Palamidessi tells us that πmix(the π-calculus with mixed choice) is more expressive than πsep(its subset with only separate choice). The proof of this result analyses their different expressive power concerning leader election in symmetric networks.
Kirstin Peters, Uwe Nestmann
openaire +8 more sources
Molecular Oncology, EarlyView.Glioma cells mainly express the endothelin receptor EDNRB, while EDNRA is restricted to a perivascular tumor subpopulation. Endothelin signaling reduces glioma cell proliferation while promoting migration and a proneural‐to‐mesenchymal transition associated with poor prognosis. This pathway activates Ca2+, K+, ERK, and STAT3 signalings and is regulated
Donovan Pineau +36 more
wiley +1 more source
How is spontaneous symmetry breaking possible? [PDF]
, 2011 We pose and resolve a seeming paradox about spontaneous symmetry breaking in the quantum theory of infinite systems. For a symmetry to be spontaneously broken, it must not be implementable by a unitary operator.
Halvorson, Hans, Baker, David John
core
Molecular Oncology, EarlyView.We have established a humanized orthotopic patient‐derived xenograft (Hu‐oPDX) mouse model of high‐grade serous ovarian cancer (HGSOC) that recapitulates human tumor–immune interactions. Using combined anti‐PD‐L1/anti‐CD73 immunotherapy, we demonstrate the model's improved biological relevance and enhanced translational value for preclinical ...
Luka Tandaric +10 more
wiley +1 more source
Lie Group Classification of a Generalized Lane-Emden Type System in Two Dimensions
Journal of Applied Mathematics, 2012 The aim of this work is to perform a complete Lie symmetry classification of a generalized Lane-Emden type system in two dimensions which models many physical phenomena in biological and physical sciences.
Motlatsi Molati, Chaudry Masood Khalique
doaj +1 more source
Symmetry reduction for B by permutation flooding
, 2006 Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single representative of every class of symmetric states.
Edd Turner +7 more
core +1 more source
Symmetry of system and system of symmetry
Computers & Mathematics with Applications, 1986 AbstractRelation “symmetry-system” is investigated from the point of view of the author's version of general systems theory (GST(U)). The symmetry of system is explicated in three ways: (i) in the form of the theory of groups of nonevolutionary and evolutionary system transformations and their invariants, (ii) in the form of a proof of symmetry of the ...
openaire +1 more source
Raman‐based label‐free microscopic analysis of the pancreas in living zebrafish larvae
FEBS Open Bio, EarlyView.Forward stimulated Raman scattering (F‐SRS) and epi coherent anti‐Stokes Raman scattering (E‐CARS) allow label‐free discrimination of distinct subcellular structures in the pancreas of living zebrafish larvae. Given the straightforward applicability, we anticipate broad implementation of Raman microscopy in other organs and across various biomedical ...
Noura Faraj +3 more
wiley +1 more source
Solutions and Conservation Laws of a (2+1)-Dimensional Boussinesq Equation
Abstract and Applied Analysis, 2013 We study a nonlinear evolution partial differential equation, namely, the (2+1)-dimensional Boussinesq equation. For the first time Lie symmetry method together with simplest equation method is used to find the exact solutions of the (2+1)-dimensional ...
Letlhogonolo Daddy Moleleki +1 more
doaj +1 more source
Results in Physics, 2018 The aim of this paper is to study three space-time (3 + 1)-dimensional modified Korteweg-de Vries equations. Nonlinear space-time (3 + 1)-dimensional partial differential equations model many realistic problems in the fields of engineering, wave ...
Innocent Simbanefayi +1 more
doaj +1 more source