Fibroblasts as novel therapeutic targets in chronic inflammation von Flavell, S J, Hou, T Z, Lax, S, Filer, A D, Salmon, M, Buckley, C D

Volltext

Smart manufacturing systems: state of the art and future trends von Qu, Y. J., Ming, X. G., Liu, Z. W., Zhang, X. Y., Hou, Z. T.

Volltext

Stability and electronic structure of defect complexes in Gd-doped GaN: First-principles calculations von Li, Y., Hou, Z. T., Li, Y. R., Su, H. L., Liu, C. C., Wang, M.

Volltext

The structural properties of LaRO3 (R=Cr, Mn, Fe): a first-principles calculation von Li, Y. R., Hou, Z. T., Wang, T. X., Li, Y., Liu, H. Y., Dai, X. F., Liu, G. D.

Volltext

Magnetism induced by Ga vacancy in rare earth R(R=Gd,Eu,Tm)doped GaN von Hou, Z.T., Li, Y.R., Wang, T.X., Li, Y., Liu, H.Y., Dai, X.F., Liu, G.D.

Volltext

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks von Khmelnitsky, Igor, Neider, Daniel, Roy, Rajarshi, Xie, Xuan, Barbot, Benoît, Bollig, Benedikt, Finkel, Alain, Haddad, Serge, Leucker, Martin, Ye, Lina

Volltext

A Study of Feature Combination for Vehicle Detection Based on Image Processing von Arróspide, Jon, Salgado, Luis

Volltext

A Method of Spatial Mapping and Reclassification for High-Spatial-Resolution Remote Sensing Image Classification von Wang, Guizhou, He, Guojin, Liu, Jianbo

Volltext

Effect of Intrinsic Defects on Electronic and Magnetic Properties in Tm-Doped GaN: First-Principles Calculations von Li, Y. R., Su, H. L., Hou, Z. T., Liu, H. Y., Liu, C. C., Li, Y.

Volltext

Event-B Refinement for Continuous Behaviours Approximation von Dupont, Guillaume, Aït-Ameur, Yamine, Pantel, Marc, Singh, Neeraj K.

Volltext

Thermodynamics and magnetization reversal in artificial brickwork spin ice von Li, Y., Wang, T.X., Hou, Z.T., Liu, H.Y., Dai, X.F., Liu, G.D.

Volltext

The structural properties of LaRO 3 (R=Cr, Mn, Fe): a first-principles calculation von Li, Y. R., Hou, Z. T., Wang, T. X., Li, Y., Liu, H. Y., Dai, X. F., Liu, G. D.

Volltext

Incorporating Monitors in Reactive Synthesis Without Paying the Price von Azzopardi, Shaun, Piterman, Nir, Schneider, Gerardo

Volltext

pyNeVer: A Framework for Learning and Verification of Neural Networks von Guidotti, Dario, Pulina, Luca, Tacchella, Armando

Volltext

Sparse Representation Based SAR Vehicle Recognition along with Aspect Angle von Sun, Jixiang, Zou, Huanxin, Ji, Kefeng, Xing, Xiangwei

Volltext

AALpy: An Active Automata Learning Library von Muškardin, Edi, Aichernig, Bernhard K., Pill, Ingo, Pferscher, Andrea, Tappler, Martin

Volltext

Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach von Gaglione, Jean-Raphaël, Neider, Daniel, Roy, Rajarshi, Topcu, Ufuk, Xu, Zhe

Volltext

CD248/Endosialin is dynamically expressed on a subset of stromal cells during lymphoid tissue development, splenic remodeling and repair von Lax, Siân, Hou, Tie Zheng, Jenkinson, Eric, Salmon, Mike, MacFadyen, John R., Isacke, Clare M., Anderson, Graham, Cunningham, Adam F., Buckley, Christopher D.

Volltext

AQUA: Automated Quantized Inference for Probabilistic Programs von Huang, Zixin, Dutta, Saikat, Misailovic, Sasa

Volltext

Compositional Synthesis of Modular Systems von Finkbeiner, Bernd, Passing, Noemi

Volltext