The Experts below are selected from a list of 63 Experts worldwide ranked by ideXlab platform
Carol Small - One of the best experts on this subject based on the ideXlab platform.
-
A formal semantics for an active functional DBPL
Journal of Intelligent Information Systems, 1996Co-Authors: Alexandra Poulovassilis, Swarup Reddi, Carol SmallAbstract:We describe how the functional database programming language PFL is extended with an active component without compromising either its declarative semantics or its syntax. We give a formal specification of the active component using PFL itself, including event specification and detection, Parameter-Binding, reaction scheduling and abort handling. We describe how a user-specified function can be cast as a primitive event, and discuss the expressiveness of events and the optimisation of event detection.
-
Rules in Database Systems - Extending a Functional DBPL with ECA-rules
Lecture Notes in Computer Science, 1995Co-Authors: Swarup Reddi, Alexandra Poulovassilis, Carol SmallAbstract:We describe how a functional database programming language can be extended with transactions and EGA-rules. Fundamental requirements of such an extension are that the declarative semantics of the language not be compromised, that the syntax of the language not be disrupted unduly, and that impedance mismatch problems be avoided. We define what we mean by events, conditions and actions and describe the semantics of EGA-rules with reference to event detection, Parameter-Binding, transaction scheduling and abort handling. We define the execution semantics for the EGA System in the language itself. These semantics form the basis of our implementation of the EGA System.
Lawrence J Stern - One of the best experts on this subject based on the ideXlab platform.
-
t cell activation by soluble mhc oligomers can be described by a two Parameter Binding model
Biophysical Journal, 2001Co-Authors: Jennifer D Stone, Jennifer R Cochran, Lawrence J SternAbstract:T-cell activation is essential for initiation and control of immune system function. T cells are activated by interaction of cell-surface antigen receptors with major histocompatibility complex (MHC) proteins on the surface of other cells. Studies using soluble oligomers of MHC-peptide complexes and other types of receptor cross-linking agents have supported an activation mechanism that involves T cell receptor clustering. Receptor clustering induced by incubation of T cells with MHC-peptide oligomers leads to the induction of T-cell activation processes, including downregulation of engaged receptors and upregulation of the cell-surface proteins CD69 and CD25. Dose-response curves for these T-cell activation markers are bell-shaped, with different maxima and midpoints, depending on the valency of the soluble oligomer used. In this study, we have analyzed the activation behavior using a mathematical model that describes the Binding of multivalent ligands to cell-surface receptors. We show that a simple equilibrium Binding model accurately describes the activation data for CD4(+) T cells treated with MHC-peptide oligomers of varying valency. The model can be used to predict activation and Binding behavior for T cells and MHC oligomers with different properties.
Alexandra Poulovassilis - One of the best experts on this subject based on the ideXlab platform.
-
A formal semantics for an active functional DBPL
Journal of Intelligent Information Systems, 1996Co-Authors: Alexandra Poulovassilis, Swarup Reddi, Carol SmallAbstract:We describe how the functional database programming language PFL is extended with an active component without compromising either its declarative semantics or its syntax. We give a formal specification of the active component using PFL itself, including event specification and detection, Parameter-Binding, reaction scheduling and abort handling. We describe how a user-specified function can be cast as a primitive event, and discuss the expressiveness of events and the optimisation of event detection.
-
Rules in Database Systems - Extending a Functional DBPL with ECA-rules
Lecture Notes in Computer Science, 1995Co-Authors: Swarup Reddi, Alexandra Poulovassilis, Carol SmallAbstract:We describe how a functional database programming language can be extended with transactions and EGA-rules. Fundamental requirements of such an extension are that the declarative semantics of the language not be compromised, that the syntax of the language not be disrupted unduly, and that impedance mismatch problems be avoided. We define what we mean by events, conditions and actions and describe the semantics of EGA-rules with reference to event detection, Parameter-Binding, transaction scheduling and abort handling. We define the execution semantics for the EGA System in the language itself. These semantics form the basis of our implementation of the EGA System.
Jennifer D Stone - One of the best experts on this subject based on the ideXlab platform.
-
t cell activation by soluble mhc oligomers can be described by a two Parameter Binding model
Biophysical Journal, 2001Co-Authors: Jennifer D Stone, Jennifer R Cochran, Lawrence J SternAbstract:T-cell activation is essential for initiation and control of immune system function. T cells are activated by interaction of cell-surface antigen receptors with major histocompatibility complex (MHC) proteins on the surface of other cells. Studies using soluble oligomers of MHC-peptide complexes and other types of receptor cross-linking agents have supported an activation mechanism that involves T cell receptor clustering. Receptor clustering induced by incubation of T cells with MHC-peptide oligomers leads to the induction of T-cell activation processes, including downregulation of engaged receptors and upregulation of the cell-surface proteins CD69 and CD25. Dose-response curves for these T-cell activation markers are bell-shaped, with different maxima and midpoints, depending on the valency of the soluble oligomer used. In this study, we have analyzed the activation behavior using a mathematical model that describes the Binding of multivalent ligands to cell-surface receptors. We show that a simple equilibrium Binding model accurately describes the activation data for CD4(+) T cells treated with MHC-peptide oligomers of varying valency. The model can be used to predict activation and Binding behavior for T cells and MHC oligomers with different properties.
Swarup Reddi - One of the best experts on this subject based on the ideXlab platform.
-
A formal semantics for an active functional DBPL
Journal of Intelligent Information Systems, 1996Co-Authors: Alexandra Poulovassilis, Swarup Reddi, Carol SmallAbstract:We describe how the functional database programming language PFL is extended with an active component without compromising either its declarative semantics or its syntax. We give a formal specification of the active component using PFL itself, including event specification and detection, Parameter-Binding, reaction scheduling and abort handling. We describe how a user-specified function can be cast as a primitive event, and discuss the expressiveness of events and the optimisation of event detection.
-
Rules in Database Systems - Extending a Functional DBPL with ECA-rules
Lecture Notes in Computer Science, 1995Co-Authors: Swarup Reddi, Alexandra Poulovassilis, Carol SmallAbstract:We describe how a functional database programming language can be extended with transactions and EGA-rules. Fundamental requirements of such an extension are that the declarative semantics of the language not be compromised, that the syntax of the language not be disrupted unduly, and that impedance mismatch problems be avoided. We define what we mean by events, conditions and actions and describe the semantics of EGA-rules with reference to event detection, Parameter-Binding, transaction scheduling and abort handling. We define the execution semantics for the EGA System in the language itself. These semantics form the basis of our implementation of the EGA System.