De astrologia judiciaria

Invocatio: [Alpha et Omega].

Species intelligibilis

Invocatio: Alpha, Omega.

Glicerólise de óleo de peixe catalisada por lipase comercial de Rhizomucor miehei em meio com surfactante de grau alimentício

Omega-3 enriched partial acylglycerols are beneficial for human health. The aim of this study was to obtain monoacylglycerols (MAG) and diacylglycerols (DAG) by means of glycerolysis of fish oil catalyzed by a lipase from Rhizomucor miehei in the presence of food grade surfactants (Tween 65, 80 or 85). Glycerolysis was successful in the reaction media for all the tested surfactants, showing their potential for use as additives in such a system. The best results, however, were obtained for the reaction medium in the absence of surfactant whose peroxide value was the lowest after glycerolysis.

Grammatica Fennica

Ilmajoen rovastin Bartholdus Vhaelin (1667-1723) laatima suomen kielen kielioppi julkaistiin hänen kuolemansa jälkeen käsikirjoituksen pohjalta. Tässä kielen kuvauksessa esitetään mm. nominien sijamuodot, verbien taivutus, vokaalisointu ja astevaihtelu lähes nykyaikaisella tavalla. Vhael antaa tietoja myös ääntämisestä ja Suomen murteista. GRAMMATICA painettiin muuttamattomana uudestaan vielä vuonna 1821.

Teaching mathematics and programming : new approaches with empirical evaluation

Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education. Introductory instruction in these two topics is, however, not without problems. Studies show that CS students find programming difficult to learn and that teaching mathematical topics to CS novices is challenging. One reason for the latter is the disconnection between mathematics and programming found in many CS curricula, which results in students not seeing the relevance of the subject for their studies. In addition, reports indicate that students' mathematical capability and maturity levels are dropping. The challenges faced when teaching mathematics and programming at CS departments can also be traced back to gaps in students' prior education. In Finland the high school curriculum does not include CS as a subject; instead, focus is on learning to use the computer and its applications as tools. Similarly, many of the mathematics courses emphasize application of formulas, while logic, formalisms and proofs, which are important in CS, are avoided. Consequently, high school graduates are not well prepared for studies in CS. Motivated by these challenges, the goal of the present work is to describe new approaches to teaching mathematics and programming aimed at addressing these issues: Structured derivations is a logic-based approach to teaching mathematics, where formalisms and justifications are made explicit. The aim is to help students become better at communicating their reasoning using mathematical language and logical notation at the same time as they become more confident with formalisms. The Python programming language was originally designed with education in mind, and has a simple syntax compared to many other popular languages. The aim of using it in instruction is to address algorithms and their implementation in a way that allows focus to be put on learning algorithmic thinking and programming instead of on learning a complex syntax. Invariant based programming is a diagrammatic approach to developing programs that are correct by construction. The approach is based on elementary propositional and predicate logic, and makes explicit the underlying mathematical foundations of programming. The aim is also to show how mathematics in general, and logic in particular, can be used to create better programs.

Beyond the obvious : three acts in educational drama

Researching research is not a common theme in educational drama. Nor is the educational drama process from a participant perspective a typical focus of research, at least not if the participants are disabled. Yet this is the theme of this thesis, a drama in three acts. The aim of this thesis is to describe, analyse, and discuss both the ways in which research within educational drama can be carried out and represented, and the experiences of the participants of the educational drama process. The theoretical framework that steers the research process is built up of two pairs of frames, each of them, like Russian nesting dolls, containing further frames. The first frame, relating to the outcomes of conducting research in educational drama, comprises philosophical, representational, and personal theories. As the second question asks what educational drama is, the subject related frame is built up of pedagogical, drama educational, and aesthetic theories. The study in its entirety follows the structure of the researcher’s hermeneutical learning process and takes the form of a journey starting from what is familiar, stretching towards what is new and different, and finally returning back to the beginning with a new view on what was there at the start. The thesis consists of two separate but related studies. The first, a familiar study conducted earlier, Alpha in Act I, was carried out among upper secondary school pupils. In the second, the new and therefore unfamiliar study, Omega in Act III, the participants are adult individuals who are physically and communicatively disabled. In between these two Acts an element of “Verfremdung” where the Alpha study is systematically scrutinized as the purpose is to teach and to manage the reader to think. Meta-discussions on the philosophical issues of the study are conducted throughout the text, parallel to the empirical parts. The outcomes of the first research question show that philosophical, methodical, and representational consistency is crucial for research. While this may sound like stating the obvious, this has nevertheless not always been considered fact, especially not within qualitative research. The outcomes further stress that representational issues are also to be recognized when presenting non-rational aspects of educational drama. By wording the world, through the use of visualising language, the surplus of meanings of educational drama can be, as they are within this study, made visible, sensible, and almost tangible, not only cognitively understandable. The outcomes of the second question point to the different foci of the studies, with Alpha focusing on the rationally retold experiences and Omega focusing on nonrational experiences. The outcomes expose educational drama as a learning process comprising doing, reflecting, and being. The doing aspect communicates the concrete efforts in creating a piece of theatre, while the being aspect relates experiences of being as situated, embodied and sensuous, reciprocal, empowering, aesthetic and artistic, and existential. Reflection is the twine that runs throughout the process and connects both doing and being. In summary, the outcomes could be formulated as “learning from learning how to make theatre”.

