Results 291 to 300 of about 212,177 (318)
Some of the next articles are maybe not open access.
12th International Symposium on Temporal Representation and Reasoning (TIME'05), 2005
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions generated by automatic techniques such as predicate abstraction. Indeed, for the same cost, model checking three-valued abstractions (also called may/must abstractions) can be ...
openaire +1 more source
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions generated by automatic techniques such as predicate abstraction. Indeed, for the same cost, model checking three-valued abstractions (also called may/must abstractions) can be ...
openaire +1 more source
A generalization of the Smagorinsky model
Applied Mathematics and ComputationzbMATH Open Web Interface contents unavailable due to conflicting licenses.
Shen C. Huang +4 more
openaire +3 more sources
Deep Generative Mixture Model for Robust Imbalance Classification
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2023Jing Liping +2 more
exaly
Slice-to-voxel stochastic reconstructions on porous media with hybrid deep generative model
Computational Materials Science, 2021Honggang Chen, Xiaohai He, Qizhi Teng
exaly
American Journal of Orthodontics and Dentofacial Orthopedics, 2023
Tomasz Burzykowski +3 more
openaire +2 more sources
Tomasz Burzykowski +3 more
openaire +2 more sources
Molecular Generative Model via Retrosynthetically Prepared Chemical Building Block Assembly
Advanced Science, 2023Woo Youn Kim +2 more
exaly