Results 141 to 150 of about 566,633 (340)

Automating Vascular Biology: An End‐to‐End Automated Workflow for High‐Throughput Blood Vessel‐on‐a‐Chip Production and Multi‐Site Validation

Advanced Healthcare Materials, EarlyView.
AngioPlate384 is a 384‐well open‐top platform that automates production of more than 100 miniaturized, perfusable blood vessels embedded in hydrogel and supported by stromal cells. Stromal‐endothelial co‐culture strengthens blood vessel barrier function and yields responses useful for translational planning. Scalable and automation‐ready, it suits drug
Dawn S. Y. Lin, Hanieh Mohammad Hashemi, Kimia Asadi Jozani, Anushree Chakravarty, Sonya Kouthouridis, Jessica Bonanno, Nicky Anvari, Shravanthi Rajasekar, Feng Zhang, Richard Y. Cheng, Narendra Kumar Singh, Luis Miguel Medina, Marc Durante, Yufang He, Boyang Zhang   +14 more
wiley   +1 more source

RevBayes: Bayesian Phylogenetic Inference Using Graphical Models and an Interactive Model-Specification Language. [PDF]

Syst Biol, 2016
Höhna S, Landis MJ, Heath TA, Boussau B, Lartillot N, Moore BR, Huelsenbeck JP, Ronquist F.   +7 more
europepmc   +1 more source

Giga‐Voxel Multiscale Composite Architecture Mirrored Through a Data‐to‐Model Closed‐Loop Digital Twin

Advanced Materials, EarlyView.
Herein, a systematic digital twin workflow tailored for generating high‐fidelity virtual representations of anisotropic composite microstructures and giga‐voxel meso‐structural models is presented, leveraging a harmonious integration of top–down image‐based modeling and bottom–up data‐driven voxel generation.
Siwon Yu, Seungsoo Jang, Young Seok Cho, Seunggyu Park, Jun Yeon Hwang, Soon Hyung Hong, Thomas James Marrow, Kang Taek Lee   +7 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

Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking

, 2011
The adoption of algebraic specification/formal method techniques by the networks' research community is happening slowly but steadily. We work towards a software environment that can translate a protocol's specification, from Abstract Syntax Notation One
Barlas, Konstantinos, Koletsos, George, Stefaneas, Petros   +2 more
core  

Moth‐Wing‐Inspired Multifunctional Metamaterials

Advanced Materials, EarlyView.
This study develops a moth‐wing‐inspired heterogeneous metamaterial that achieves synergistic broadband sound absorption, mechanical energy dissipation, and thermal insulation within a lightweight architected framework. Combining bioinspired gradient design, genetic‐algorithm optimization, and additive manufacturing, the bionic heterogeneous acoustic ...
Haoran Pei, Hang Yang, Ning Zhang, Tian Li, Xinxin Wang, Miao Zhao, Shuwei Ding, Xin Wang, Qinniu Lv, Zijie Xu, Yinghong Chen, Xinwei Li, Wei Zhai   +12 more
wiley   +1 more source

LEAD: Literature Enhanced Ab Initio Discovery of Nitride Dusting Layers for Enhanced Tunnel Magnetoresistance and Lower Resistance Magnetic Tunnel Junctions

Advanced Materials, EarlyView.
Magnetic tunnel junctions (MTJs) using MgO tunnel barriers face challenges of high resistance‐area product and low tunnel magnetoresistance (TMR). To discover alternative materials, Literature Enhanced Ab initio Discovery (LEAD) is developed. The LEAD‐predicted materials are theoretically evaluated, showing that MTJs with dusting of ScN or TiN on ...
Sabiq Islam, William S. Rogers, Chen‐Yu Hu, Ming‐Yuan Song, Xinyu Bao, Shehrin Sayed, Jean Anne C. Incorvia   +6 more
wiley   +1 more source

Uma abordagem baseada em XML para construção de Interfaces de Usuário para Múltiplos Dispositivos = A XML-based approach for building multi-device user interfaces

Acta Scientiarum: Technology, 2006
O desenvolvimento de aplicações para múltiplos dispositivos leva emconsideração diferentes características e restrições de cada dispositivo. Linguagens de especificação de interfaces e modelos arquiteturais têm sido utilizados por projetistas de ...
Ayslan Trevizan Possebom, Antonio Mendes da Silva Filho, Sérgio Roberto Pereira da Silva   +2 more
doaj  

Topology and Material Optimization in Ultra‐Soft Magneto‐Active Structures: Making Advantage of Residual Anisotropies

Advanced Materials, EarlyView.
Residual magnetization induces pronounced mechanical anisotropy in ultra‐soft magnetorheological elastomers, shaping deformation and actuation even without external magnetic fields. This study introduces a computational‐experimental framework integrating magneto‐mechanical coupling into topology optimization for designing soft magnetic actuators with ...
Carlos Perez‐Garcia, Rogelio Ortigosa, Jesús Martínez‐Frutos, Daniel Garcia‐Gonzalez   +3 more
wiley   +1 more source

Architectural specification, exploration and simulation through rewriting-logic

Revista Colombiana de Computación, 2002
In recent years Arvind’s Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specified by term rewriting systems are translated into a standard hardware description
Mauricio Ayala Rincón, Reiner W. Hartenstein, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos Humberto Llanos   +4 more
doaj