dithiolethione
发表于 2025-3-28 14:57:02
Formal Specification for Learning-Enabled Autonomous Systemsnabled autonomous systems, which involve components based on neural networks. The formalism is based on first-order past time temporal logic that uses predicates for denoting events. We have applied the formalism successfully to two complex use cases.
jaunty
发表于 2025-3-28 19:20:24
Neural Network Precision Tuning Using Stochastic Arithmeticow to use auto-tuning on neural networks to lower their precision while keeping an accurate output. To do so, we use a floating-point auto-tuning tool on different kinds of neural networks. We show that, to some extent, we can lower the precision of several neural network parameters without compromising the accuracy requirement.
细菌等
发表于 2025-3-29 02:43:23
http://reply.papertrans.cn/88/8711/871067/871067_43.png
NIL
发表于 2025-3-29 04:01:45
verning equations of applied mechanics of solids.Includes suThe presentment should be as simple as possible, but not abit simpler. Albert EinsteinIntroduction The power of the variational approach in mechanics of solids and structures follows from its versatility: the approach is used both as a univ
Favorable
发表于 2025-3-29 11:07:58
http://reply.papertrans.cn/88/8711/871067/871067_45.png
圆木可阻碍
发表于 2025-3-29 13:39:31
http://reply.papertrans.cn/88/8711/871067/871067_46.png
GET
发表于 2025-3-29 18:52:39
João Batista P. Matos Jr.,Iury Bessa,Edoardo Manino,Xidan Song,Lucas C. Cordeiroverning equations of applied mechanics of solids.Includes suThe presentment should be as simple as possible, but not abit simpler. Albert EinsteinIntroduction The power of the variational approach in mechanics of solids and structures follows from its versatility: the approach is used both as a univ
完整
发表于 2025-3-29 22:32:45
http://reply.papertrans.cn/88/8711/871067/871067_48.png