The Detector Control Systems for the CMS Resistive Plate Chamber at LHC

The RPC Detector Control System (RCS) is the main subject of this PhD work. The project, involving the Lappeenranta University of Technology, the Warsaw University and INFN of Naples, is aimed to integrate the different subsystems for the RPC detector and its trigger chain in order to develop a common framework to control and monitoring the different parts. In this project, I have been strongly involved during the last three years on the hardware and software development, construction and commissioning as main responsible and coordinator. The CMS Resistive Plate Chambers (RPC) system consists of 912 double-gap chambers at its start-up in middle of 2008. A continuous control and monitoring of the detector, the trigger and all the ancillary sub-systems (high voltages, low voltages, environmental, gas, and cooling), is required to achieve the operational stability and reliability of a so large and complex detector and trigger system. Role of the RPC Detector Control System is to monitor the detector conditions and performance, control and monitor all subsystems related to RPC and their electronics and store all the information in a dedicated database, called Condition DB. Therefore the RPC DCS system has to assure the safe and correct operation of the sub-detectors during all CMS life time (more than 10 year), detect abnormal and harmful situations and take protective and automatic actions to minimize consequential damages. The analysis of the requirements and project challenges, the architecture design and its development as well as the calibration and commissioning phases represent themain tasks of the work developed for this PhD thesis. Different technologies, middleware and solutions has been studied and adopted in the design and development of the different components and a big challenging consisted in the integration of these different parts each other and in the general CMS control system and data acquisition framework. Therefore, the RCS installation and commissioning phase as well as its performance and the first results, obtained during the last three years CMS cosmic runs, will be

Influencia de variables de formulación en la viscosidad de emulsiones de surfactante aniónico-aceite-agua

Phase transition and viscosity behavior of emulsified systems were studied after modifying their physicochemical formulation. Effects of concentration and nature of salts and n-alcohols, and water/oil relation on the rheological properties of emulsions were also studied. Pre-equilibrated systems were emulsified according to an agitation procedure, and the viscosity (cP) was measured at different shear rates ranging from 1 to 300 s-1. The phase behavior, as well as the emulsion type based on electrolytic conductivity, was observed. Several interpretations of the flow and viscosity curves of emulsions were made through the estimation of rheological parameters such as consistency index "k" and behavior index "n".

Synthesis, structural and morphological characterization of CeO2-ZnO nanosized powder systems from Pechini's method

This work reports on the investigation of nanosized CeO2-ZnO systems prepared by Pechini's method. The structural and morphological characterization of CeO2-ZnO systems as well as the characterization of CeO2 and ZnO separately, showed that the employed method result in powders with spheroidal particles whose size are in the range 30 - 200 nm, which is appropriate to provide homogeneous suspensions. The ZnO present in the prepared mixed oxides seems to increase particle size distribution and to influence the arrangement of the particles after powder dispersion.

Kielikeskuksissa toimivien kieltenopettajien käsityksiä ja kokemuksia massayliopiston luomista haasteista

