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

Completeness of Flat Coalgebraic Fixpoint Logics

, 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., Laroussinie, F., Schröder, L., Venema, Y.   +3 more
core   +1 more source

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

, 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, Ding, Xu Chu, Rus, Daniela, Smith, Stephen L.   +3 more
core   +1 more source

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

Advanced 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, Lukas Thum, Avela Kunene, Daniel Amkreutz, Rutger Schlatmann, Sonya Calnan   +5 more
wiley   +1 more source

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

, 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, De Nicola, Rocco, Loreti, Michele   +2 more
core   +2 more sources

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

Advanced 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, Haixiao Zhang, Kaiting Tang, Yiming Wang, Huajiang Dong, Wei Qi, Lingling Shan, Yue Tan, Liping Zhao, Jun Shi, Erlie Jiang, Jing Pan, Xiaoming Feng   +12 more
wiley   +1 more source

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

, 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., Emanuel, Kerry A., Henderson, Naomi, Kumar, Arun, LaRow, Timothy E., Murakami, Hiroyuki, Nakamura, Jennifer, Roberts, Malcolm J., Scoccimarro, Enrico, Sobel, Adam H., Vidale, Pier Luigi, Wang, Hui, Wehner, Michael F., Zhao, Ming   +13 more
core   +4 more sources

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

Advanced 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, David Agorku, Andre Rosa, Julia Roosz, Lena Christ, Nicole Anderle, Ajinkya Kulkarni, Abir Hussein, Sana S. Sayedipour, Omar F. Luna, Tobias Legler, Philipp Ströbel, Fernando Albericio, Luis Cruz, Phillipp Beckhove, Peter Loskill, Frauke Alves, M. Andrea Markus, Fernanda Ramos‐Gomes   +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

Advanced 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, Marlene Sophie Härtel, Wei Chen, Lukas V. Spanier, Shanshan Yin, Jiahuan Zhang, Bertwin Bilgrim Otto Seibertz, Bernd Szyszka, Steve Albrecht, Matthias Schwartzkopf, Stephan V. Roth, Peter Müller‐Buschbaum   +11 more
wiley   +1 more source

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

, 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., Kwiatkowska, M., Norman, G., Parker, D.   +3 more
core   +3 more sources

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

Advanced 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, Zhao Guo, Zhiming Zhang, Lanlu Lu, Zesong Ruan, Tingwang Shi, Yunfeng Chen, Ju Huang, Chaoliang Tan, Han Lin   +9 more
wiley   +1 more source