81
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II /
Table of Contents: ... Analysis of DNN-Controlled Systems via Abstraction-Based Training -- Verification of Neural Networks' Local Differential Classification Privacy -- AGNES: Abstraction-guided Framework for Deep Neural Network Security -- Probabilistic and Quantum Programs...

Full text 
82
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I /
83
Artificial Intelligence and Robotics [E-Book] : 8th International Symposium, ISAIR 2023, Beijing, China, October 21-23, 2023, Revised Selected Papers /
Table of Contents: ... Analysis and Long Short-Term Memory Network -- A Quantum Behaved Particle Swarm Optimization with a Chaotic Operator -- A novel small object detection method based on improved transformer model -- A Novel Full-scale Skip Connections Approach Based on U-Net...

Full text 
84
Information Security Applications [E-Book] : 24th International Conference, WISA 2023, Jeju Island, South Korea, August 23-25, 2023, Revised Selected Papers /
Kim, Howon
2024
Table of Contents: ... on Security Threats Using VPN in Zero Trust Environments -- A Blockchain-based Mobile Crowdsensing and Its Incentive Mechanism -- A New Frontier in Digital Security: Verification for NFT Image using Deep Learning-based ConvNeXt Model in Quantum Blockchain -- AE...

Full text 
85
Artificial Intelligence Security and Privacy [E-Book] : First International Conference on Artificial Intelligence Security and Privacy, AIS&P 2023, Guangzhou, China, December 3-5, 2023, Proceedings, Part I /
Table of Contents: ... Images -- Hardware Implementation and Optimization of Critical Modules of SM9 Digital Signature Algorithm -- Post-quantum Dropout-resilient Aggregation for Federated Learning via Lattice-basedPRF -- Practical and Privacy-Preserving Decision Tree Evaluation...

Full text 
86
Intelligent Human Computer Interaction [E-Book] : 15th International Conference, IHCI 2023, Daegu, South Korea, November 8-10, 2023, Revised Selected Papers, Part I /
Table of Contents: ... in endoscopic images -- Exploring Quantum Machine Learning for Early Disease Detection: Perspectives, Challenges, and Opportunities -- Human-Robot Interaction and Intelligent Interfaces -- Subject-Independent Brain-Computer Interfaces: A Comparative Study...

Full text 
87
Intelligent Human Computer Interaction [E-Book] : 15th International Conference, IHCI 2023, Daegu, South Korea, November 8-10, 2023, Revised Selected Papers, Part II /
Table of Contents: ... -- Wearable-based SLAM with Sensor Fusion in Firefighting Operations -- The Novel Electrocardiograph Sensor and Algorithm for Arrhythmia Computer Aided Detection -- Optimizing Sensor Subset Selection with Quantum Annealing: A Large-Scale Indoor Temperature...

Full text 
88
Applied Cryptography and Network Security [E-Book] : 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part II /
89
Progress in Cryptology - INDOCRYPT 2023 [E-Book] : 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I /
90
Progress in Cryptology - INDOCRYPT 2023 [E-Book] : 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II /
Table of Contents: ... Functions -- Distributed Protocols for Oblivious Transfer and Polynomial Evaluation -- Obfuscating Decision Trees -- Privacy-Preserving Plagiarism Checking -- PURED: A unified framework for resource-hard functions -- Post-quantum cryptography -- Implementing...

Full text 
91
Programming Languages and Systems [E-Book] : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II /
Table of Contents: ...Quantum Programming / Domain-Specific Languages -- Circuit Width Estimation via Effect Typing and Linear Dependency -- On the Hardness of Analyzing Quantum Programs Quantitatively -- Reconciling Partial and Local Invertibility -- Efficient Matching...

Full text 
92
Software Business [E-Book] : 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings /
Table of Contents: ...: Insiders' Perspectives on the Metaverse -- What does Scopes 1, 2 and 3 mean for software companies -- Understanding Cost Dynamics of Serverless Computing: An Empirical Study -- Quantum Software Ecosystem: Stakeholders, Interactions and Challenges -- Dynamic...

Full text 
93
Photonic Neural Networks with Spatiotemporal Dynamics [E-Book] : Paradigms of Computing and Implementation /
Table of Contents: ...Revival of Optical Computing -- Nonlinear Dynamics of Recurrent Neural Networks for Computing -- Fluorescence Energy Transfer Computing -- Quantum-Dot Based Photonic Reservoir Computing -- Exploring Integrated Device Implementation for FRET-based Optical...

Full text 
94
High Performance Computing for Drug Discovery and Biomedicine [E-Book] /
Table of Contents: ... in Drug Discovery -- Automated Virtual Screening -- The Future of Drug Development with Quantum Computing -- Edge, Fog, and Cloud Against Disease: The Potential of High-Performance Cloud Computing for Pharma Drug Discovery -- Knowledge Graphs...

Full text 
95
From Internet of Things to Internet of Intelligence [E-Book] /
Table of Contents: ...Introduction -- Security and privacy issues of an IoT/IA 6G converged wireless network -- New IoT and AI applications driven by 6G -- Pervasive artificial intelligence -- Big data analytics -- THz communications -- Cell-free networks -- Quantum...

Full text 
96
Synthesis and Device Applications of Graphene Derivatives and Quantum Dots [E-Book] /
Table of Contents: ... Application of Reduced Graphene Oxide -- Synthesis of Graphene Quantum Dots for Photovoltaics -- Top-down Synthesized Graphene Quantum Dots in Photovoltaic Devices -- Conclusions and Outlook....

Full text 
97
Cryptology and Network Security with Machine Learning [E-Book] : Proceedings of ICCNSML 2022 /
Table of Contents: ... and files -- Key-insulated Aggregate Proxy Signature -- On Comprehensive Study of Cryptocurrency Trend Analysis Based on a Novel Machine Learning Technique -- Flaws of a password-based three-party authenticated key agreement protocol in post-quantum environment...

Full text 
98
Quantum capacitance in quantized transistors [E-Book] /
Table of Contents: ...The quantum capacitance (QC) in 2D quantum metal-oxide-semiconductor-field effect transistors (QMOSFET) of nonlinear optical, tetragonal, III-V and optoelectronic materials -- The QC in QMOSFETs of other important materials -- The QC in QWT of important...

Full text 
99
Actin computation [E-Book] : unlocking the potential of actin filaments for revolutionary computing systems /
Table of Contents: ... implemented by solitons at the junctions -- Boolean gates on actin filaments -- Quantum actin automata -- Multi-valued logic in quantum actin automata -- Logical gates in actin monomer -- Discovering functions in actin filament automata -- Computing on actin...

Full text 
100
Dynamic Environments Testing, Volume 7 [E-Book] : Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023 /