Miracle-dz/UniFAR-FTUs huggingface dataset:
A Framework for Nonlinear Model Predictive Control

Main objective of this thesis is development and implementation of a modular computer framework for nonlinear model predictive control (NMPC). Modularity of the framework is achieved by dividing NMPC algorithm into several logical blocks that can be implemented independently. The NMPC algorithm is described from the theoretical point of view. Commonly used approaches and individual computation steps are discussed. The control problem formulation is studied and practical guidelines are given to demonstrate how the control objectives can be transformed into the optimization problem cost function and constraints. The NMPC framework is implemented in Matlab and can be used as a tool for NMPC control development and prototyping. As the framework is modular, di erent optimization solvers, numerical integration routines and NMPC approaches can be evaluated for any particular application. Functionality of the developed NMPC framework is demonstrated on illustrative control problem examples. The rst example is a simpli ed vehicle steering control and the second one is a diesel engine air-path control. Abstrakt Hlavním cílem této práce je návrh a implementace modulárního prost°edí pro nelineární prediktivní °ízení (NMPC). Modularity je dosaoeno rozd¥lením algoritmu NMPC do samostatných blok· které jsou implementovány nezávisle na sob¥. Algoritmus NMPC je nejprve rozebrán v teoretické rovin¥. Poté jsou popsány b¥on¥ pouoívané postupy a jejich jednotlivé kroky. Dále je vyv¥tleno jak formulovat pooadavky na °ízení ve form¥ kriteriální funkce a omezujících podmínek optimaliza£ní úlohy. Prost°edí pro NMPC je implementováno v jazyce Matlab a m·oe být pouoito pro návrh a testování nelineárního MPC. Díky tomu oe je prost°edí modulární, je mooné nekteré bloky nahradit jinými metodami a otestovat tak jejich vliv na celkový výsledek. To platí pro numerickou integraci, optimaliza£ní metody i dal2í £ásti výpo£etního procesu. Funk£nost prost°edí je p°edvedena na dvou ukázkových p°íkladech. Prvním z nich je °ízení zatá£ení automobilu a druhým °ízení vzduchové cesty vzn¥tového spalovacího motoru. Acknowledgement Let me thank to Ond°ej antin for his kind and helpful supervision of my thesis. Many thanks also come to Honeywell Automotive Software team for providing me with a stimulating environment. Last but not the least, let me thank to my family for their endless support during the course of my studies. Pod¥kování D¥kuji Ond°eji antinovi za jeho vst°ícný a nápomocný p°ístup p°i vedení mé diplomové práce. D¥kuji také týmu Honeywell Automotive Software, který mi poskytl podn¥tné prost°edí. Nakonec mi dovolte pod¥kovat mé rodin¥ za jejich bezmeznou podporu po celou dobu mého studia.
Orientation dependence of human line-length judgements matches statistical structure in real-world scenes

A set of 42 photographs of real-world scenes were filtered by convolution with a Laplacian-of-Gaussian kernel. The linear density of zero-crossings along notional lines in the filtered images was measured as a function of the orientation of those lines. The zero-crossing density was found to be greatest along near vertical lines and least along horizontal lines. The peaks in this function were much broader than the troughs, and there was weak evidence of a small decline in density along lines at and very close to vertical. Psychophysical measurements of the apparent length of a line as a function of its orientation (by the current author and others) show very similar variation, subject to an overall scaling factor. This close correspondence is taken as strong evidence for some sort of environmental determination of the orientation dependence of human length judgements.
Genetic diversity and multiplicity of Plasmodium falciparum merozoite surface protein 2 in field isolates from Sudan

