Results 21 to 30 of about 2,457 (170)
Learning the Semantics of Manipulation Action
, 2015 In this paper we present a formal computational framework for modeling manipulation actions. The introduced formalism leads to semantics of manipulation action and has applications to both observing and understanding human manipulation actions as well as
Aksoy, Eren Erdal +3 more
core +1 more source
, 2011 We study reflection in the Lambda Calculus from an axiomatic point of view. Specifically, we consider various properties that the quote operator must satisfy as a function on lambda terms. The most important of these is the existence of a definable left
Polonsky, Andrew
core +2 more sources
Revisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability Models [PDF]
, 2020 International ...
core +4 more sources
Laser‐Assisted Processing and Modification of Bioactive Glasses: A Review
Advanced Healthcare Materials, EarlyView.Laser technologies provide powerful tools to process and transform bioactive glasses for advanced biomedical applications. This review discusses laser‐matter interaction mechanisms, laser surface engineering, and laser‐assisted fabrication of scaffolds and nanofibers.
Antonio Riveiro +8 more
wiley +1 more source
Is Russell's vicious circle principle false or meaningless? [PDF]
, 1979 P. Vardy asserts the thesis that the vicious circle principle has the same structure as Russell's paradox. But structure is not the thing itself. It is the thing objectivated from the wiewpoint of a mathematician.
Fleischhacker, L.E.
core +2 more sources
Ion‐Reconfigurable “N”‐Shaped Antiambipolar Behavior in Organic Electrochemical Transistors
Advanced Materials, EarlyView.A unique N‐shaped negative differential transconductance (NDT) characteristics is demonstrated in single‐polymer organic electrochemical transistors through a sequential doping–redox–doping process driven by iodide ions. This redox‐driven mechanism enables low‐voltage, ion‐controlled reconfigurability and tunable current modulation, allowing seamless ...
Debdatta Panigrahi +11 more
wiley +1 more source
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis
, 2013 We describe ongoing work on a framework for automatic composition synthesis from a repository of software components. This work is based on combinatory logic with intersection types.
Düdder, Boris +4 more
core +2 more sources
Light‐Induced Entropy for Secure Vision
Advanced Materials, EarlyView.This work realized a ternary true random number generator by exploiting stochastic traps emerging within multiple junction interfaces, and quantitatively validated the generation of high‐quality random numbers. Furthermore, it successfully demonstrated diverse applications, including AI‐resilient image security, thereby providing a valuable guide for ...
Juhyung Seo +9 more
wiley +1 more source
Counting Terms in the Binary Lambda Calculus [PDF]
, 2014 International audienceIn a paper entitled Binary lambda calculus and combinatory logic, John Tromp presents a simple way of encoding lambda calculus terms as binary sequences.
Grygiel, Katarzyna, Lescanne, Pierre
core
Advanced Materials Technologies, EarlyView.An in situ electroplating approach for MEX 3D printing is proposed, enabling copper deposition during the fabrication of conductive polymers. The method combines a printer‐integrated plating head, ML‐based g‐code control, and stop‐and‐go printing, achieving near‐bulk copper conductivity and enabling fully embedded, assembly‐free electronic components ...
Gianluca Percoco +5 more
wiley +1 more source