Results 31 to 40 of about 2,457 (170)

Auto‐Routing Fluidic Printed Circuit Boards

Advanced Robotics Research, EarlyView.
This work introduces (STREAM) software tool for routing efficiently advanced macrofluidics, an open‐source software tool for automating the design of 3D‐printable fluidic circuit boards. STREAM streamlines tube routing and layout, enabling the rapid fabrication of fluidic networks for soft robotics, lab‐on‐a‐chip devices, microfluidics, and biohybrid ...
Savita V. Kendre, Lehong Wang, Haotian Liu, Markus P. Nemitz   +3 more
wiley   +1 more source

Compilation of combinatory reduction systems [PDF]

, 1993
Combinatory Reduction Systems generalise Term Rewriting Systems. They are powerful enough to express β-reduction of λ-calculus as a single rewrite rule. The additional expressive power has its price — CRSs are much harder to implement than ordinary TRSs.
Kahrs, Stefan
core   +1 more source

Detection of Protein–Protein Interactions in Escherichia coli With Single Molecule Sensitivity

Advanced Science, EarlyView.
This article describes a regulatory circuit in Escherichia coli able to detect protein–protein interactions with exquisite sensitivity. The interaction between two hybrid proteins fused to Bordetella pertussis adenylate cyclase and its activator calmodulin triggers a potent cyclic AMP signaling cascade.
Marilyne Davi, Daniel Ladant
wiley   +1 more source

Physics, Topology, Logic and Computation: A Rosetta Stone

, 2009
In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it became clear that underlying these diagrams is a powerful analogy between quantum physics and topology: namely, a linear operator behaves very much like a ...
A. Church, A. Joyal, A. Joyal, A. Stern, A. Tonder van, A.S. Troelstra, B. Bakalov, B. Hilken, C. Kassel, C. McLarty, C.B. Jay, C.B. Jay, D. Gottesman, D. Kaiser, D.N. Yetter, E. Witten, G. Moore, G. Segal, G.M. Kelly, G.M. Kelly, H. Abelson, H. Barendregt, H.B. Curry, H.B. Curry, J. Baez, J. Baez, J. Baez, J. Baez, J. Baez, J. Kock, J. Lambek, J. Lambek, J. McCarthy, J.-Y. Girard, J.-Y. Girard, J.R. Hindley, J.S. Bell, K. Gödel, L. Smolin, L.H. Kauffman, L.H. Kauffman, M. Barr, M. Freedman, M. Freedman, M. Hasegawa, M. Schönfinkel, M.-C. Shum, M.A. Nielsen, M.F. Atiyah, M.F. Atiyah, N. Benton, P. Cvitanovic, P. Freyd, P. Landin, P. Scott, P. Selinger, R. Blute, R. Goldblatt, R. Penrose, R. Penrose, R. Penrose, R.L. Crole, S. Abramsky, S. Eilenberg, S. Eilenberg, S. Kleene, S. Mac Lane, S. Mac Lane, S. Sawin, S. Soloviev, S.N. Burris, T. Leinster, V. Chari, V.G. Turaev, W.A. Howard, W.K. Wootters   +75 more
core   +7 more sources

A proof of strong normalisation using domain theory [PDF]

, 2006
Ulrich Berger presented a powerful proof of strong normalisation using domains, in particular it simplifies significantly Tait's proof of strong normalisation of Spector's bar recursion.
Arnaud Spiwack, Rajeev Alur, Thierry Coquand   +2 more
core   +12 more sources

Spatial‐Wavelength Multiplexing Error‐Controlled Photonic Analog Computing System

Advanced Science, EarlyView.
A novel photonic integrated circuit prototype implementing the concept of general‐purpose analog computing and demonstrate its capability in radio frequency applications. The chip features a multichannel architecture and performs fully optical analog computation with frequency‐domain parallel processing. An FPGA‐based error‐correction algorithm aims to
Tao Zhu, Bowen Zhu, Shicheng Zhang, Keren Li, Xianchen Wu, Yazhi Pi, Jie Yan, Daigao Chen, Bingli Guo, Xi Xiao, Lei Wang, Xiaochuan Xu, Xuwei Xue, Shanguo Huang, Zizheng Cao, Shaohua Yu   +15 more
wiley   +1 more source

A correspondence between rooted planar maps and normal planar lambda terms [PDF]

, 2015
A rooted planar map is a connected graph embedded in the 2-sphere, with one edge marked and assigned an orientation. A term of the pure lambda calculus is said to be linear if every variable is used exactly once, normal if it contains no beta-redexes ...
Giorgetti, Alain, Zeilberger, Noam
core   +5 more sources

Persistently Increased Expression of PKMzeta and Unbiased Gene Expression Profiles Identify Hippocampal Molecular Traces of a Long‐Term Active Place Avoidance Memory and “Shadow” Proteins

Advanced Science, EarlyView.
Protein complexes like KIBRA‐PKMζ are crucial for maintaining memories, forming month‐long protein traces in memory‐tagged neurons, but conventional RNA‐seq analysis fails to detect their transcript changes, leaving memory molecules undetected in the shadows of abundantly‐expressed genes.
Jiyeon Han, Alejandro Grau‐Perales, Rayna M. Harris, Edith Lesburguères, Hsin‐Yi Kao, Asit Pal, Juan Marcos Alarcon, Todd C. Sacktor, Stefano Martiniani, Hans A. Hofmann, André A. Fenton   +10 more
wiley   +1 more source

Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version) [PDF]

, 2017
We show that a version of Martin-L\"of type theory with an extensional identity type former I, a unit type N1 , Sigma-types, Pi-types, and a base type is a free category with families (supporting these type formers) both in a 1- and a 2-categorical sense.
Castellan, Simon, Clairambault, Pierre, Dybjer, Peter   +2 more
core   +4 more sources

Leveraging Artificial Intelligence and Large Language Models for Cancer Immunotherapy

Advanced Science, EarlyView.
Cancer immunotherapy faces challenges in predicting treatment responses and understanding resistance mechanisms. Artificial intelligence (AI) and machine learning (ML) offer powerful solutions for cancer immunotherapy in patient stratification, biomarker discovery, treatment strategy optimization, and foundation model development.
Xinchao Wu, Mengtao Sun, Lusheng Li, Jieqiong Wang, Shibiao Wan   +4 more
wiley   +1 more source