Results 71 to 80 of about 750 (245)

Neural circuits and symbolic processing. [PDF]

Neurobiol Learn Mem, 2021
Do Q, Hasselmo ME.
europepmc   +1 more source

Map Calculus in GIS: a proposal and demonstration

, 2004
This paper provides a new representation for fields (continuous surfaces) in Geographical Information Systems (GIS), based on the notion of spatial functions and their combinations.
Haklay, M
core  

Packed for Ossification: High‐Density Bioprinting of hPDC Spheroids in HAMA Toward Endochondral Ossification

Advanced Healthcare Materials, EarlyView.
Human periosteum‐derived cell spheroids bioprinted at high density within a hyaluronic acid matrix promote fusion and hypertrophic cartilage formation in vitro. Early encapsulation enhances spheroid interaction and matrix maturation, generating scalable cartilage templates intended for endochondral bone regeneration.
Ane Albillos Sanchez, Maria Paula Marks, Paula Casademunt, Adrián Seijas‐Gamardo, Ioannis Papantoniou, Lorenzo Moroni, Carlos Mota   +6 more
wiley   +1 more source

Equivalence of call-by-name and call-by-need for lambda-calculi with letrec

, 2006
We develop a proof method to show that in a (deterministic) lambda calculus with letrec and equipped with contextual equivalence the call-by-name and the call-by-need evaluation are equivalent, and also that the unrestricted copy-operation is correct ...
Schmidt-Schauß, Manfred, Manfred Schmidt-Schauß   +1 more
core  

Lambda Calculus and functional programming : Using Haskell [PDF]

, 2017
This thesis explores the world of Lambda Calculus, functional programming, which is based on Lambda Calculus, and Haskell as an example of a functional programming language. Lambda Calculus is a formal system for denoting something computable.
Prokopev, Vadim
core  

Photothermal‐Activated Antibacterial Amyloid‐Polyphenol‐Iron Hydrogels for Synergistic Wound Healing

Advanced Healthcare Materials, EarlyView.
We report a thermally triggered supramolecular hydrogel (LTFe) formed by Fe3+ and tannic acid on lysozyme amyloid fibrils. Fe3+ enables rapid gelation and photothermal transduction with an efficiency of 88.56%. The LTFe hydrogel exhibits excellent biocompatibility, potent antibacterial activity against E. coli and S.
Di Wu, Jiangtao Zhou, Yang Shen, Qiyao Sun, Tong Li, Xiaoyang Zou, Bin Liu, Hongshan Liang, Raffaele Mezzenga   +8 more
wiley   +1 more source

Program transformation for functional circuit descriptions

, 2007
We model sequential synchronous circuits on the logical level by signal-processing programs in an extended lambda calculus Lpor with letrec, constructors, case and parallel or (por) employing contextual equivalence. The model describes gates as (parallel)
Sabel, David, Schmidt-Schauß, Manfred, David Sabel, Manfred Schmidt-schauß   +3 more
core  

Ferroelectric Quantum Dots for Retinomorphic In‐Sensor Computing

Advanced Materials, EarlyView.
This work has provided a protocol for fabricating retinomorphic phototransistors by integrating ferroelectric ligands with quantum dots. The resulting device combines ferroelectricity, optical responsiveness, and low‐power operation to enable adaptive signal amplification and high recognition accuracy under low‐light conditions, while supporting ...
Tingyu Long, Huanyu Zhou, Jaewan Ko, Hongwei Tan, Jaemin Lim, Yanfei Zhao, Daehan Kang, Eojin Yoon, Gyeong‐Tak Go, Somin Kim, Seung‐Woo Lee, Chan‐Yul Park, Hyojun Choi, Hyeran Kim, Hyung Joong Yun, Sung Hyuk Park, Kwan Sik Park, Jeong Woo Park, Mungeun Kim, Yong Soo Cho, Ho Won Jang, Wenqiang Yang, Min Hyuk Park, Wan Ki Bae, Sebastiaan van Dijken, Joona Bang, Tae‐Woo Lee   +26 more
wiley   +1 more source

On conservativity of concurrent Haskell

, 2011
The calculus CHF models Concurrent Haskell extended by concurrent, implicit futures. It is a process calculus with concurrent threads, monadic concurrent evaluation, and includes a pure functional lambda-calculus which comprises data constructors, case ...
Sabel, David, Schmidt-Schauß, Manfred (Dr.), Sabel, David (Dr.), Schmidt-Schauß, Manfred   +3 more
core  

Relational and Allegorical Semantics for Constraint Logic Programming

, 2012
El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de
Gallego Arias, Emilio Jesús
core   +1 more source