-
281
-
282
-
283
-
284
Mechanised Hypersafety Proofs about Structured Data
Published 2024“…We implemented LGTM as a foundational embedding into Coq, mechanising its rules, meta-theory, and the proof of soundness. Furthermore, we developed a library of domain-specific tactics that automate computer-aided hypersafety reasoning, resulting in pleasantly short proof scripts that enjoy a high degree of reuse. …”
Get full text
Article -
285
Global Bioenergy Availability
Published 2025“…For the case of agricultural residues, where such challenges can be partially mitigated, we conservatively estimate a global potential of 18±15 EJ/yr. for 2050, compared to a median estimate from meta-analysis of 27.5 EJ/yr. We dive into this apparent discrepancy, identifying multiple sources of uncertainty. …”
Get full text
Working Paper -
286
-
287
Just ChatGPT it: a mixed methods evaluation of generative AI use among college students
Published 2024“…The interviews also found that students defined their ethical boundaries for the academic use of ChatGPT based on several pragmatic considerations and meta-ethical concerns, and their perceptions of ChatGPT's overall impact on their academic work ranged from negative to positive.…”
Get full text
Final Year Project (FYP) -
288
Metamaterial based power divider for millimeter wave NDT system
Published 2014“…The first design utilizes the SIW technique and the second design incorporates interdigital capacitors to realize the meta-material. The designed SIW power divider demonstrated a broadband performance from 11.3 to 25.9GHz with simulated transmissions at about -3.7dB±0.5dB with phase difference of 0º±0.03º between S21 and S31 and occupies only 4cm x 4cm. …”
Get full text
Final Year Project (FYP) -
289
All together now : experimental multispecies biofilm model systems
Published 2019“…However, given that most microorganisms exist as multispecies consortia, the field is increasingly exploring microbial communities using a range of technologies traditionally limited to populations, including meta‐omics based approaches and high resolution imaging. …”
Get full text
Get full text
Journal Article -
290
Nonlinear metasurface for simultaneous control of spin and orbital angular momentum in second harmonic generation
Published 2018“…The spin manipulation of OAM mode of harmonic waves is experimentally verified by using second harmonic generation (SHG) from gold meta-atom with 3-fold rotational symmetry. By introducing nonlinear phase singularity into the metasurface devices, we successfully generate and measure the topological charges of spin-controlled OAM mode of SHG through an on-chip metasurface interferometer. …”
Get full text
Get full text
Journal Article -
291
Analysing the challenges in building resilient net zero carbon supply chains using influential network relationship mapping
Published 2022“…The key thirteen challenges in the implementation of resilient NZCSC were identified from an extensive literature review using the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) method. and industrial experts’ opinions. …”
Get full text
Article -
292
In Children, N -Methyl-D-Aspartate Receptor Antibody Encephalitis Incidence Exceeds That of Japanese Encephalitis in Vietnam
Published 2024“…Cerebrospinal fluid samples were collected alongside meta-clinical data for analysis. Results: We recruited 164 children with a clinical diagnosis of encephalitis. …”
Journal article -
293
The afterlife of site-specific sculpture: a self-referential study through practice
Published 2021“…The work explores what has been done in the past and pursues the next phase by reflecting previous attempts in stages, therefore, occasionally bringing in the concept of a meta-structure. This methodology re-influences the development of the practice and renews its formal structure. …”
Thesis -
294
Estimating parameter distributions and developing epidemiological methods and tools to support gastrointestinal outbreak investigation
Published 2018“…</p> <p>The systematic reviews and meta-analysis of individual patient data indicated the presence of heterogeneity across outbreaks which could not be explained by chance alone. …”
Thesis -
295
Integration of genetic data and genomic annotation in the analysis of genome wide association studies
Published 2017“…<p>This thesis explored the utility of genome wide association studies (GWAS) and meta-analysis to identify variants associated with serum pollutants levels and metabolic phenotypes. …”
Thesis -
296
-
297
-
298
Deletion of VPS50 protein in mouse brain impairs synaptic function and behavior
Published 2024Get full text
Article -
299
-
300
Selective targeting of MYC mRNA by stabilized antisense oligonucleotides
Published 2024Get full text
Article