Results 221 to 230 of about 1,133,638 (315)

A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions. [PDF]

Sensors (Basel), 2019
Kunnappilly A, Marinescu R, Seceleanu C.
europepmc   +1 more source

Model Checking via Reachability Testing for Timed Automata

, 1997
Luca Aceto, Augusto Burgueño, Kim G. Larsen   +2 more
openalex   +2 more sources

Toward Architected Microstructures Using Advanced Laser Beam Shaping in Laser Powder Bed Fusion of Ti‐6Al‐4V

Advanced Functional Materials, EarlyView.
This research applies advanced laser beam shaping (LCoS‐SLM) to fabricate the Ti‐6Al‐4V alloy via laser powder bed fusion. A tailored beam is used to prevent martensite formation and create a dual α+β microstructure by controlling cooling rates.
Reza Esmaeilzadeh, Jamasp Jhabvala, Lucas Schlenger, Mathijs van der Meer, Eric Boillat, Cyril Cayron, Amir Mohammad Jamili, Junfeng Xiao, Roland E. Logé   +8 more
wiley   +1 more source

Model-checking quantum systems. [PDF]

Natl Sci Rev, 2019
Ying M, Feng Y.
europepmc   +1 more source

Bi‐Directional Assembly of Boron Nitride µ‐Platelets by Micro‐Molding for Advanced Thermal Interface Materials

Advanced Functional Materials, EarlyView.
Bi‐directionally assembled BN µ‐platelets in micropatterns formed by a micro‐molding method for thermal interface materials are demonstrated. The BN µ‐platelets are vertically aligned selectively, while compressed regions without patterns accommodate horizontally assembled BN µ‐platelets. Through anisotropic orientation, high thermal conductivities for
Young Gil Kim, In‐Young Jung, Yujin Mun, Joo Hwan Shin, Sang Gil Lee, Gyan Raj Koirala, Taewoo Kang, Jehyung Ok, Hyesu Choi, Jiwon Kim, Youngkwang Shin, Seok Joon Kwon, Tae‐il Kim   +12 more
wiley   +1 more source

DYNAMIC BEHAVIOR OF CONCRETE CHECK DAM WING MODEL WITH LONGITUDINAL REINFORCEMENT UNDER HIGH SPEED LOADING AND FAILURE ANALYSIS BY DISTINCT ELEMENT METHOD

, 1997
Shinji Suzuki, Nobutaka Ishikawa, Yoshiharu Ishikawa, Takahisa Mizuyama, Kohei FURUKAWA   +4 more
openalex   +2 more sources

Control of Ferromagnetism of Vanadium Oxide Thin Films by Oxidation States

Advanced Functional Materials, EarlyView.
The nonstoichiometric VOx exhibits a distinct ferromagnetic hysteresis loop and demonstrates a high magnetic susceptibility (χ=dMdH$ = \frac{{dM}}{{dH}}\;$∼10). Micromagnetic simulations show the results of the “partial volume fraction ferromagnetic phase model” for VOx/Co/Pt structure.
Kwonjin Park, Jaeyong Cho, Soobeom Lee, Jaehun Cho, Jae‐Hyun Ha, Jinyong Jung, Dongryul Kim, Won‐Chang Choi, Jung‐Il Hong, Chun‐Yeol You   +9 more
wiley   +1 more source

Model checking: recent improvements and applications. [PDF]

Int J Softw Tools Technol Transf, 2018
Bošnački D, Wijs A.
europepmc   +1 more source

Model Checking Support for the ASM High-Level Language [PDF]

, 2000
Giuseppe Del Castillo, Kirsten Winter
openalex   +1 more source