Malaria is a major health problem, with over one third of Background worldwide populations currently at risk. Determining the genetic diversity of plasmodium parasites is essential for assessing the efficacy of antimalarial drugs and for future vaccine development. This study investigated the genetic diversity of merozoite surface protein 2 (MSP2), and P. falciparum multiplicity of infection (MOI) in different geographic regions in Sudan. : A total of 271 patients with uncomplicated malaria were recruited Methods from four ecological sites during malaria transmission season, 2011-2013. was confirmed using species specific primers targeting the P. falciparum rDNA gene. All positive samples were genotyped for the P. falciparum major MSP2 allelic families (IC1/3D7 and FC27 MSP2 allele) using nested PCR. Multiplicity of infection and allele frequencies were determined. : A total of 241 samples (88.9%) were confirmed positive for Results P. . The number of different alleles were 14, 15, 13 and 12 in falciparum MSP2 Khartoum, Gezira, River Nile and Red Sea states, respectively. The 3D7 allelic family was more prevalent in the states of Khartoum, Gezira, River Nile and Red Sea compared to the FC27 allelic family. Multiclonal infections were observed in 25.8% of patients, with a mean multiplicity of infection (MOI) of 1.45. MOIs were highest in the age group over 40, with an average of 2 and 1.68 in Khartoum and Gezira states, respectively, however MOIs in River Nile and Red Sea states were higher in age groups below 18, with an average of 1.37 and 1.33, respectively. : MSP2 allelic genotyping revealed MOI and diversity of the Conclusions Sudanese isolates. The results of our study are expected to P. falciparum influence current and future malaria control strategies, since the MOI predicts development of clinical malaria and subsequent efficacy of 1,2 2 3
What determines quality of life in inclusion body myositis?

Background Quality of life (QoL) assessment allows healthcare professionals to appreciate the patient perspective of their disease. This can help us make a better choice from among the various ways we currently measure the severity of a muscle disease such as inclusion body myositis (IBM). However, we cannot assume that QoL in IBM is just related to disease severity as psychosocial factors may play an important role in determining QoL. Methods Sixty subjects with IBM had assessments of disease severity and concurrent assessment of mood and QoL using the Short-Form 36 (SF-36). Results There were significant reductions in Physical functioning, Role physical, General health and Social functioning domains of the SF-36. Functional disability was more indicative of the broader effects of IBM on SF-36 than was the muscle strength sum score. Mood was relatively independent of disease severity and had a different profile of effects on SF-36 domains. Up to 14% of the effect of functional disability on some aspects of QoL was mediated through mood. Conclusions The functional disability caused by IBM reduces QoL, but psychosocial factors such as mood affect QoL directly and by influencing the degree to which disease severity reduces QoL. Further study should follow the effects of IBM on QoL over time and look at the influence of other psychosocial factors. Such studies may point to psychosocial interventions that may help improve QoL in IBM even if the disease itself cannot be treated.
Dynamic Generation of Design Plans at the Brief S t

The traditional approach to design and construction suffers from many limitations. As the technology becomes more available to the average users, the need for an effective and efficient solution has never been greater. This paper introduces an alternative approach to the life cycle of construction projects "application controlled process". Based on this approach, a framework for an Integrated Construction Environment (ICE) has been developed and implemented in a prototype demonstrator "SPACE" (Simultaneous Prototyping for An integrated Construction Environment). This paper is only concerns with those parts of the ICE which are relevant to the dynamic generation of design drawings. The NIRMANI system aims at generating a schematic design by retrieving previous design solutions that matche the problem specification from a multimedia case library. While the Bay Design Systems aims at re-adjusting the produced design solution to minimise construction problems.
NUMERICAL AND EXPERIMENTAL INVESTIGATION ON THE FLUTTER OF CANTILEVERED PLATES WITH FREE LEADING EDGE IN AXIAL FLOW

This paper reports the results of the numerical and experimental investigation on the flutter of cantilevered thin flat plates with free leading edge in axial flow. Three methods of in-vacuo modal analyses of the plates are presented and compared in this paper, namely the finite element modal analysis using ANSYS STUDENT Modal, the analytical beam model, and the experimental modal analysis. In this study, the numerical Fluid Structure Interaction was performed using the ANSYS STUDENT Structural Transient Analysis and ANSYS STUDENT CFX to obtain the system response in the time domain. Furthermore, the experimental investigation was conducted in the smooth flow of a wind tunnel to observe the flutter speeds of the plates and their vibration characteristics. The plates’ vibration behaviors were mapped on the normalized air speed. The normalized air speed can be divided into four speed zones based on the experimental plates’ vibration characteristics. A new finding observed during the experiments is the presence of intermittent vibration behavior that is unique to the free leading edge configuration and has not been reported by other researchers in the earlier references of the clamped leading edge configuration. The potential application of this Fluid Structure Interaction configuration to wind harvesting is inquired.
Isabella AnnaVacchi / CéciliaMénard-Moyon / AlbertoBianco Chemical Functionalization ofGraphene Family Members