Challenges of mass university conceived and experienced by university language centre language teachers The massification of the university involved not only an expansion but also a transition from one period to another, from elite higher education to mass higher education. Massification cannot be viewed as expansion and structural change but it has to be viewed in a context of a number of changes involving universities, state, economy, society and culture as well as science, technology, education and research. In the Finnish academic context, massification is often associated with negative development and it may be used as an excuse for poor teaching. The objective of the present study is to find out how the mass context is manifested in the work of university language centre language teachers. The data were collected by means of semi-structured questionnaires from 32 language teachers working at language centres at the universities of Helsinki, Jyväskylä, Tampere and Turku in Finland. Both Finnish and native speakers, 6 male and 26 female teachers, were included. All the teachers in the study had taught more than 10 years. The data were complemented by interviews of four teachers and email data from one teacher. Phenomenographic analysis of the informants’ conceptions enabled a description of their experiences of students at a mass university, conceptions of teaching and learning and of issues related to work health. Some conceptions were consonant with earlier results. The conceptions revealed differences between two teacher groups, teachers of subject-specific language, or language for specific purposes (LSP), and teachers of elementary and advanced language courses (general language teachers). For the first, the conceptions of the investigated teachers provided a picture of the students as a member of a mass university. The students were seen as customers who demanded special services to facilitate their studies or were selective about the contents of the course. The finding that appeared only in the LSP teachers’ data was the unengaged attitude towards language study, which appeared as mere hunt for credits. On the other hand, the students were also seen as language learning individuals, but a clear picture of a truly interested language learner was evident in the data of general language teachers. The teachers’ conceptions of teaching and learning revealed a picture of experienced teachers with a long background of teaching, reflecting experiences from different time periods and influences from their own education and illustrating the increasing problems with organizing individual tutoring due to large, heterogeneous groups. It seemed, however, that in spite of the large student groups, general language teachers were able to support the students’ learning processes and to use learner-centred methods, whereas LSP teachers were frequently compelled to resort to knowledge transmission type of teaching. The conditions of the mass university were clearly manifested in the respondents’ conceptions about work satisfaction: there were a number of factors related to administration, teaching arrangements and the status of the language centres that were likely to add to the teachers’ work stress, whereas traditional characteristics of academic work were viewed as promoting work satisfaction. On the basis of the teachers’ conceptions, it is safe to assume that academic mass context and students’ orientations have an effect on the teacher’s approach to teaching, while there is no unequivocal association between mass university teaching and poor teaching.

Non-Markovianity and Quantum Correlations in Qubit-Systems

In this Thesis I discuss the exact dynamics of simple non-Markovian systems. I focus on fundamental questions at the core of non-Markovian theory and investigate the dynamics of quantum correlations under non-Markovian decoherence. In the first context I present the connection between two different non-Markovian approaches, and compare two distinct definitions of non-Markovianity. The general aim is to characterize in exemplary cases which part of the environment is responsible for the feedback of information typical of non- Markovian dynamics. I also show how such a feedback of information is not always described by certain types of master equations commonly used to tackle non-Markovian dynamics. In the second context I characterize the dynamics of two qubits in a common non-Markovian reservoir, and introduce a new dynamical effect in a wellknown model, i.e., two qubits under depolarizing channels. In the first model the exact solution of the dynamics is found, and the entanglement behavior is extensively studied. The non-Markovianity of the reservoir and reservoirmediated-interaction between the qubits cause non-trivial dynamical features. The dynamical interplay between different types of correlations is also investigated. In the second model the study of quantum and classical correlations demonstrates the existence of a new effect: the sudden transition between classical and quantum decoherence. This phenomenon involves the complete preservation of the initial quantum correlations for long intervals of time of the order of the relaxation time of the system.

Structured software development with the IPIDDDT method - A lean method for small agile organizations

A software development process is a predetermined sequence of steps to create a piece of software. A software development process is used, so that an implementing organization could gain significant benefits. The benefits for software development companies, that can be attributed to software process improvement efforts, are improved predictability in the development effort and improved quality software products. The implementation, maintenance, and management of a software process as well as the software process improvement efforts are expensive. Especially the implementation phase is expensive with a best case scenario of a slow return on investment. Software processes are rare in very small software development companies because of the cost of implementation and an improbable return on investment. This study presents a new method to enable benefits that are usually related to software process improvement to small companies with a low cost. The study presents reasons for the development of the method, a description of the method, and an implementation process for the method, as well as a theoretical case study of a method implementation. The study's focus is on describing the method. The theoretical use case is used to illustrate the theory of the method and the implementation process of the method. The study ends with a few conclusions on the method and on the method's implementation process. The main conclusion is that the method requires further study as well as implementation experiments to asses the value of the method.

Studies on the Multifaceted Interaction of Atoms and an Electromagnetic Field

