Results 11 to 20 of about 2,824 (120)

Electroactive Metal–Organic Frameworks Enabling Unidirectional Electrochemical Capacitors and Logic Gates (MOF‐CAPode)

Angewandte Chemie, EarlyView.
MOF‐CAPodes are introduced by pairing various p‐MOFs with an n‐MOF as electrode materials in a battery‐like assembly. The devices achieve high figures of merit (RRI = 23.5; RRII = 94.4%) and perform excellently in prototypical logic gates (AND, OR) highlighting a new direction for ionological systems based on electroactive MOFs.
Tim Engelhardt, Leonid Shupletsov, Christin Gellrich, Cécilia Bauden, Przemyslaw Galek, Ahmed Bahrawy, Sonila Xhafa, Irena Senkovska, Julia Grothe, Stefan Kaskel   +9 more
wiley   +2 more sources

User privacy prevention model using supervised federated learning‐based block chain approach for internet of Medical Things

CAAI Transactions on Intelligence Technology, EarlyView., 2023
Abstract This research focuses on addressing the privacy issues in healthcare advancement monitoring with the rapid establishment of the decentralised communication system in the Internet of Medical Things (IoMT). An integrated blockchain homomorphic encryption standard with an in‐build supervised learning‐based smart contract is designed to improvise ...
Chandramohan Dhasarathan, Mohammad Kamrul Hasan, Shayla Islam, Salwani Abdullah, Shailesh Khapre, Dalbir Singh, Abdulaziz A. Alsulami, Ali Alqahtani   +7 more
wiley   +1 more source

Bonsai: Synthesis-Based Reasoning for Type Systems

, 2017
We describe algorithms for symbolic reasoning about executable models of type systems, supporting three queries intended for designers of type systems. First, we check for type soundness bugs and synthesize a counterexample program if such a bug is found.
Bodik, Rastislav, Chandra, Kartik
core   +1 more source

Terminal semantics for codata types in intensional Martin-L\"of type theory [PDF]

, 2014
In this work, we study the notions of relative comonad and comodule over a relative comonad, and use these notions to give a terminal coalgebra semantics for the coinductive type families of streams and of infinite triangular matrices, respectively, in ...
Ahrens, Benedikt, Spadotti, Régis
core   +2 more sources

Needle & knot : binder boilerplate tied up

, 2016
To lighten the burden of programming language mechanization, many approaches have been developed that tackle the substantial boilerplate which arises from variable binders. Unfortunately, the existing approaches are limited in scope.
A Gacek, A Sabry, A Wright, B Pientka, BC Pierce, BC Pierce, Brian Aydemir, C Urban, C Urban, Daniel K. Lee, DE Knuth, E Polonowski, E. Moggi, F Pfenning, F Pottier, G Lee, J Vouillon, K Watkins, M Abbott, Mauro Jaskelioff, N Bruijn de, N Gambino, NG Bruijn de, P Neron, P Sewell, R Backhouse, S Schäfer, T Altenkirch, T Altenkirch, T Altenkirch   +29 more
core   +1 more source

Formalization of Universal Algebra in Agda [PDF]

, 2018
In this work we present a novel formalization of universal algebra in Agda. We show that heterogeneous signatures can be elegantly modelled in type-theory using sets indexed by arities to represent operations. We prove elementary results of heterogeneous
Gadea, Alejandro Emilio, Gunther, Emmanuel, Pagano, Miguel Maria   +2 more
core   +1 more source

Artificial Intelligence‐Assisted Workflow for Transmission Electron Microscopy: From Data Analysis Automation to Materials Knowledge Unveiling

Advanced Materials, EarlyView.
AI‐Assisted Workflow for (Scanning) Transmission Electron Microscopy: From Data Analysis Automation to Materials Knowledge Unveiling. Abstract (Scanning) transmission electron microscopy ((S)TEM) has significantly advanced materials science but faces challenges in correlating precise atomic structure information with the functional properties of ...
Marc Botifoll, Ivan Pinto‐Huguet, Enzo Rotunno, Thomas Galvani, Catalina Coll, Payam Habibzadeh Kavkani, Maria Chiara Spadaro, Yann‐Michel Niquet, Martin Børstad Eriksen, Sara Martí‐Sánchez, Georgios Katsaros, Giordano Scappucci, Peter Krogstrup, Giovanni Isella, Andreu Cabot, Gonzalo Merino, Pablo Ordejón, Stephan Roche, Vincenzo Grillo, Jordi Arbiol   +19 more
wiley   +1 more source

From Lab to Landscape: Environmental Biohybrid Robotics for Ecological Futures

Advanced Robotics Research, EarlyView.
This Perspective explores environmental biohybrid robotics, integrating living tissues, microorganisms, and insects for operation in real‐world ecosystems. It traces the leap from laboratory experiments to forests, wetlands, and urban environments and discusses key challenges, development pathways, and opportunities for ecological monitoring and ...
Miriam Filippi
wiley   +1 more source

AutomataGPT: Transformer‐Based Forecasting and Ruleset Inference for Two‐Dimensional Cellular Automata

Advanced Science, EarlyView.
We introduce AutomataGPT, a generative pretrained transformer (GPT) trained on synthetic spatiotemporal data from 2D cellular automata to learn symbolic rules. Demonstrating strong performance on both forward and inverse tasks, AutomataGPT establishes a scalable, domain‐agnostic framework for interpretable modeling, paving the way for future ...
Jaime A. Berkovich, Noah S. David, Markus J. Buehler   +2 more
wiley   +1 more source

Automation of Surgical Workflow Recognition: Unveiling the Surgical Instrument Kinematics that Underly Robot‐Assisted Prostatectomy Procedures

Advanced Intelligent Discovery, EarlyView.
Automated procedural analysis is recognized as one of the major game changers for robotic surgery. Meaning digital analysis needs to replace the manual assessments that set todays standard. Mechanical robotic‐instrument tracking enables the derivation of quantitative kinematic metrics that support behavior‐based workflow segmentation into distinct ...
Kateryna Pirkovets, Matthias N. van Oosterom, Vera A. Ottens, Henk G. van der Poel, Fijs W. B. van Leeuwen   +4 more
wiley   +1 more source