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
Advanced sensing techniques require graphene with high quality and well-controlled surface chemistry. The intrinsic high mobility, low electrical noises and uniform graphitic crystallinity are the... Show moreAdvanced sensing techniques require graphene with high quality and well-controlled surface chemistry. The intrinsic high mobility, low electrical noises and uniform graphitic crystallinity are the prerequisites for high-performance graphene electronics. More importantly, chemical functionalization contributes to unlock the sensing potential of the graphene basal plane. This thesis focuses on manipulating the surface chemistry of a graphene monolayer and explores the impacts on the electrical and electrochemical properties for sensing applications. Heteroatoms like hydrogen, nitrogen and oxygen were systematically introduced into the graphene lattice as defect sites to modify the surface chemistry, and consequently the electronic properties and sensing performance. In summary, a correlation between the in-plane electron transport and the electrochemical activity of hydrogenated graphene was studied by modulating the density of H-sp3 defects. Moreover, cleaning effect on the graphene surface caused by hydrogenation process and the corresponding mechanism were discussed. The electrocatalysis of oxygen reduction reaction on nitrogen doped monolayer graphene was conducted to pinpoint the catalytic active sites. The mechanics of a centimeter-scale graphene floating on water was characterized by biaxial compression. Finally, the chemically modified graphene was tested for field-effect sensing of gas molecules. 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
Lysosomal glycosidases are acid hydrolases that fragment glycoconjugates in lysosomes. Their inherited deficiency in human is the cause of a number of lysosomal storage disorders (LSDs),... Show moreLysosomal glycosidases are acid hydrolases that fragment glycoconjugates in lysosomes. Their inherited deficiency in human is the cause of a number of lysosomal storage disorders (LSDs), showing characteristic lysosomal accumulation of undegraded glycoconjugates. In the past, activity-based probes (ABPs) based on cyclophellitol or cyclophellitol aziridine scaffold have emerged as powerful tools enabling sensitive quantification of a number of lysosomal glycosidases in extracts of cells and tissue, as well as in intact cells. This thesis describes the characterization of several novel ABP classes targeting α-glucosidase, β-glucuronidase, α-L-iduronidase, α-mannosidase, β-mannosidase, and β-galactosidase, as well as a broad scale of applications for ABPs in LSD research. Novel glucocerebrosidase inhibitors based on the cyclophellitol scaffold are also described, which are brain-permeable, selective, and potently inactivate the enzyme in adult zebrafish. Additionally, a protocol for gel-based and microscopy-based detection of glucocerebrosidase is described. 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
In the search for sustainable energy solutions, the idea of artificial photosynthesis has been proposed as an approach with which to use water and sunlight to produce hydrogen. Key in the... Show moreIn the search for sustainable energy solutions, the idea of artificial photosynthesis has been proposed as an approach with which to use water and sunlight to produce hydrogen. Key in the development of hydrogen production technologies is the splitting of water using a water oxidation catalyst. In this thesis, the water splitting catalytic process was investigated using a number of different computational techniques. Computationally, the water splitting catalytic process has traditionally been considered statically as a number of snapshots, and in vacuum. The traditional approaches also often include a number of correction factors for the charge carriers in the reaction. But because catalytic processes are dynamic, a novel approach was also developed in this thesis. With this approach, one can examine the dynamic transition from one catalytic intermediate to another, in a fully solvated environment. In optimising water oxidation catalysts it is important to consider the interaction with the surrounding environment, and how this can impact the catalytic reaction. Furthermore, in the new approach all the charge carriers–protons and electrons–are included in a dynamic simulation. These techniques give us a better idea of the things needed in the optimisation of water oxidation catalysts. Show less
This thesis describes the design, characterization and application of dextran based crosslinked network. Dextran, a neutral and hydrophilic polysaccharide, was functionalized with maleimide or... Show moreThis thesis describes the design, characterization and application of dextran based crosslinked network. Dextran, a neutral and hydrophilic polysaccharide, was functionalized with maleimide or vinyl sulfone groups which are able to form covalent bonds with nucleophilic thiols via a thiol-Michael addition reaction. The functionalized dextran polymers are liable to be crosslinked to generate 3D networks. Novel drug delivery platforms, including dextran-albumin hydrogels and dextran-poly(ethylene glycol)-albumin hydrogels, were established in which human serum albumin acts simultaneously as an affinity-based drug carrier and crosslinker. The obtained drug delivery platforms showed high drug loading efficiency and demonstrated sustained release of drug molecules. This thesis also explores emerging applications of hydrogels. New method to form giant unilamellar vesicles was established by assisting the hydration process of a lipid film with a dextran-poly(ethylene glycol) hydrogel film. Using this approach, polymer and additive-free GUVs can be prepared rapidly in high yield under physiological ionic strength conditions. 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
The cannabinoid receptor type 2 (CB2R) is associated with several inflammatory diseases with an unmet medical need (e.g. Alzheimers, multiple sclerosis, reumatoid arthritis). Development of... Show moreThe cannabinoid receptor type 2 (CB2R) is associated with several inflammatory diseases with an unmet medical need (e.g. Alzheimers, multiple sclerosis, reumatoid arthritis). Development of new chemical biology strategies to study this protein is essential to aid future development of drugs for these diseases. Show less