In this Thesis the interaction of an electromagnetic field and matter is studied from various aspects in the general framework of cold atoms. Our subjects cover a wide spectrum of phenomena ranging from semiclassical few-level models to fully quantum mechanical interaction with structured reservoirs leading to non-Markovian open quantum system dynamics. Within closed quantum systems, we propose a selective method to manipulate the motional state of atoms in a time-dependent double-well potential and interpret the method in terms of adiabatic processes. Also, we derive a simple wave-packet model, based on distributions of generalized eigenstates, explaining the finite visibility of interference in overlapping continuous-wave atom lasers. In the context of open quantum systems, we develop an unraveling of non-Markovian dynamics in terms of piecewise deterministic quantum jump processes confined in the Hilbert space of the reduced system - the non-Markovian quantum jump method. As examples, we apply it for simple 2- and 3-level systems interacting with a structured reservoir. Also, in the context of ion-cavity QED we study the entanglement generation based on collective Dicke modes in experimentally realistic conditions including photonic losses and an atomic spontaneous decay.

Towards input/output-free modelling of linear infinite-dimensional systems in continuous time

This dissertation describes a networking approach to infinite-dimensional systems theory, where there is a minimal distinction between inputs and outputs. We introduce and study two closely related classes of systems, namely the state/signal systems and the port-Hamiltonian systems, and describe how they relate to each other. Some basic theory for these two classes of systems and the interconnections of such systems is provided. The main emphasis lies on passive and conservative systems, and the theoretical concepts are illustrated using the example of a lossless transfer line. Much remains to be done in this field and we point to some directions for future studies as well.

Methods and Models for Accelerating Dynamic Simulation of Fluid Power Circuits

The objective of this dissertation is to improve the dynamic simulation of fluid power circuits. A fluid power circuit is a typical way to implement power transmission in mobile working machines, e.g. cranes, excavators etc. Dynamic simulation is an essential tool in developing controllability and energy-efficient solutions for mobile machines. Efficient dynamic simulation is the basic requirement for the real-time simulation. In the real-time simulation of fluid power circuits there exist numerical problems due to the software and methods used for modelling and integration. A simulation model of a fluid power circuit is typically created using differential and algebraic equations. Efficient numerical methods are required since differential equations must be solved in real time. Unfortunately, simulation software packages offer only a limited selection of numerical solvers. Numerical problems cause noise to the results, which in many cases leads the simulation run to fail. Mathematically the fluid power circuit models are stiff systems of ordinary differential equations. Numerical solution of the stiff systems can be improved by two alternative approaches. The first is to develop numerical solvers suitable for solving stiff systems. The second is to decrease the model stiffness itself by introducing models and algorithms that either decrease the highest eigenvalues or neglect them by introducing steady-state solutions of the stiff parts of the models. The thesis proposes novel methods using the latter approach. The study aims to develop practical methods usable in dynamic simulation of fluid power circuits using explicit fixed-step integration algorithms. In this thesis, twomechanisms whichmake the systemstiff are studied. These are the pressure drop approaching zero in the turbulent orifice model and the volume approaching zero in the equation of pressure build-up. These are the critical areas to which alternative methods for modelling and numerical simulation are proposed. Generally, in hydraulic power transmission systems the orifice flow is clearly in the turbulent area. The flow becomes laminar as the pressure drop over the orifice approaches zero only in rare situations. These are e.g. when a valve is closed, or an actuator is driven against an end stopper, or external force makes actuator to switch its direction during operation. This means that in terms of accuracy, the description of laminar flow is not necessary. But, unfortunately, when a purely turbulent description of the orifice is used, numerical problems occur when the pressure drop comes close to zero since the first derivative of flow with respect to the pressure drop approaches infinity when the pressure drop approaches zero. Furthermore, the second derivative becomes discontinuous, which causes numerical noise and an infinitely small integration step when a variable step integrator is used. A numerically efficient model for the orifice flow is proposed using a cubic spline function to describe the flow in the laminar and transition areas. Parameters for the cubic spline function are selected such that its first derivative is equal to the first derivative of the pure turbulent orifice flow model in the boundary condition. In the dynamic simulation of fluid power circuits, a tradeoff exists between accuracy and calculation speed. This investigation is made for the two-regime flow orifice model. Especially inside of many types of valves, as well as between them, there exist very small volumes. The integration of pressures in small fluid volumes causes numerical problems in fluid power circuit simulation. Particularly in realtime simulation, these numerical problems are a great weakness. The system stiffness approaches infinity as the fluid volume approaches zero. If fixed step explicit algorithms for solving ordinary differential equations (ODE) are used, the system stability would easily be lost when integrating pressures in small volumes. To solve the problem caused by small fluid volumes, a pseudo-dynamic solver is proposed. Instead of integration of the pressure in a small volume, the pressure is solved as a steady-state pressure created in a separate cascade loop by numerical integration. The hydraulic capacitance V/Be of the parts of the circuit whose pressures are solved by the pseudo-dynamic method should be orders of magnitude smaller than that of those partswhose pressures are integrated. The key advantage of this novel method is that the numerical problems caused by the small volumes are completely avoided. Also, the method is freely applicable regardless of the integration routine applied. The superiority of both above-mentioned methods is that they are suited for use together with the semi-empirical modelling method which necessarily does not require any geometrical data of the valves and actuators to be modelled. In this modelling method, most of the needed component information can be taken from the manufacturer’s nominal graphs. This thesis introduces the methods and shows several numerical examples to demonstrate how the proposed methods improve the dynamic simulation of various hydraulic circuits.

