Results 71 to 80 of about 25,462,782 (297)

A dependent nominal type theory

, 2012
Nominal abstract syntax is an approach to representing names and binding pioneered by Gabbay and Pitts. So far nominal techniques have mostly been studied using classical logic or model theory, not type theory. Nominal extensions to simple, dependent and
A. Avron, F. Honsell, I. A. Mason, and R, A. Bucalo, F. Honsell, M. Miculan, I. Sc, A. M. Pitts, A. M. Pitts, C. Schürmann, J. Despeyroux, and F. Pfen, C. Urban, J. Cheney, and S. Berghofer, D. Miller and A. Tiu, F. Honsell, M. Miculan, and I. Scagnetto, H. Geuvers and E. Barendsen, J. Cheney, James Cheney, K. Crary, M. J. Gabbay and A. M. Pitts, P. O'Hearn and D. J. Pym, Pawel Urzyczyn, R. Harper and F. Pfenning, R. Harper, F. Honsell, and G. Plotkin, U. Schöpp   +17 more
core   +1 more source

Enhancing the Electrochemical Performance of ZnO-Co₃O₄ and Zn-Co-O Supercapacitor Electrodes Due to the In Situ Electrochemical Etching Process and the Formation of Co₃O₄ Nanoparticles

Energies
Zinc oxide (ZnO) and materials based on it are often used to create battery-type supercapacitor electrodes and are considered as promising materials for hybrid asymmetric supercapacitors.
Khabibulla Abdullin, Maratbek Gabdullin, Zhanar Kalkozova, Vladislav Kudryashov, Mojtaba Mirzaeian, Kassym Yelemessov, Dinara Baskanbayeva, Abay Serikkanov   +7 more
doaj   +1 more source

Refining the NaV1.7 pharmacophore of a class of venom‐derived peptide inhibitors via a combination of in silico screening and rational engineering

FEBS Letters, EarlyView.
Venom peptides have shown promise in treating pain. Our study uses computer screening to identify a peptide that targets a sodium channel (NaV1.7) linked to chronic pain. We produced the peptide in the laboratory and refined its design, advancing the search for innovative pain therapies.
Gagan Sharma, Jennifer R. Deuis, Xinying Jia, Theo Crawford, Sassan Rahnama, Eivind A. B. Undheim, Irina Vetter, Yanni K. ‐Y. Chin, Mehdi Mobli   +8 more
wiley   +1 more source

New interpretations for noncrossing partitions of classical types [PDF]

J. Combin. Theory Ser. A 118 (2011) 1168-1189, 2009
We interpret noncrossing partitions of type $B$ and type $D$ in terms of noncrossing partitions of type $A$. As an application, we get type-preserving bijections between noncrossing and nonnesting partitions of type $B$, type $C$ and type $D$ which are different from those in the recent work of Fink and Giraldo. We also define Catalan tableaux of type $
arxiv  

The power of microRNA regulation—insights into immunity and metabolism

FEBS Letters, EarlyView.
MicroRNAs are emerging as crucial regulators at the intersection of metabolism and immunity. This review examines how miRNAs coordinate glucose and lipid metabolism while simultaneously modulating T‐cell development and immune responses. Moreover, it highlights how cutting‐edge artificial intelligence applications can identify miRNA biomarkers ...
Stefania Oliveto, Nicola Manfrini, Stefano Biffo   +2 more
wiley   +1 more source

Topological A-Type Models with Flux

, 2008
We study deformations of the A-model in the presence of fluxes, by which we mean rank-three tensors with antisymmetrized upper/lower indices, using the AKSZ construction.
A. Alekseev, A. Dabholkar, A. Kapustin, A. Kapustin, A. Kapustin, A. Neitzke, A. Rogers, A.M. Levin, C. Hofman, C.M. Hull, C.M. Hull, C.M. Hull, C.M. Hull, C.M. Hull, D. Lüst, D. Roytenberg, D. Roytenberg, E. Witten, E. Witten, F. Bonechi, F. De Jonghe, G. Bonelli, G. Bonelli, G. Bonelli, G. Ketsetzis, G.W. Delius, J. Shelton, J.-S. Park, K. Mackenzie, M. Graña, M. Graña, M. Graña, M. Gualtieri, M. Vonk, M.A. Olshanetsky, N. Ikeda, N. Ikeda, N. Ikeda, N. Ikeda, P. Bressler, P. Grange, P.S. Howe, R. Dijkgraaf, R. Zucchini, R. Zucchini, R. Zucchini, S. Chiossi, S. Vandoren, T. Ali, U. Lindström, U. Lindström, U. Lindström, U. Lindström, U. Lindström, U. Lindström, V. Mathai, V. Mathai, V. Pestun, V. Schomerus, V. Stojevic, Vid Stojevic, W.-Y. Chuang, Z.J. Liu   +62 more
core   +1 more source

Homeopathy and the constitution

Медицинский совет, 2017
In the article the authors present to the reader to the concept of homeopathic constitution. On the example of the most common homeopathic types they show how to use the constitutional approach in treatment programs. In addition, the article analyzes the
I. N. Kholodova, T. N. Syrieva
doaj   +1 more source

Closing the Gap -- Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic -- Extended Version -- [PDF]

arXiv, 2015
Dynamically typed object-oriented languages enable programmers to write elegant, reusable and extensible programs. However, with the current methodology for program verification, the absence of static type information creates significant overhead. Our proposal is two-fold: First, we propose a layer of abstraction hiding the complexity of dynamic ...
arxiv  

Identification of novel small molecule inhibitors of ETS transcription factors

FEBS Letters, EarlyView.
ETS transcription factors play an essential role in tumourigenesis and are indispensable for sprouting angiogenesis, a hallmark of cancer, which fuels tumour expansion and dissemination. Thus, targeting ETS transcription factor function could represent an effective, multifaceted strategy to block tumour growth. The evolutionarily conserved E‐Twenty‐Six
Shaima Abdalla, Zary Forghany, Jin Ma, Johan G. Hollander, Ruta Nachane, Karoly Szuhai, Pancras C. W. Hogendoorn, Peter ten Dijke, Dipen Shah, David A. Baker   +9 more
wiley   +1 more source

A Tverberg type theorem for matroids

, 2016
Let b(M) denote the maximal number of disjoint bases in a matroid M. It is shown that if M is a matroid of rank d+1, then for any continuous map f from the matroidal complex M into the d-dimensional Euclidean space there exist t \geq \sqrt{b(M)}/4 ...
A. Björner, A. Dold, H. Tverberg, I. Bárány, J. Friedman, J. Matoušek, J. Matoušek, M. Özaydin, P.V.M. Blagojević, R. Živaljević, T. Schöneborn   +10 more
core   +1 more source