Results 111 to 120 of about 311,790 (314)
Weaving Intelligence: Thermally Drawn Multimaterial Fibers Toward AI‐Enabled Smart Textiles
Advanced Materials, EarlyView.Thermally drawn multimaterial fibers are rapidly advancing as intelligent structural units for next‐generation smart textiles. Integrating multimaterial architectures with neuromorphic and spiking‐neural‐network principles enables fabrics that can sense, compute, and adapt autonomously.
Vuong Dinh Trung +9 more
wiley +1 more source
Communicating quantum processes [PDF]
, 2005 We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation.
Simon J. Gay +5 more
core +1 more source
Advanced Materials Technologies, EarlyView.Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu +8 more
wiley +1 more source
AlgorithmsRecently, there has been renewed interest in signed distance bound representations due to their unique properties for 3D shape modelling. This is especially the case for deep learning-based bounds.
Nenad Markuš, Mirko Sužnjević
doaj +1 more source
The Stochastic Geometric Machine Model
Trends in Computational and Applied Mathematics, 2004 This paper introduces the stochastic version of the Geometric Machine Model for the modelling of sequential, alternative, parallel (synchronous) and nondeterministic computations with stochastic numbers stored in a (possibly infinite) shared memory.
R.H.S. Reiser, G.P. Dimuro, A.C.R. Costa
doaj +1 more source
Game Semantics in the Nominal Model
Electronic Notes in Theoretical Computer Science, 2012 AbstractWe present a model of games based on nominal sequences, which generalise sequences with atoms and a new notion of coabstraction. This gives a new, precise, and compositional mathematical treatment of justification pointers in game semantics.
Murdoch Gabbay, Dan R. Ghica
openaire +1 more source
Turning Water Into a Tool: From Degradation Pathways to Functional Engineering in Halide Perovskites
Advanced Materials Technologies, EarlyView.Water exhibits a threshold‐dependent dual role in lead halide perovskites, acting either as a degradation trigger or as a powerful tool for defect passivation, recrystallization, and structural engineering. This review discusses how controlled water‐mediated interactions govern stability, dimensionality, and optoelectronic performance, providing ...
Raphaella T. S. Gonçalves +4 more
wiley +1 more source
Analyzing Tag Semantics Across Collaborative Tagging Systems
, 2008 The objective of our group was to exploit state-of-the-art Information Retrieval methods for finding associations and dependencies between tags, capturing and representing differences in tagging behavior and vocabulary of various folksonomies, with the ...
Mladenic, Dunja +7 more
core
Counterpart semantics for a second-order mu-calculus
, 2010 We propose a novel approach to the semantics of quantified μ-calculi, considering models where states are algebras; the evolution relation is given by a counterpart relation (a family of partial homomorphisms), allowing for the creation, deletion, and ...
Gadducci, Fabio +10 more
core +1 more source
Scalable Task Planning via Large Language Models and Structured World Representations
Advanced Robotics Research, EarlyView.This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari +4 more
wiley +1 more source