Methods for construction and analysis of computational models in systems biology : applications to the modelling of the heat shock response and the self-assembly of intermediate filaments

Systems biology is a new, emerging and rapidly developing, multidisciplinary research field that aims to study biochemical and biological systems from a holistic perspective, with the goal of providing a comprehensive, system- level understanding of cellular behaviour. In this way, it addresses one of the greatest challenges faced by contemporary biology, which is to compre- hend the function of complex biological systems. Systems biology combines various methods that originate from scientific disciplines such as molecu- lar biology, chemistry, engineering sciences, mathematics, computer science and systems theory. Systems biology, unlike “traditional” biology, focuses on high-level concepts such as: network, component, robustness, efficiency, control, regulation, hierarchical design, synchronization, concurrency, and many others. The very terminology of systems biology is “foreign” to “tra- ditional” biology, marks its drastic shift in the research paradigm and it indicates close linkage of systems biology to computer science. One of the basic tools utilized in systems biology is the mathematical modelling of life processes tightly linked to experimental practice. The stud- ies contained in this thesis revolve around a number of challenges commonly encountered in the computational modelling in systems biology. The re- search comprises of the development and application of a broad range of methods originating in the fields of computer science and mathematics for construction and analysis of computational models in systems biology. In particular, the performed research is setup in the context of two biolog- ical phenomena chosen as modelling case studies: 1) the eukaryotic heat shock response and 2) the in vitro self-assembly of intermediate filaments, one of the main constituents of the cytoskeleton. The range of presented approaches spans from heuristic, through numerical and statistical to ana- lytical methods applied in the effort to formally describe and analyse the two biological processes. We notice however, that although applied to cer- tain case studies, the presented methods are not limited to them and can be utilized in the analysis of other biological mechanisms as well as com- plex systems in general. The full range of developed and applied modelling techniques as well as model analysis methodologies constitutes a rich mod- elling framework. Moreover, the presentation of the developed methods, their application to the two case studies and the discussions concerning their potentials and limitations point to the difficulties and challenges one encounters in computational modelling of biological systems. The problems of model identifiability, model comparison, model refinement, model inte- gration and extension, choice of the proper modelling framework and level of abstraction, or the choice of the proper scope of the model run through this thesis.

Broadband excitation in the system identification of active magnetic bearing rotor systems

