Results 21 to 30 of about 1,304,365 (227)

Crypto-Verifying Protocol Implementations in ML [PDF]

, 2007
We intend to narrow the gap between concrete implementations and verified models of cryptographic protocols. We consider protocols implemented in F#, a variant of ML, and verified using CryptoVerif, Blanchet's protocol verifier for computational ...
Bhargavan, K., Corin, R.J., Fournet, C.
core   +2 more sources

Conserved structural motifs in PAS, LOV, and CRY proteins regulate circadian rhythms and are therapeutic targets

FEBS Letters, EarlyView.
Cryptochrome and PAS/LOV proteins play intricate roles in circadian clocks where they act as both sensors and mediators of protein–protein interactions. Their ubiquitous presence in signaling networks has positioned them as targets for small‐molecule therapeutics. This review provides a structural introduction to these protein families.
Eric D. Brinckman, Anna E. Lester, Brian D. Zoltowski   +2 more
wiley   +1 more source

Computational study of structural and elastic properties of random AlGaInN alloys

, 2010
In this work we present a detailed computational study of structural and elastic properties of cubic AlGaInN alloys in the framework of Keating valence force field model, for which we perform accurate parametrization based on state of the art DFT ...
Ambacher O, Chen A B, J A Majewski, Jeffs N J Blant A V Cheng T S Foxon C T Bailey C Harrison P G Mosselmans J F W Dent A J, M Łopuszyński, Thorpe M F, Vegard L, Zi J, Zi J, Łopuszyński M   +9 more
core   +1 more source

Higher-order interference in extensions of quantum theory [PDF]

, 2016
Quantum interference lies at the heart of several quantum computational speed-ups and provides a striking example of a phenomenon with no classical counterpart. An intriguing feature of quantum interference arises in a three slit experiment.
Lee, Ciarán M., Selby, John H.
core   +3 more sources

Cell wall target fragment discovery using a low‐cost, minimal fragment library

FEBS Letters, EarlyView.
LoCoFrag100 is a fragment library made up of 100 different compounds. Similarity between the fragments is minimized and 10 different fragments are mixed into a single cocktail, which is soaked to protein crystals. These crystals are analysed by X‐ray crystallography, revealing the binding modes of the bound fragment ligands.
Kaizhou Yan, Mathew Stanley, Olawale Raimi, Andrew T. Ferenbach, Helge C Dorfmueller, Daan M. F. van Aalten   +5 more
wiley   +1 more source

Emergent Power-Law Phase in the 2D Heisenberg Windmill Antiferromagnet: A Computational Experiment

, 2015
In an extensive computational experiment, we test Polyakov's conjecture that under certain circumstances an isotropic Heisenberg model can develop algebraic spin correlations.
Chandra, Premala, Coleman, Piers, Jeevanesan, Bhilahari, Orth, Peter P.   +3 more
core   +1 more source

The integral equation approach to kinematic dynamo theory and its application to dynamo experiments in cylindrical geometry [PDF]

, 2007
The conventional magnetic induction equation that governs hydromagnetic dynamo action is transformed into an equivalent integral equation system. An advantage of this approach is that the computational domain is restricted to the region occupied by the ...
Beltrami, Berhanu, Bourgoin, Brandenburg, Chandrasekhar, Dobler, F. Stefani, Freibergs, G. Gerbeth, Gailitis, Gailitis, Gailitis, Gailitis, Gailitis, Gailitis, Gailitis, Guermond, Iskakov, Iskakov, Ivers, Kenjereš, Laguerre, Laval, M. Xu, Marié, Moler, Monchaux, Montgomery, Nornberg, Ponty, Pétrélis, Ravelet, Rädler, Rädler, Rüdiger, Spence, Stefani, Stefani, Stefani, Wang, Xu, Xu, Yoshida   +42 more
core   +1 more source

Adenosine‐to‐inosine editing of miR‐200b‐3p is associated with the progression of high‐grade serous ovarian cancer

Molecular Oncology, EarlyView.
A‐to‐I editing of miRNAs, particularly miR‐200b‐3p, contributes to HGSOC progression by enhancing cancer cell proliferation, migration and 3D growth. The edited form is linked to poorer patient survival and the identification of novel molecular targets.
Magdalena Niemira, Anna Skwarska, Karolina Chwialkowska, Agnieszka Ostrowska, Gabriela Sokolowska, Anna Zeller, Anna Erol, Andrzej Eljaszewicz, Bartosz Hanczaruk, Anna Michalska‐Falkowska, Agnieszka Tarasik, Joanna Reszec‐Gielazyn, Pawel Knapp, Marcin Moniuszko, Adam Kretowski   +14 more
wiley   +1 more source

A synthetic benzoxazine dimer derivative targets c‐Myc to inhibit colorectal cancer progression

Molecular Oncology, EarlyView.
Benzoxazine dimer derivatives bind to the bHLH‐LZ region of c‐Myc, disrupting c‐Myc/MAX complexes, which are evaluated from SAR analysis. This increases ubiquitination and reduces cellular c‐Myc. Impairing DNA repair mechanisms is shown through proteomic analysis.
Nicharat Sriratanasak, Bodee Nutho, Worawat Wattanathana, Narumon Phaonakrop, Bunnatut Panasawatwong, Katharina Erlenbach‐Wuensch, Sittiruk Roytrakul, Regine Schneider‐Stock, Pithi Chanvorachote   +8 more
wiley   +1 more source

Computer Experiment in Teaching Mathematics

Doklady Mathematics, 2023
Abstract A mathematical experiment has always been a key source for a mathematical discovery. Over the past 50 years, thanks to digital technologies, its role in mathematical research has grown significantly. Digital technologies have opened up fundamentally new opportunities for experimentation in mathematics education,
G. B. Shabat, A. L. Semenov
openaire   +1 more source