Results 101 to 110 of about 1,133,638 (315)
Molecular Oncology, EarlyView.Microglia (BV2) and IL‐4‐treated BMDMs promote astrocytoma clustering and inhibit tumor growth, not shown in other macrophage cells. In vivo, microglial co‐implantation enhances CD8+ T cell infiltration, elevates Granzyme B, lowers circulating MDSCs, and extends survival only in immune‐competent mice, but not in immune‐deficient mice.
Tzu‐Chieh Sun +5 more
wiley +1 more source
Safety Model Checking with Complementary Approximations
, 2017 Formal verification techniques such as model checking, are becoming popular in hardware design. SAT-based model checking techniques such as IC3/PDR, have gained a significant success in hardware industry. In this paper, we present a new framework for SAT-
Li, Jianwen +4 more
core +1 more source
Model Learning and Model Checking of IPSec Implementations for Internet of Things
IEEE Access, 2019 With the development of Internet of Things (IoT) technology, the demand for secure communication by smart devices has dramatically increased, and the security of the IoT protocol has become the focus of cyberspace.
Jiaxing Guo +3 more
doaj +1 more source
Molecular Oncology, EarlyView.A‐to‐I editing of miRNAs, particularly miR‐200b‐3p, contributes to HGSOC progression by enhancing cancer cell proliferation, migration and 3D growth. The edited form is linked to poorer patient survival and the identification of novel molecular targets.
Magdalena Niemira +14 more
wiley +1 more source
Classification and checking model of pedestrian crossing
Journal of Accessibility and Design for All, 2012 The requirements demanded for pedestrian crossings, as the meeting point of pedestrian and vehicle traffic, are becoming more and more numerous and to guarantee that they are understandable, employable and feasible for all people in safe and convenient ...
Luis Delgado Méndez +3 more
doaj +1 more source
FEBS Open Bio, EarlyView.d‐Allulose can be produced from d‐fructose by d‐allulose 3‐epimerase. Based on sequence homology information, we successfully engineered thermostable mutants with the protein engineering method. By integrating positive mutations, we constructed an enzyme that exhibits hyperthermostability without a loss in the activity.
Kensaku Shimada +3 more
wiley +1 more source
Heliyon, 2023 Problem: The congenial of the imputation model is crucial for valid statistical inferences. Hence, it is important to develop methodologies for diagnosing imputation models.
Mingyang Cai +2 more
doaj
Genetic diversity and population structure of the Taigan dog breed
FEBS Open Bio, EarlyView.The Taigan is a rare sighthound from the mountains of Kyrgyzstan. We used DNA markers to study its genetic diversity and compare it with other sighthound breeds. Our findings show that the Taigan shares close genetic ties with the Kazakh Tazy, suggesting a common ancestry shaped by nomadic traditions and regional adaptation.
Kira Bespalova +10 more
wiley +1 more source
Microfluidic electro‐viscoelastic manipulation of extracellular vesicles
FEBS Open Bio, EarlyView.The electro‐viscoelastic manipulation as a potential method for separation of particles based on size. The particles introduced as a sheath flow migrate to the channel center under the influence of simultaneously applied electric field and pressure driven flow.
Seyedamirhosein Abdorahimzadeh +7 more
wiley +1 more source
Conformant Planning via Symbolic Model Checking
, 2011 We tackle the problem of planning in nondeterministic domains, by presenting a new approach to conformant planning. Conformant planning is the problem of finding a sequence of actions that is guaranteed to achieve the goal despite the nondeterminism of ...
Cimatti, A., Roveri, M.
core +1 more source