Results 101 to 110 of about 30,235 (124)

Reasoning about Action and Change Using Dijkstra’s Semantics for Programming Languages

2002
We apply Dijkstra’s semantics for programming languages [Dijkstra, 1976; Dijkstra and Scholten, 1990] to formalization of reasoning about action and change. The basic idea is to specify effects of actions in terms of formula transformers, i.e. functions from formulae into formulae.1 More specifically, with each action A we associate two formula ...
Witold Łukaszewicz, Ewa Madalińska-Bugaj   +1 more
openaire   +1 more source

Bidirectional difference locating and semantic consistency reasoning for change captioning

International Journal of Intelligent Systems, 2022
Yaoqi Sun, Liang Li, Tingting Yao, Tongyv Lu, Bolun Zheng, Chenggang Yan, Hua Zhang, Yongjun Bao, Guiguang Ding, Gregory Slabaugh   +9 more
openaire   +2 more sources

Integrative oncology: Addressing the global challenges of cancer prevention and treatment

Ca-A Cancer Journal for Clinicians, 2022
Jun J Mao,, Msce, Lorenzo Cohen, Karen M Mustian   +2 more
exaly  

RaSRNet: An End-to-End Relation-Aware Semantic Reasoning Network for Change Detection in Optical Remote Sensing Images

IEEE Transactions on Instrumentation and Measurement
Yi Liang, Chengkun Zhang, Min Han
openaire   +1 more source

Semantic-Driven Hierarchical Fusion With Adaptive Reasoning for Weak-Information Target Change Detection in Remote Sensing Images

IEEE Transactions on Geoscience and Remote Sensing
Xiang Li, Biao Wang, Zhenghao Jiang, Peng Zhang, Yu Meng   +4 more
openaire   +1 more source

Obesity and adverse breast cancer risk and outcome: Mechanistic insights and strategies for intervention

Ca-A Cancer Journal for Clinicians, 2017
Cynthia Morata-Tarifa, Joyce M Slingerland   +1 more
exaly  

Multidisciplinary standards of care and recent progress in pancreatic ductal adenocarcinoma

Ca-A Cancer Journal for Clinicians, 2020
Aaron J Grossberg, William L Hwang, Anirban Maitra   +2 more
exaly  

Oral complications of cancer and cancer therapy

Ca-A Cancer Journal for Clinicians, 2012
Joel B Epstein, Rene-Jean Bensadoun, Andrei Barasch   +2 more
exaly  

The financial burden and distress of patients with cancer: Understanding and stepping‐up action on the financial toxicity of cancer treatment

Ca-A Cancer Journal for Clinicians, 2018
Pricivel M Carrera, Hagop M Kantarjian, Victoria S Blinder   +2 more
exaly  

American Cancer Society Head and Neck Cancer Survivorship Care Guideline

Ca-A Cancer Journal for Clinicians, 2016
Nader Sadeghi, Katherine A Hutcheson, Gary H Lyman   +2 more
exaly