Causation and dominance : a study of Finnish causative verbs expressing social dominance

En väsentlig fråga inom såväl lingvistiska som kognitiva teorier är, hur språket beskriver kausala relationer. I finskan finns det en speciell typ av kausativa verb avledda med suffixet (U)ttA som används för att uttrycka att handlingen i fråga utförs av någon annan än subjektreferenten, t.ex. Maija haetuttaa Matilla kirjastosta kirjan ’Maija låter Matti hämta boken från biblioteket’ och Matti juoksuttaa Maijan kaupunkiin ’Matti låter Maija springa till staden’. Syftet med denna avhandling var att med exempel av sociala dominansens kausativer undersöka ordbildningens natur samt begreppet ’socialt förorsakande’. För att beskriva avledningars regelbundna argumentstruktur i form av kopplingen mellan syntaxen och semantiken upprättades deras prototypiska strukturer. Dessa verb har emellertid också specifika användningsområden som framhäver variationer i sociala relationer. Säregna egenskaper hos den sociala dominansens kausativer inkluderades i undersökningen och definierades som konstruktioner. Konstruktionerna omfattar speciella syntaktiska och/eller semantiska element och utöver det också pragmatiska värderande implikationer. Uppbyggnaden av den sociala dimensionen hos de undersökta verben består av egenskaper förbundna med typen av förorsakande, argumentens agentiva egenskaper (aktivitet eller passivitet, dominans, kontroll, viljestyrdhet och ansvarighet) samt konventionaliserade attityder och tolkningar. Ett exempel på en s.k. 'tolkningskonstruktion’ är den negativa dominansens uttryck som i avhandlingen kallas Maktmissbrukskonstruktionen. Denna konstruktion inkluderar talarens starkt kritiska hållning till den uttryckta situationen, t.ex. Asiakas juoksuttaa lentoemäntää ’Kunden låter flygvärdinnan springa’. Dessa konstruktioner fyller en viktig funktion i språklig kommunikation: att beskriva avvikande av sociala normer och att foga expressivitet till budskapet. Metodologiskt kombinerar denna avhandling teorier som baseras på det aktuella språkbruket och teoretisk lingvistisk analys. Verbens samt konstruktionernas konceptuella lexikala struktur och prototypstrukturerna analyserades med hjälp av den konceptuella semantikens verktyg, som har utvecklats av Jackendoff, Nikanne och Pörn.

AGRICULTURAL MACHINERY AND IMPLEMENTS DESIGN PROCESS: GUIDELINES FOR SMALL AND MID-SIZED BUSINESSES

ABSTRACT This study aims at presenting the process of machine design and agricultural implements by means of a reference model, formulated with the purpose of explaining the development activities of new products, serving as a guideline to coach human resources and to assist in formalizing the process in small and medium-sized businesses (SMB), i.e. up to 500 employees. The methodology used included the process modeling, carried out from case studies in the SMB, and the study of reference models in literature. The modeling formalism used was based on the IDEF0 standard, which identifies the dimensions required for the model detailing: input information; activities; tasks; knowledge domains; mechanisms; controls and information produced. These dimensions were organized in spreadsheets and graphs. As a result, a reference model with 27 activities and 71 tasks was obtained, distributed over four phases of the design process. The evaluation of the model was carried out by the companies participating in the case studies and by experts, who concluded that the model explains the actions needed to develop new products in SMB.

Conservation laws for non-potential operators

The aim of this work is to study the conservation laws of continuous means mechanics and also to extend the Hamiltonian method for these kind of systems in order to valid for non-potential operators through variational approach. Besides illustrating with various examples of mechanical applications we also introduce in this work the new technique in order to treat such problems as the non-potential problem.

Lagrangian multipliers for coast-arcs of optimum space trajectories

Some properties of generalized canonical systems - special dynamical systems described by a Hamiltonian function linear in the adjoint variables - are applied in determining the solution of the two-dimensional coast-arc problem in an inverse-square gravity field. A complete closed-form solution for Lagrangian multipliers - adjoint variables - is obtained by means of such properties for elliptic, circular, parabolic and hyperbolic motions. Classic orbital elements are taken as constants of integration of this solution in the case of elliptic, parabolic and hyperbolic motions. For circular motion, a set of nonsingular orbital elements is introduced as constants of integration in order to eliminate the singularity of the solution.

Quantitative refinement of reaction-based biomodels

