Results 121 to 130 of about 532,868 (319)
Fiber orientation in electrospun scaffolds affects permeability and fluid dynamics in microfluidic devices. Combining experimental data with computational fluid dynamic simulations, we show that aligned fibers enhance flow uniformity, reduce pressure and shear stress variability.
Elisa Capuana+4 more
wiley +1 more source
Specification Techniques for Multi-Modal Dialogues in the U-Wish Project [PDF]
In this paper we describe the development of a specification\ud technique for specifying interactive web-based services. We\ud wanted to design a language that can be a means of\ud communication between designers and developers of interactive services ...
Dijk, E.M.A.G. van+2 more
core +2 more sources
This study introduces the first miniaturized, patient‐specific carotid artery model created via 3D printing using GelMA with embedded vascular cells. Combining CFD, PIV, and flow perfusion, the model replicates anatomically dependent hemodynamics and cellular responses.
Jorge A. Catano+7 more
wiley +1 more source
Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development [PDF]
Noah S. Prywes, Amir and S. Shastry
openalex +1 more source
Advancing from MOFs and COFs to Functional Macroscopic Porous Constructs
This review study investigates the recent progress and methodologies for manufacturing metal–organic framework (MOF) or covalent–organic framework (COF)‐based 3D structured macroscopic porous constructs with high structural integrity, providing the possibility to control their porosity across dimensions.
Seyyed Alireza Hashemi+8 more
wiley +1 more source
Modeling and Analysis of 3d Printing Ws-Bpel Business Processes Based on Servicenet
To solve the problem that whether the described Web service by business process execution language were interactive compatible, a method of WS-BPEL(Web Services Business Process Execution Language) parsing and execution was proposed.
Zhang Cheng-Lei+4 more
doaj +1 more source
Software abstraction principles: Tutorial examples of an operating system command language specification and a PL/I-like on-condition language definition [PDF]
Dines Bjørner
openalex +1 more source
Formal Dependability Engineering with MIOA [PDF]
In this paper, we introduce MIOA, a stochastic process algebra-like specification language with datatypes, as well as a logic intSPDL, and its model checking algorithms.
Haverkort, Boudewijn, Kuntz, Matthias
core +2 more sources
Computational Modeling of Reticular Materials: The Past, the Present, and the Future
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
An Access Path Specification Language for restructuring network databases [PDF]
Donald Swartwout
openalex +1 more source