Results 141 to 150 of about 697,012 (268)

A multiscale pathoanatomical atlas guides the design of functionally graded, anatomically intelligent implants for chronic osteomyelitis. [PDF]

Bioact Mater
Zhang R, Chen L, Stehle Y, Yang M, Lin M, Wang C, Zhang H, Yang J, Hu D, Huang M, Li Y, Zou Q.   +11 more
europepmc   +1 more source

Machine Learning to Advance Human Genome-Wide Association Studies. [PDF]

Genes (Basel), 2023
Sigala RE, Lagou V, Shmeliov A, Atito S, Kouchaki S, Awais M, Prokopenko I, Mahdi A, Demirkan A.   +8 more
europepmc   +1 more source

Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus

, 1998
Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers 4 systems of illative combinatory logic that are sound
Henk Barendregt (20193594), Martin Bunder (19586077), Wil Dekkers (20193591)   +2 more
core  

Combinatory and propositional logic.

Notre Dame Journal of Formal Logic, 1974
openaire   +3 more sources

Review of Inorganic Separator Engineering for Next‐Generation Lithium–Sulfur Batteries: Compromise or Cornerstone?

Advanced Materials, EarlyView.
Inorganic compound‐modified separators transform lithium–sulfur batteries from passive polysulfide confinement to active reaction‐pathway regulation. A Practical Relevance Index (PRI)‐guided framework bridges interfacial chemistry of inorganic separators with practical constraints, establishing unified design principles for scalable, high‐energy ...
Yuting Qin, Tianyi Wang, Xingyu Wang, Kaifu Xu, Yuzhou Wang, Chengyin Wang, Bing Sun, Guoxiu Wang   +7 more
wiley   +1 more source

Digital orientation enables disruptive technological innovation in agricultural technology enterprises. [PDF]

Sci Rep
Chen Y, Zhou L, Wang Y.
europepmc   +1 more source

A Low-Resources TDC for Multi-Channel Direct ToF Readout Based on a 28-nm FPGA. [PDF]

Sensors (Basel), 2021
Parsakordasiabi M, Vornicu I, Rodríguez-Vázquez Á, Carmona-Galán R.   +3 more
europepmc   +1 more source

S‐Nitrosothiols as Thiol‐Protecting Groups for Controlled Thiol‐Maleimide Crosslinking of Homogeneous Soft Hydrogels

Advanced Materials, EarlyView.
Rapid thiol‐maleimide addition frequently outpaces mixing, resulting in heterogeneous hydrogels. S‐nitrosothiols act as thiol‐protecting groups, allowing uniform mixing with maleimide‐functionalized polymers before gelation. Sodium thiosulfate or sodium ascorbate then regenerates thiols on demand, triggering controlled thiol‐maleimide crosslinking ...
Julian A. Serna, Michelle J. Iwohn, Maximilian Seifermann, Stefan Heißler, Maike Schliephake, Franziska Dopp, Claudia Muhle‐Goll, Pavel A. Levkin   +7 more
wiley   +1 more source

Physiologically informed in vitro framework reveals context-dependent combinatory activity of niclosamide-colistin against Gram-negative bacteria. [PDF]

J Antimicrob Chemother
Romero-Gonzalez M, Park M, Lin W, Caverly LJ, Brunaugh AD.   +4 more
europepmc   +1 more source

Visualizing Quantum Circuit Probability: Estimating Quantum State Complexity for Quantum Program Synthesis. [PDF]

Entropy (Basel), 2023
Bach BG, Kundu A, Acharya T, Sarkar A.
europepmc   +1 more source