5,553 Hits in 3.1 sec

Substructural Observed Communication Semantics

Ryan Kavanagh
2020 Electronic Proceedings in Theoretical Computer Science  
We give an observed communication semantics for a session-typed language with recursion, where a process's observation is given by its external communications.  ...  Session-types specify communication protocols for communicating processes, and session-typed languages are often specified using substructural operational semantics given by multiset rewriting systems.  ...  We used these results to define an observed communication semantics for session-typed languages that are defined by substructural operational semantics: the observation of a process is its communications  ... 
doi:10.4204/eptcs.322.7 fatcat:jkxqpblcare3vcwzx3zy7denle

Page 271 of Journal of Teacher Education Vol. 15, Issue 3 [page]

1964 Journal of Teacher Education  
Validity was estimated by the use of experimental communications, deci- sions, and other observable phenomena of the organization.  ...  substructures.  ... 

The Structure of Staff Interpersonal Evaluations in a Selected School System

Robert W. Heath, Robert A. Braund
1964 Journal of Teacher Education  
Validity was estimated by the use of experimental communications, deci- sions, and other observable phenomena of the organization.  ...  substructures.  ... 
doi:10.1177/002248716401500305 fatcat:tuur47d7qrd47fkz236vhcqaoe

Dynamic Epistemic Logic as a Substructural Logic [chapter]

Guillaume Aucher
2014 Outstanding Contributions to Logic  
Moreover, the ternary semantics of DEL and its dynamic interpretation provides a conceptual foundation for the Routley & Meyer's semantics of substructural logics.  ...  In this article, we show that DEL can be redefined naturally and meaningfully as a two-sorted substructural logic.  ...  Acknowledgements I thank Olivier Roy and Ole Hjortland for organizing and inviting me to an inspiring workshop on substructural epistemic logic in Munich in February 2013.  ... 
doi:10.1007/978-3-319-06025-5_33 fatcat:t373cnwtnzbwraga55e7lzxwdy

An Ontology Systems Approach on Human Brain Expression and Metaproteomics

Adolfo Flores Saiffe Farías, Adriana P. Mendizabal, J. Alejandro Morales
2018 Frontiers in Microbiology  
A detailed analysis of psychobiotics showed specific slim ontologies functionally associated with substructures in the basal ganglia and cerebellar cortex.  ...  In this paper, we associated the functional ontologies in the differential expression of brain substructures from the Allen Brain Atlas database, with those of the metaproteome from the Human Microbiome  ...  Also we have defined a posteriori GO slims based on semantic similarity clustering.  ... 
doi:10.3389/fmicb.2018.00406 pmid:29568289 pmcid:PMC5852110 fatcat:4hchdtlklnc55jje4kalefkpze

The Semantic View, Empirical Adequacy, and Application

Mauricio Suárez
2005 Crítica. Revista Hispanoamericana de Filosofía  
Consider one of van Fraassen's empirical substructures: a set of objects (the observable objects) together with appropriate properties and relations.  ...  empirical substructure.  ... 
doi:10.22201/iifs.18704905e.2005.449 fatcat:atw2bnto6jdj3pmlpju3hji2qe

Interleaving set temporal logic

Shmuel Katz, Doron Peled
1990 Theoretical Computer Science  
The semantic model of the logic is bazd on a collection of sets of interleaving sequences which reflect partial orders from the underlying semantics of the computational model.  ...  kstinn of proof rules and for ascribing temporal semantics to properties such as layering of a program. These properties cannot be described with existing temporal logics.  ...  We first define the semantics for a single substructure and then define the semantics for the collection of substructures.  ... 
doi:10.1016/0304-3975(90)90096-z fatcat:ul63pju2zbdhfgd3xztjanjtyi

Page 1308 of Mathematical Reviews Vol. , Issue 2002B [page]

2002 Mathematical Reviews  
It should correspond to an intuitively acceptable notion of substructure, have a natural axiomatization, be decidable and, finally, preserve communication.  ...  The desired notion of one process being a substructure of another process should satisfy some minimal constraints.  ... 

Compositionality as a Prototypical Category

