Results 121 to 130 of about 2,427,716 (339)

Difficulties in analysing animal song under formal language theory framework: comparison with metric-based model evaluation. [PDF]

R Soc Open Sci, 2020
Morita T, Koda H.
europepmc   +1 more source

NFDI MatWerk Ontology (MWO): A BFO‐Compliant Ontology for Research Data Management in Materials Science and Engineering

Advanced Engineering Materials, EarlyView.
This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi, Ebrahim Norouzi, Kostiantyn Hubaiev, Jörg Waitelonis, Harald Sack   +4 more
wiley   +1 more source

The language profile of formal thought disorder [PDF]

, 2018
Derya Çokal, Gabriel Sevilla, William S. Jones, Vitor Zimmerer, Felicity Deamer, Maggie Douglas, Helen Spencer, Douglas Turkington, Nicol Ferrier, Rosemary Varley, Stuart Watson, Wolfram Hinzen   +11 more
openalex   +1 more source

Supraparticles Composed of Graphitic Carbon Nitride Nanoparticles and Silica‐Supported Horseradish Peroxidase as Customizable Hybrid Catalysts for Photo‐Biocatalytic Cascade Reactions in Continuous Flow

Advanced Functional Materials, EarlyView.
Herein presented supraparticles combine the nanoparticulate photocatalyst graphitic carbon nitride with the enzyme horseradish peroxidase, which is immobilized on silica nanoparticles. In an optimized compatibility range, both catalysts operate effectively within the hybrid supraparticles and catalyze a cascade reaction consisting of the photocatalytic
Bettina Herbig, Egzon Cermjani, Doris Hanselmann, Johannes Prieschl, Angelika Schmitt, Michael S. Moritz, Christian Papp, Greta Nölke, Stefano Di Fiore, Christoph Deckers, Thomas H. Rehm, Susanne Wintzheimer   +11 more
wiley   +1 more source

Hairdressing in groups: a survey of combings and formal languages

, 1997
A group is combable if it can be represented by a language of words satisfying a fellow traveller property; an automatic group has a synchronous combing which is a regular language.
Rees, Sarah
core   +1 more source

A collection of tools for making automata theory and formal languages come alive [PDF]

, 1997
Susan H. Rodger, Anna Bilska‐Kos, Kenneth H. Leider, Magdalena Procopiuc, Octavian Procopiuc, Jason R. Salemme, Edwin Tsang   +6 more
openalex   +1 more source

A Bespoke Programmable Interpenetrating Elastomer Network Composite Laryngeal Stent for Expedited Paediatric Laryngotracheal Reconstruction

Advanced Functional Materials, EarlyView.
A programmable interpenetrating double‐network architecture, created via 3D‐TIPS printing and resin infusion, synergistically combines thermoplastic and thermosetting elastomers to balance structural rigidity and surface softness—crucial for paediatric laryngeal stents.
Elizabeth F. Maughan, Lei Wu, Dong Zhang, Linxiao Wu, Graca Ferreira Vaz Pinto Mendes, Wanqiao J. Tu, Heping Ma, Toby J. Proctor, Colin R. Butler, Thomas Kjærgaard, Mark W. Lowdell, Martin A. Birchall, Robert E. Hynds, Richard Hewitt, Wenhui Song   +14 more
wiley   +1 more source

Micro and Nanostructural Diversity of Lizard Osteoderm Capping Tissue in Relation to Mechanical Performance

Advanced Functional Materials, EarlyView.
This study shows that lizard osteoderm capping tissue is a hyper‐mineralized hydroxyapatite layer consistently covering the superficial osteoderm surface in those species studied here, yet it varies greatly in morphology, nanostructure, and mechanical performance across species.
Adrian Rodriguez‐Palomo, Marius Didziokas, Malene Siri Berg Jacobsen, Thorbjørn Erik Køppen Christensen, Innokenty Kantor, Mads Ry Vogel Jørgensen, Klaus Pagh Almtoft, Jesper Skovhus Thomsen, Anthony Herrel, Catherine J.A. Williams, Henrik Birkedal   +10 more
wiley   +1 more source

Trap‐Assisted Transport and Neuromorphic Plasticity in Lead‐Free 2D Perovskites PEA2SnI4

Advanced Functional Materials, EarlyView.
An artificial retina built from lead‐free layered perovskite (PEA)2SnI4 converts light input into a persistent photocurrent and sums successive flashes over time. Micro/nanocrystals integrated on electrodes act as synapse‐like pixels that perform temporal integration directly in hardware. This in‐sensor preprocessing merges detection and computation on
Ofelia Durante, Valeria Demontis, Jonas Riisnaes Karl, Lam Hoi Tung, Sebastiano De Stefano, Daniela Marongiu, Adolfo Mazzotti, Aditya Bhardwaj, Francesco Mattana, Elisa Pili, Selene Matta, Federico Paolucci, Michele Saba, Andrea Mura, Giovanni Bongiovanni, Monica F Craciun, Saverio Russo, Antonio Di Bartolomeo   +17 more
wiley   +1 more source

Formally verifying Ada programs which use real number types [PDF]

Formal verification is applied to programs which use real number arithmetic operations (mathematical programs). Formal verification of a program P consists of creating a mathematical model of F, stating the desired properties of P in a formal logical ...
Sutherland, David
core   +1 more source