Blanchet, B. An efficient cryptographic protocol verifier based on prolog rules. In 14th IEEE Computer Security Foundations Workshop (CSFW-14), 82–96 (2014).
Meier, S. Advancing automated security protocol verification. Ph.D. thesis, ETH Zurich…
Category: 7. Maths
-
MRI-based digital twins to improve treatment response of breast cancer by optimizing neoadjuvant chemotherapy regimens
Patient population
Treatment-naïve stage I-III TNBC patients were enrolled in the prospective clinical trial, “ARTEMIS: A Robust TNBC Evaluation FraMework to Improve Survival” (ClinicalTrials.gov Identifier: NCT02276443, registered on October…
Continue Reading
-
A secure and scalable IoT access control framework with dynamic attribute updates and policy hiding
This section introduces the detailed construction of our DUPH-BAAC scheme, mainly including system initialization, policy hiding, ciphertext decryption, dynamic attribute updates, and ciphertext verification.
System initialization
Part 1:…
Continue Reading
-
Energy efficient task scheduling for heterogeneous multicore processors in edge computing
System model and problem definition
In this section, we present the system model for heterogeneous multicore processors (HMPs) in edge computing environments and formally define the energy-efficient task scheduling problem.
System model
We consider…
Continue Reading
-
Efficient dynamic task offloading and resource allocation in UAV-assisted MEC for large sport event
Recall our goal of minimizing the system’s energy consumption by optimizing \(\phi _{i,j}(t)\). However, in P1, multiple variables in \(\phi _{i,j}(t)\) are coupled high-dimensional vectors. In this section, we will first transform the direct…
Continue Reading
-
Analyzing the performance of biomedical time-series segmentation with electrophysiology data
Ivaturi, P. et al. A comprehensive explanation framework for biomedical time series classification. IEEE Journal of Biomedical and Health Informatics 25, 2398–2408. https://doi.org/10.1109/JBHI.2021.3060997 (2021).
Continue Reading
-
Hybrid vision GNNs based early detection and protection against pest diseases in coffee plants
The principal objective of this research study is to predict the coffee plantation pest disease using Vision GNN. The contemporaneous techniques for predicting coffee plant disease based on existing and past guidelines have imprecise outcomes….
Continue Reading
-
ICRL: independent causality representation learning for domain generalization
In this section, we consider Domain Generalization (DG) from the perspective of independent causal factors, adopting a general structural causal model as shown in Fig. 1. Previous studies have demonstrated47,52,53 that the intrinsic causal…
Continue Reading
-
Application and evaluation of PCA-CA composite model for technical effectiveness in table tennis matches
Wu, H. Q., Li, Z. B. & Tao, Z. X. Exploration of Training Science in Table Tennis long Prosperity (Beijing Sport University, 2002).
Wu, F., Zhang, R. & Xiao, D. D. Integration and application of quantitative and qualitative research on table…
Continue Reading
-
Deep spatio-temporal dependent convolutional LSTM network for traffic flow prediction
Zhang, J., Zheng, Y. & Qi, D. Deep spatio-temporal residual networks for citywide crowd flows prediction. In Proceedings of the AAAI Conference on Artificial Intelligence, vol. 31 (2017)
Thaduri, A., Polepally, V. & Vodithala, S. Traffic accident…
Continue Reading