Results 51 to 60 of about 98,734 (264)
On the Groupoid Model of Computational Paths
CoRR, 2015 The main objective of this work is to study mathematical properties of computational paths. Originally proposed by de Queiroz \& Gabbay (1994) as `sequences or rewrites', computational paths are taken to be terms of the identity type of Martin Löf's Intensional Type Theory, since these paths can be seen as the grounds on which the propositional ...
Arthur F. Ramos +2 more
openaire +2 more sources
Directed evolution of enzymes at the crossroads of tradition and innovation
FEBS Open Bio, EarlyView.An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +1 more source
FEBS Open Bio, EarlyView.Miniaturized flow chip platform enabling continuous perfusion and longitudinal multiphoton 3D imaging of vascular smooth muscle cell constructs under physiological flow. Brightfield imaging guides region selection, while CellTracker Green and mRuby‐labeled fetuin‐A visualize cells and mineral deposition, respectively. Magnesium supplementation markedly
Vytautas Kučikas +6 more
wiley +1 more source
Memristive Crossbar Arrays for Storage and Computing Applications
Advanced Intelligent Systems, 2021 The emergence of memristors with potential applications in data storage and artificial intelligence has attracted wide attentions. Memristors are assembled in crossbar arrays with data bits encoded by the resistance of individual cells.
Huihan Li +10 more
doaj +1 more source
Applied Sciences, 2022 Recent years have witnessed a paradigm shift from centralized cloud computing to decentralized edge computing. As a key enabler technique in edge computing, computation offloading migrates computation-intensive tasks from resource-limited devices to ...
Bo Xu +5 more
doaj +1 more source
Optimizing photoexcitation conditions for time‐resolved X‐ray solution scattering experiments
FEBS Open Bio, EarlyView.Time‐resolved X‐ray solution scattering (TR‐XSS) is a powerful technique to visualize how proteins change their structure in real time after light activation. Selecting the right laser photoexcitation conditions—fluence, excitation geometry, and sample refresh rate—is critical to maximize the experimental signal while avoiding unwanted side effects ...
Matteo Levantino
wiley +1 more source
Delay constraint minimum interruption routing algorithm for mobile satellite network
Tongxin xuebao, 2006 By the analysis of the characteristics of mobile satellite network,such as a long delay and a topological time-varying,a novel satellite network delay constraint optimal path（SDCOP）algorithm,which could obtain a path to sat-isfy the delay constraint ...
ZHANG Tao, LIU Zhong-kan, ZHANG Jun
doaj +2 more sources
Optimal time reuse strategy-based dynamic multi-AGV path planning method
Complex & Intelligent SystemsThe window strategy, known for its flexibility and efficiency, is extensively used in dynamic path planning. To further enhance the performance of the Automated Guided Vehicles (AGVs) sorting system, the two processes of AGV movement and path planning ...
Ke Wang +4 more
doaj +1 more source
Computing and Listing Avoidable Vertices and Paths
Algorithmica, 2022 AbstractA simplicial vertex of a graph is a vertex whose neighborhood is a clique. It is known that listing all simplicial vertices can be done in O(nm) time or $$O(n^{\omega })$$ O ( n ω )
Charis Papadopoulos, Athanasios E. Zisis
openaire +2 more sources