Results 91 to 100 of about 198,004 (302)
HOL with Definitions: Semantics, Soundness, and a Verified Implementation [PDF]
, 2014 . We present a mechanised semantics and soundness proof for the HOL Light kernel including its definitional principles, extending Har-rison’s verification of the kernel without definitions. Soundness of the logic extends to soundness of a theorem prover,
Arthan, Rob +7 more
core +1 more source
Brief Review of Soft Sets and Its Application in Coding Theory
Journal of New Theory, 2018 In this paper, we will focus to one of the recent applications of PU-algebras in the coding theory, namely the construction of codes by soft sets PU-valued functions. First, we shall introduce the notion of soft sets PU-valued functions on PU-algebra and investigate some of its related properties.
MOSTAFA, Samy Mohammed +2 more
openaire +2 more sources
Interpreting the effects of DNA polymerase variants at the structural level
Molecular Oncology, EarlyView.Using MAVISp and molecular dynamics simulations, we analyzed over 60 000 missense variants in POLE and POLD1 from ClinVar, COSMIC, cBioPortal, and saturation mutagenesis. Identified mechanistic indicators, including stability, binding, and long‐range, enable structural interpretation, providing ACMG‐like evidence for possible reclassification of VUS ...
Matteo Arnaudi +7 more
wiley +1 more source
Molecular Oncology, EarlyView.This study shows that lung adenocarcinomas exploit developmental branching morphogenesis to acquire a therapy resistant basal‐like tumour cell state. This process was found to be regulated by combined TP53 loss‐of‐function and type‐I interferon signalling, identifying a novel axis for biomarker and therapeutic target discovery.
Kamila J Bienkowska +13 more
wiley +1 more source
Development and application of the phase-screen seismic modelling code [PDF]
, 2009 As a consequence of the aims of this project, this thesis is divided into two distinct sections. Initially, the computationally efficient phase-screen forward modelling technique is extended to allow investigation of non-normal ray paths.
White, James C.
core
Speech Codes Theory as a Framework for Analyzing Communication in Online Educational Settings
, 2013 Knowing how best to assess and evaluate the communication that takes place in online educational settings can be a challenge, especially when the features of educational platforms continue to develop in their complexity. This chapter will discuss Speech Codes Theory, which is grounded in the Ethnography of Communication, as a theoretical and ...
openaire +3 more sources
Molecular Oncology, EarlyView.We identify USP29 as the only DUB mirroring CA9 expression, a marker of hypoxia and HIF pathway activation associated with PCA aggressiveness. USP29 stabilizes HIF‐1α and HIF‐2α via a noncanonical mechanism that is independent of PHD/pVHL activity yet relies on proteasomal regulation, establishing USP29 as a previously unrecognized regulator of hypoxic
Amelie S Schober +16 more
wiley +1 more source
The spreadsheet as a tool for teaching set theory: Part 1 – an Excel lesson plan to help solve Sudokus [PDF]
, 2007 This paper is intended to be used in the classroom. It describes essentially every step of the construction of an Excel model to help solve Sudoku puzzles. For those up to moderate difficulty, it will usually solve the puzzle to completion.
Stephen J Sugden
core
Tconns: a novel time-varying context-aware offloading strategy for mobile edge computing
EURASIP Journal on Wireless Communications and NetworkingMobility is a fundamental feature of mobile edge computing. Due to the mobility of users, the contextual attributes of cloudlets such as server resources and network state will dynamically change with time during offloading, showing time-varying and ...
Meiguang Zheng +4 more
doaj +1 more source
IoTThis study introduces a no-code educational platform created to introduce Internet of Things (IoT) to university students who lack programming experience.
George Lagogiannis, Avraam Chatzopoulos
doaj +1 more source