Results 281 to 290 of about 21,783,491 (356)

Geometrically Templated, Ultra‐Lightweight and High Strength Soap Films from Lyotropic Liquid Crystalline Graphene Oxide/Polymer Composites

Advanced Functional Materials, EarlyView.
Shellular materials form spontaneously by dip coating the primitive triply periodic minimal surface (TPMS) wireframe in an aqueous solution of lyotropic liquid crystalline graphene oxide (GO) nanosheets mixed with polymers. Regulated by surface tension, GO nanosheets align on the polymer soap film as the stress builds up during drying.
Yinding Chi, Yuchong Gao, Mostafa Akbari, Kun‐Hao Yu, Kun‐Yu Wang, Mohit Patel, Shouhong Fan, Ziyun Zhang, Masoud Akbarzadeh, Shu Yang   +9 more
wiley   +1 more source

Label‐Free and Low‐Power Driven Cancer Biomarker Detection Enabled by 2D Hexagonal Titanium Oxide

Advanced Functional Materials, EarlyView.
A low‐power driven FET biosensor based on 2D hexagonal TiO2 detects the cancer biomarker carcinoembryonic antigen with high sensitivity, a low detection limit of 0.22 pg mL−1, and excellent selectivity. Leveraging the unique electronic properties of the material, this work demonstrates strong potential for integration into miniature and portable cancer
Yange Luan, Qijie Ma, Yihong Hu, Xinyi Hu, Guanyu Chen, Jiaru Zhang, Zhong Li, Dongdong Xie, Guanghui Ren, Yunyi Yang, Guifu Ding, Kate Fox, Bao Yue Zhang, Jian Zhen Ou   +13 more
wiley   +1 more source

Social appearance anxiety and body checking behavior in the relationship between social media addiction and depressive symptoms among college students. [PDF]

Front Psychiatry
Wang X, Wang Y, Yang S, Li Z, Fu C.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Model Checking

Handbook of Finite State Based Models and Applications, 2018
ion ● Approximation ○ M’ approximates M ○ Use M’ to deduce properties of ...
D. Peled, Patrizio Pelliccione, Paola Spoletini   +2 more
semanticscholar   +1 more source

To model check or not to model check

Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273), 2002
In the past, hardware design validation has relied primarily on simulation. New techniques such as model checking have been introduced but no objective study investigating the advantages such techniques provide over simulation has been made. Simulation is model checking over a trace elicited by executing a test vector; model checking can be viewed as ...
J. Baumgartner, Jacob A. Abraham, N. Saxena, A. Saha   +3 more
openaire   +2 more sources

A guide to Bayesian model checking for ecologists

Ecological Monographs, 2018
Checking that models adequately represent data is an essential component of applied statistical inference. Ecologists increasingly use hierarchical Bayesian statistical models in their research.
P. B. Conn, Devin S. Johnson, Perry J. Williams, S. Melin, M. Hooten   +4 more
semanticscholar   +1 more source

Model checking for performability

Mathematical Structures in Computer Science, 2013
This paper gives a bird's-eye view of the various ingredients that make up a modern, model-checking-based approach to performability evaluation: Markov reward models, temporal logics and continuous stochastic logic, model-checking algorithms, bisimulation and the handling of non-determinism.
Baier C., Hahn E.M., Haverkort B.R., Hermanns H., Katoen J.-P.   +4 more
openaire   +3 more sources

Model Checking

2014
This chapter gives an overview of model checking, focusing on the verification of concurrent, distributed software systems by means of the SP I N model checker. After discussing S P I N’s input languages, more details are given on the verification flow and on how to improve the verification performance.
Tingting Hu, Ivan Cibrario Bertolotti
openaire   +4 more sources

Compositional model checking

[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, 2003
Abstract: "We describe a method for reducing the complexity of temporal logic model checking in systems composed of many parallel processes. Thegoal is to check properties of the components of a system and then deduce globalproperties from these local properties.
Kenneth L. McMillan, Edmund M. Clarke, David E. Long   +2 more
openaire   +2 more sources