In the field of molecular biology, scientists adopted for decades a reductionist perspective in their inquiries, being predominantly concerned with the intricate mechanistic details of subcellular regulatory systems. However, integrative thinking was still applied at a smaller scale in molecular biology to understand the underlying processes of cellular behaviour for at least half a century. It was not until the genomic revolution at the end of the previous century that we required model building to account for systemic properties of cellular activity. Our system-level understanding of cellular function is to this day hindered by drastic limitations in our capability of predicting cellular behaviour to reflect system dynamics and system structures. To this end, systems biology aims for a system-level understanding of functional intraand inter-cellular activity. Modern biology brings about a high volume of data, whose comprehension we cannot even aim for in the absence of computational support. Computational modelling, hence, bridges modern biology to computer science, enabling a number of assets, which prove to be invaluable in the analysis of complex biological systems, such as: a rigorous characterization of the system structure, simulation techniques, perturbations analysis, etc. Computational biomodels augmented in size considerably in the past years, major contributions being made towards the simulation and analysis of large-scale models, starting with signalling pathways and culminating with whole-cell models, tissue-level models, organ models and full-scale patient models. The simulation and analysis of models of such complexity very often requires, in fact, the integration of various sub-models, entwined at different levels of resolution and whose organization spans over several levels of hierarchy. This thesis revolves around the concept of quantitative model refinement in relation to the process of model building in computational systems biology. The thesis proposes a sound computational framework for the stepwise augmentation of a biomodel. One starts with an abstract, high-level representation of a biological phenomenon, which is materialised into an initial model that is validated against a set of existing data. Consequently, the model is refined to include more details regarding its species and/or reactions. The framework is employed in the development of two models, one for the heat shock response in eukaryotes and the second for the ErbB signalling pathway. The thesis spans over several formalisms used in computational systems biology, inherently quantitative: reaction-network models, rule-based models and Petri net models, as well as a recent formalism intrinsically qualitative: reaction systems. The choice of modelling formalism is, however, determined by the nature of the question the modeler aims to answer. Quantitative model refinement turns out to be not only essential in the model development cycle, but also beneficial for the compilation of large-scale models, whose development requires the integration of several sub-models across various levels of resolution and underlying formal representations.

Politbyroon oopperat

Kirjallisuusarvostelu

Formal modelling for digital media distribution

Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological progress made it possible to create a recording of a phenomenon; first as an analogue recording onto a physical object, and later digitally, as a sequence of bits to be interpreted by a computer. By the end of the 20th century technological advances had made it feasible to distribute media content over a computer network instead of on physical objects, thus enabling the concept of digital media distribution. Many digital media distribution systems already exist, and their continued, and in many cases increasing, usage is an indicator for the high interest in their future enhancements and enriching. By looking at these digital media distribution systems, we have identified three main areas of possible improvement: network structure and coordination, transport of content over the network, and the encoding used for the content. In this thesis, our aim is to show that improvements in performance, efficiency and availability can be done in conjunction with improvements in software quality and reliability through the use of formal methods: mathematical approaches to reasoning about software so that we can prove its correctness, together with the desirable properties. We envision a complete media distribution system based on a distributed architecture, such as peer-to-peer networking, in which different parts of the system have been formally modelled and verified. Starting with the network itself, we show how it can be formally constructed and modularised in the Event-B formalism, such that we can separate the modelling of one node from the modelling of the network itself. We also show how the piece selection algorithm in the BitTorrent peer-to-peer transfer protocol can be adapted for on-demand media streaming, and how this can be modelled in Event-B. Furthermore, we show how modelling one peer in Event-B can give results similar to simulating an entire network of peers. Going further, we introduce a formal specification language for content transfer algorithms, and show that having such a language can make these algorithms easier to understand. We also show how generating Event-B code from this language can result in less complexity compared to creating the models from written specifications. We also consider the decoding part of a media distribution system by showing how video decoding can be done in parallel. This is based on formally defined dependencies between frames and blocks in a video sequence; we have shown that also this step can be performed in a way that is mathematically proven correct. Our modelling and proving in this thesis is, in its majority, tool-based. This provides a demonstration of the advance of formal methods as well as their increased reliability, and thus, advocates for their more wide-spread usage in the future.

Of empty thoughts and blind intuitions Kant's answer to McDowell