One of the targets of the climate and energy package of the European Union is to increase the energy efficiency in order to achieve a 20 percent reduction in primary energy use compared with the projected level by 2020. The energy efficiency can be improved for example by increasing the rotational speed of large electrical drives, because this enables the elimination of gearboxes leading to a compact design with lower losses. The rotational speeds of traditional bearings, such as roller bearings, are limited by mechanical friction. Active magnetic bearings (AMBs), on the other hand, allow very high rotational speeds. Consequently, their use in large medium- and high-speed machines has rapidly increased. An active magnetic bearing rotor system is an inherently unstable, nonlinear multiple-input, multiple-output system. Model-based controller design of AMBs requires an accurate system model. Finite element modeling (FEM) together with the experimental modal analysis provides a very accurate model for the rotor, and a linearized model of the magneticactuators has proven to work well in normal conditions. However, the overall system may suffer from unmodeled dynamics, such as dynamics of foundation or shrink fits. This dynamics can be modeled by system identification. System identification can also be used for on-line diagnostics. In this study, broadband excitation signals are adopted to the identification of an active magnetic bearing rotor system. The broadband excitation enables faster frequency response function measurements when compared with the widely used stepped sine and swept sine excitations. Different broadband excitations are reviewed, and the random phase multisine excitation is chosen for further study. The measurement times using the multisine excitation and the stepped sine excitation are compared. An excitation signal design with an analysis of the harmonics produced by the nonlinear system is presented. The suitability of different frequency response function estimators for an AMB rotor system are also compared. Additionally, analytical modeling of an AMB rotor system, obtaining a parametric model from the nonparametric frequency response functions, and model updating are discussed in brief, as they are key elements in the modeling for a control design. Theoretical methods are tested with a laboratory test rig. The results conclude that an appropriately designed random phase multisine excitation is suitable for the identification of AMB rotor systems.

Modeling of electrolyte sorption – from phase equilibria to dynamic separation systems

In this thesis, general approach is devised to model electrolyte sorption from aqueous solutions on solid materials. Electrolyte sorption is often considered as unwanted phenomenon in ion exchange and its potential as an independent separation method has not been fully explored. The solid sorbents studied here are porous and non-porous organic or inorganic materials with or without specific functional groups attached on the solid matrix. Accordingly, the sorption mechanisms include physical adsorption, chemisorption on the functional groups and partition restricted by electrostatic or steric factors. The model is tested in four Cases Studies dealing with chelating adsorption of transition metal mixtures, physical adsorption of metal and metalloid complexes from chloride solutions, size exclusion of electrolytes in nano-porous materials and electrolyte exclusion of electrolyte/non-electrolyte mixtures. The model parameters are estimated using experimental data from equilibrium and batch kinetic measurements, and they are used to simulate actual single-column fixed-bed separations. Phase equilibrium between the solution and solid phases is described using thermodynamic Gibbs-Donnan model and various adsorption models depending on the properties of the sorbent. The 3-dimensional thermodynamic approach is used for volume sorption in gel-type ion exchangers and in nano-porous adsorbents, and satisfactory correlation is obtained provided that both mixing and exclusion effects are adequately taken into account. 2-Dimensional surface adsorption models are successfully applied to physical adsorption of complex species and to chelating adsorption of transition metal salts. In the latter case, comparison is also made with complex formation models. Results of the mass transport studies show that uptake rates even in a competitive high-affinity system can be described by constant diffusion coefficients, when the adsorbent structure and the phase equilibrium conditions are adequately included in the model. Furthermore, a simplified solution based on the linear driving force approximation and the shrinking-core model is developed for very non-linear adsorption systems. In each Case Study, the actual separation is carried out batch-wise in fixed-beds and the experimental data are simulated/correlated using the parameters derived from equilibrium and kinetic data. Good agreement between the calculated and experimental break-through curves is usually obtained indicating that the proposed approach is useful in systems, which at first sight are very different. For example, the important improvement in copper separation from concentrated zinc sulfate solution at elevated temperatures can be correctly predicted by the model. In some cases, however, re-adjustment of model parameters is needed due to e.g. high solution viscosity.

Metsäsääntely Suomessa ja Venäjällä. Näkökulmia kestävään metsätalouteen

