The paper examines some doctrines of the Davidsonian Programme of truth conditional Semantics that relates truth to meaning using Tarski’s T-Convention,in relation to its efficacy in a semantic valuation of the EkeGu...The paper examines some doctrines of the Davidsonian Programme of truth conditional Semantics that relates truth to meaning using Tarski’s T-Convention,in relation to its efficacy in a semantic valuation of the EkeGusii proverb:Nda’indongi ereta morogi ereta moibi which exemplifies a kind of complex sentence that a given system of Semantics is meant to account for.The coverage of Davidsonian truth-conditional notion of T-convention and that of compositionality are considered to have only a partial reach in accounting for the meaning of the proverb by not incorporating pragmatic aspects.The failure of T-convention is not alleviated by the adoption of radical interpretation as posited by Davidson but is extended to consider aspects of pragmatic enrichment and dynamic Semantics.展开更多
A series of Cu-doped La-Ni intermetallic compounds(LaN5-xCux, x = 0-4) was studied. The bulk structure and surface composition of the samples were detected before and after they were used as catalyst for nitrobenzene ...A series of Cu-doped La-Ni intermetallic compounds(LaN5-xCux, x = 0-4) was studied. The bulk structure and surface composition of the samples were detected before and after they were used as catalyst for nitrobenzene hydrogennation. The catalytic properties of the intermetallic compounds depend on the surface region composition, especially on the valence of the metal ions.展开更多
Context-awareness is becoming critical for mo- bile and ubiquitous computing, where the application needs dynamically adapt its behavior to its execution environment. Context-oriented programming （COP） languages sup...Context-awareness is becoming critical for mo- bile and ubiquitous computing, where the application needs dynamically adapt its behavior to its execution environment. Context-oriented programming （COP） languages support dy- namic behavior adaptation, however, they do not support dy- namic layer addition. As a result, they provide little support for the runtime adaptation of application behavior in case that unpredictable execution environments are encountered. Furthermore, block-structured constructs for layer activation hardly support fine-grain adaptation and separate changes of contexts and execution of context-specific methods with dif- ficulty. In this paper, we propose a virtual machine （VM）- centric approach to address these issues. It incorporates ob- ject composition and delegation into the VM to implement layer activation, and extends existing VM services to sup- port dynamic layer addition. To ensure that our approach preserves the type safety properties of the program, we de- velop a calculus built on featherweight Java （FJ） to describe the approach, focus on type-checking issues, and prove type soundness of the calculus. We also present the implementa- tion and evaluation of our approach. The evaluation demon- strates that our approach has advantages over the compiler- based approach proposed by JCOP.展开更多
文摘The paper examines some doctrines of the Davidsonian Programme of truth conditional Semantics that relates truth to meaning using Tarski’s T-Convention,in relation to its efficacy in a semantic valuation of the EkeGusii proverb:Nda’indongi ereta morogi ereta moibi which exemplifies a kind of complex sentence that a given system of Semantics is meant to account for.The coverage of Davidsonian truth-conditional notion of T-convention and that of compositionality are considered to have only a partial reach in accounting for the meaning of the proverb by not incorporating pragmatic aspects.The failure of T-convention is not alleviated by the adoption of radical interpretation as posited by Davidson but is extended to consider aspects of pragmatic enrichment and dynamic Semantics.
文摘A series of Cu-doped La-Ni intermetallic compounds(LaN5-xCux, x = 0-4) was studied. The bulk structure and surface composition of the samples were detected before and after they were used as catalyst for nitrobenzene hydrogennation. The catalytic properties of the intermetallic compounds depend on the surface region composition, especially on the valence of the metal ions.
文摘Context-awareness is becoming critical for mo- bile and ubiquitous computing, where the application needs dynamically adapt its behavior to its execution environment. Context-oriented programming （COP） languages support dy- namic behavior adaptation, however, they do not support dy- namic layer addition. As a result, they provide little support for the runtime adaptation of application behavior in case that unpredictable execution environments are encountered. Furthermore, block-structured constructs for layer activation hardly support fine-grain adaptation and separate changes of contexts and execution of context-specific methods with dif- ficulty. In this paper, we propose a virtual machine （VM）- centric approach to address these issues. It incorporates ob- ject composition and delegation into the VM to implement layer activation, and extends existing VM services to sup- port dynamic layer addition. To ensure that our approach preserves the type safety properties of the program, we de- velop a calculus built on featherweight Java （FJ） to describe the approach, focus on type-checking issues, and prove type soundness of the calculus. We also present the implementa- tion and evaluation of our approach. The evaluation demon- strates that our approach has advantages over the compiler- based approach proposed by JCOP.
