Showing 101 - 120 results of 423 for search '((((sheers OR (chers OR cheer)) OR checker) OR chern) OR bears)*', query time: 0.19s Refine Results
  1. 101
  2. 102
  3. 103
  4. 104

    Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

    Published 2024
    “…Other tools providing real-time feedback already exist, but ours is the first one that only relies on a small trusted proof checker and that provides a concise summary of the symbolic state at the point in the program currently being edited, as opposed to only indicating whether user-stated assertions or postconditions hold. …”
    Get full text
    Article
  5. 105
  6. 106
  7. 107
  8. 108
  9. 109

    Functional genetics of cancer and congenital disorders by Zak, J

    Published 2016
    “…An integrative analysis of cancer genomic data revealed that <em>PPP1R13B</em>, encoding ASPP1, bears many hallmarks of a tumour suppressor gene, despite being mutated at a low absolute frequency. …”
    Thesis
  10. 110

    Non-Hermitian extension of the Haldane model induced by non-reciprocal hopping by Law, Yi Khing

    Published 2023
    “…The degeneracies in the non-Hermitian framework are categorized, followed by the Chern number topological phase transi- tions. In the presence of non-Hermiticity however, there is a failure of the correspon- dence between the bulk and the boundary which is attributed to the non-Hermitian skin effect. …”
    Get full text
    Final Year Project (FYP)
  11. 111

    A comparative study between turbulence model RSM results of a dual inlet cyclone separator and k-epsilon RNG turbulence model by Saikat Barua, Saikat Barua, Mohd Amin, Azriszul, Mohammed, Akmal Nizam, Batcha, Mohd Faizal Mohideen, Wae-hayee, Makatar

    Published 2023
    “…The research evalute the results of Wang et al. 's (Chern Eng Process Intensification 158:108188, [2]) dual :intake cyclODe separator (known as 90° DI CyclODe) with a 7, 10, and 12 Jtm particle diameter and inlet velocity 15.5 m/s. …”
    Get full text
    Conference or Workshop Item
  12. 112

    Numerical and Analytical Methods in Low-Dimensional Strongly Correlated Quantum Systems by Peng, Changnan

    Published 2024
    “…Furthermore, the thesis derives a Hamiltonian lattice formulation for the 2+1D compact Maxwell-Chern-Simons theory, providing an analytical solution that aligns with continuum theories and facilitating future numerical applications. …”
    Get full text
    Thesis
  13. 113
  14. 114
  15. 115

    Dual Origin of Viscoelasticity in Polymer-Carbon Black Hydrogels: A Rheometry and Electrical Spectroscopy Study by Legrand, Gauthier, Manneville, Sébastien, McKinley, Gareth H., Divoux, Thibaut

    Published 2024
    “…Here we focus on aqueous dispersions of hydrophobic colloidal soot particles, namely carbon black (CB) dispersed with a sodium salt of carboxymethylcellulose (CMC), a food additive known as cellulose gum that bears hydrophobic groups, which are liable to bind physically to CB particles. …”
    Get full text
    Article
  16. 116

    A highly strained Al-Al σ-bond in dianionic aluminum analog of oxirane for molecule activation by Koshino, Kota, Kinjo, Rei

    Published 2022
    “…Since aluminum is the most electropositive element among the p-block elements, the construction of molecules bearing a dianionic Al-Al σ-bond is inherently highly challenging. …”
    Get full text
    Journal Article
  17. 117
  18. 118
  19. 119

    Acoustic valley edge states in a graphene-like resonator system by Yang, Yahui, Yang, Zhaoju, Zhang, Baile

    Published 2019
    “…Similar to a gapped graphene, gapless topological valley edge states can be found at a zigzag domain wall separating different domains with opposite valley Chern numbers, while an armchair domain wall hosts no gapless edge states. …”
    Get full text
    Get full text
    Journal Article
  20. 120

    Mathematical foundation of data science by Fang, Xiaowei

    Published 2020
    “…High-dimensional probability theory bears vital importance in the mathematical foundation of data science. …”
    Get full text
    Final Year Project (FYP)