A Write-Based Solver for SAT Modulo the Theory of Arrays

The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solver for arrays in the context of the DPLL(T) approach to SMT. The main characteristics of our solver are: (i) no translation of writes into reads is needed, (ii) there is no axiom instantiation, and (iii) the T-solver interacts with the Boolean engine by asking to split on equality literals between indices. As far as we know, this is the first accurate description of an array solver integrated in a state-of-the-art SMT solver and, unlike most state-of-the-art solvers, it is not based on a lazy instantiation of the array axioms. Moreover, it is very competitive in practice, specially on problems that require heavy reasoning on array literals

Empirical analysis of solid management waste costs: Some evidence from Galicia, Spain

This paper analyses the factors that determine solid waste service costs. The empirical analysis is based on information derived from a survey conducted in a sample of Galician municipalities. The results reveal economies of scale in municipalities of fewer than 50,000 inhabitants, such that cooperation between these municipalities could lead to cost savings. It also appears that private delivery is not cheaper than public delivery. Finally, designating a larger proportion of the total waste volume to recycling does not imply greater costs.

Climate Change and the Cost of Carbon Sequestration: The Case of Forest Management

The Kyoto protocol allows Annex I countries to deduct carbon sequestered by land use, land-use change and forestry from their national carbon emissions. Thornley and Cannell (2000) demonstrated that the objectives of maximizing timber and carbon sequestration are not complementary. Based on this finding, this paper determines the optimal selective management regime taking into account the underlying biophysical and economic processes. The results show that the net benefits of carbon storage only compensate the decrease in net benefits of timber production once the carbon price has exceeded a certain threshold value. The sequestration costs are significantly lower than previous estimates

Concepts and Reference. Defending a Dual Theory of Natural Kind Concepts

In this thesis I argue that the psychological study of concepts and categorisation, and the philosophical study of reference are deeply intertwined. I propose that semantic intuitions are a variety of categorisation judgements, determined by concepts, and that because of this, concepts determine reference. I defend a dual theory of natural kind concepts, according to which natural kind concepts have distinct semantic cores and non-semantic identification procedures. Drawing on psychological essentialism, I suggest that the cores consist of externalistic placeholder essence beliefs. The identification procedures, in turn, consist of prototypes, sets of exemplars, or possibly also theory-structured beliefs. I argue that the dual theory is motivated both by experimental data and theoretical considerations. The thesis consists of three interrelated articles. Article I examines philosophical causal and description theories of natural kind term reference, and argues that they involve, or need to involve, certain psychological elements. I propose a unified theory of natural kind term reference, built on the psychology of concepts. Article II presents two semantic adaptations of psychological essentialism, one of which is a strict externalistic Kripkean-Putnamian theory, while the other is a hybrid account, according to which natural kind terms are ambiguous between internalistic and externalistic senses. We present two experiments, the results of which support the strict externalistic theory. Article III examines Fodor’s influential atomistic theory of concepts, according to which no psychological capacities associated with concepts constitute them, or are necessary for reference. I argue, contra Fodor, that the psychological mechanisms are necessary for reference.

Approximation to the theory of affinities to manage the problems of the groupping process

New economic and enterprise needs have increased the interest and utility of the methods of the grouping process based on the theory of uncertainty. A fuzzy grouping (clustering) process is a key phase of knowledge acquisition and reduction complexity regarding different groups of objects. Here, we considered some elements of the theory of affinities and uncertain pretopology that form a significant support tool for a fuzzy clustering process. A Galois lattice is introduced in order to provide a clearer vision of the results. We made an homogeneous grouping process of the economic regions of Russian Federation and Ukraine. The obtained results gave us a large panorama of a regional economic situation of two countries as well as the key guidelines for the decision-making. The mathematical method is very sensible to any changes the regional economy can have. We gave an alternative method of the grouping process under uncertainty.

The theory of classical Greek music

Luettelointi kesken

Theory of surface noise under Coulomb correlations between carriers and surface states

We present a theory of the surface noise in a nonhomogeneous conductive channel adjacent to an insulating layer. The theory is based on the Langevin approach which accounts for the microscopic sources of fluctuations originated from trapping¿detrapping processes at the interface and intrachannel electron scattering. The general formulas for the fluctuations of the electron concentration, electric field as well as the current-noise spectral density have been derived. We show that due to the self-consistent electrostatic interaction, the current noise originating from different regions of the conductive channel appears to be spatially correlated on the length scale correspondent to the Debye screening length in the channel. The expression for the Hooge parameter for 1/f noise, modified by the presence of Coulomb interactions, has been derived

Self-consistent theory of current and voltage noise in multimode ballistic conductors

