Results 111 to 120 of about 2,243,395 (337)
Advanced Healthcare Materials, EarlyView.Most in vitro cancer models lack cellular diversity, functional complexity, and clinical relevance. This work highlights the generation of an innovative dynamic tetraculture with autologous patient‐derived cells within a vascularized tumor‐on‐chip, as well as the recapitulation of endothelial anergy features induced by the tumor microenvironment ...
Christine Lansche +16 more
wiley +1 more source
Some proposals for SNAP, a language with formal macro facilities [PDF]
, 1967 Robbie Napper
openalex +1 more source
Formalization of the DE2 Language [PDF]
, 2005 We formalized the DE2 hierarchical, occurrence-oriented finite state machine (FSM) language, and have developed a proof theory allowing the mechanical verification of FSM descriptions. Using the ACL2 functional logic, we have defined a predicate for detecting the well-formedness of DE2 expressions.
Erik Reeber, Warren A. Hunt
openaire +1 more source
Human Skin Models in Biophotonics: Materials, Methods, and Applications
Advanced Healthcare Materials, EarlyView.This review discusses how the optical properties of human skin can be replicated in human skin models. It describes the principles, materials, and techniques used to develop artificial skin for biophotonics research. Finally, the article highlights recent advances and shows how these models improve the study of light‐skin interactions without the need ...
Dardan Bajrami +4 more
wiley +1 more source
Automata, formal languages abstract switching, and computability in a Ph.D. computer science program [PDF]
, 1968 Robert McNaughton
openalex +1 more source
A formal language for cyclic operads
Higher Structures, 2017 We propose a $ $-calculus-style formal language, called the $ $-syntax, as a lightweight representation of the structure of cyclic operads. We illustrate the rewriting methods behind the formalism by giving a complete step-by-step proof of the equivalence between the unbiased and biased definitions of cyclic operads.
Curien, Pierre-Louis, Obradovic, Jovana
openaire +3 more sources
Computational Modeling of Reticular Materials: The Past, the Present, and the Future
Advanced Materials, EarlyView.Reticular materials are advanced materials with applications in emerging technologies. A thorough understanding of material properties at operating conditions is critical to accelerate the deployment at an industrial scale. Herein, the status of computational modeling of reticular materials is reviewed, supplemented with topical examples highlighting ...
Wim Temmerman +3 more
wiley +1 more source
A formal system for the specification of the syntax and translation of computer languages [PDF]
, 1967 John J. Donovan, Henry Ledgard
openalex +1 more source
AI‐Driven Defect Engineering for Advanced Thermoelectric Materials
Advanced Materials, EarlyView.This review presents how AI accelerates the design of defect‐tuned thermoelectric materials. By integrating machine learning with high‐throughput data and physics‐informed representations, it enables efficient prediction of thermoelectric performance from complex defect landscapes.
Chu‐Liang Fu +9 more
wiley +1 more source
Compiler generation using formal specification of procedure-oriented and machine languages [PDF]
, 1967 Philip Gilbert, William G. McLellan
openalex +1 more source