On linear order and computation : The expressiveness of interactive computations on linear orders and computations indexed by ordinals

We solve the Dynamic Ehrenfeucht-Fra\"iss\'e Game on linear orders for both players, yielding a normal form for quantifier-rank equivalence classes of linear orders in first-order logic, infinitary logic, and generalized-infinitary logics with linearly ordered clocks. We show that Scott Sentences can be manipulated quickly, classified into local information, and consistency can be decided effectively in the length of the Scott Sentence. We describe a finite set of linked automata moving continuously on a linear order. Running them on ordinals, we compute the ordinal truth predicate and compute truth in the constructible universe of set-theory. Among the corollaries are a study of semi-models as efficient database of both model-theoretic and formulaic information, and a new proof of the atomicity of the Boolean algebra of sentences consistent with the theory of linear order -- i.e., that the finitely axiomatized theories of linear order are dense.

Algorithms for Exact Structure Discovery in Bayesian Networks

Bayesian networks are compact, flexible, and interpretable representations of a joint distribution. When the network structure is unknown but there are observational data at hand, one can try to learn the network structure. This is called structure discovery. This thesis contributes to two areas of structure discovery in Bayesian networks: space--time tradeoffs and learning ancestor relations. The fastest exact algorithms for structure discovery in Bayesian networks are based on dynamic programming and use excessive amounts of space. Motivated by the space usage, several schemes for trading space against time are presented. These schemes are presented in a general setting for a class of computational problems called permutation problems; structure discovery in Bayesian networks is seen as a challenging variant of the permutation problems. The main contribution in the area of the space--time tradeoffs is the partial order approach, in which the standard dynamic programming algorithm is extended to run over partial orders. In particular, a certain family of partial orders called parallel bucket orders is considered. A partial order scheme that provably yields an optimal space--time tradeoff within parallel bucket orders is presented. Also practical issues concerning parallel bucket orders are discussed. Learning ancestor relations, that is, directed paths between nodes, is motivated by the need for robust summaries of the network structures when there are unobserved nodes at work. Ancestor relations are nonmodular features and hence learning them is more difficult than modular features. A dynamic programming algorithm is presented for computing posterior probabilities of ancestor relations exactly. Empirical tests suggest that ancestor relations can be learned from observational data almost as accurately as arcs even in the presence of unobserved nodes.

Viestintää valtuustossa : Valtuutettujen viestintätyyli ja käsitys Helsingin kaupunginvaltuuston kokouksien viestinnästä

The goal of the study was to determine the kind of communication used in the meetings of the City Council. Councillors' addresses were studied by observing their communication styles. A questionnaire was used to study councillors' perception of communication in council meetings as perceived communication climate. A second goal of the study was to develop a method for analysing communication style. The nature of the study was a longitudinal case study. Studies of speech communication at the individual level and those of organisational communication at the community level served as the theoretical frame of reference. Due to the chosen object of study, political research and communication context shaped the frame of reference for the study. Verbal, nonverbal and paraverbal characteristics form the communication style. The perceived communication climate is dynamic in nature and consists of characteristics. The research material was gathered from the meetings of the Helsinki City Council held from 1993 to 1996. The communication style was analysed from meeting addresses (N=1271) given by the permanent members (N=95) of the council. The perceived communication climate was studied using a questionnaire modified from Wiio's OCD2 questionnaire. The questionnaire survey was carried out twice. The first time, 58 questionnaires (68%) were returned and, the second time, 49 questionnaires (58%) were returned. The method of analysis used for communication style was classification and cross tabulation. Based on the subset of material for the first year, five communication style categories were defined Communication style was examined using gender, length of council membership, and political party as subgroups. The results related to the perceived communication climate were analysed as averages and percentages. A comparison of the results from two different measuring times revealed how the perceived communication climate changed during a council term. The finding of the study was that the municipal politicians could be placed in all five communication style categories in each year of their four-year council term. The sizes of the style categories varied only little in the different years. A relatively stable - rather than changing - communication style was more characteristic of individuals during a council term. Gender did not explain an individual's communication style. On the other hand, the length of service in the council and, to some extent, the political party were connected with a certain communication style. Changes in style mainly manifested themselves as variation in communication activity so that activity was highest at the beginning and at the end of the council term. The method of researching communication style developed for this study proved to be functional, though labour-consuming. The perceived communication climate in the Helsinki City Council was good. Women's and men's satisfaction with the communication in the council differed; women's perception became considerably more positive at the end of the council term. Satisfaction with the communication in the council was characteristic of the Coalition Party and the Social Democrat councillors and dissatisfaction was characteristics of the Green councillors. Long council experience increased satisfaction with communication in the council. Only in the case of a few style categories was it possible to show any connection between the communication style and the perceived communication climate. The study confirmed the perception that an individual's communication style in the same communication context was relatively stable in the long term as well.

Coherent quantum Boltzmann equations from cQPA

We reformulate and extend our recently introduced quantum kinetic theory for interacting fermion and scalar fields. Our formalism is based on the coherent quasiparticle approximation (cQPA) where nonlocal coherence information is encoded in new spectral solutions at off-shell momenta. We derive explicit forms for the cQPA propagators in the homogeneous background and show that the collision integrals involving the new coherence propagators need to be resummed to all orders in gradient expansion. We perform this resummation and derive generalized momentum space Feynman rules including coherent propagators and modified vertex rules for a Yukawa interaction. As a result we are able to set up self-consistent quantum Boltzmann equations for both fermion and scalar fields. We present several examples of diagrammatic calculations and numerical applications including a simple toy model for coherent baryogenesis.