Results 51 to 60 of about 231,559 (266)

Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining [PDF]

Logical Methods in Computer Science, 2014
We investigate unification problems related to the Cipher Block Chaining (CBC) mode of encryption. We first model chaining in terms of a simple, convergent, rewrite system over a signature with two disjoint sorts: list and element.
Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch   +3 more
doaj   +1 more source

Model Building with F-Theory

, 2011
Despite much recent progress in model building with D-branes, it has been problematic to find a completely convincing explanation of gauge coupling unification.
Donagi, Ron, Wijnholt, Martijn
core   +1 more source

Quantum Field Theory and Unification in AdS5 [PDF]

, 2001
We consider gauge bosons in the bulk of AdS5 in a two-brane theory that addresses the hierarchy problem. We show such a theory can be consistent with gauge coupling unification at a high scale.
Randall, Lisa, Schwartz, Matthew D.
core   +3 more sources

In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS

FEBS Letters, EarlyView.
We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka, Yuxi Liu, Stefano Maggi, Debnath Ghosal, Jue Wang, Prashant P. Damke, Stephen D. Carter, Wei Zhao, Sukhithasri Vijayrajratnam, Joseph P. Vogel, Carrie L. Shaffer, Grant J. Jensen   +11 more
wiley   +1 more source

String Theory, Unification and Quantum Gravity

, 2012
An overview is given of the way in which the unification program of particle physics has evolved into the proposal of superstring theory as a prime candidate for unifying quantum gravity with the other forces and particles of nature.
A. Strominger, A.E.M. Ven van de, A.M. Polyakov, C.G. Callan Jr., C.M. Hull, E. D’Hoker, E. D’Hoker, E. D’Hoker, E. D’Hoker, E. Witten, E.S. Fradkin, G. Bossard, G. Bossard, G. Bossard, G. Bossard, H. Elvang, I. Antoniadis, J. Dai, L. Brink, M. Cvetic, M. Dine, M.B. Green, M.B. Green, M.H. Goroff, N. Beisert, N. Berkovits, N. Berkovits, N. Berkovits, O. Aharony, P.S. Howe, R. Britto, R.E. Kallosh, S. Deser, S. Deser, S. Mandelstam, T.H. Buscher, Z. Bern, Z. Bern, Z. Bern   +38 more
core   +1 more source

Three-Family Grand Unification in String Theory [PDF]

, 1997
We briefly discuss the status of three-family grand unified string models.Comment: Talk presented at SUSY'97.
Aldazabal, Antoniadis, Antoniadis, Antoniadis, Antoniadis, Antoniadis, Arnowitt, Bailin, Chaudhuri, Chaudhuri, Cleaver, Dijkgraaf, Dixon, Dixon, Dixon, Erler, Faraggi, Finnell, Font, Font, Freed, Friedan, Friedan, Georgi, Ginsparg, Green, Hamidi, Ibáñez, Ibáñez, Ibáñez, Ibáñez, Intriligator, Intriligator, Kachru, Kakushadze, Kakushadze, Kakushadze, Kakushadze, Kakushadze, Kakushadze, Kakushadze, Kawai, Kawai, Kawai, Kawai, Leontaris, Lewellen, Li, Lopez, Lopez, Lopez, Maslikov, Maslikov, Narain, Schwartz, Seiberg, Zurab Kakushadze   +56 more
core   +3 more sources

Sequence determinants of RNA G‐quadruplex unfolding by Arg‐rich regions

FEBS Letters, EarlyView.
We show that Arg‐rich peptides selectively unfold RNA G‐quadruplexes, but not RNA stem‐loops or DNA/RNA duplexes. This length‐dependent activity is inhibited by acidic residues and is conserved among SR and SR‐related proteins (SRSF1, SRSF3, SRSF9, U1‐70K, and U2AF1).
Naiduwadura Ivon Upekala De Silva, Puspa Kunwar, Md Ibnul Rifat Rahman, Joanna Koryo Kwao, Nathan Lehman, Zihan Zhang, Trenton Paul, Claire Cheng, Nicholas Truex, Hui‐Ting Lee, Jun Zhang   +10 more
wiley   +1 more source

Precision Unification and Proton Decay in F-Theory GUTs with High Scale Supersymmetry

, 2014
F-theory GUTs provide a promising UV completion for models with approximate gauge coupling unification, such as the (non-supersymmetric) Standard Model.
Hebecker, Arthur, Unwin, James
core   +1 more source

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

A Concurrent Pattern Calculus [PDF]

Logical Methods in Computer Science, 2014
Concurrent pattern calculus (CPC) drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation.
Thomas Given-Wilson, Daniele Gorla, Barry Jay   +2 more
doaj   +1 more source