Search
Now showing items 1-10 of 143
IWIM semantics via fibred automata
(2002)
Coordination programming helps to separate concerns in the programming of the coordination activities in complex applications software. It separates the development, verification, maintenance, and reuse of the coordination ...
Search for chargino-neutralino production in pp̄ collisions at s=1.96TeV
(2007)
We present a search for associated production of the chargino and neutralino supersymmetric particles using up to 1.1fb-1 of integrated luminosity collected by the CDF II experiment at the Tevatron pp̄ collider at s=1.96TeV. ...
On supporting security and privacy-preserving interaction through adaptive usable security
(2014)
The purpose of this paper is to propose a preliminary framework for supporting usable security on the World Wide Web through adaptivity in user interface designs. In particular we elaborate the concept of "Adaptive Usable ...
Studying the effect of human cognition on user authentication tasks
(2013)
This paper studies the effect of individual differences in human cognition on user performance in authentication tasks. In particular, a text-based password and a recognition-based graphical authentication mechanism were ...
Influence of oxychlorination treatments on the redox and oxygen storage and release properties of thermally aged Pd-Rh/CexZr1-xO 2/Al2O3 model three-way catalysts
(2005)
Model Pd-Rh/Al2O3 three-way catalysts with and without CexZr1-xO2 as oxygen storage component have been compared in their fresh, thermally aged and oxychlorinated treated surface states to determine the potential regenerating ...
Crafting the mind of prosocs agents
(2006)
PROSOCS agents are software agents that are built according to the KGP model of agency. KGP is used as a model for the mind of the agent, so that the agent can act autonomously using a collection of logic theories, providing ...
Extended semantics and optimization algorithms for CP-networks
(2004)
Preference elicitation is a serious bottleneck in many decision support applications and agent specification tasks. Ceteris paribus (CP)-nets were designed to make the process of preference elicitation simpler and more ...
Synthesis and characterization of polyampholytic model networks: Effects of polymer composition and architecture
(2002)
Synthesis and characterization of polyampholytic model networks were studied using group transfer polymerization (GTP). The degrees of swelling (DSs) of all the polyampholytic networks were also measured as a function of ...
Efficient bufferless packet switching on trees and leveled networks
(2007)
In bufferless networks the packets cannot be buffered while they are in transit
Effects of hofmeister anions on DPPC langmuir monolayers at the air-water interface
(2004)
In this work we investigated the effect of sodium salts of different monovalent anions belonging to the Hofmeister series on Langmuir monolayers of DPPC (1,2-dipalmitoyl phosphatidylcholine). The salts used were NaCl, NaBr, ...