Results 111 to 120 of about 270,845 (313)
, 2019 Supplemental file(s) description: Coq Code for FOCAL, Coq code for FLAFOL ; In order to build machine-checked proven-secure software, we need formal se curity policies that express what it means to be “secure.” We must then show that the semantics of our software matches the semantics of those policies.
openaire +2 more sources
Arthritis Care &Research, EarlyView.Objective This study aimed to describe real‐world trends in preconception and prenatal use of antirheumatic drugs among pregnant individuals with rheumatic diseases in Ontario, Canada. Methods We conducted a time‐series analysis using repeated cross‐sectional data to examine annual patterns of disease‐modifying antirheumatic drug (DMARD) use among ...
Shenthuraan Tharmarajah +6 more
wiley +1 more source
An Empirical Study on Security Knowledge Sharing and Learning in Open Source Software Communities
Computers, 2018 Open source software (OSS) security has been the focus of the security community and practitioners over the past decades. However, the number of new vulnerabilities keeps increasing in today’s OSS systems.
Shao-Fang Wen
doaj +1 more source
Advanced Engineering Materials, EarlyView.Geometry‐driven thermal behavior in wire‐arc additive manufacturing (WAAM) influences microstructural evolution during nonequilibrium solidification of a chemically complex Fe–Cr–Nb–W–Mo–C nanocomposite system. By comparing different deposits configurations, distinct entropy–cooling rate correlations, segregation, and carbide evolution are revealed ...
Blanca Palacios +5 more
wiley +1 more source
On the security of software-defined next-generation cellular networks
, 2016 In the recent years, mobile cellular networks are ndergoing fundamental changes and many established concepts are being revisited. Future 5G network architectures will be designed to employ a wide range of new and emerging technologies such as Software ...
Vasilakis, Vasileios +4 more
core
IoT intrusion detection technology based on DenseNet1D and Bi-GRU hybrid model
Discover Applied SciencesTo address the conflicting demands of high detection performance and low computational overhead for edge devices in the IoT, this paper proposes a parameter-efficient spatiotemporal feature decoupling deep learning (DL) model.
Xiangling Ma +3 more
doaj +1 more source
Phase Field Failure Modeling: Brittle‐Ductile Dual‐Phase Microstructures under Compressive Loading
Advanced Engineering Materials, EarlyView.The approach by Amor and the approach by Miehe and Zhang for asymmetric damage behavior in the phase field method for fracture are compared regarding their fitness for microcrack‐based failure modeling. The comparison is performed for the case of a dual‐phase microstructure with a brittle and a ductile constituent.
Jakob Huber, Jan Torgersen, Ewald Werner
wiley +1 more source
an analysis for understanding software security requirement methodologies
, 2009 IEEE Reliabil Soc, Shanghai Jiao Tong UnivOver the past two decades, large amount of work has been done to improve and assure software quality. However, as software development becomes more complex, distributed, and concurrent, security issues ...
Du Jing +5 more
core +1 more source
Hyperspectral Image Classification with Multi-Path 3D-CNN and Coordinated Hierarchical Attention
Remote SensingConvolutional Neural Networks (CNNs) have been extensively applied for the extraction of deep features in hyperspectral imagery tasks. However, traditional 3D-CNNs are limited by their fixed-size receptive fields and inherent locality.
Wenyi Hu +4 more
doaj +1 more source
Advanced Engineering Materials, EarlyView.Scandium (Sc)‐doped AlCoCrFeMo HEA coatings are fabricated via flame spraying with 0.1, 0.3, and 0.5 wt% Sc additions. Among these, the HEA‐Sc0.3 coating exhibits the highest corrosion resistance, indicated by a more positive corrosion potential and lower current density.
Pankaj Kumar +7 more
wiley +1 more source