How real are real numbers?

We discuss mathematical and physical arguments against continuity and in favor of discreteness, with particular emphasis on the ideas of Émile Borel (1871-1956).

Qualitative Characteristics and Quantitative Measures of Solution's Reliability in Discrete Optimization: Traditional Analytical Approaches, Innovative Computational Methods and Applicability

The purpose of this thesis is twofold. The first and major part is devoted to sensitivity analysis of various discrete optimization problems while the second part addresses methods applied for calculating measures of solution stability and solving multicriteria discrete optimization problems. Despite numerous approaches to stability analysis of discrete optimization problems two major directions can be single out: quantitative and qualitative. Qualitative sensitivity analysis is conducted for multicriteria discrete optimization problems with minisum, minimax and minimin partial criteria. The main results obtained here are necessary and sufficient conditions for different stability types of optimal solutions (or a set of optimal solutions) of the considered problems. Within the framework of quantitative direction various measures of solution stability are investigated. A formula for a quantitative characteristic called stability radius is obtained for the generalized equilibrium situation invariant to changes of game parameters in the case of the H¨older metric. Quality of the problem solution can also be described in terms of robustness analysis. In this work the concepts of accuracy and robustness tolerances are presented for a strategic game with a finite number of players where initial coefficients (costs) of linear payoff functions are subject to perturbations. Investigation of stability radius also aims to devise methods for its calculation. A new metaheuristic approach is derived for calculation of stability radius of an optimal solution to the shortest path problem. The main advantage of the developed method is that it can be potentially applicable for calculating stability radii of NP-hard problems. The last chapter of the thesis focuses on deriving innovative methods based on interactive optimization approach for solving multicriteria combinatorial optimization problems. The key idea of the proposed approach is to utilize a parameterized achievement scalarizing function for solution calculation and to direct interactive procedure by changing weighting coefficients of this function. In order to illustrate the introduced ideas a decision making process is simulated for three objective median location problem. The concepts, models, and ideas collected and analyzed in this thesis create a good and relevant grounds for developing more complicated and integrated models of postoptimal analysis and solving the most computationally challenging problems related to it.

Estimation of aircraft aerodynamic derivatives using Extended Kalman Filter

Design of flight control laws, verification of performance predictions, and the implementation of flight simulations are tasks that require a mathematical model of the aircraft dynamics. The dynamical models are characterized by coefficients (aerodynamic derivatives) whose values must be determined from flight tests. This work outlines the use of the Extended Kalman Filter (EKF) in obtaining the aerodynamic derivatives of an aircraft. The EKF shows several advantages over the more traditional least-square method (LS). Among these the most important are: there are no restrictions on linearity or in the form which the parameters appears in the mathematical model describing the system, and it is not required that these parameters be time invariant. The EKF uses the statistical properties of the process and the observation noise, to produce estimates based on the mean square error of the estimates themselves. Differently, the LS minimizes a cost function based on the plant output behavior. Results for the estimation of some longitudinal aerodynamic derivatives from simulated data are presented.

Effect of fatty acids on leukocyte function

Fatty acids have various effects on immune and inflammatory responses, acting as intracellular and intercellular mediators. Polyunsaturated fatty acids (PUFAs) of the omega-3 family have overall suppressive effects, inhibiting lymphocyte proliferation, antibody and cytokine production, adhesion molecule expression, natural killer cell activity and triggering cell death. The omega-6 PUFAs have both inhibitory and stimulatory effects. The most studied of these is arachidonic acid that can be oxidized to eicosanoids, such as prostaglandins, leukotrienes and thromboxanes, all of which are potent mediators of inflammation. Nevertheless, it has been found that many of the effects of PUFA on immune and inflammatory responses are not dependent on eicosanoid generation. Fatty acids have also been found to modulate phagocytosis, reactive oxygen species production, cytokine production and leukocyte migration, also interfering with antigen presentation by macrophages. The importance of fatty acids in immune function has been corroborated by many clinical trials in which patients show improvement when submitted to fatty acid supplementation. Several mechanisms have been proposed to explain fatty acid modulation of immune response, such as changes in membrane fluidity and signal transduction pathways, regulation of gene transcription, protein acylation, and calcium release. In this review, evidence is presented to support the proposition that changes in cell metabolism also play an important role in the effect of fatty acids on leukocyte functioning, as fatty acids regulate glucose and glutamine metabolism and mitochondrial depolarization.

