Results 191 to 200 of about 1,558,985 (350)

Experimental Data For The Paper Automated Reasoning For Knot Semigorups And \Pi-Orbifold Groups Of Knots

, 2017
Alexei Lisitsa, Alexei
openalex   +1 more source

Deterministic hBN Bubbles as a Versatile Platform for Studies on Single‐Photon Emitters

Advanced Functional Materials, EarlyView.
Single‐photon emitters (SPEs) in hBN are promising for quantum technologies; however, in exfoliated samples their activation is required, limiting reproducibility of previous studies. This work introduces a large‐area MOVPE‐grown hBN platform that hosts SPEs without prior activation.
Piotr Tatarczak, Tomasz Fąs, Jan Pawłowski, Aleksandra Krystyna Dąbrowska, Jan Suffczyński, Mateusz Tokarczyk, Piotr Wróbel, Andrzej Wysmołek, Johannes Binder   +8 more
wiley   +1 more source

Automated Reasoning for Vulnerability Management by Design

Avi Shaked, Nan Messe
openalex   +1 more source

The Milling Assistant, Case-Based Reasoning, and machining strategy: A report on the development of automated numerical control programming systems at New Mexico State University

, 1993
W. Burd, David Culler, Thomas C. Eskridge, L. Cox, T. Slater   +4 more
openalex   +2 more sources

Mechanically Stable and Tunable Photoactivated Peptide‐Based Hydrogels for Soft Tissue Adhesion

Advanced Functional Materials, EarlyView.
A collagen‐like peptide hydrogel platform is developed using supramolecular self‐assembly and light‐triggered crosslinking. It creates mechanically stable, tunable hydrogels with cytocompatibility and biodegradability, making them potential soft tissue adhesives.
Alex Ross, Daniel Nguyen, Aidan J. MacAdam, German A. Mercado Salazar, Micaela Gianetti, Ramis Ileri, Marc Ruel, Erik J. Suuronen, Emilio I. Alarcon   +8 more
wiley   +1 more source

First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice

Journal of automated reasoning, 2019
Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand, O. Hermant   +5 more
semanticscholar   +1 more source

Color Routing and Beam Steering of Single‐Molecule Emission with a Spherical Silicon Nanoantenna

Advanced Functional Materials, EarlyView.
We experimentally demonstrate broadband directional emission from single molecules using a single spherical silicon nanoparticle assembled via DNA origami. By varying nanoparticle (NP) size and emitter position, we achieve unidirectional emission, beam steering, and color routing at the nanoscale, revealing modal interference as the underlying ...
María Sanz‐Paz, Nicole Siegel, Guillermo Serrera, Javier González‐Colsa, Fangjia Zhu, Karol Kołątaj, Minoru Fujii, Hiroshi Sugimoto, Pablo Albella, Guillermo P. Acuna   +9 more
wiley   +1 more source

The agentic age of predictive chemical kinetics. [PDF]

Chem Sci
Grinberg Dana A.
europepmc   +1 more source

Automated Reasoning for Reinforcement Learning Agents in Structured Environments.

, 2021
Alessandro Gianola, Marco Montali, Matteo Papini   +2 more
openalex   +1 more source

Geometrically Tunable Scaffold‐Free Muscle Bioconstructs for Treating Volumetric Muscle Loss

Advanced Healthcare Materials, EarlyView.
Volumetric muscle loss is associated with traumatic muscle resulting in permanent functional impairment. Mold‐based, scaffold‐free, high‐density muscle tissue bioconstructs are developed in customizable geometric shapes and sizes. The transplanted rectangular solid‐shaped muscle bioconstructs improved muscle force recovery and tissue regeneration in ...
Bugra Ayan, Gaoxian Chen, Ishita Jain, Sha Chen, Gladys Chiang, Caroline Hu, Renato Reyes, Beu P. Oropeza, Ngan F. Huang   +8 more
wiley   +1 more source