A Distributed Semantics for a IWIM-Based Coordination Language
Graph Chatbot
Chattez avec Graph Search
Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.
The molecular complex [Re(equivalent toC(t)Bu)(=(CHBu)-Bu-t)((CH2Bu)-Bu-t)2] (1) reacts with a silica partially dehydroxylated at 700 degreesC to give syn-2, [(equivalent toSiO)Re(equivalent toC(t)Bu)(=(CHBu)-Bu-t)((CH2Bu)-Bu-t)], as a single isomer accord ...
D. functional (DFT) studies and hybrid QM/MM-DFT calcns. demonstrate the importance of p-p stacking interactions in detg. the structural features of two exemplary d8 palladium complexes, PdBr(p-NCC6H4)({S}-MeO-Biphep), 1, and PdBr(C6F5)({S}-MeO-Biphep), 2. ...
We present a method of formal description of the action semantics in smart objects. Smart objects were primarily used for behavioral animation in the past. We demonstrate, how a formally described semantics can be used for action planning purposes by intel ...
This paper presents first a formal development methodology that enables the validation of formal specifications as well as program codes wrt client's requirements. The methodology is based on the two languages framework: it advocates the joint use of a mod ...
The synthesis and characterization of a series of cobalt(III) complexes of the general type Co(N2O2)(L-2) are described. The N2O2 Schiff base ligands used are Me-salpn (H2Me-salpn = N,N'-bis(methylsalicylidene)-1,3-propylenediamine) (1-3) and Me-salbn ...
A DTPA-based chelate containing one phosphinate group was conjugated to a generation 5 polyamidoamine (PAMAM) dendrimer via a benzylthiourea linkage. The Gd(III) complex of this novel conjugate has potential as a contrast agent for magnetic resonance imagi ...
SEAM is an enterprise architecture method that defines a visual language for modeling. Our goal is to provide formal semantics for SEAM. Model simulation, model comparison, and refinement verification are practical benefits we expect from this formalizatio ...
The incommensurate palmierite-like structure of beta-K5Yb(MoO4)(4), potassium ytterbium tetramolydate, has been refined in the (3 + 1)- dimensional monoclinic superspace group X2/m(0 rho 0) 00, with X = [0 0 0 0; 1/2 1/2 0 0; 0 0 1/2 1/2; 1/2 1/2 1/2 1/2] ...
Upon reacting P4S3 with AgAl(hfip)4 and AgAl(pftb)4 [hfip = OC(H)(CF3)2; pftb = OC(CF3)3], the compds. Ag(P4S3)Al(hfip)4 (1) and Ag(P4S3)2+[Al(pftb)4]- (2) formed in CS2 or CS2/CH2Cl2 soln., resp. Compds. 1 and 2 were characterized by single-crystal x-ray ...
