Refine
Year of publication
Document Type
- Article (13)
- Doctoral Thesis (9)
- Postprint (3)
- Review (1)
Is part of the Bibliography
- yes (26)
Keywords
- synthesis (26) (remove)
Research synthesis on simple yet general hypotheses and ideas is challenging in scientific disciplines studying highly context-dependent systems such as medical, social, and biological sciences. This study shows that machine learning, equation-free statistical modeling of artificial intelligence, is a promising synthesis tool for discovering novel patterns and the source of controversy in a general hypothesis. We apply a decision tree algorithm, assuming that evidence from various contexts can be adequately integrated in a hierarchically nested structure. As a case study, we analyzed 163 articles that studied a prominent hypothesis in invasion biology, the enemy release hypothesis. We explored if any of the nine attributes that classify each study can differentiate conclusions as classification problem. Results corroborated that machine learning can be useful for research synthesis, as the algorithm could detect patterns that had been already focused in previous narrative reviews. Compared with the previous synthesis study that assessed the same evidence collection based on experts' judgement, the algorithm has newly proposed that the studies focusing on Asian regions mostly supported the hypothesis, suggesting that more detailed investigations in these regions can enhance our understanding of the hypothesis. We suggest that machine learning algorithms can be a promising synthesis tool especially where studies (a) reformulate a general hypothesis from different perspectives, (b) use different methods or variables, or (c) report insufficient information for conducting meta-analyses.
Research synthesis on simple yet general hypotheses and ideas is challenging in scientific disciplines studying highly context-dependent systems such as medical, social, and biological sciences. This study shows that machine learning, equation-free statistical modeling of artificial intelligence, is a promising synthesis tool for discovering novel patterns and the source of controversy in a general hypothesis. We apply a decision tree algorithm, assuming that evidence from various contexts can be adequately integrated in a hierarchically nested structure. As a case study, we analyzed 163 articles that studied a prominent hypothesis in invasion biology, the enemy release hypothesis. We explored if any of the nine attributes that classify each study can differentiate conclusions as classification problem. Results corroborated that machine learning can be useful for research synthesis, as the algorithm could detect patterns that had been already focused in previous narrative reviews. Compared with the previous synthesis study that assessed the same evidence collection based on experts' judgement, the algorithm has newly proposed that the studies focusing on Asian regions mostly supported the hypothesis, suggesting that more detailed investigations in these regions can enhance our understanding of the hypothesis. We suggest that machine learning algorithms can be a promising synthesis tool especially where studies (a) reformulate a general hypothesis from different perspectives, (b) use different methods or variables, or (c) report insufficient information for conducting meta-analyses.
A new matrix system for phosphorescent organic light-emitting diodes (OLEDs) based on an electron transporting component attached to an inert polymer backbone, an electronically neutral co-host, and a phosphorescent dye that serves as both emitter and hole conductor are presented. The inert co-host is used either as small molecules or covalently connected to the same chain as the electron-transporting host. The use of a small molecular inert co-host in the active layer is shown to be highly advantageous in comparison to a purely polymeric matrix bearing the same functionalities. Analysis of the dye phosphorescence decay in pure polymer, small molecular co-host film, and their blend lets to conclude that dye molecules distribute mostly in the small molecular co-host phase, where the co-host prevents agglomeration and self-quenching of the phosphorescence as well as energy transfer to the electron transporting units. In addition, the co-host accumulates at the anode interface where it acts as electron blocking layer and improves hole injection. This favorable phase separation between polymeric and small molecular components results in devices with efficiencies of about 47 cd/A at a luminance of 1000 cd/m(2). Investigation of OLED degradation demonstrates the presence of two time regimes: one fast component that leads to a strong decrease at short times followed by a slower decrease at longer times. Unlike the long time degradation, the efficiency loss that occurs at short times is reversible and can be recovered by annealing of the device at 180 degrees C. We also show that the long-time degradation must be related to a change of the optical and electrical bulk properties.
The remarkable antifouling properties of zwitterionic polymers in controlled environments are often counteracted by their delicate mechanical stability. In order to improve the mechanical stabilities of zwitterionic hydrogels, the effect of increased crosslinker densities was thus explored. In a first approach, terpolymers of zwitterionic monomer 3-[N -2(methacryloyloxy)ethyl-N,N-dimethyl]ammonio propane-1-sulfonate (SPE), hydrophobic monomer butyl methacrylate (BMA), and photo-crosslinker 2-(4-benzoylphenoxy)ethyl methacrylate (BPEMA) were synthesized. Thin hydrogel coatings of the copolymers were then produced and photo-crosslinked. Studies of the swollen hydrogel films showed that not only the mechanical stability but also, unexpectedly, the antifouling properties were improved by the presence of hydrophobic BMA units in the terpolymers.
Based on the positive results shown by the amphiphilic terpolymers and in order to further test the impact that hydrophobicity has on both the antifouling properties of zwitterionic hydrogels and on their mechanical stability, a new amphiphilic zwitterionic methacrylic monomer, 3-((2-(methacryloyloxy)hexyl)dimethylammonio)propane-1-sulfonate (M1), was synthesized in good yields in a multistep synthesis. Homopolymers of M1 were obtained by free-radical polymerization. Similarly, terpolymers of M1, zwitterionic monomer SPE, and photo-crosslinker BPEMA were synthesized by free-radical copolymerization and thoroughly characterized, including its solubilities in selected solvents.
Also, a new family of vinyl amide zwitterionic monomomers, namely 3-(dimethyl(2-(N -vinylacetamido)ethyl)ammonio)propane-1-sulfonate (M2), 4-(dimethyl(2-(N-vinylacetamido)ethyl)ammonio)butane-1-sulfonate (M3), and 3-(dimethyl(2-(N-vinylacetamido)ethyl)ammonio)propyl sulfate (M4), together with the new photo-crosslinker 4-benzoyl-N-vinylbenzamide (M5) that is well-suited for copolymerization with vinylamides, are introduced within the scope of the present work. The monomers are synthesized with good yields developing a multistep synthesis. Homopolymers of the new vinyl amide zwitterionic monomers are obtained by free-radical polymerization and thoroughly characterized. From the solubility tests, it is remarkable that the homopolymers produced are fully soluble in water, evidence of their high hydrophilicity. Copolymerization of the vinyl amide zwitterionic monomers, M2, M3, and M4 with the vinyl amide photo-crosslinker M5 proved to require very specific polymerization conditions. Nevertheless, copolymers were successfully obtained by free-radical copolymerization under appropriate conditions.
Moreover, in an attempt to mitigate the intrinsic hydrophobicity introduced in the copolymers by the photo-crosslinkers, and based on the proven affinity of quaternized diallylamines to copolymerize with vinyl amides, a new quaternized diallylamine sulfobetaine photo-crosslinker 3-(diallyl(2-(4-benzoylphenoxy)ethyl)ammonio)propane-1-sulfonate (M6) is synthesized. However, despite a priori promising copolymerization suitability, copolymerization with the vinyl amide zwitterionic monomers could not be achieved.
This thesis presents an attempt to use source code synthesised from Coq formalisations of device drivers for existing (micro)kernel operating systems, with a particular focus on the Linux Kernel.
In the first part, the technical background and related work are described. The focus is here on the possible approaches to synthesising certified software with Coq, namely the extraction to functional languages using the Coq extraction plugin and the extraction to Clight code using the CertiCoq plugin. It is noted that the implementation of CertiCoq is verified, whereas this is not the case for the Coq extraction plugin. Consequently, there is a correctness guarantee for the generated Clight code which does not hold for the code being generated by the Coq extraction plugin. Furthermore, the differences between user space and kernel space software are discussed in relation to Linux device drivers. It is elaborated that it is not possible to generate working Linux kernel module components using the Coq extraction plugin without significant modifications. In contrast, it is possible to produce working user space drivers both with the Coq extraction plugin and CertiCoq. The subsequent parts describe the main contributions of the thesis.
In the second part, it is demonstrated how to extend the Coq extraction plugin to synthesise foreign function calls between the functional language OCaml and the imperative language C. This approach has the potential to improve the type-safety of user space drivers. Furthermore, it is shown that the code being synthesised by CertiCoq cannot be used in kernel space without modifications to the necessary runtime. Consequently, the necessary modifications to the runtimes of CertiCoq and VeriFFI are introduced, resulting in the runtimes becoming compatible components of a Linux kernel module. Furthermore, justifications for the transformations are provided and possible further extensions to both plugins and solutions to failing garbage collection calls in kernel space are discussed.
The third part presents a proof of concept device driver for the Linux Kernel. To achieve this, the event handler of the original PC Speaker driver is partially formalised in Coq. Furthermore, some relevant formal properties of the formalised functionality are discussed. Subsequently, a kernel module is defined, utilising the modified variants of CertiCoq and VeriFFI to compile a working device driver. It is furthermore shown that it is possible to compile the synthesised code with CompCert, thereby extending the guarantee of correctness to the assembly layer. This is followed by a performance evaluation that compares a naive formalisation of the PC speaker functionality with the original PC Speaker driver pointing out the weaknesses in the formalisation and possible improvements. The part closes with a summary of the results, their implications and open questions being raised.
The last part lists all used sources, separated into scientific literature, documentations or reference manuals and artifacts, i.e. source code.
Point-of-care and in-vivo bio-diagnostic tools are the current need for the present critical scenarios in the healthcare industry. The past few decades have seen a surge in research activities related to solving the challenges associated with precise on-site bio-sensing. Cutting-edge fiber optic technology enables the interaction of light with functionalized fiber surfaces at remote locations to develop a novel, miniaturized and cost-effective lab on fiber technology for bio-sensing applications. The recent remarkable developments in the field of nanotechnology provide innumerable functionalization methodologies to develop selective bio-recognition elements for label free biosensors. These exceptional methods may be easily integrated with fiber surfaces to provide highly selective light-matter interaction depending on various transduction mechanisms. In the present review, an overview of optical fiber-based biosensors has been provided with focus on physical principles used, along with the functionalization protocols for the detection of various biological analytes to diagnose the disease. The design and performance of these biosensors in terms of operating range, selectivity, response time and limit of detection have been discussed. In the concluding remarks, the challenges associated with these biosensors and the improvement required to develop handheld devices to enable direct target detection have been highlighted.
Radical addition fragmentation chain transfer (RAFT) polymerization of ferrocenyl (meth)acrylates
(2012)
We report on the controlled free radical homopolymerization of 1-ferrocenylethyl acrylate as well as of three new ferrocene bearing monomers, namely 4-ferrocenylbutyl acrylate, 2-ferrocenylamido-2-methylpropyl acrylate, and 4-ferrocenylbutyl methacrylate, by the RAFT technique. For comparison, the latter monomer was polymerized using ATRP, too. The ferrocene containing monomers were found to be less reactive than their analogues free of ferrocene. The reasons for the low polymerizability are not entirely clear. As the addition of free ferrocene to the reaction mixture did not notably affect the polymerizations, sterical hindrance by the bulky ferrocene moiety fixed on the monomers seems to be the most probable explanation. Molar masses found for 1-ferrocenylethyl acrylate did not exceed 10,000 g mol(-1), while for 4-ferrocenylbutyl (meth) acrylate molar masses of 15,000 g mol(-1) could be obtained. With PDIs as low as 1.3 in RAFT polymerization of the monomers, good control over the polymerization was achieved.
Raman spectroscopic quantification of tetrahedral boron in synthetic aluminum-rich tourmaline
(2021)
The Raman spectra of five B-[4]-bearing tourmalines of different composition synthesized at 700 degrees C/4.0 GPa (including first-time synthesis of Na-Li-B-[4]-tourmaline, Ca-Li-B-[4]-tourmaline, and Ca-bearing square-B-[4]-tourmaline) reveal a strong correlation between the tetrahedral boron content and the summed relative intensity of all OH-stretching bands between 3300-3430 cm(-1). The band shift to low wavenumbers is explained by strong O3-H center dot center dot center dot O5 hydrogen bridge bonding. Applying the regression equation to natural B-[4]-bearing tourmaline from the Koralpe (Austria) reproduces the EMPA-derived value perfectly [EMPA: 0.67(12) B-[4] pfu vs. Raman: 0.66(13) B-[4] pfu]. This demonstrates that Raman spectroscopy provides a fast and easy-to-use tool for the quantification of tetrahedral boron in tourmaline. The knowledge of the amount of tetrahedral boron in tourmaline has important implications for the better understanding and modeling of B-isotope fractionation between tourmaline and fluid/melt, widely used as a tracer of mass transfer processes.
Natural products have proved to be a major resource in the discovery and development of many pharmaceuticals that are in use today. There is a wide variety of biologically active natural products that contain conjugated polyenes or benzofuran structures. Therefore, new synthetic methods for the construction of such building blocks are of great interest to synthetic chemists. The recently developed one-pot tethered ring-closing metathesis approach allows for the formation of Z,E-dienoates in high stereoselectivity. The extension of this method with a Julia-Kocienski olefination protocol would allow for the formation of conjugated trienes in a stereoselective manner. This strategy was applied in the total synthesis of conjugated triene containing (+)-bretonin B. Additionally, investigations of cross metathesis using methyl substituted olefins were pursued. This methodology was applied, as a one-pot cross metathesis/ring-closing metathesis sequence, in the total synthesis of benzofuran containing 7-methoxywutaifuranal. Finally, the design and synthesis of a catalyst for stereoretentive metathesis in aqueous media was investigated.