Fuel cell hybrid model for predicting hydrogen inflow through energy demand

[Abstract]: Hydrogen-based energy storage and generation is an increasingly used technology, especially in renewable systems because they are non-polluting devices. Fuel cells are complex nonlinear systems, so a good model is required to establish efficient control strategies. This paper presents a hybrid model to predict the variation of H2 flow of a hydrogen fuel cell. This model combining clusters’ techniques to get multiple Artificial Neural Networks models whose results are merged by Polynomial Regression algorithms to obtain a more accurate estimate. The model proposed in this article use the power generated by the fuel cell, the hydrogen inlet flow, and the desired power variation, to predict the necessary variation of the hydrogen flow that allows the stack to reach the desired working point. The proposed algorithm has been tested on a real proton exchange membrane fuel cell, and the results show a great precision of the model, so that it can be very useful to improve the efficiency of the fuel cell system.Ministerio de Economía, Industria y Competitividad; H2SMART-mGRID (DPI2017-85540-R

Cyclic proof systems for modal fixpoint logics

This thesis is about cyclic and ill-founded proof systems for modal fixpoint logics, with and without explicit fixpoint quantifiers.Cyclic and ill-founded proof-theory allow proofs with infinite branches or paths, as long as they satisfy some correctness conditions ensuring the validity of the conclusion. In this dissertation we design a few cyclic and ill-founded systems: a cyclic one for the weak Grzegorczyk modal logic K4Grz, based on our explanation of the phenomenon of cyclic companionship; and ill-founded and cyclic ones for the full computation tree logic CTL* and the intuitionistic linear-time temporal logic iLTL. All systems are cut-free, and the cyclic ones for K4Grz and iLTL have fully finitary correctness conditions.Lastly, we use a cyclic system for the modal mu-calculus to obtain a proof of the uniform interpolation property for the logic which differs from the original, automata-based one

Bioinformatics Applications Based On Machine Learning

The great advances in information technology (IT) have implications for many sectors, such as bioinformatics, and has considerably increased their possibilities. This book presents a collection of 11 original research papers, all of them related to the application of IT-related techniques within the bioinformatics sector: from new applications created from the adaptation and application of existing techniques to the creation of new methodologies to solve existing problems

An examination of the managerial decision-making processes of experts from a behavioural perspective

The purpose of this study was to develop an understanding of the interaction between expertise, managerial role, and subjective behavioural characteristics. The research seeks answers to the question: What shapes the managerial decision-making processes of an expert? Four case studies examined the decision-making processes of four domain experts who have taken on managerial roles. The studies follow a triangulated approach using interviews, observations and psychological evaluations to discover the dominant decision making processes of the experts in their managerial roles. This study includes interviews with each of the four experts, interviews with people associated with them in their work environment, the researcher’s observations, and three psychological evaluations. The research indicates that the subjective characteristics of the experts studied may determine the domain in which they became expert, and consequently the managerial role that they chose and also the managerial decision-making processes that they follow. The experts’ decision-making processes seem to be shaped initially by their subjective characteristics, second by their expertise and last by their managerial role. There was however, an indication that these experts dichotomise their managerial decision-making processes to distinguish between decisions that directly involve people and other decisions. Managerial requirements create situations that require the use of the experts’ subjective characteristics that are not otherwise used. It is therefore concluded that the subjective characteristics of the experts studied have shaped their managerial decision-making processes. The outcome from a study of four experts is not expected to be valid for all experts, however it may add weight to an argument that more consideration needs to be made of the two-way interaction between expert and domain

Behavior quantification as the missing link between fields: Tools for digital psychiatry and their role in the future of neurobiology

The great behavioral heterogeneity observed between individuals with the same psychiatric disorder and even within one individual over time complicates both clinical practice and biomedical research. However, modern technologies are an exciting opportunity to improve behavioral characterization. Existing psychiatry methods that are qualitative or unscalable, such as patient surveys or clinical interviews, can now be collected at a greater capacity and analyzed to produce new quantitative measures. Furthermore, recent capabilities for continuous collection of passive sensor streams, such as phone GPS or smartwatch accelerometer, open avenues of novel questioning that were previously entirely unrealistic. Their temporally dense nature enables a cohesive study of real-time neural and behavioral signals. To develop comprehensive neurobiological models of psychiatric disease, it will be critical to first develop strong methods for behavioral quantification. There is huge potential in what can theoretically be captured by current technologies, but this in itself presents a large computational challenge -- one that will necessitate new data processing tools, new machine learning techniques, and ultimately a shift in how interdisciplinary work is conducted. In my thesis, I detail research projects that take different perspectives on digital psychiatry, subsequently tying ideas together with a concluding discussion on the future of the field. I also provide software infrastructure where relevant, with extensive documentation. Major contributions include scientific arguments and proof of concept results for daily free-form audio journals as an underappreciated psychiatry research datatype, as well as novel stability theorems and pilot empirical success for a proposed multi-area recurrent neural network architecture.Comment: PhD thesis cop

A review of commercialisation mechanisms for carbon dioxide removal

The deployment of carbon dioxide removal (CDR) needs to be scaled up to achieve net zero emission pledges. In this paper we survey the policy mechanisms currently in place globally to incentivise CDR, together with an estimate of what different mechanisms are paying per tonne of CDR, and how those costs are currently distributed. Incentive structures are grouped into three structures, market-based, public procurement, and fiscal mechanisms. We find the majority of mechanisms currently in operation are underresourced and pay too little to enable a portfolio of CDR that could support achievement of net zero. The majority of mechanisms are concentrated in market-based and fiscal structures, specifically carbon markets and subsidies. While not primarily motivated by CDR, mechanisms tend to support established afforestation and soil carbon sequestration methods. Mechanisms for geological CDR remain largely underdeveloped relative to the requirements of modelled net zero scenarios. Commercialisation pathways for CDR require suitable policies and markets throughout the projects development cycle. Discussion and investment in CDR has tended to focus on technology development. Our findings suggest that an equal or greater emphasis on policy innovation may be required if future requirements for CDR are to be met. This study can further support research and policy on the identification of incentive gaps and realistic potential for CDR globally