‡ Partially supported by FCT/PRAXIS XXI, Portugal, grant number BD/21595/99. ¥ Partially supported by CNPq, Brazil, grant number 301041/95-4, and by project MAPPEL (PROTEM-CC, CNPq/NSF), grant number 680033/99-8. Abstract. In this paper we propose an emergence-driven software process for agent-based simulation that clarifies the traceability of micro and macro observations to micro and macro sp...

Wolf is a “push-button” model checker for concurrent C programs developed in IBM Haifa. It automatically generates both the model and the specification directly from the C code. Currently, Wolf uses BDD-based symbolic methods integrated with a guided search framework. According to our experiments, these methods complement explicit exploration methods of software model checking.

The latest IBM zSeriest processor, the IBM System z10e processor, provides hardware support for the decimal floating-point (DFP) facility that was introduced on the IBM System z9t processor. The z9t processor implements the facility with a mixture of low-level software and hardware assists. Recently, the IBM POWER6e processor-based System pe 570 server introduced a hardware implementation of th...

We study a model of primacy effect on individual's attitude. Typically, when receiving a strong negative feature first, the individual keeps a negative attitude whatever the number of moderate positive features it receives afterwards. We consider a population of individuals, which receive the features from a media, and communicate with each other. We observe that interactions favour the primacy...

We present a simple log-linear reparameterization of IBM Model 2 that overcomes problems arising from Model 1’s strong assumptions and Model 2’s overparameterization. Efficient inference, likelihood evaluation, and parameter estimation algorithms are provided. Training the model is consistently ten times faster than Model 4. On three large-scale translation tasks, systems built using our alignm...

Bu çalışmada, A50 bölgesindeki bulunan bazı çift-çift Fe izotoplarının nükleer yapı özellikleri etkileşen bozon modeli–1 (IBM-1) ile incelenmiştir. incelemede, 50,52,56,58Fe enerji seviyeleri ve elektromanyetik geçiş oranları hesaplanmıştır. Hesaplamalar, temel banttaki ilk 4_1^+ 2_1^+ seviyelerinin oranlarını ("R" _("4" ^"+" "/" "2" )), deneysel verileri bilinen diğer seviyelerini, B(E2) değe...

Most techniques for speaker verification today use Gaussian Mixture Models (GMMs) and make the decision by comparing the likelihood of the speaker model to the likelihood of a universal background model (UBM). The paper proposes to replace the UBM by an individual background model (IBM) that is generated for each speaker. The IBM is created using the K-nearest cohort models and the UBM by a sim...

Understanding the emergence of the complex organization of biofilms from the interactions of its parts, individual cells and their environment, is the aim of the individual-based modelling (IbM) approach. This IbM is version 2 of BacSim, a model of Escherichia coli colony growth, which was developed into a two-dimensional multi-substrate, multi-species model of nitrifying biofilms. It was compa...

In this paper, we investigate lexicon models for hierarchical phrase-based statistical machine translation. We study five types of lexicon models: a model which is extracted from word-aligned training data and—given the word alignment matrix—relies on pure relative frequencies [1]; the IBM model 1 lexicon [2]; a regularized version of IBM model 1; a triplet lexicon model variant [3]; and a disc...