Keskiajan loppu ja yksi hullu mylläri

Kirja-arvio

Estudo teórico da estrutura eletrônica e da dinâmica induzida por lasers da molécula de HCl

Potential energy and dipole moment curves for the HCl molecule were computed. Calculations were performed at different levels of theory (DFT, MRCI). Spectroscopic properties are reported and compared with experimental data, for validating the theoretical approaches. Interaction of infrared radiation with HCl is simulated using the wave packet formalism. The quantum control model for population dynamics of the vibrational levels, based on pi-pulse theory, is applied. The results demonstrate that wavepackets with specific composition can be built with short infrared laser pulses and provide the basis for studies of H + HCl collision dynamics with infrared laser excitation.

Simulação de sinais de RMN através das equações de Bloch

The aim of this paper was to present a simple and fast way of simulating Nuclear Magnetic Resonance signals using the Bloch equations. These phenomenological equations describe the classical behavior of macroscopic magnetization and are easily simulated using rotation matrices. Many NMR pulse sequences can be simulated with this formalism, allowing a quantitative description of the influence of many experimental parameters. Finally, the paper presents simulations of conventional sequences such as Single Pulse, Inversion Recovery, Spin Echo and CPMG.

Terävät aivot ja halu tutkia korkeita asioita

Kirjallisuusarvostelu

Solving Schrödinger equation for two dimensional potentials using supersymmetry

The formalism of supersymmetric Quantum Mechanics can be extended to arbitrary dimensions. We introduce this formalism and explore its utility to solve the Schrödinger equation for a bidimensinal potential. This potential can be applied in several systems in physical and chemistry context , for instance, it can be used to study benzene molecule.

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.

Galvanomagnetic effects in InGaAs nanostructure

Investigation of galvanomagnetic effects in nanostructure GaAs/Mn/GaAs/In0.15Ga0.85As/ GaAs is presented. This nanostructure is classified as diluted magnetic semiconductor (DMS). Temperature dependence of transverse magnetoresistivity of the sample was studied. The anomalous Hall effect was detected and subtracted from the total Hall component. Special attention was paid to the measurements of Shubnikov-de Haas oscillations, which exists only in the case of magnetic field aligned perpendicularly to the plane of the sample. This confirms two-dimensional character of the hole energy spectrum in the quantum well. Such important characteristics as cyclotron mass, the Fermi energy and the Dingle temperature were calculated, using experimental data of Shubnikov-de Haas oscillations. The hole concentration and hole mobility in the quantum well also were estimated for the sample. At 4.2 K spin splitting of the maxima of transverse resistivity was observed and g-factor was calculated for that case. The values of the Dingle temperatures were obtained by two different approaches. From the comparison of these values it was concluded that the broadening of Landau levels in the investigated structure is mainly defined by the scattering of charge carriers on the defects of the crystal lattice

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.