Sustainability is the aim of forest management and forest regulation in many countries. Accordingly, forest management has been steered towards more environmentally friendly methods and new regulatory instruments have been introduced. At the same time, wood trade and forest industry have become a global business. Even if the importance of national forest legislation has not decreased, it has been widely acknowledged that national regulation of forest management is no longer sufficient. The movement of goods does not acknowledge boundaries, even though most negative environmental and social consequences stay in the country of origin of wood and other raw materials. As a partial solution to this dilemma, different kinds of regulations have been developed. Various forest certification schemes and wood trade regulation in the EU (995/2010) are examples of efforts to prevent illegal logging and unsustainable forestry. The Finland-based forest industry is to a varying extent dependent on wood trade from Russia. Especially in the 1990‟s, ethical questions concerning import of wood from Russian old growth forests near the Finnish border were widely discussed. Consequently, forest industry enterprises have developed systems to trace the origin of wood and to buy certified wood from Russia. The aim of the research has been to evaluate Finnish and Russian forest regulations in order to investigate what kind of forest management these regulations enhance, and to what extent ecologically sustainable forest management has been integrated into different forms of regulation. I have examined Finnish and Russian forest regulation in four separate articles based on the topics of the Russian Forest Code, forest certification and other voluntary forest protection measures in Russia, Finnish forest certification and Finnish forest legislation. One objective has been to analyse the roles voluntary forest certification plays in promoting sustainable forest management in different countries. In my research, I have mainly concentrated on ecological sustainability and protection of biodiversity, although other aspects of sustainable forest management have been touched upon in different articles. In the following I shall conclude the findings of my research. When the current Russian Forest Code (2006) was being adopted, the main emphasis was not on ecological issues, but on reorganizing forest governance. The role of ecological requirements was even slightly diminished during the legislative reform. There are, nevertheless, still stipulations aiming at ecological sustainability, such as the division of forests into different forest management categories and various protection zones. In 2000, FSC forest certification arrived in Russia, at present covering already 28 million hectares of forests. The PEFC scheme is now in use as well, but to a much lesser extent. If properly implemented, Russian forest certification schemes clearly improve the level of ecological and social sustainability of forestry in Russia. Certification criteria, however, are partly in conflict with the Russian forest legislation and certified enterprises have been forced to pay fines or to negotiate with forest authorities. This clearly indicates that even if Russian forest legislation has otherwise been liberalized to a certain extent, some significant paternalism still exists. Voluntary, hands-on biodiversity protection measures are not valued, and they are not part of the official protection policies as in many other countries. However, there have been some regional solutions to this dilemma. In the Republic of Karelia forest authorities have approved a set of forest biodiversity protection rules created by a local NGO and a forest industry enterprise. By following these local rules, an enterprise can avoid fines for protection measures. The current Finnish Forest Act was adopted in 1996. It brought forest legislation into a new era as some ecological aspects were integrated into forest legislation. The various soft-law forest management recommendations further increased the level of biodiversity protection. My evaluation of the overall legitimacy of the Finnish forest legislation and forest management paradigm revealed, however, several problematic issues. As part of this study I analysed the history of the current forest management paradigm. This analysis revealed the path dependency which still hinders the protection of biodiversity and clearly decreases the general legitimacy of forest management. Due to several historical reasons only even-structured forest management based on clear cuts has for decades been officially approved in Finland. Due to increasing demands of forest owners the legislation is finally being revised. Yet, the official approval of uneven-structured forest management would not be enough to fully improve ecological, social and cultural legitimacy. The latest ecological theories and knowledge of endangered species should be taken into account in the on-going reform of forest legislation as well as the modernisation. Forest legislation is one of the very few spheres of Finnish environmental legislation where openness and participation are still considered a threat. The first Finnish forest certification scheme, PEFC, was established in 2000. It now covers more than 20 million hectares, about 95% of the forests in Finland. PEFC Finland does not require a higher level of biodiversity protection than the recommendations by Tapio (the Development Centre for Forestry), but certification has unified forest management practices and requires more protection measures than mere forest legislation. The study suggests that in Finland PEFC has not functioned as an instrument which would substantially improve the level of forest management. Rather it has supported the status quo of the forest sector. While the ecological and social responsibility of Finland-based forest corporations was one impetus for this research, I want to conclude that there are problems related to forest legislation and non-state regulation in both Finland and Russia. If an enterprise buying wood from Russia buys only certified wood, and carefully avoids wood coming from high conservation value forests that are either ecologically or socially valuable, it can be claimed to be as sustainably produced as in Finland. However, there must be continuous scrutiny of the circumstances. In Russia, the level of the compliance of certification criteria varies considerably, and there are vast unprotected invaluable forest areas. The utilisation of these areas should not be based on short-sighted decisions or lack of consensus among stakeholders.