The conservative physiology of the immune system

Current immunological opinion disdains the necessity to define global interconnections between lymphocytes and regards natural autoantibodies and autoreactive T cells as intrinsically pathogenic. Immunological theories address the recognition of foreignness by independent clones of lymphocytes, not the relations among lymphocytes or between lymphocytes and the organism. However, although extremely variable in cellular/molecular composition, the immune system preserves as invariant a set of essential relations among its components and constantly enacts contacts with the organism of which it is a component. These invariant relations are reflected, for example, in the life-long stability of profiles of reactivity of immunoglobulins formed by normal organisms (natural antibodies). Oral contacts with dietary proteins and the intestinal microbiota also result in steady states that lack the progressive quality of secondary-type reactivity. Autoreactivity (natural autoantibody and autoreactive T cell formation) is also stable and lacks the progressive quality of clonal expansion. Specific immune responses, currently regarded as the fundament of the operation of the immune system, may actually result from transient interruptions in this stable connectivity among lymphocytes. More permanent deficits in interconnectivity result in oligoclonal expansions of T lymphocytes, as seen in Omenn's syndrome and in the experimental transplantation of a suboptimal diversity of syngeneic T cells to immunodeficient hosts, which also have pathogenic consequences. Contrary to theories that forbid autoreactivity as potentially pathogenic, the physiology of the immune system is conservative and autoreactive. Pathology derives from failures of these conservative mechanisms.

Korkeapainevesisumusuuttimen virtaustekninen laadunhallinta

Tämä työ vastaa tarpeeseen hallita korkeapainevesisumusuuttimen laatua virtausmekaniikan työkalujen avulla. Työssä tutkitaan suutinten testidatan lisäksi virtauksen käyttäytymistä suuttimen sisällä CFD-laskennan avulla. Virtausmallinnus tehdään Navier-Stokes –pohjaisella laskentamenetelmällä. Työn teoriaosassa käsitellään virtaustekniikkaa ja sen kehitystä yleisesti. Lisäksi esitetään suuttimen laskennassa käytettävää perusteoriaa sekä teknisiä ratkaisuja. Teoriaosassa käydään myös läpi laskennalliseen virtausmekaniikkaan (CFD-laskenta) liittyvää perusteoriaa. Tutkimusosiossa esitetään käsitellyt suutintestitulokset sekä mallinnetaan suutinvirtausta ajasta riippumattomaan virtauslaskentaan perustuvalla laskentamenetelmällä. Virtauslaskennassa käytetään OpenFOAM-laskentaohjelmiston SIMPLE-virtausratkaisijaa sekä k-omega SST –turbulenssimallia. Tehtiin virtausmallinnus kaikilla paineilla, joita suuttimen testauksessa myös todellisuudessa käytetään. Lisäksi selvitettiin mahdolliset kavitaatiokohdat suuttimessa ja suunniteltiin kavitaatiota ehkäisevä suutingeometria. Todettiin myös lämpötilan ja epäpuhtauksien vaikuttavan kavitaatioon sekä mallinnettiin lämpötilan vaikutusta. Luotiin malli, jolla suuttimen suunnitteluun liittyviin haasteisiin voidaan vastata numeerisella laskennalla.

Electrical parameters and water permeability properties of monolayers formed by T84 cells cultured on permeable supports

