35 citations
2 papers
math.NA2018★ 1 cited
Numerical verification of solutions for nonlinear parabolic problems
Kouji Hashimoto, Takehiko Kinoshita, Mitsuhiro T. Nakao
In this paper, we present a numerical verification method of solutions for nonlinear parabolic initial boundary value problems. Decomposing the problem into a nonlinear part and an…
cs.CR2018★ 35 cited
Lightweight Classification of IoT Malware based on Image Recognition
Jiawei Su, Danilo Vasconcellos Vargas, Sanjiva Prasad +3
The Internet of Things (IoT) is an extension of the traditional Internet, which allows a very large number of smart devices, such as home appliances, network cameras, sensors and c…