Properties of cardiac conduction in a cell-based computational model von Jæger, Karoline Horgmo, Edwards, Andrew G, McCulloch, Andrew, Tveito, Aslak

Volltext

Advances in High-Performance Non-ferrous Materials

Volltext

Advances in High-Performance Non-ferrous Materials

Volltext

Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings von Bouajjani, Ahmed, Holík, Lukás, Wu, Zhilin

Volltext

Landslide hazard analysis for Hong Kong using landslide inventory and GIS von Chau, K.T., Sze, Y.L., Fung, M.K., Wong, W.Y., Fong, E.L., Chan, L.C.P.

Volltext

Analysis of errors of derived slope and aspect related to DEM data properties von Zhou, Qiming, Liu, Xuejun

Volltext

Problems with Mixed Boundary Conditions in Banach Spaces von Dallos Santos, Dionicio Pastor

Volltext

Topological relations embodied in a generalized tri-prism (GTP) model for a 3D geoscience modeling system von Wu, Lixin

Volltext

Urban 3D GIS From LiDAR and digital aerial images von Zhou, Guoqing, Song, C., Simmers, J., Cheng, P.

Volltext

Topological models and frameworks for 3D spatial objects von Zlatanova, Siyka, Rahman, Alias Abdul, Shi, Wenzhong

Volltext

LMI-Based Stability Criterion of Impulsive T-S Fuzzy Dynamic Equations via Fixed Point Theory von Rao, Ruofeng, Pu, Zhilin

Volltext

Database Resources of the National Genomics Data Center in 2020 von Zhang, Zhang, Zhao, Wenming, Xiao, Jingfa, Bao, Yiming, He, Shunmin, Zhang, Guoqing, Li, Yixue, Zhao, Guoping, Chen, Runsheng, Gao, Yang, Zhang, Chao, Yuan, Liyun, Xu, Shuhua, Ning, Zhilin, Lu, Yan, Zeng, Jingyao, Yuan, Na, Zhu, Junwei, Pan, Mengyu, Zhang, Hao, Wang, Qi, Shi, Shuo, Jiang, Meiye, Lu, Mingming, Qian, Qiheng, Gao, Qianwen, Shang, Yunfei, Wang, Jinyue, Du, Zhenglin, Tian, Dongmei, Wang, Pei, Tang, Bixia, Li, Cuiping, Teng, Xufei, Liu, Xiaonan, Zou, Dong, Song, Shuhui, Xiong, Zhuang, Li, Mengwei, Yang, Fei, Ma, Yingke, Sang, Jian, Li, Zhaohua, Li, Rujiao, Wang, Zhonghuang, Zhu, Qianghui, Li, Xin, Zhang, Sisi, Kang, Hailong, Dong, Lili, Ying, Cui, Duan, Guangya, Li, Menghua, Zhi, Xiaoyang, Ling, Yunchao, Cao, Ruifang, Jiang, Zhao, Zhou, Haokui, Lv, Daqing, Liu, Wan, Klenk, Hans-Peter, Zhang, Yadong, Zhang, Zhewen, Chen, Tingting, Chen, Xu, Wang, Yanqing, Wu, Song, Gong, Zheng, Chen, Meili, Fang, Shuangsang, Zhang, Lili, Guo, Jincheng, Niu, Yiwei, Wu, Yang, Li, Hui, Zhao, Lianhe, Li, Xiyuan, Teng, Xueyi, Sun, Xianhui, Sun, Liang, Zhao, Yi, Wang, Jiajia, Zhang, Peng, Li, Yanyan, Zheng, Yu, Chen, Xiaomin, Xue, Hua, Teng, Yiheng, Kang, Quan, Hao, Yajing, Cao, Jiabao, Liu, Lin, Li, Zhao, Li, Qianpeng, Du, Qiang, Abbasi, Amir A., Shireen, Huma, Pervaiz, Nashaiman, Batool, Fatima, Raza, Rabail Z.

Volltext

Dynamic Shielding for Reinforcement Learning in Black-Box Environments von Waga, Masaki, Castellano, Ezequiel, Pruekprasert, Sasinee, Klikovits, Stefan, Takisaka, Toru, Hasuo, Ichiro

Volltext

Three-dimensional modeling and application in geological exploration engineering von Gong, Jianya, Cheng, Penggen, Wang, Yandong

Volltext

POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems von Huang, Chao, Fan, Jiameng, Chen, Xin, Li, Wenchao, Zhu, Qi

Volltext

Earth observation from the manned low Earth orbit platforms von Guo, Huadong, Dou, Changyong, Zhang, Xiaodong, Han, Chunming, Yue, Xijuan

Volltext

Existence and Multiplicity of Positive Solutions for a System of Fourth-Order Boundary Value Problems von Yu, Shoucheng, Yang, Zhilin

Volltext

Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test von Cimatti, Alessandro, Griggio, Alberto, Lipparini, Enrico, Sebastiani, Roberto

Volltext

Positive Solutions for a System of Fourth-Order p-Laplacian Boundary Value Problems von Sun, Lianlong, Yang, Zhilin

Volltext

Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings

Volltext