T84 is an established cell line expressing an enterocyte phenotype whose permeability properties have been widely explored. Osmotic permeability (P OSM), hydraulic permeability (P HYDR) and transport-associated net water fluxes (J W-transp), as well as short-circuit current (I SC), transepithelial resistance (R T), and potential difference (deltaV T) were measured in T84 monolayers with the following results: P OSM 1.3 ± 0.1 cm.s-1 x 10-3; P HYDR 0.27 ± 0.02 cm.s-1; R T 2426 ± 109 omega.cm², and deltaV T 1.31 ± 0.38 mV. The effect of 50 µM 5,6-dichloro-1-ethyl-1,3-dihydro-2H-benzimidazol-2-one (DCEBIO), a "net Cl- secretory agent", on T84 cells was also studied. We confirm the reported important increase in I SC induced by DCEBIO which was associated here with a modest secretory deltaJ W-transp. The present results were compared with those reported using the same experimental approach applied to established cell lines originating from intestinal and renal epithelial cells (Caco-2, LLC-PK1 and RCCD-1). No clear association between P HYDR and R T could be demonstrated and high P HYDR values were observed in an electrically tight epithelium, supporting the view that a "water leaky" barrier is not necessarily an "electrically leaky" one. Furthermore, the modest secretory deltaJ W-transp was not consistent with previous results obtained with RCCD-1 cells stimulated with vasopressin (absorptive fluxes) or with T84 cells secreting water under the action of Escherichia coli heat stable enterotoxin. We conclude that, while the presence of aquaporins is necessary to dissipate an external osmotic gradient, coupling between water and ion transport cannot be explained by a simple and common underlying mechanism.

Liver mitochondrial dysfunction and oxidative stress in the pathogenesis of experimental nonalcoholic fatty liver disease

Oxidative stress and hepatic mitochondria play a role in the pathogenesis of nonalcoholic fatty liver disease. The aim of the present study was to evaluate the role of hepatic mitochondrial dysfunction and oxidative stress in the pathogenesis of the disease. Fatty liver was induced in Wistar rats with a choline-deficient diet (CD; N = 7) or a high-fat diet enriched with PUFAs-omega-3 (H; N = 7) for 4 weeks. The control group (N = 7) was fed a standard diet. Liver mitochondrial oxidation and phosphorylation were measured polarographically and oxidative stress was estimated on the basis of malondialdehyde and glutathione concentrations. Moderate macrovacuolar liver steatosis was observed in the CD group and mild liver steatosis was observed in the periportal area in the H group. There was an increase in the oxygen consumption rate by liver mitochondria in respiratory state 4 (S4) and a decrease in respiratory control rate (RCR) in the CD group (S4: 32.70 ± 3.35; RCR: 2.55 ± 0.15 ng atoms of O2 min-1 mg protein-1) when compared to the H and control groups (S4: 23.09 ± 1.53, 17.04 ± 2.03, RCR: 3.15 ± 0.15, 3.68 ± 0.15 ng atoms of O2 min-1 mg protein-1, respectively), P < 0.05. Hepatic lipoperoxide concentrations were significantly increased and the concentration of reduced glutathione was significantly reduced in the CD group. A choline-deficient diet causes moderate steatosis with disruption of liver mitochondrial function and increased oxidative stress. These data suggest that lipid peroxidation products can impair the flow of electrons along the respiratory chain, causing overreduction of respiratory chain components and enhanced mitochondrial reactive oxygen species. These findings are important in the pathogenesis of nonalcoholic fatty liver disease.

Local Binary Patterns in Focal-Plane Processing. Analysis and Applications

Feature extraction is the part of pattern recognition, where the sensor data is transformed into a more suitable form for the machine to interpret. The purpose of this step is also to reduce the amount of information passed to the next stages of the system, and to preserve the essential information in the view of discriminating the data into different classes. For instance, in the case of image analysis the actual image intensities are vulnerable to various environmental effects, such as lighting changes and the feature extraction can be used as means for detecting features, which are invariant to certain types of illumination changes. Finally, classification tries to make decisions based on the previously transformed data. The main focus of this thesis is on developing new methods for the embedded feature extraction based on local non-parametric image descriptors. Also, feature analysis is carried out for the selected image features. Low-level Local Binary Pattern (LBP) based features are in a main role in the analysis. In the embedded domain, the pattern recognition system must usually meet strict performance constraints, such as high speed, compact size and low power consumption. The characteristics of the final system can be seen as a trade-off between these metrics, which is largely affected by the decisions made during the implementation phase. The implementation alternatives of the LBP based feature extraction are explored in the embedded domain in the context of focal-plane vision processors. In particular, the thesis demonstrates the LBP extraction with MIPA4k massively parallel focal-plane processor IC. Also higher level processing is incorporated to this framework, by means of a framework for implementing a single chip face recognition system. Furthermore, a new method for determining optical flow based on LBPs, designed in particular to the embedded domain is presented. Inspired by some of the principles observed through the feature analysis of the Local Binary Patterns, an extension to the well known non-parametric rank transform is proposed, and its performance is evaluated in face recognition experiments with a standard dataset. Finally, an a priori model where the LBPs are seen as combinations of n-tuples is also presented