Thanks to their outstanding physicochemical properties, graphene and its derivatives are interesting nanomaterials with a high potential in several fields. Graphene, graphene oxide, and reduced graphene oxide, however, differ partially in their characteristics due to their diverse surface composition. Those differences influence the chemical reactivity of these materials. In the following chapter the reactivity and main functionalization reactions performed on graphene, graphene oxide, and reduced graphene oxide are discussed. A part is also dedicated to the main analytical techniques used for characterization of these materials. Functionalization of graphene and its derivatives is highly important to modulate their characteristics and design graphene-based conjugates with novel properties. Functionalization can be covalent by forming strong and stable bonds with the graphene surface, or non-covalent via π–π, electrostatic, hydrophobic, and/or van der Waals interactions. Both types of functionalization are currently exploited.
Transformation of atla‐negative leukocytes by blood components from anti‐ATLA‐positive donors In vitro

Anti‐ATLA‐positive blood components transformed healthy human leukocytes in vitro. Blood components examined were packed red cells, whole blood, platelet concentrate and fresh frozen plasma. Leukocytes present in anti‐ATLA‐positive blood components such as packed red cells, whole blood and platelet concentrate easily transformed anti‐ATLA‐negative leukocytes. Co‐culture in fresh frozen plasma, however, did not transform recipient leukocytes, and leukocytes of anti‐ATLA‐positive recipients proved refractory to transformation. The transformed cells were morphologically lymphoid, grew in suspension, and possessed normal recipient karyotypes except in the case of three platelet concentrates. A high proportion of all the transformed populations formed Erosettes with neuraminidase‐treated sheep erytrocytes. The cytoplasm of over 90% of each recipient was stained brilliantly with antibodies against ATLV‐determined antigens. Electron microscopy of these transformed cells revealed many C‐type virus particles in the extracellular space. Blood components, such as packed red cells, whole blood and platelet concentrate, containing leukocytes from anti‐ATLA‐positive donors, should be used cautiously to prevent the transmission on ATLV to anti‐ATLA‐negative recipients.
Comprehensive understanding of conductive filament characteristics and retention properties for highly reliable ReRAM

We have proposed a retention degradation model based on an oxygen diffusion and percolation path cut mechanism in a filament of TaOx bipolar ReRAM. We have developed a new methodology for quantitating the conductive filament characteristics and have revealed that the retention property of ReRAMs can be explained in terms of filament characteristics, including filament size S, density of oxygen vacancies N(Vo), and density of residual oxygen N(Ox). We have improved the retention property of ReRAM under low current operation, by controlling these filament characteristics.
APPLICATION OF A SIMULATION MODEL TO AN INDUSTRIAL ETHANE-CRACKING FURNACE OPERATION JÁNOS KEREZSI

Computer simulation of an ethane furnace in the olefin production is presented. It is focused on the application of modelling programs for the simulation of multistage chemical technology processes. The submitted strategy allows the modelling of homogeneous and heterogeneous processes in reactors of any complexity on basis of experimental data processing. The simulation of reactor processes has been performed with the use of the CHEMCAD program for the ethane thermal cracking. The main products of Steam Cracking Olefin production technology are the ethylene and propylene. It is necessary to use an appropriate kinetic model for the simulations, because it determines the results of the simulation. Choice of the mathematical theory is also important, since it determines the number of the iterations and the running time of the simulations. The chosen model has to harmonise with the pyrolysis simulation and in order to get accurate results and it is also necessary to consider each radical reaction.
P o S ( I C H E P 2 0 1 6 ) 4 8 0 Sterile Neutrino Searches with MINOS / MINOS +

