Results 21 to 30 of about 6,408 (118)

Completeness of Flat Coalgebraic Fixpoint Logics

open access: yes, 2010
Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type.
Gastin, P.   +3 more
core   +1 more source

LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees [PDF]

open access: yes, 2011
We present a method to generate a robot control strategy that maximizes the probability to accomplish a task. The task is given as a Linear Temporal Logic (LTL) formula over a set of properties that can be satisfied at the regions of a partitioned ...
Belta, Calin   +3 more
core   +1 more source

A Review on Microreactor Design for Effective Fischer–Tropsch Process Intensification

open access: yesAdvanced Materials Technologies, EarlyView.
Design strategies for effective Fischer–Tropsch process intensification are summarized based on experimental and simulation experiences. Recommendations for catalyst loading of packed‐bed and wash‐coated microchannel, microtube, micromonolith, and microstructured reactors are discussed.
Yangjun Wei   +5 more
wiley   +1 more source

Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes [PDF]

open access: yes, 2013
We consider PML, the probabilistic version of Hennessy-Milner logic introduced by Larsen and Skou to characterize bisimilarity over probabilistic processes without internal nondeterminism.We provide two different interpretations for PML by considering ...
Bernardo, Marco   +2 more
core   +2 more sources

Single‐Cell Dissection Reveals Immune Dysregulation After CD5 or CD7‐Directed Chimeric Antigen Receptor T‐Cell Therapy

open access: yesAdvanced Science, EarlyView.
Single‐cell RNA/TCR/BCR sequencing reveals that 5CAR therapy in T‐ALL induces T‐cell exhaustion, reduces EBV‐associated TCRs, lowers TCR/BCR diversity, and increases NK/DC/monocyte activation and function. In contrast, 7CAR therapy reduces multiple pathogen‐associated TCRs, enhances NK cell activation and function, decreases monocyte activation, and ...
Yuechen Luo   +12 more
wiley   +1 more source

Western North Pacific tropical cyclone model tracks in present and future climates [PDF]

open access: yes, 2017
Western North Pacific tropical cyclone (TC) model tracks are analyzed in two large multimodel ensembles, spanning a large variety of models and multiple future climate scenarios.
Camargo, Suzana J.   +13 more
core   +4 more sources

Advanced Human Immune Cell‐Organoid Co‐Cultures for Functional Testing of Cancer Nanovaccines

open access: yesAdvanced Science, EarlyView.
Pancreatic ductal adenocarcinoma remains difficult to treat. We establish an organoid–immune co‐culture using patient‐derived organoids and matched T‐cells to assess cancer vaccines. A mesothelin‐targeted nanovaccine activates antigen‐specific T‐cells, increases IFN‐γ, and targets MSLN+ organoids.
Nathalia Ferreira   +18 more
wiley   +1 more source

In Situ GISAXS Study of IZO Deposition via Magnetron Sputtering for Optoelectronic Devices: Film Growth and Ion Bombardment‐Induced Degradation Dynamics

open access: yesAdvanced Science, EarlyView.
The dynamics of film growth and ion bombardment‐induced degradation during the film deposition via radio frequency magnetron sputtering of indium zinc oxide are probed with real‐time monitoring via in situ grazing‐incidence small‐angle X‐ray scattering, causing physical degradation on a spin‐coated ZnO NP film and film growth on a robust, commercially ...
Huaying Zhong   +11 more
wiley   +1 more source

PRISM: a tool for automatic verification of probabilistic systems [PDF]

open access: yes, 2006
Probabilistic model checking is an automatic formal verification technique for analysing quantitative properties of systems which exhibit stochastic behaviour. PRISM is a probabilistic model checking tool which has already been successfully deployed in a
Hinton, A.   +3 more
core   +3 more sources

An Enzyme‐Like Catalyzed Nanosheets for Redox Stress Oscillation Therapy Against Bacterial Infections

open access: yesAdvanced Science, EarlyView.
Bacterial biofilms form a physicochemical barrier. Their dense network structure and redox homeostasis confer high resistance to antimicrobial treatments and immune‐mediated killing and clearance. In this study, SnSe nanosheets with enzyme‐like properties and piezoelectric catalysis can oscillate to regulate bacterial redox homeostasis and improve the ...
Min Ge   +9 more
wiley   +1 more source

Home - About - Disclaimer - Privacy