Electron transport in a self-consistent potential along a ballistic two-terminal conductor has been investigated. We have derived general formulas which describe the nonlinear current-voltage characteristics, differential conductance, and low-frequency current and voltage noise assuming an arbitrary distribution function and correlation properties of injected electrons. The analytical results have been obtained for a wide range of biases: from equilibrium to high values beyond the linear-response regime. The particular case of a three-dimensional Fermi-Dirac injection has been analyzed. We show that the Coulomb correlations are manifested in the negative excess voltage noise, i.e., the voltage fluctuations under high-field transport conditions can be less than in equilibrium.

Critical Success and Failure Factors of Knowledge Management Implementation in a Large Multinational Company

More and more companies are interested in implementing knowledge management. However, the majority of knowledge management initiatives will fail to have any significant impact. In this study, theories regarding knowledge management implementation and adoption are investigated further. The objective of this study is to deepen understanding regarding the critical factors that contribute to successful knowledge management adoption in large multinational companies. The study is formulated around the following four research questions: 1. What are the key success and failure factors in knowledge management implementation? 2. How can knowledge management adoption be improved at the individual, group and organizational levels of the company? 3. What are the critical factors that hinder knowledge management adoption in the case company? 4. How can the case company promote the adoption of knowledge management among company personnel? The methodology used in this study is a combination of a literature review and an explanatory, exploratory, qualitative single-case study. The literature review answers the first and second research questions. Based on the literature review, a framework is presented to illustrate the factors contributing to the success of knowledge management implementation. The framework also links together knowledge management implementation and adoption. The third research question is answered by revealing the relevant findings from 21 expert interviews and 2 online questionnaires with 42 respondents in total. By comparing and contrasting the results of the literature review with the findings of the empirical case study, the fourth research question is answered. The concrete outcomes of this study are a framework to elucidate the factors contributing to the success of knowledge management implementation, a case study highlighting the issues that hinder knowledge management adoption within the case company, and recommendations for the case company.

Master data quality management in a global enterprise

In a networked business environment the visibility requirements towards the supply operations and customer interface has become tighter. In order to meet those requirements the master data of case company is seen as an enabler. However the current state of master data and its quality are not seen good enough to meet those requirements. In this thesis the target of research was to develop a process for managing master data quality as a continuous process and find solutions to cleanse the current customer and supplier data to meet the quality requirements defined in that process. Based on the theory of Master Data Management and data cleansing, small amount of master data was analyzed and cleansed using one commercial data cleansing solution available on the market. This was conducted in cooperation with the vendor as a proof of concept. In the proof of concept the cleansing solution’s applicability to improve the quality of current master data was proved. Based on those findings and the theory of data management the recommendations and proposals for improving the quality of data were given. In the results was also discovered that the biggest reasons for poor data quality is the lack of data governance in the company, and the current master data solutions and its restrictions.

A brief introduction to molecular orbital theory of simple polyatomic molecules for undergraduate chemistry students

A simple, four-step method for better introducing undergraduate students to the fundamentals of molecular orbital (MO) theory of the polyatomic molecules H2O, NH3, BH3 and SiH4 using group theory is reported. These molecules serve to illustrate the concept of ligand group orbitals (LGOs) and subsequent construction of MO energy diagrams on the basis of molecular symmetry requirements.

Strategic Orientation of Knowledge Management: Influence on Company's Performance

Nowadays, the huge part of the most important research is done in the area of interaction of two or more fields of research. They open doors for new ideas and help to find that was not possible to find before, explain simple things, which was missed because of narrow vision. This research investigates the interconnection of strategy study and knowledge management. Well-known researches (e.g. Michael Zack, 2003) point out that organization should align its' knowledge management to strategy to gain success. But this is not well developed area yet. This research contributes to the growing knowledge of knowledge management - strategy alignment. The research tests the relation between strategic orientation of knowledge management and performance of the company. It also investigates the nature of strategy typology influence on strategic orientation of knowledge management. These two points have critical importance for development of this area. Moreover, it has management implication for those practitioners, who cares about sustainable success of their company based on knowledge.

Leibniz's theory of bodies: monadic aggregates, phenomena, or both?

Leibniz's conception of bodies seems to be a puzzling theory. Bodies are seen as aggregates of monads and as wellfounded phenomena. This has initiated controversy and unending discussions. The paper attempts to resolve the apparent inconsistencies by a new and formally spirited reconstruction of Leibniz's theory of monads and perception, on the one hand, and a (re-)formulation and precisation of his concept of preestablished harmony, on the other hand. Preestablished harmony is modelled basically as a covariation between the monadic and the ideal realm.