Results 11 to 20 of about 28,249 (225)

Gibbs and Quantum Discrete Spaces [PDF]

, 2001
Gibbs measure is one of the central objects of the modern probability, mathematical statistical physics and euclidean quantum field theory. Here we define and study its natural generalization for the case when the space, where the random field is defined
Malyshev, V. A.
core   +3 more sources

The Grail theorem prover: Type theory for syntax and semantics

, 2016
As the name suggests, type-logical grammars are a grammar formalism based on logic and type theory. From the prespective of grammar design, type-logical grammars develop the syntactic and semantic aspects of linguistic phenomena hand-in-hand, letting the
A Ranta, J Lambek, J Pustejovsky, JY Girard, K Ajdukiewicz, M Pentus, N Asher, R Huijbregts, R Montague, R Moot, R Moot, R Moot, RT Oehrle, V Danos, Y Bar-Hillel   +14 more
core   +3 more sources

A Frobenius Algebraic Analysis for Parasitic Gaps [PDF]

, 2020
The interpretation of parasitic gaps is an ostensible case of non-linearity in natural language composition. Existing categorial analyses, both in the typelogical and in the combinatory traditions, rely on explicit forms of syntactic copying. We identify
Moortgat, Michael, Sadrzadeh, Mehrnoosh, Wijnholds, Gijs   +2 more
core   +1 more source

Canonical Proof nets for Classical Logic [PDF]

, 2012
Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the same proof.
McKinley, Richard
core   +2 more sources

Dialectica Categories for the Lambek Calculus

, 2018
We revisit the old work of de Paiva on the models of the Lambek Calculus in dialectica models making sure that the syntactic details that were sketchy on the first version got completed and verified.
A Bove, A Ciabattoni, B Coecke, GM Bierman, J-Y Girard, K Honda, M Hyland, N Benton, P Sewell, PN Benton, S Abramsky, V Paiva De, VR Pratt   +12 more
core   +1 more source

Natural Products as Geroprotective Modulators in Diabetic Nephropathy: A Mechanistic Framework Integrating Aging Hallmarks and the AMPK–SIRT1–Nrf2 Axis

Aging and Cancer, EarlyView.
Natural products target the aging kidney in diabetic nephropathy by restoring the AMPK–SIRT1–Nrf2 axis, reducing oxidative stress, inflammation, fibrosis, and cellular senescence while enhancing mitochondrial biogenesis and antioxidant defenses.
Sherif Hamidu, Latif Adams, Eunice Ampem‐Danso, Justice Kumi, Abigail Aning, Fatima Hamidu, Mustapha Abdul Mumin Mohammed, Ayuba Nii Darku Ankrah, Seth Kwabena Amponsah   +8 more
wiley   +1 more source

Slovene Students’ Writing Skills in Portuguese

Vestnik za Tuje Jezike
This paper seeks to identify and reflect on the difficulties Slovene students face when writing in European Portuguese, in order to present didactic strategies tailored to address such challenges.
Blažka Müller, Cláudia Silva
doaj   +1 more source

Patterning the Void: Combining L‐Systems with Archimedean Tessellations as a Perspective for Tissue Engineering Scaffolds

Advanced Functional Materials, EarlyView.
This study introduces a novel multi‐scale scaffold design using L‐fractals arranged in Archimedean tessellations for tissue regeneration. Despite similar porosity, tiles display vastly different tensile responses (1–100 MPa) and deformation modes. In vitro experiments with hMSCs show geometry‐dependent growth and activity. Over 55 000 tile combinations
Maria Kalogeropoulou, Kenny A. van Kampen, Pierpaolo Fucile, Carlos Mota, Lorenzo Moroni   +4 more
wiley   +1 more source

Construction of a Multicellular Communication Network Model for Cell Co-Culture Technology and Evaluation of Its Simulation Capability

World Journal of Traditional Chinese Medicine
Objective: Cell co-culture technology has been widely used to analyze the effects of drugs on cell proliferation and the expression of some proteins in cells, especially in the field of traditional Chinese medicine (TCM); however, the interactions ...
Yuan-Yuan Geng, Chao Wei, Guo-Fei Chen, Bai-Xia Zhang   +3 more
doaj   +1 more source

Theories of Grammar, Thoughts of God [PDF]

, 2012
This essay is an exploration of the potential of modern scientific linguistic study to provide insight into the ways of ...
Sietsema, Brian Mark
core   +1 more source