For many students, algebraic formulas are abracadabra: they lack symbol sense. Symbol sense includes identifying the structure of algebraic formulas, giving meaning to them, and reasoning with and... Show moreFor many students, algebraic formulas are abracadabra: they lack symbol sense. Symbol sense includes identifying the structure of algebraic formulas, giving meaning to them, and reasoning with and about formulas. Besides basic skills, symbol sense is needed to solve algebraic problems and it is not known how to teach symbol sense systematically.In this research we have studied how teaching graphing formulas by hand (i.e. sketching a graph of a formula) could promote grade 11- and 12-students’ symbol sense. Our GQR-design (Graphing formulas through recognition and qualitative reasoning) is based on expert research and pays explicit attention to recognition of basic function families and features, and to qualitative reasoning, that focuses on the global shape of a graph, with global descriptions and ignoring what is not relevant. These aspects get little attention in regular education, that often focuses on algebraic manipulation.We found that students improved their insight into formulas and found a positive correlation between students’ abilities to graph formulas and their abilities to solve non-routine algebra problems with symbol sense. The students were able to use essential aspects of symbol sense, learned in the context of graphing formulas, such as taking a global view for recognition, qualitative reasoning, and questioning a formula, when solving algebra problems.In the future, when technology will take over the manipulation of algebraic formulas, symbol sense will become even more important. Graphing formulas could promote students’ symbol sense in upper secondary school, and therefore deserves a prominent place in mathematics curriculum. Show less
The development process of any software has become extremely important not just in the IT industry, but in almost every business or domain of research. The effort in making this process quick,... Show moreThe development process of any software has become extremely important not just in the IT industry, but in almost every business or domain of research. The effort in making this process quick, efficient, reliable and automated has constantly evolved into a flow that delivers software incrementally based on both the developer's best skills and the end user's feedback. Software modeling and modeling languages have the purpose of facilitating product development by designing correct and reliable applications. The concurrency model of the Abstract Behavioural Specification (ABS) Language with features for asynchronous programming and cooperative scheduling is an important example of how modeling contributes to the reliability and robustness of a product. By abstracting from the implementation details, program complexity and inner workings of libraries, software modeling, and specifically ABS, allow for an easier use of formal analysis techniques and proofs to support product design. However there is still a gap that exists between modeling languages and programming languages with the process of software development often going on two separate paths with respect to modeling and implementation. This potentially introduces errors and doubles the development effort. \par The overall objective of this research is bridging the gap between modeling and programming in order to provide a smooth integration between formal methods and two of the most well-known and used languages for software development, the Java and Scala languages. The research focuses mainly on sequential and highly parallelizable applications, but part of the research also involves some theoretical proposals for distributed systems. It is a first step towards having a programming language with support for formal models. Show less
The term “cardiometabolic disease” describes a cluster of sub-clinical disorders that are shared by cardiovascular diseases and type 2 diabetes, including dyslipidaemia, and glucose intolerance. In... Show moreThe term “cardiometabolic disease” describes a cluster of sub-clinical disorders that are shared by cardiovascular diseases and type 2 diabetes, including dyslipidaemia, and glucose intolerance. In clinical settings, fasting measurement is still the gold standard for the diagnosis of hyperglycemia and dyslipidaemia. However, due to irregular meal intake, we spend the majority of our waking hours in a non-fasting state. The non-fasting state is a dynamic condition that is affected by many factors, including diet, lifestyle, physiological factors, pathological conditions, and genetics. Thus far, the genes and genetic loci that affect postprandial glucose and lipid metabolism have not been fully understood. By using the data from the Netherlands Epidemiology of Obesity study, we found 1) postprandial measures after a liquid mixed meal were as robust as fasting measures by repeated measures; 2) to stratify pre-diabetic individuals into high- and low-risk of developing to type 2 diabetes, the model performance by using postprandial metabolites was similar to the model performance using fasting metabolites; 3) the genetics of fasting and postprandial metabolite levels are highly overlapped. All the findings suggest that postprandial measures after a liquid meal are as reliable and clinically relevant as fasting measures for cardiometabolic disease research and diagnosis. Show less
This thesis is a collection of theoretical works aiming at adjusting quantum algorithms to the hardware of quantum computers. The overarching topic of these efforts is to enable digital quantum... Show moreThis thesis is a collection of theoretical works aiming at adjusting quantum algorithms to the hardware of quantum computers. The overarching topic of these efforts is to enable digital quantum simulation, the process of approximating the ground state of an arbitrary physical system with elementary operations of a quantum computer. For fermionic systems, a class including molecules and materials, the impact of quantum computing would be undoubtedly high, and algorithms exist for their simulation. However, there is a certain gap between the requirements of those algorithms and what actual quantum devices can provide: it seems that our expectations of a fully-fledged quantum computer still exceed our capabilities to build it. To make quantum simulation feasible, we seek to adapt quantum algorithms to three different types of device limitations within this thesis. Show less
This thesis revolves around the electronic spectroscopy of molecules in the laboratory and the search for the carriers of the diffuse interstellar bands (DIBs). The electronic spectra of carbon... Show moreThis thesis revolves around the electronic spectroscopy of molecules in the laboratory and the search for the carriers of the diffuse interstellar bands (DIBs). The electronic spectra of carbon chains are measured and analyzed in the lab, and the abundance of molecules in the diffuse interstellar regions of our Galaxy is quantified to provide some insight on the nature of the DIB carriers and of the environments where they might be found. In particular, cavity-enhanced absorption methods are employed to record spectra of linear hydrocarbons with which molecular constants are obtained. The wavelength positions of the electronic bands found in the lab are then compared to DIB spectra. Finally, absorption lines of interstellar OH+ are searched for in the near-UV spectra of starlight through diffuse and translucent clouds. These lines are used in deriving the abundance of OH+ and inferring the cosmic-ray ionization rates in these interstellar regions. These rates, in turn, are relevant to link to potential DIB carriers in these environments. Show less
The Low Frequency Array enables studies of low-frequency carbon radio recombination lines with unprecedented sensitivity, spectral and spatial resolution. In this thesis we benefit from the... Show moreThe Low Frequency Array enables studies of low-frequency carbon radio recombination lines with unprecedented sensitivity, spectral and spatial resolution. In this thesis we benefit from the capabilities of LOFAR to study the cold interstellar medium through carbon radio recombination lines. We find that at low-frequencies these lines trace cold gas, associated with the C+/CI/CO interface of photo-dissociation regions. This opens up the possibility to study these interfaces over large regions of the Milky Way. Show less
This thesis studied in depth the energy use and CO2 emissions of the industrial sector in China. As discussed in chapter 1, being responsible for about 84% of the Chinese CO2 emissions in 2015, the... Show moreThis thesis studied in depth the energy use and CO2 emissions of the industrial sector in China. As discussed in chapter 1, being responsible for about 84% of the Chinese CO2 emissions in 2015, the industrial sector plays a vital role in achieving the emission goals for China. The regional and sectoral heterogeneities have been considered since the industrial sector is distributed in different regions and consists of different sub-sectors. Chapter 2 studied the regional heterogeneity in industrial carbon intensity and its drivers in specific years of 1999. 2005, 2010 and 2015. Chapter 3 investigated the driving forces of industrial aggregate energy intensity (IAEI) and the contribution of each industrial sub-sector to the changes in IAEI. Chapter 4 studied to what extent performance convergence of energy-intensive industries across provinces can contribute to CO2 emission reductions and China’s emission goals. Chapter 5 provided a critical literature review on the historical drivers of industrial CO2 emissions and the projected ranges for future emissions against the backdrop of policy goals, both for the industrial sector as a whole, and for the major industrial sub-sectors (electricity generation, cement production, steel production, chemicals, petroleum and non-ferrous metals). Show less
This dissertation presents methodological advances in the field of frailty models. Time to event data is very common in biomedical applications. Multivariate data, such as recurrent event... Show moreThis dissertation presents methodological advances in the field of frailty models. Time to event data is very common in biomedical applications. Multivariate data, such as recurrent event histories or clustered failures, typically require special modeling techniques. Frailty models extend the proportional hazards models by employing random effects. In this book, the first chapter represents an introduction to the field of frailty models. The second chapter studies the small sample properties of such models in more depth. In particular, it addresses the questions of identifiability of frailty models. The third chapter describes a score test that may be used to test whether a recurrent events process is associated with a terminal event. The fourth chapter studies the problem of event-dependent selection in the context of recurrent events data. This problem is relevant when the data are collected from registries. The fifth chapter introduces a novel R package and presents an overview of available software for estimating frailty models. Show less
The majority of platelet transfusions are given to patients with a hematological malignancy to prevent or treat bleeding complications. The adhered transfusion trigger for patients with an... Show moreThe majority of platelet transfusions are given to patients with a hematological malignancy to prevent or treat bleeding complications. The adhered transfusion trigger for patients with an increased risk of bleeding varies among hematologists. Although almost 20.000 donors are HLA typed in the Netherlands, adequate transfusion support cannot be guaranteed for all immunized patients, especially not for patients from a non-Caucasian background. From a clinical perspective, major hemorrhage is the most relevant outcome to measure effectiveness of platelet transfusions. We developed a model consisting of drop in hemoglobin, transfusion support, and CT-brain to enable the identification of major hemorrhage among leukemic patients in routinely recorded data. In the Netherlands, the standard platelet concentrate is derived from buffy coats and resuspended in plasma or platelet additive solution (PAS) and can be stored for seven days. Storage has a negative effect on safety and efficacy of platelet transfusions. Using routinely collected health care data, we demonstrated a lower risk of a positive blood culture after transfusion of platelet concentrates stored for five to seven days. Using the database of TRIP, we showed an increased risk of transfusion transmitted bacterial infections for platelet concentrates stored in PAS compared to those stored in plasma. Show less
Laboratory, observation and modeling work on the dissociation of polycyclic aromatic hydrocarbons in interstellar environments and the formation of new molecular species through the fragmentation... Show moreLaboratory, observation and modeling work on the dissociation of polycyclic aromatic hydrocarbons in interstellar environments and the formation of new molecular species through the fragmentation process. Show less
Hot astrophysical plasma is ubiquitous in the Universe, from comets in our Solar system to the largest scale structures -- the cosmic web filaments. These hot plasmas, with the temperature of... Show moreHot astrophysical plasma is ubiquitous in the Universe, from comets in our Solar system to the largest scale structures -- the cosmic web filaments. These hot plasmas, with the temperature of a few millions of degrees, are often observed in the X-ray wavelength range. Spectroscopic diagnostics enable us to probe physical properties like temperature, density, abundance, microscopic turbulence, the line of sight velocity, etc. High resolving power is essential to overcome the confusion caused by unresolved spectral features. Thanks to the grating spectrometers aboard XMM-Newton and Chandra, our knowledge of the hot and energetic Universe are advanced. Meanwhile, high-quality spectra from current and future generations of X-ray spectrometers also challenge plasma models that are widely used in the community. More complete and accurate atomic data are required to improve plasma models. Suitable management of the ever-growing atomic data is also important. This thesis starts with the updates of radiative recombination data in the spectral analysis package SPEX, where various plasma models built on the atomic database are available. The updated plasma models are then used to better understand the physics of circumnuclear media in NGC 5548 and NGC 3783, as well as the nitrogen enrichment in the intracluster media. Show less
Of all the mass in our Universe, 80% is thought to consist of a hypothetical and invisible substance called dark matter (DM). So far, all observations of DM are based on its gravitational... Show moreOf all the mass in our Universe, 80% is thought to consist of a hypothetical and invisible substance called dark matter (DM). So far, all observations of DM are based on its gravitational interaction, either through the dynamics of normal (baryonic) matter or through the deflection of light. The latter approach, called ‘gravitational lensing’, is a unique way to probe the distribution of DM without making any assumptions on its dynamical state, and on scales larger than the extent of baryons. Using weak gravitational lensing with the Kilo-Degree Survey (KiDS), we first study the relation between galaxies and their dark matter halos on the scale of individual galaxies and galaxy groups. We then attempt to measure the effect of the local and large scale (cosmic web) density distribution on galaxies and halos, and we measure the interplay between galactic and DM structures at the scale of the cosmic web. Finally, we perform the first test of Verlinde’s theory of Emergent Gravity, all with the ultimate goal of gleaning some insight into the possible nature of the elusive ‘missing mass’. Show less
Drug-target binding kinetics determine the time course of the central event in pharmacotherapy: Drug-target interaction. However, the time course of a drug effect is also influenced by many... Show moreDrug-target binding kinetics determine the time course of the central event in pharmacotherapy: Drug-target interaction. However, the time course of a drug effect is also influenced by many other physiological processes such as the metabolism and excretion of a drug and the transduction of the relevant biological signals. In this study, we investigate when target binding kinetics are determining the time course of drug effect and generate understanding into the relation between the parameter values and the rate-limiting step in the duration of a drug effect. Show less
In this thesis we will explore the use of fuzzy systems theory for applications in bioinformatics. The theory of fuzzy systems is concerned with formulating decision problems in data sets that... Show moreIn this thesis we will explore the use of fuzzy systems theory for applications in bioinformatics. The theory of fuzzy systems is concerned with formulating decision problems in data sets that are ill-defined. It supports the transfer from a subjective human classification to a numerical scale. In this manner it affords the testing of hypothesis and separation of the classes in the data. We first formulate problems in terms of a fuzzy system and then develop and test algorithms in terms of their performance with data from the domain of the life-sciences. From the results and the performance, we will learn about the usefulness of fuzzy systems for the field, as well as the applicability to the kind of problems and practicality for the computation itself. Show less
Clinical development of drugs for central nervous system (CNS) disorders has been particularly challenging and still suffers from high attrition rates. This high attrition is mainly due to lack of... Show moreClinical development of drugs for central nervous system (CNS) disorders has been particularly challenging and still suffers from high attrition rates. This high attrition is mainly due to lack of efficacy during clinical development. To improve the prediction of CNS drug effects, knowledge of the drug concentration at the CNS target-site is indispensable. Unfortunately, measuring drug concentrations in the human CNS has major practical and ethical constraints. Therefore, alternative approaches to predict the drug pharmacokinetics (PK) at the target-site(s) in the human CNS should be searched for.In this research, a comprehensive CNS physiologically based PK (PBPK) model for prediction of drug concentration-time profiles in multiple CNS compartments was developed for both rats and humans. The CNS PBPK model only requires knowledge of physicochemical properties of the drugs, with the influence of the net active transporters on the drug exchange across the BBB and the BCSFB that can be obtained from in silico predictions, literature information and in vitro studies (if needed). Because of this, the developed CNS PBPK model is a powerful tool to predict drug PK in the CNS in the early stage of the drug development. Show less
The thesis describes experimental steps towards reduction of friction on the macroscopic scale by scenarios of thermo- and superlubricity well-known on the nanoscale. The friction study involves... Show moreThe thesis describes experimental steps towards reduction of friction on the macroscopic scale by scenarios of thermo- and superlubricity well-known on the nanoscale. The friction study involves experiments on tailored Si nanopillar arrays, micropatterned Diamond-Like Carbon coating and high-quality graphene. Show less