This paper examines the relation between intuition and concept in Kant in light of John McDowell's neo-Kantian position that intuitions are concept-laden.2 The focus is on Kant's twofold pronouncement that thoughts without content are empty and that intuitions without concepts are blind. I show that intuitions as singular representations are not instances of passive data intake but the result of synthetic unification of the given manifold of the senses by the power of the imagination under the guidance of the understanding. Against McDowell I argue that the amenability of intuitions to conceptual determination is not due some pre-existing, absolute conceptuality of the real but to the "work of the subject."3 On a more programmatic level, this paper seeks to demonstrate the limitations of a selective appropriation of Kant and the philosophical potential of a more comprehensive and thorough consideration of his work. Section 1 addresses the unique balance in Kant's philosophy between the work on particular problems and the orientation toward a systematic whole. Section 2 outlines McDowell's take on the Kantian distinction between intuition and concept in the context of the Kant readings by Sellars and Strawson. Section 3 exposes McDowell's relapse into the Myth of the Given. Section 4 proposes a reading of Kant's theoretical philosophy as an epistemology of metaphysical cognition. Section 5 details Kant's original account of sensible intuition in the Inaugural-Dissertation of 1770. Section 6 presents the transition from the manifold of the senses to the synthesis in the imagination and the unification through the categories in the Critique of pure reason (1781 and 1787). Section 7 addresses Kant's formalism in epistemology and metaphysics.

On the Beautiful and the Ugly

Classical aesthetics sees the experience of the beautiful as an anthropological necessity. But, in fact, the beautiful is rather the central category designating classical art, and one can question the relevance of this category considering contemporary art. The reference term most frequently used for contemporary art is interesting: works of art solicit the interests of my faculties (the cognitive-intellectual, the pragmatic community-oriented moral, the affective aesthetic faculties). It is interesting to notice that the categories of the beautiful and the ugly have an axiological-moral value. It looks as if the qualities of contemporary art works are judged according to the intensity of the impact on the interests of our faculties. It reveals important, in this respect, to distinguish the ugly from the sublime and the monstrous. Kant’s Third Critique is of some importance in defining these categories.

Calculation of the magnetic field penetration depth for high-Tc cuprate superconductors based on the Interlayer Pair Tunneling model /

In this work, the magnetic field penetration depth for high-Tc cuprate superconductors is calculated using a recent Interlayer Pair Tunneling (ILPT) model proposed by Chakravarty, Sudb0, Anderson, and Strong [1] to explain high temperature superconductivity. This model involves a "hopping" of Cooper pairs between layers of the unit cell which acts to amplify the pairing mechanism within the planes themselves. Recent work has shown that this model can account reasonably well for the isotope effect and the dependence of Tc on nonmagnetic in-plane impurities [2] , as well as the Knight shift curves [3] and the presence of a magnetic peak in the neutron scattering intensity [4]. In the latter case, Yin et al. emphasize that the pair tunneling must be the dominant pairing mechanism in the high-Tc cuprates in order to capture the features found in experiments. The goal of this work is to determine whether or not the ILPT model can account for the experimental observations of the magnetic field penetration depth in YBa2Cu307_a7. Calculations are performed in the weak and strong coupling limits, and the efi"ects of both small and large strengths of interlayer pair tunneling are investigated. Furthermore, as a follow up to the penetration depth calculations, both the neutron scattering intensity and the Knight shift are calculated within the ILPT formalism. The aim is to determine if the ILPT model can yield results consistent with experiments performed for these properties. The results for all three thermodynamic properties considered are not consistent with the notion that the interlayer pair tunneling must be the dominate pairing mechanism in these high-Tc cuprate superconductors. Instead, it is found that reasonable agreement with experiments is obtained for small strengths of pair tunneling, and that large pair tunneling yields results which do not resemble those of the experiments.

Diffusion Monte Carlo study of electronic properties for H and Be atoms /

We examined three different algorithms used in diffusion Monte Carlo (DMC) to study their precisions and accuracies in predicting properties of isolated atoms, which are H atom ground state, Be atom ground state and H atom first excited state. All three algorithms — basic DMC, minimal stochastic reconfiguration DMC, and pure DMC, each with future-walking, are successfully impletmented in ground state energy and simple moments calculations with satisfactory results. Pure diffusion Monte Carlo with future-walking algorithm is proven to be the simplest approach with the least variance. Polarizabilities for Be atom ground state and H atom first excited state are not satisfactorily estimated in the infinitesimal differentiation approach. Likewise, an approach using the finite field approximation with an unperturbed wavefunction for the latter system also fails. However, accurate estimations for the a-polarizabilities are obtained by using wavefunctions that come from the time-independent perturbation theory. This suggests the flaw in our approach to polarizability estimation for these difficult cases rests with our having assumed the trial function is unaffected by infinitesimal perturbations in the Hamiltonian.

Ultrasonic attenuation in layered superconductors /

