Results 171 to 180 of about 11,440 (300)

Distributed Binary Decision Diagrams for Verification of Large Circuits

, 1996
Binary Decision Diagrams are widely used for efficiently representing logic designs and for verifying their equivalence. They usually require large amounts of memory even for relatively small circuits.
Prakash Arunachalam, Dinos Moundanos, Craig Chase   +2 more
core  

Phase Diagrams and Thermal Properties of Fatty Acid Ternary Eutectic Mixtures for Latent Heat Thermal Energy. [PDF]

Materials (Basel)
Zhou D, Zhou F, Yuan J, Liu Z, Liu Y.
europepmc   +1 more source

Co‐Electrospinning Extracellular Matrix with Polycaprolactone Enables a Modular Approach to Balance Bioactivity and Mechanics of a Multifunctional Bone Wrap

Advanced Healthcare Materials, EarlyView.
The incorporation of nondigested ECM and synthetic polymers into a co‐electrospinning system enables the decoupling of bioactivity and mechanical properties within a single wrap. This technique is used to develop a multifunctional bone wrap that achieves augmented membrane durability, sustained infection control, and enhanced vascularity for use in ...
Sarah Jones, Madeline Laude, Zeenat Oyebanji, Ruchi Birur, Andres Luengo Martinez, Isabelle Gilbert, Phillip Baek, Nichole Longbottom, Nicole McCullough, Staci J. Horn, Chien‐Yu Lin, Matthew J. Lohr, Fred Clubb, Manuel K. Rausch, Elizabeth Cosgriff‐Hernandez   +14 more
wiley   +1 more source

Approximate Binary Decision Diagrams for High-Performance Computing

, 2018
Many soft applications such as machine learning and probabilistic computational modeling can benefit from approximate but high-performance implementations. In this thesis, we study how Binary decision diagrams (BDDs) can be used to synthesize approximate
Sivakumar, Anagha
core  

Intelligent pavement management: a machine learning framework for condition classification and maintenance prioritization. [PDF]

Sci Rep
Gupta B, Agrawal M, Narooka P, Panwar D, Anand S.   +4 more
europepmc   +1 more source

Packed for Ossification: High‐Density Bioprinting of hPDC Spheroids in HAMA Toward Endochondral Ossification

Advanced Healthcare Materials, EarlyView.
Human periosteum‐derived cell spheroids bioprinted at high density within a hyaluronic acid matrix promote fusion and hypertrophic cartilage formation in vitro. Early encapsulation enhances spheroid interaction and matrix maturation, generating scalable cartilage templates intended for endochondral bone regeneration.
Ane Albillos Sanchez, Maria Paula Marks, Paula Casademunt, Adrián Seijas‐Gamardo, Ioannis Papantoniou, Lorenzo Moroni, Carlos Mota   +6 more
wiley   +1 more source

Availability of drone mission with binary decision diagram based on uncertain data. [PDF]

Sci Rep
Zaitseva E, Rabcan J, Levashenko V, Mukhamediev RI, Brinzei N.   +4 more
europepmc   +1 more source

High‐Throughput Digital Decoding of Vascular Heterogeneity in Patient‐Specific Tumor Microenvironments

Advanced Healthcare Materials, EarlyView.
ABSTRACT Quantitative characterization of vascular heterogeneity in complex microphysiological systems (MPS), particularly within patient‐derived tumor microenvironments, remains a major challenge for scalable disease modeling and therapeutic evaluation.
Jungseub Lee, Wooju Park, Sujin Hyung, Sangmin Jung, Kyungho Lee, Junseok Jeon, Noo Li Jeon, Jeeyun Lee, Hye Ryoun Jang, Jihoon Ko   +9 more
wiley   +1 more source

HasLoss: a novel Hassanat distance-based loss functions for binary classification. [PDF]

Front Artif Intell
Tarawneh AS.
europepmc   +1 more source

Plasmonic Enhancement of Fluorescence and Protein Dynamics in Living Mammalian Cells

Advanced Materials, EarlyView.
This study demonstrates plasmonic enhancement of the function of fluorescent voltage sensing proteins (genetically encoded voltage indicators, (GEVIs), QuasAr6) in live mammalian cells. Coupling to plasmonic nanoparticles does not just increase fluorescence, but influences the protein photocycle, creating a hybrid sensor with its response speed to ...
Marco Locarno, Qiangrui Dong, Marco Post, Xin Meng, Cristiano Glessi, Nynke Marije Hettema, Nidas Brandsma, Sebbe Blokhuizen, Alejandro Castañeda Garcia, Srividya Ganapathy, Thieme Schmidt, Lars van Roemburg, Bing Xu, Chun‐Ting Cho, Liedewij Laan, Miao‐Ping Chien, Daan Brinks   +16 more
wiley   +1 more source