Results 261 to 270 of about 7,922,717 (296)

Moving Specification Structures Between Logical Systems

1999
The conditions under which a formal system for reasoning about structural specications, built over one logical system could be reused for reasoning about structured specications built over another logical system are formulated and studied. Following Goguen and Burstall, the notion of a logical system is formalized as an institution and extended to a D ...
openaire   +2 more sources

Move Structure Recognition in Scientific Papers with Saliency Attribution

Communications in Computer and Information Science, 2023
Chong Feng, Hongzheng Li, Ge Shi
exaly  

Persistent structures to store moving images

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's, 1992
Mansour Kazerooni-Zand, Hassan Farhat, Hossein Saiedian   +2 more
openaire   +1 more source

Structures on the Move

2012
openaire   +2 more sources

Move blocked model predictive control with improved optimality using semi-explicit approach for applying time-varying blocking structure

Journal of Process Control, 2020
Jong Min Lee, Jong Woo Kim, Tae Hoon Oh
exaly  

Exercise is medicine in oncology: Engaging clinicians to help patients move through cancer

Ca-A Cancer Journal for Clinicians, 2019
Catherine Alfano, Lynn Gerber, Andrea Cheville   +2 more
exaly  

The move to structured cabling

Computer Fraud & Security Bulletin, 1990
openaire   +1 more source

Structural Moves

2013
openaire   +1 more source

Move structure and communication style of leaders’ messages in corporate discourse: A cross-cultural perspective

Discourse and Communication, 2017
Rita Gill Singh, Cindy Sing Bik Ngai
exaly  

Creating a theoretical framework: On the move structure of theoretical framework sections in research articles related to language and linguistics

Journal of English for Academic Purposes, 2018
Ming-Yu Tseng
exaly