We study the ultrasonic attenuation in layered superconductors using the Green's function formalism. General expressions are derived analytically and then calculated numerically by taking the nearest and next-nearest interactions in a disordered layered superconductor with random hoppings. Our results show huge anisotropics of ultrasonic attenuation in the superconductors and the strong dependence of ultrasonic attenuation on the temperature and the direction of polarization of the sound wave.

Legal education in crisis: healing and humanizing Canadian law schools /

Western law schools are suffering from an identity and moral crisis. Many of the legal profession's problems can be traced to the law school environment, where students are taught to reason and practice in ways that are often at odds with their own personalities and values and even with generally accepted psychologically healthy practices. The idealism, ethic of care, and personal moral compasses of many students become eroded and even lost in the present legal education system. Formalism, rationalism, elitism, and big business values have become paramount. In such a moment of historical crisis, there exists the opportunity to create a new legal education story. This paper is a conceptual study of both my own Canadian legal education and the general legal education experience. It examines core problems and critiques of the existing Western legal education organizational and pedagogical paradigm to which Canadian law schools adhere. New approaches with the potential to enrich, humanize, and heal the Canadian law school experience are explored. Ultimately, the paper proposes a legal education system that is more interdisciplinary, theoretically and practically integrated, emotionally intelligent, technologically connected, morally accountable, spiritual, and humane. Specific pedagogical and curricular strategies are suggested, and recommendations for the future are offered. The dehumanizing aspects of the law school experience in Canada have rarely been studied. It is hoped that this thesis will fill a gap in the research and provide some insight into an issue that is of both academic and public importance, since the well-being of law students and lawyers affects the interests of their clients, the general public, and the integrity and future of the entire legal system.

Interaction between vortices and impurities in a d-wave superconductor /

High temperature superconductors were discovered in 1986, but despite considerable research efforts, both experimental and theoretical, these materials remain poorly understood. Because their electronic structure is both inhomogeneous and highly correlated, a full understanding will require knowledge of quasiparticle properties both in real space and momentum space. In this thesis, we will present a theoretical analysis of the scanning tunneling microscopy (STM) data in BSCCO. We introduce the Bogoliubov-De Gennes Hamiltonian and solve it numerically on a two-dimensional 20 x 20 lattice under a magnetic field perpendicular to the surface. We consider a vortex at the center of our model. We introduce a Zn impurity in our lattice as a microscopic probe of the physical properties of BSCCO. By direct numerical diagonalization of the lattice BogoliubovDe Gennes Hamiltonian for different positions of the impurity, we can calculate the interaction between the vortex and the impurity in a d-wave superconductor.

On the equation of state and atomic mean square displacement of crystals

We have presented a Green's function method for the calculation of the atomic mean square displacement (MSD) for an anharmonic Hamil toni an . This method effectively sums a whole class of anharmonic contributions to MSD in the perturbation expansion in the high temperature limit. Using this formalism we have calculated the MSD for a nearest neighbour fcc Lennard Jones solid. The results show an improvement over the lowest order perturbation theory results, the difference with Monte Carlo calculations at temperatures close to melting is reduced from 11% to 3%. We also calculated the MSD for the Alkali metals Nat K/ Cs where a sixth neighbour interaction potential derived from the pseudopotential theory was employed in the calculations. The MSD by this method increases by 2.5% to 3.5% over the respective perturbation theory results. The MSD was calculated for Aluminum where different pseudopotential functions and a phenomenological Morse potential were used. The results show that the pseudopotentials provide better agreement with experimental data than the Morse potential. An excellent agreement with experiment over the whole temperature range is achieved with the Harrison modified point-ion pseudopotential with Hubbard-Sham screening function. We have calculated the thermodynamic properties of solid Kr by minimizing the total energy consisting of static and vibrational components, employing different schemes: The quasiharmonic theory (QH), ).2 and).4 perturbation theory, all terms up to 0 ().4) of the improved self consistent phonon theory (ISC), the ring diagrams up to o ().4) (RING), the iteration scheme (ITER) derived from the Greens's function method and a scheme consisting of ITER plus the remaining contributions of 0 ().4) which are not included in ITER which we call E(FULL). We have calculated the lattice constant, the volume expansion, the isothermal and adiabatic bulk modulus, the specific heat at constant volume and at constant pressure, and the Gruneisen parameter from two different potential functions: Lennard-Jones and Aziz. The Aziz potential gives generally a better agreement with experimental data than the LJ potential for the QH, ).2, ).4 and E(FULL) schemes. When only a partial sum of the).4 diagrams is used in the calculations (e.g. RING and ISC) the LJ results are in better agreement with experiment. The iteration scheme brings a definitive improvement over the).2 PT for both potentials.