Phenyl-triazine oligomers for light-driven hydrogen evolution

The design of stable, yet highly tunable organic photocatalysts which orchestrate multi-step electron transfer reactions is at the heart of the newly emerging field of polymer photocatalysis. Covalent triazine frameworks such as the archetypal CTF-1 have been theorized to constitute a new class of photocatalytically active polymers for light-driven water splitting. Here, we revisit the ionothermal synthesis of CTF-1 by trimerization of 1,4-dicyanobenzene catalyzed by the Lewis acid zinc chloride and demonstrate that the microporous black polymer CTF-1 is essentially inactive for hydrogen evolution. Instead, highly photoactive phenyl-triazine oligomers (PTOs) with higher crystallinity as compared to CTF-1 are obtained by lowering the reaction temperature to 300 °C and prolonging the reaction time to >150 hours. The low reaction temperature of the PTOs largely prevents incipient carbonization and thus results in a carbon-to-nitrogen weight ratio close to the theoretical value of 3.43. The oligomers were characterized by MALDI-TOF and quantitative solid-state NMR spectroscopy, revealing variations in size, connectivity and thus nitrile-to-triazine ratios depending on the initial precursor dilution. The most active PTO samples efficiently and stably reduce water to hydrogen with an average rate of 1076 (±278) μmol h−1 g−1 under simulated sunlight illumination, which is competitive with the best carbon nitride-based and purely organic photocatalysts. The photocatalytic activity of the PTOs is found to sensitively depend on the polymerization degree, thus suggesting a prominent role of the unreacted nitrile moieties in the photocatalytic process. Notably, PTOs even show moderate hydrogen production without the addition of any co-catalyst

Verifying object-oriented programs with higher-order separation logic in Coq

We present a shallow Coq embedding of a higher-order separation logic with nested triples for an object-oriented programming language. Moreover, we develop novel specification and proof patterns for reasoning in higher-order separation logic with nested triples about programs that use interfaces and interface inheritance. In particular, we show how to use the higher-order features of the Coq formalisation to specify and reason modularly about programs that (1) depend on some unknown code satisfying a specification or that (2) return objects conforming to a certain specification. All of our results have been formally verified in the interactive theorem prover Coq

The Role of Different Alkali Metals in the A15Tl27 Type Structure and the Synthesis and X-ray Structure Analysis of a New Substitutional Variant Cs14.53Tl28.4

Alkali metal thallides have been known since the report of E. Zintl on NaTl in 1932. Subsequently, binary and ternary thallides of alkali metals have been characterized. At an alkali metal proportion of approximately 33% (A:Tl~1:2, A = alkali metal), three different unique type structures are reported: K49Tl108, Rb17Tl41 and A15Tl27 (A = Rb, Cs). Whereas Rb17Tl41 and K49Tl108 feature a three-dimensional sublattice of Tl atoms, the A15Tl27 structure type includes isolated Tl11 clusters as well as two-dimensional Tl-layers. This unique arrangement is only known so far when the heavier alkali metals Rb and Cs are included. In our contribution, we present single-crystal X-ray structure analyses of new ternary and quaternary compounds of the A15Tl27 type structure, which include different amounts of potassium. The crystal structures allow for the discussion of the favored alkali metal for each of the four Wyckoff positions and clearly demonstrate alkali metal dependent site preferences. Thereby, the compound Cs2.27K12.73Tl27 unambiguously proves the possibility of a potassium-rich A15Tl27 phase, even though a small amount of cesium appears to be needed for the stabilization of the latter structure type. Furthermore, we also present two compounds that show an embedding of Tl instead of alkali metal into the two-dimensional substructure, being equivalent to the formal oxidation of the latter. Cs14.53Tl28.4 represents the binary compound with the so far largest proportion of incorporated Tl in the structure type A15Tl27

The application of a biometric identification technique for linking community and hospital data in rural Ghana

Background: The reliability of counts for estimating population dynamics and disease burdens in communities depends on the availability of a common unique identifier for matching general population data with health facility data. Biometric data has been explored as a feasible common identifier between the health data and sociocultural data of resident members in rural communities within the Kintampo Health and Demographic Surveillance System located in the central part of Ghana. Objective: Our goal was to assess the feasibility of using fingerprint identification to link community data and hospital data in a rural African setting. Design: A combination of biometrics and other personal identification techniques were used to identify individual's resident within a surveillance population seeking care in two district hospitals. Visits from resident individuals were successfully recorded and categorized by the success of the techniques applied during identification. The successes of visits that involved identification by fingerprint were further examined by age. Results: A total of 27,662 hospital visits were linked to resident individuals. Over 85% of those visits were successfully identified using at least one identification method. Over 65% were successfully identified and linked using their fingerprints. Supervisory support from the hospital administration was critical in integrating this identification system into its routine activities. No concerns were expressed by community members about the fingerprint registration and identification processes. Conclusions: Fingerprint identification should be combined with other methods to be feasible in identifying community members in African rural settings. This can be enhanced in communities with some basic Demographic Surveillance System or census information

Carbon nitrides: synthesis and characterization of a new class of functional materials

Carbon nitride compounds with high N[thin space (1/6-em)]:[thin space (1/6-em)]C ratios and graphitic to polymeric structures are being investigated as potential next-generation materials for incorporation in devices for energy conversion and storage as well as for optoelectronic and catalysis applications. The materials are built from C- and N-containing heterocycles with heptazine or triazine rings linked via sp2-bonded N atoms (N(C)3 units) or –NH– groups. The electronic, chemical and optical functionalities are determined by the nature of the local to extended structures as well as the chemical composition of the materials. Because of their typically amorphous to nanocrystalline nature and variable composition, significant challenges remain to fully assess and calibrate the structure–functionality relationships among carbon nitride materials. It is also important to devise a useful and consistent approach to naming the different classes of carbon nitride compounds that accurately describes their chemical and structural characteristics related to their functional performance. Here we evaluate the current state of understanding to highlight key issues in these areas and point out new directions in their development as advanced technological materials.Our work on carbon nitride materials has been supported by the EPSRC (EP/L017091/1) and the EU Graphene Flagship grant agreement No. 696656 - GrapheneCore1. Additional support to advance the science and technology of these materials was also received from the UCL Enterprise Fund and the Materials Innovation Impact Acceleration funding enabled by the UK EPSRC