Kernel-Based Ranking. Methods for Learning and Performance Estimation

Machine learning provides tools for automated construction of predictive models in data intensive areas of engineering and science. The family of regularized kernel methods have in the recent years become one of the mainstream approaches to machine learning, due to a number of advantages the methods share. The approach provides theoretically well-founded solutions to the problems of under- and overfitting, allows learning from structured data, and has been empirically demonstrated to yield high predictive performance on a wide range of application domains. Historically, the problems of classification and regression have gained the majority of attention in the field. In this thesis we focus on another type of learning problem, that of learning to rank. In learning to rank, the aim is from a set of past observations to learn a ranking function that can order new objects according to how well they match some underlying criterion of goodness. As an important special case of the setting, we can recover the bipartite ranking problem, corresponding to maximizing the area under the ROC curve (AUC) in binary classification. Ranking applications appear in a large variety of settings, examples encountered in this thesis include document retrieval in web search, recommender systems, information extraction and automated parsing of natural language. We consider the pairwise approach to learning to rank, where ranking models are learned by minimizing the expected probability of ranking any two randomly drawn test examples incorrectly. The development of computationally efficient kernel methods, based on this approach, has in the past proven to be challenging. Moreover, it is not clear what techniques for estimating the predictive performance of learned models are the most reliable in the ranking setting, and how the techniques can be implemented efficiently. The contributions of this thesis are as follows. First, we develop RankRLS, a computationally efficient kernel method for learning to rank, that is based on minimizing a regularized pairwise least-squares loss. In addition to training methods, we introduce a variety of algorithms for tasks such as model selection, multi-output learning, and cross-validation, based on computational shortcuts from matrix algebra. Second, we improve the fastest known training method for the linear version of the RankSVM algorithm, which is one of the most well established methods for learning to rank. Third, we study the combination of the empirical kernel map and reduced set approximation, which allows the large-scale training of kernel machines using linear solvers, and propose computationally efficient solutions to cross-validation when using the approach. Next, we explore the problem of reliable cross-validation when using AUC as a performance criterion, through an extensive simulation study. We demonstrate that the proposed leave-pair-out cross-validation approach leads to more reliable performance estimation than commonly used alternative approaches. Finally, we present a case study on applying machine learning to information extraction from biomedical literature, which combines several of the approaches considered in the thesis. The thesis is divided into two parts. Part I provides the background for the research work and summarizes the most central results, Part II consists of the five original research articles that are the main contribution of this thesis.

Carbon sequestration and nutrient reserves under differen t land use systems

This study evaluated the contribution of agroforestry (AFS) and traditional systems to carbon sequestration and nutrient reserves in plants, litter and soil. The study was carried out in the semiarid region of Brazil in a long-term experiment on an experimental farm of the goat and sheep section of the Brazilian Agricultural Research Corporation (Embrapa). Two agroforestry systems were investigated: agrosilvopastoral (ASP) and forest-pasture areas (SP) as well as traditional agriculture management (TM), two areas left fallow after TM (six fallow years - F6 and nine fallow years - F9) and one area of preserved Caatinga vegetation (CAT). Soil, litter and plants were sampled from all areas and the contents of C, N, P, K, Ca and Mg per compartment determined. The AFS (ASP and SP) had higher nutrient stocks than the traditional and intermediate stocks compared to the preserved Caatinga. In the ASP, a relevant part of the nutrients extracted by crops is returned to the system by constant inputs of litter, weeding of herbaceous vegetation and cutting of the legume crops. After fallow periods of six and nine years, carbon and nutrient stocks in the compartments soil, litter and herbaceous plants were similar to those of the preserved Caatinga (CAT), but still lower than under natural conditions in the woody vegetation.