Hui Zhang, Feng Ji
2016 Language and Cognitive Science  
It consists of a variety of symbolic and semantic substructures that are immanently associated with an idiom.  ...  The idiomatic meaning, as it itself suggests, is the stipulated meaning that directly performs the communicative function in daily language.  ... 
doi:10.17923/lcs201601004 fatcat:mhv6klhzhvbj5oamuvqblxlehu

Semantic Role Labeling Using a Grammar-Driven Convolution Tree Kernel

Min Zhang, Wanxiang Che, Guo Dong Zhou, Aiti Aw, Chew Lim Tan, Ting Liu, Sheng Li
2008 IEEE Transactions on Audio, Speech, and Language Processing  
Convolution tree kernel has shown promising results in semantic role labeling (SRL).  ...  Compared with the standard convolution tree kernel, the proposed grammar-driven kernel has two advantages: 1) grammar-driven approximate substructure matching, and 2) grammar-driven approximate tree node  ...  It is interesting to observe the difference in the substructures covered by the standard convolution tree kernel and the grammar-driven convolution tree kernel.  ... 
doi:10.1109/tasl.2008.2001104 fatcat:oxlg36q56ff2ragprbt72ceu2y

Analysis of argument structures: Inquiries into effective writing

Akie Yasunaga
2014 The Language Teacher  
Only a few students employed warrants and rebuttals in the substructures; three cases and eight cases respectively out of a total of 96 cases.  ...  The aim of the study is twofold: to identify common substructures used in the arguments; and, based on the results, to investigate implications for teaching argumentative writing.  ...  To some degree, the credibility of a claim depends on the depth of semantic substructures-data, warrants, and backings.  ... 
doi:10.37546/jalttlt38.3-1 fatcat:k3pagt7b5nfw3fxuqubc4ttara

XML structural delta mining: Issues and challenges

Qiankun Zhao, Ling Chen, Sourav S. Bhowmick, Sanjay Madria
2006 Data & Knowledge Engineering  
However, we observed that most of the existing works are based on the characteristics obtained from the snapshots of XML data, while XML data is dynamic in real life applications.  ...  Semantic XML Search Engine: When substructures frequently change together, it is very likely that the objects represented by the substructures have underlying semantic correlation, such as the "Products  ...  Consequently, 3 i=1 v i = 3, the version dynamic of this substructure is 1 (3/3). It can be observed that V (t) ∈ [0, 1].  ... 
doi:10.1016/j.datak.2005.10.002 fatcat:ynzathh2nbhufjjygmvt6hueva

Bridging the Text-Image Gap: a Decision Support Tool for Real-Time PACS Browsing

Merlijn Sevenster, Rob van Ommering, Yuechen Qian
2011 Journal of digital imaging  
Picture archiving and communication systems (PACS) allow for storage and retrieval of digital radiology images, whereas global connectedness and communication standards in medicine (e.g., Health Level  ...  7 and Digital Imaging and Communications in Medicine) enable instant exchange thereof.  ... 
doi:10.1007/s10278-011-9414-x pmid:21809171 pmcid:PMC3295965 fatcat:y5wpeitdxngizeiauuvsanlucq

Substructural logics on display

R Gore
1998 Logic Journal of the IGPL  
We give algebraic semantics for the Bi-Lambek logics and prove that our calculi are sound and complete with respect to these semantics.  ...  Although all these logics can be seen as substructural logics, these display calculi are not suitable for capturing bi-intuitionistic and bi-classical substructural (modal) logics in a uniform way.  ...  In Section 6.1 we extend the algebraic semantics for substructural logics to substructural logics with dual connectives, and prove that our calculi are sound and complete with respect to these semantics  ... 
doi:10.1093/jigpal/6.3.451 fatcat:erqlhxit7fe25a4gmybgimeuzy

Investigating the Web Structure by Isolated Stars

Yushi Uno, Yoshinobu Ota, Akio Uemichi
2010 Transactions of the Japanese society for artificial intelligence  
As a result, we observed that most i-stars correspond to index structures in single domains, while some of them are verified to be candidates of communities, which implies the validity of i-stars as useful  ...  substructure for web structure mining and link spam detecting.  ...  From a semantic point of view, this promises that all istars and i-cliques can simultaneously stand for independent communities or their cores on the Web.  ... 
doi:10.1527/tjsai.25.9 fatcat:tbtgnnhq4bh4dgbb6h3brr2edi
« Previous Showing results 1 — 15 out of 5,553 results