Skip to main content
Record
Title
Formal Local Implication Between Two Neural Networks
Type
Conference Proceeding/Paper
Publ. year
2025
Author/s
Baninajjar, Anahita; Rezine, Ahmed; Aminifar, Amir
Department/s
LTH Profile Area: Engineering Health; Secure and Networked Systems; ELLIIT: the Linköping-Lund initiative on IT and mobile communication; NEXTG2COM – a Vinnova Competence Centre in Advanced Digitalisation; LTH Profile Area: Water; LU Profile Area: Natural and Artificial Cognition; LTH Profile Area: AI and Digitalization
In LUP since
2025-09-04
Downloads

Total This Year This Month
19 19 0
Downloads per country

Sweden 7 (37%)
Italy 3 (16%)
Finland 2 (11%)
Australia 2 (11%)
United States of America 1 (5%)
Denmark 1 (5%)
Unknown 1 (5%)
South Korea 1 (5%)
Norway 1 (5%)
About
The download statistics shown here have been collected since the launch of LUP in October 2007 and are updated every night. Statistics are available for all records with open access fulltexts. Efforts have been made to exclude downloads by robots and track irregular download activities.

About accessibility

Disclaimer
The information on downloads per country is based on the geolocation of IP addresses and may not be completely accurate. The statistics presented here may also change retroactively when the calculation process is improved to provide more accurate results.

Statistics Last Updated
Sun Nov 2 08:15:02 2025