The MINOS and MINOS+ experiment ran from 2005 until 2016 with two detectors at baselines of 1 km and 735 km exposed by the NuMI beam from Fermilab. The NuMI beam neutrino flux peaked at an energy of 3 GeV during the MINOS era in both νμ and νμ modes. The MINOS+ data were taken entirely in νμ mode with a peak energy of 7 GeV. A study of three-flavour oscillations with the full MINOS sample and the first two years of data from MINOS+ measured ∆m32 = (2.42±0.09)×10−3 eV2 assuming the Normal Hierarchy, and ∆m32 =− ( 2.48+0.09 −0.11 ) ×10−3 eV2 in the Inverted Hierarchy. Searches for both sterile neutrinos and sterile antineutrinos were performed with no significant evidence of a signal, hence exclusion limits were placed over six orders of magnitude of the sterile neutrino mass-splitting ∆m41. A joint analysis of the MINOS νμ disappearance sample and the Daya Bay and Bugey-3 νe disappearance samples excludes the LSND and MiniBooNE allowed regions for ∆m41 < 0.8 eV 2 at 95% C.L. Finally, an analysis searching for anomalous νe appearance above 6 GeV in MINOS+ was used to set a limit on the allowed sterile neutrino parameter space.
Fixation and Epitope Retrieval in Diagnostic Immunohistochemistry: A Concise Review with Practical Considerations

Diagnostic immunohistochemistry (DIHC) is an extremely valuable technological development that has revolutionized the practice of surgical pathology over the past 25 years. Like any laboratory procedure, however, the precise concatenation of methodological details that are used by any given investigator has a major effect on final results. In this overview, the authors consider several of these variables and illustrate how they may be optimized in an effective and efficient approach to quality assurance in the DIHC laboratory. The great majority of this discussion concerns processing factors as they affect paraffin section–based immunohistology because that is still, by far, the most common adjunctive morphologic procedure (AMP) used in hospital pathology. However, information is also presented on elements of tissue processing that affect other analyses as well. The material presented here is a direct reflection of the conjoint experiences of the authors. Although we discuss our preferences regarding many technical aspects of this discipline, we certainly do not mean to imply that ours are the only methods that should be utilized. Nevertheless, it is hoped that they may serve to crystallize basic concepts surrounding fixation, processing, and optimal performance of AMPs.
Influences of the nitrogen content on the morphological , chemical and optical properties of pulsed laser deposited silicon nitride thin films

Silicon nitride (SiNx) thin films of various stoichiometries (x) were prepared on Si (100) substrates applying the Nd:YAG (k = 1064 nm) pulsed laser deposition (PLD) process from pure Si targets in the ‘‘shaded off-axis’’ technique at room temperature. The specific arrangement of this technique with perpendicular target and substrate surfaces and a metallic screen in between guarantees very low particulate (droplet) deposition and, thus, excellent surface qualities. The about 80to 100-nm-thick silicon nitride films have very smooth surfaces (f0.5–1.5 nm roughness) and dense structures. The N2 partial pressure strongly influences the nitrogen content and the silicon bonding structure of the films analyzed by means of secondary ion mass spectroscopy (SIMS) and X-ray photoelectron spectroscopy (XPS), resp. As a consequence, the optical properties examined by spectroscopic ellipsometry are tailorable in a wide spectral range between 250 and 1200 nm. D 2004 Elsevier B.V. All rights reserved.
Deep topology classifiers for a more efficient trigger selection at the LHC

We show how a topology classification based on the list of reconstructed particles in an LHC collision event could be used to improve the online decision of keeping or rejecting an event (trigger). Collision data are represented as: (i) a sequence of particles, used to train recurrent networks; (ii) an abstract image encoding visually the relevant features of each particle and suitable for image-detection techniques. Using any of these classifiers as the last step of the trigger decision process, one could reduce by a factor ∼ 10 the number of stored events while retaining between 95 and 99% of the interesting events, resulting in substantial savings in resources.
Progenitor Cell Tissue Engineering Scaffold Design and Fabrication

