Results 231 to 240 of about 14,639 (283)

Transient Charging of Mixed Ionic‐Electronic Conductors by Anomalous Diffusion

Advanced Materials, EarlyView.
This article explores charge transport in mixed ionic‐electronic conductors (MIECs) through electrochemical impedance spectroscopy and transient current analysis. Focusing on PEDOT:PSS, WO3, and n‐doped PBDF, it uncovers the impact of anomalous diffusion via fractional modeling. The study reveals key correlations that deepen understanding and guide the
Heyi Zhang, Gonzalo Rivera‐Sierra, Shirin Siahjani‐Gultekin, Jenifer Rubio‐Magnieto, Anis Allagui, Ignacio Sanjuán, David Franco, Antonio Guerrero, Enrique H. Balaguera, Juan Bisquert   +9 more
wiley   +1 more source

Palaeoproteomic investigation of an ancient human skeleton with abnormal deposition of dental calculus. [PDF]

Sci Rep
Uchida-Fukuhara Y, Shimamura S, Sawafuji R, Nishiuchi T, Yoneda M, Ishida H, Matsumura H, Tsutaya T.   +7 more
europepmc   +1 more source

A novel infrared spectroscopy marker for assessing the postoperative infection risk in patients with upper urinary tract calculus. [PDF]

Sci Rep
Lin J, Yang Z, Hong Y, Cai W, Pan H, Lin J, Ye L.   +6 more
europepmc   +1 more source

Diagnosis and treatment of multisystem amyloidosis associated with SGPL1 mutation: A case report and review of the literature. [PDF]

Medicine (Baltimore)
Chen Y, Liao Y, Ding M, Chen Y, Chen Y, Yu B, Fan X, Yi X, He Y, Luo Y.   +9 more
europepmc   +1 more source

Renal gelsolin amyloidosis as a rare cause of proteinuria: a case report and literature review. [PDF]

BMC Nephrol
Wang M, Chen J, Chu T, Wu H.
europepmc   +1 more source

Predicting ESWL success for ureteral stones: a radiomics-based machine learning approach. [PDF]

BMC Med Imaging
Yang R, Zhao D, Ye C, Hu M, Qi X, Li Z.
europepmc   +1 more source

Anion exchange chromatographic fractionation of urinary proteins followed by tandem mass spectrometry identifies potential natural inhibitors of calcium oxalate stone. [PDF]

Comput Struct Biotechnol J
Rattananinsruang P, Peerapen P, Detsangiamsak S, Thongboonkerd V.   +3 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Lambda calculus schemata

ACM SIGPLAN Notices, 1972
A lambda calculus schema is an expression of the lambda calculus augmented by uninterpreted constant and function symbols and thus is an abstraction of programming languages such as LISP which permit functions to be passed to or returned from other functions.
openaire   +1 more source

Lambda Calculus with Types

2013
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984).
Barendregt, H.P., Dekkers, W.J.M., Statman, R.   +2 more
openaire   +2 more sources

Lambda calculus

2018
The lambda calculus presents a delimited formal setting for expressing and studying properties of mathematical operations and computer programs. Its syntactical unit is the term. Application terms tu represent supplying argument u to routine t. Abstraction terms λx.
openaire   +1 more source