19 Result(s)

Chapter and Conference Paper

Transcriptional Response of SK-N-AS Cells to Methamidophos (Extended Abstract)

Transcriptomics response of SK-N-AS cells to methamidophos (an acetylcholine esterase inhibitor) exposure was measured at 10 time points between 0.5 and 48 h. The data was analyzed using a combination of trad...

Akos Vertes, Albert-Baskar Arul, Peter Avar… in Computational Methods in Systems Biology (2019)

Chapter and Conference Paper

Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data

Identifying the mechanism of action (MoA) of an unknown, possibly novel, substance (chemical, protein, or pathogen) is a significant challenge. Biologists typically spend years working out the MoA for known co...

Akos Vertes, Albert-Baskar Arul, Peter Avar… in Computational Methods in Systems Biology (2018)

Article

Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude

This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast protocol components. Because...

Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott in Formal Methods in System Design (2006)

Article

Specification Diagrams for Actor Systems

Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specifying message-passing behavior that is expres...

Scott F. Smith, Carolyn L. Talcott in Higher-Order and Symbolic Computation (2002)

Chapter and Conference Paper

Towards a Toolkit for Actor System Specification

This paper represents a first step towards develo** a toolkit for modular reasoning about components of object-based open distributed systems. Our starting point is the actor theory framework [10],[11], a gener...

Carolyn L. Talcott in Algebraic Methodology and Software Technology (2000)

Chapter and Conference Paper

Composing and Controlling Search in Reasoning Theories Using Map**s

Reasoning theories can be used to specify heterogeneous reasoning systems. In this paper we present an equational version of reasoning theories, and we study their structuring and composition, and the use of a...

Alessandro Coglio, Fausto Giunchiglia, José Meseguer… in Frontiers of Combining Systems (2000)

Article

Introduction

Olivier Danvy, Carolyn L. Talcott in Higher-Order and Symbolic Computation (1998)

Article

Composable Semantic Models for Actor Theories

We are interested in develo** a semantic foundation that supports specifying, composing, and reasoning about components of open distributed systems. The actor model provides the basic elements for open distr...

Carolyn L. Talcott in Higher-Order and Symbolic Computation (1998)

Article

Using Abstract Resources to Control Reasoning

Many formalisms for reasoning about knowing commit an agent to be logically omniscient. Logical omniscience is an unrealistic principle for us to use to build a real-world agent, since it commits the agent to ...

Richard W. Weyhrauch, Marco Cadoli… in Journal of Logic, Language and Information (1998)

Chapter and Conference Paper

A semantics preserving actor translation

In this paper we present two actor languages and a semantics preserving translation between them. The source of the translation is a high-level language that provides object-based programming abstractions. The...

Ian A. Mason, Carolyn L. Talcott in Automata, Languages and Programming (1997)

Chapter and Conference Paper

Composable semantic models for actor theories

We define three semantic models for actor computation starting with a generalization to open systems of Clinger's event diagram model, and forming two abstractions: interaction diagrams and interaction paths. ...

Carolyn L. Talcott in Theoretical Aspects of Computer Software (1997)