C.S. Cox, Jr. (ed.), Progenitor Cell Therapy for Neurological Injury, Stem Cell Biology and Regenerative Medicine, DOI 10.1007/978-1-60761-965-9_2, © Springer Science+Business Media, LLC 2011 Abstract A critical aspect of cell and tissue engineering is the design of non-cellular constructs that closely interact with cells to provide the necessary conditions for intended function. Properties such as surface chemistry, mechanical strength, porosity, and rates of degradation are important elements of a cellular support system and can deeply influence the fate of progenitor cells. To achieve the goal of successful implantation and proliferation of cells in a particular region, various biomaterials and fabrication processes have been explored. Lately, techniques with origins outside the field of biology or medicine have been used to create highly controlled morphologies. This chapter will review the fundamentals of scaffold design as it relates to brain-based therapies and give some examples of fabrication techniques.
Factors a ecting the use and non-use of Learning Management Systems ( LMS ) by academic sta

The purpose of this research was to identify the factors that affect the use and non-use of a Learning Management System (LMS) by lecturers in a South African university. This research involved a qualitative case study of lecturers, and utilised questionnaires for data collection. Findings showed that both internal and external factors are important in shaping use of LMS. Contrary to the literature, high levels of use were found amongst the respondents with a high perception of ease of use and usefulness. However, due to issues such as lack of ongoing training, more advanced features of the technology were not being utilised. It also emerged that patterns of use were affected by pre-existing practices and that the perception of the system was affected by differences to the previous system. This study contributed to literature by providing in-depth analysis of why certain factors affect lectures’ decision regarding LMS usage. Future research should consider the use of extended features of LMSs and the prior practices and systems used within the context of study to understand how they affect use or non-use of an LMS. This study contributes to practice through promoting understanding of why there is underuse of extended features of an LMS among lecturers.
Towards process-oriented Information Visualization for supporting users

Nowadays daily office work consists of dealing with big numbers of data and data sources, and furthermore of working with complex computer programs. In consequence many users have problems to use such programs effective and efficient. In particular beginners have significant problems to use the programs correctly due to complex functionality and interaction options. To avoid this overload of the user, the Information Visualization community has recently developed some approaches that aim to support the users. Unfortunately, these approaches are limited to one special aspect, and sometimes they are just appropriate for one special task. Thus, in this paper we introduce a process-oriented user-supporting approach. It allows selecting adequate supporting techniques in correlation to a performed process and activity to guide the user and help him to solve his task. Furthermore, we show the benefits of designing programs and applications, which implement process definitions for the existing tasks to provide the user with better process orientation. This guides the user through difficult and complex processes.
Familial adenomatous polyposis in two Black South African families

The apparent low incidence of colon cancer in the Black population of South Africa has been ascribed to a non‐Western diet. The present authors report the identification of two common 5‐bp deletions at codons 1309 and 1061 of the adenomatous polyposis coli (APC) gene in a Xhosa and Zulu patient, respectively. The in vitro transcription/translation test (PTT) and a non‐radioactive heteroduplex method, which facilitates resolution of enzymatically amplified DNA by agarose gel electrophoresis, were used for mutation detection. This study represents the first report of APC mutations in indigenous Black individuals clinically diagnosed with familial adenomatous polyposis coli (FAP). The two deletion mutations are responsible for FAP in 35% of affected South Africans, a frequency similar to that described in several other non‐African populations. The apparently low incidence of colon cancer in the African population may be ascribed either to the rare occurrence of the ‘second hit’ needed for polyp formation or to a lower incidence of mutations in the APC gene.
Induction of immunity and immunologic paralysis in mice against polyvinyl pyrrolidone.

Immunity against polyvinyl pyrrolidone in mice was demonstrated by serologic methods and by the immune elimination technique. Preparations with molecular weights of 24,000, 40,000 and 360,000 were immunogenic. The serologic reactions could be inhibited by the non-immunogenic monomer and by a non-immunogenic preparation with a molecular weight of 10,000. Immunologic paralysis could be easily obtained in adult mice. Dose ranges for the induction of immunity and paralysis are described.