We sketch a variant of the KGP agent model tailored to support service composition in service-oriented architectures. This allows to handle: user requirements, abstract and concrete workflows, possibly with annotations, inter-agent communication for supporting negotiation and persuasion, consultation of registries. We identify argumentation as core for Service-Oriented Architectures, and ground...

Günümüzün en önemli yapı malzemelerinden biri olan betonun farklı özel çeşitleri bulunmaktadır. Bunlardan biride hafif betonlardır. Hafif betonlar (HB) üzerinde yapılan çalışmalarla birim ağırlıkları azaltılmakta ve üretilen betonlara ultra beton denilmektedir (UHB). Birim azaltılmaya çalışılırken basınç dayanımı, ses emme özelliği, ısıl iletkenlikleri, yangına dona dayanıklılıkları gibi özelli...

In recent years, the Lamb wave analysis by the multi-channel analysis of surface waves (MASW) for concrete structures has been an effective nondestructive evaluation, such as the condition assessment and dimension identification by the elastic wave velocities and their reflections from boundaries. This study proposes an effective Lamb wave analysis by the practical application of MASW to concre...

We analyze the concrete security provided by a signature scheme described in a recent Internet Draft by McGrew and Curcio.

This section formalizes a simple probabilistic imperative language, ProbCore, and Mayhap’s distribution extraction process. We describe ProbCore’s syntax, a concrete semantics for nondeterministic run-time execution, and a symbolic semantics for distribution extraction. Executing a ProbCore program under the symbolic semantics produces a Bayesian network for a passert statement. We prove this e...