Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID37th SAC 2022: Virtual Event
- Jiman Hong, Miroslav Bures, Juw Won Park, Tomás Cerný:
SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022. ACM 2022, ISBN 978-1-4503-8713-2
Distributed systems: CC - cloud computing and interoperability track
- John McFarland, Amro Awad:
Transpose-xen: virtualized mixed-criticality through dynamic allocation. 3-12 - Craig Laprade, H. Howie Huang:
Domain name service trust delegation in cloud computing: exploitation, risks, and defense. 13-21 - Se-Ra Oh, Jahoon Koo, Young-Gab Kim:
Security interoperability in heterogeneous IoT platforms: threat model of the interoperable OAuth 2.0 framework. 22-31
Distributed systems: CC - cloud computing and interoperability track: poster papers
- Euijong Lee, Sukhoon Lee, Young-Duk Seo:
Deep learning based self-adaptive framework for environmental interoperability in internet of things. 32-35 - Stefano Fiori, Luca Abeni, Tommaso Cucinotta:
RT-kubernetes: containerized real-time cloud computing. 36-39
Artificial intelligence and agents: CIVIA - computational intelligence and video & image analysis track track
- Hermon Faria de Araujo, Fátima L. S. Nunes, Ariane Machado-Lima:
The impact of different facial expression intensities on the performance of pre-trained emotion recognition models. 41-48 - Davide Rigoni
, Luciano Serafini, Alessandro Sperduti:
A better loss for visual-textual grounding. 49-57 - Jeevithan Alagurajah, Chee-Hung Henry Chu:
Adversarial defense by restricting in-variance and co-variance of representations. 58-65 - Petterson Sousa Diniz, Domingos Alves Dias Júnior, João Otávio Bandeira Diniz, Anselmo Cardoso de Paiva, Aristófanes Corrêa Silva, Marcelo Gattass, Roberto Quevedo, Diogo Michelon, Carlos Siedschlag, Roberto Ribeiro:
Time2Vec transformer: a time series approach for gas detection in seismic data. 66-72 - Hsin-I Huang, Chi-Sheng Shih, Zi-Lin Yang:
Automated video editing based on learned styles using LSTM-GAN. 73-80
Artificial intelligence and agents: CIVIA - computational intelligence and video & image analysis track track: poster papers
- Jennifer Piane, Yiyang Wang, Xufan Ma, Jacob Furst, Daniela Stan Raicu:
Autorevise: annotation refinement using motion signal patterns. 81-84
System software and security: CPS - cyber-physical systems track
- Jeong-Han Yun, Jonguk Kim, Won-Seok Hwang, Young Geun Kim, Simon S. Woo, Byung-Gil Min:
Residual size is not enough for anomaly detection: improving detection performance using residual similarity in multivariate time series. 87-96 - Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul:
CSP specification and verification of relay-based railway interlocking systems. 97-106 - Yu-Ming Chang, Chien-Chung Ho, Che-Wei Tsao, Shu-Hsien Liao, Wei-Chen Wang, Tei-Wei Kuo, Yuan-Hao Chang:
On enduring more data through enabling page rewrite capability on multi-level-cell flash memory. 107-115 - Chien-Chung Ho, Wei-Chen Wang, Szu-Yu Chen, Yung-Chun Li, Kun-Chi Chiang:
RAM: exploiting restrained and approximate management for enabling neural network training on NVM-based systems. 116-123 - Olga Carvalho, Filipe Apolinario, Nelson Escravana, Carlos Ribeiro:
CIIA: critical infrastructure impact assessment. 124-132 - John Carter, Spiros Mancoridis, Erick Galinkin:
Fast, lightweight IoT anomaly detection using feature pruning and PCA. 133-138 - Filippos-George Kolimbianakis, George Kornaros:
Software-defined hardware-assisted isolation for trusted next-generation IoT systems. 139-146 - Savio Sciancalepore, Nicola Zannone:
PICO: privacy-preserving access control in IoT scenarios through incomplete information. 147-156 - Dongjun Hwang, Hyunsu Mun, Youngseok Lee:
Improving response time of home IoT services in federated learning. 157-163 - João Tiago, Samih Eisa, Miguel L. Pardal:
SureSpace: orchestrating beacons and witnesses to certify device location. 164-173 - Raisa Islam, Tomás Cerný, Dongwan Shin:
Ontology-based user privacy management in smart grid. 174-182
System software and security: CPS - cyber-physical systems track: poster papers
- Filipe Apolinário, Nelson Escravana, Éric Hervé, Miguel L. Pardal, Miguel Correia:
FingerCI: generating specifications for critical infrastructures. 183-186 - Romaric Duvignau, Vincenzo Gulisano, Marina Papatriantafilou:
Efficient and scalable geographical peer matching for P2P energy sharing communities. 187-190 - Rafael R. Teixeira, Juliana B. Puccinelli, Bruna de Vargas Guterres, Marcelo Rita Pias, Vinicius Menezes de Oliveira, Silvia Silva da Costa Botelho, Luis Poersch, Nelson Duarte Filho, Ahmed Janati, Maxime Paris:
Planetary digital twin: a case study in aquaculture. 191-197 - Anthony Opara, Haan Johng, Tom Hill, Lawrence Chung:
A framework for representing internet of things security and privacy policies and detecting potential problems. 198-201 - Anders Aaen Springborg, Martin Kaldahl Andersen, Kaare Holland Hattel, Michele Albano:
cpp-tiny-client: a secure API client generator for IoT devices. 202-205 - Ali Kadhum Idrees, Tara Ali-Yahiya, Sara Kadhum Idrees, Raphaël Couturier:
Energy-efficient fog computing-enabled data transmission protocol in tactile internet-based applications. 206-209 - Yiwei Zhang, Juanru Li, Dawu Gu:
Rethinking the security of IoT from the perspective of developer customized device-cloud interaction. 210-213
Distributed systems: DADS - dependable, adaptive, and trustworthy distributed systems track
- Andrea Merlina, Roman Vitenberg, Vinay Setty:
A general and configurable framework for blockchain-based marketplaces. 216-225 - Christoph Kühbacher, Theo Ungerer, Sebastian Altmeyer:
Redundant dataflow applications on clustered manycore architectures. 226-235 - Rami A. Khalil, Naranker Dulay:
RANC: reward-all nakamoto consensus. 236-245 - Bharath Sudharsan, John G. Breslin, Muhammad Intizar Ali, Peter Corcoran, Rajiv Ranjan:
ElastiQuant: elastic quantization strategy for communication efficient distributed machine learning in IoT. 246-254 - Rhauani Weber Aita Fazul, Patrícia Pitthan Barcelos:
An event-driven strategy for reactive replica balancing on apache hadoop distributed file system. 255-263
Distributed systems: DADS - dependable, adaptive, and trustworthy distributed systems track: poster papers
- Daniel Costa, José Pereira, Ricardo Vilaça, Nuno Faria:
Adaptive database synchronization for an online analytical cioud-to-edge continuum. 264-266 - Rodrigo H. Müller, Cristina Meinhardt, Odorico M. Mendizabal:
An architecture proposal for checkpoint/restore on stateful containers. 267-270
Distributed systems: DAPP - decentralized applications with blockchain, DLT and crypto-currencies track
- Wenyi Tang, Changhao Chenli, Chanyang Ju, Taeho Jung:
Trac2Chain: trackability and traceability of graph data in blockchain with linkage privacy. 272-281 - Julius Fechner, Balakrishnan Chandrasekaran, Marc X. Makkes:
Calibrating the performance and security of blockchains via information propagation delays: revisiting an old approach with a new perspective. 282-289 - Attila Klenik, Imre Kocsis:
Porting a benchmark with a classic workload to blockchain: TPC-C on hyperledger fabric. 290-298 - Zahra Batool, Kaiwen Zhang, Matthew Toews:
FL-MAB: client selection and monetization for blockchain-based federated learning. 299-307 - Nadia Pocher, Mirko Zichichi:
Towards CBDC-based machine-to-machine payments in consumer IoT. 308-315 - Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul:
Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. 316-325
Distributed systems: DAPP - decentralized applications with blockchain, DLT and crypto-currencies track: poster papers
- Olaf Kampers, Abdulhakim Ali Qahtan, Swati Mathur, Yannis Velegrakis:
Manipulation detection in cryptocurrency markets: an anomaly and change detection based approach. 326-329 - Suzana Mesquita de Borba Maranhão Moreno, Jean-Marc Seigneur:
Towards a decentralized social trust solution to proof-of-address. 330-333 - Aimen Djari, Emmanuelle Anceaume, Sara Tucci Piergiovanni:
An extensive agent-based simulation study of sycomore++, a DAG-based permissionless ledger. 334-336
Information systems: DBDM - databases and big data management track
- Owais Qayyum, Weihai Yu:
Toward replicated and asynchronous data streams for edge-cloud applications. 339-346 - Matteo Paganelli, Francesco Del Buono, Francesco Guerra, Nicola Ferro:
Evaluating the integration of datasets. 347-356 - John Bosco Mugeni, Toshiyuki Amagasa:
A graph-based blocking approach for entity matching using pre-trained contextual embedding models. 357-364 - Pavel Koupil, Irena Holubová:
Unifying categorical representation of multi-model data. 365-371 - Vishal Sharma, Curtis E. Dyreson:
Indexer++: workload-aware online index tuning with transformers and reinforcement learning. 372-380
Information systems: DBDM - databases and big data management track: poster papers
- Maria Helena Franciscatto, Marcos Didonet Del Fabro, Celio Trois, Jordi Cabot, Leon Augusto Okida Gonçalves:
Querying multidimensional big data through a chatbot system. 381-384 - Evelina Rakhmetova, Marco Garosi, Carlo Combi:
A comprehensive approach to conceptual modelling and visual representation of log files. 385-388 - Houssameddine Yousfi:
Spatial data processing meets RDF graph exploration: student research abstract. 389-392
Information systems: DM - data mining track
- Lamia Djebour, Reza Akbarinia, Florent Masseglia:
Variable size segmentation for efficient representation and querying of non-uniform time series datasets. 395-402 - Won-Seok Hwang, Jeong-Han Yun, Jonguk Kim, Byung Gil Min:
"Do you know existing accuracy metrics overrate time-series anomaly detections?". 403-412 - Shicheng Gao, Jie Xu, Xiaosen Li, Fangcheng Fu, Wentao Zhang, Wen Ouyang, Yangyu Tao, Bin Cui:
K-core decomposition on super large graphs with limited resources. 413-422 - K. M. Azharul Hasan, Md. Safayet Hossain:
Sparse tensor storage by tensor unfolding. 423-428 - Seyum Assefa Abebe, Claudio Lucchese, Salvatore Orlando:
EiFFFeL: enforcing fairness in forests by flipping leaves. 429-436
Information systems: DM - data mining track: poster papers
- Rashid Zaman, Marwan Hassani, Boudewijn F. van Dongen:
Efficient memory utilization in conformance checking of process event streams. 437-440 - Sergey Ovchinnik, Fernando E. B. Otero, Alex Alves Freitas:
Nested trees for longitudinal classification. 441-444 - Nam Ngoc Pham:
Mining high average utility pattern using bio-inspired algorithm: student research abstract. 445-449
Information systems: DS - data streams track
- Hassan Moharram, Ahmed Awad, Passent Mohammed El-Kafrawy:
Optimizing ADWIN for steady streams. 450-459 - Hannaneh Najdataei, Vincenzo Gulisano, Philippas Tsigas, Marina Papatriantafilou:
pi-Lisco: parallel and incremental stream-based point-cloud clustering. 460-469 - Massimo Perini, Giorgia Ramponi, Paris Carbone, Vasiliki Kalavri:
Learning on streaming graphs with experience replay. 470-478
System software and security: EMBS - embedded systems track
- Fabien Bouquillon, Giuseppe Lipari, Smaïl Niar:
Improving CRPD analysis for EDF scheduling: trading speed for precision. 481-490 - Gabriele Ara, Tommaso Cucinotta, Agostino Mascitti:
Simulating execution time and power consumption of real-time tasks on embedded platforms. 491-500 - Yanshul Sharma, Sanjay Moulik:
CETAS: a cluster based energy and temperature efficient real-time scheduler for heterogeneous platforms. 501-509 - Adebayo Omotosho, Gebrehiwet B. Welearegai, Christian Hammer:
Detecting return-oriented programming on firmware-only embedded devices using hardware performance counters. 510-519 - Vasisht Duddu, Antoine Boutet, Virat Shejwalkar:
Towards privacy aware deep learning for embedded systems. 520-529
System software and security: EMBS - embedded systems track: poster papers
- Martí Caro, Hamid Tabani, Jaume Abella:
At-scale assessment of weight clustering for energy-efficient object detection accelerators. 530-533 - Ilja Behnke, Philipp Wiesner, Robert Danicki, Lauritz Thamsen:
A priority-aware multiqueue NIC design for real-time IoT devices. 534-538
Information systems: GIA - geographical information analytics track
- Christophe Haikal, Pegah Alizadeh, Christophe Rodrigues, Chongke Bi:
Place embedding across cities in location-based social networks. 539-546 - Maxime Masson, Cécile Cayèré, Marie-Noëlle Bessagnet, Christian Sallaberry, Philippe Roose, Cyril Faucher:
An ETL-like platform for the processing of mobility data. 547-555 - Hugo Prevoteau, Sonia Djebali, Laiping Zhao, Nicolas Travers:
Propagation measure on circulation graphs for tourism behavior analysis. 556-563
Information systems: GIA - geographical information analytics track: poster papers
- Héctor Cogollos Adrián, Santiago Porras Alfonso, Bruno Baruque Zanon, Alessandra Raffaetà, Filippo Zanatta:
Discovery of tourists' movement patterns in venice from public transport data. 564-568
Artificial intelligence and agents: GMLR - graph models for learning and recognition track
- Liuyue Xie, Tinglin Duan, Kenji Shimada:
SAGA-Net: efficient pointcloud completion with shape-assisted graph attention neural network. 569-576 - Öznur Ilayda Yilmaz, Sule Gündüz Ögüdücü:
Learning football player features using graph embeddings for player recommendation system. 577-584 - Sabrina Patania, Giuseppe Boccignone, Sathya Bursic, Alessandro D'Amelio, Raffaella Lanzarotti:
Deep graph neural network for video-based facial pain expression assessment. 585-591 - Luca Pasa, Nicolò Navarin, Alessandro Sperduti:
Compact graph neural network models for node classification. 592-599
Artificial intelligence and agents: GMLR - graph models for learning and recognition track: SRC
- Alice Moallemy-Oureh:
Continuous-time generative graph neural network for attributed dynamic graphs: student research abstract. 600-603 - Silvia Beddar-Wiesing:
Using local activity encoding for dynamic graph pooling in stuctural-dynamic graphs: student research abstract. 604-609
Information systems: HIBIO - health informatics and bioinformatics track
- Amit Kumar, Suman Roy, Sourabh Kumar Bhattacharjee:
A fast unsupervised assignment of ICD codes with clinical notes through explanations. 610-618 - Petra Nemcová, Jana Hozzová, Jiri Filipovic:
Improving ligand transport trajectory within flexible receptor in CaverDock. 619-626 - Christian Haudenschild, Louis J. Vaickus, Joshua J. Levy:
Configuring a federated network of real-world patient health data for multimodal deep learning prediction of health outcomes. 627-635 - Zarif L. Azher, Louis J. Vaickus, Lucas A. Salas, Brock C. Christensen, Joshua J. Levy:
Development of biologically interpretable multimodal deep learning model for cancer prognosis prediction. 636-644 - Nour Neifar, Afef Mdhaffar, Achraf Ben-Hamadou, Mohamed Jmaiel, Bernd Freisleben:
Disentangling temporal and amplitude variations in ECG synthesis using anchored GANs. 645-652 - Laiara Cristina da Silva, Vinícius Ponte Machado, Rodrigo de Melo Souza Veras, Keylla Maria de Sá Urtiga Aita, Semiramis Jamil Hadad do Monte, Nayze Lucena Sangreman Aldeman:
A hybrid descriptor to improve kidney pathologies classification. 653-659 - Dinh-Hieu Hoang, Gia-Han Diep, Minh-Triet Tran, Ngan T. H. Le:
DAM-AL: dilated attention mechanism with attention loss for 3D infant brain image segmentation. 660-668 - Ashery Mbilinyi, Heiko Schuldt:
CheReS: a deep learning-based multi-faceted system for similarity search of chest X-rays. 669-676
Information systems: HIBIO - health informatics and bioinformatics track: poster papers
- Salma Mandi, Surjya Ghosh, Pradipta De, Bivas Mitra:
Emotion detection from smartphone keyboard interactions: role of temporal vs spectral features. 677-680 - Sampson E. Akwafuo, Armin R. Mikler, Christopher Ihinegbu:
Data-driven depot pre-positioning model and location-routing algorithm for management of disasters and disease outbreaks. 681-687
Information systems: IAR - information access and retrieval track
- Andrea Lenzi, Paola Velardi:
Collaborative is better than adversarial: generative cooperative networks for topic clustering. 688-695 - Giovanni Maria Biancofiore, Tommaso Di Noia, Eugenio Di Sciascio, Fedelucio Narducci, Paolo Pastore:
Aspect based sentiment analysis in music: a case study with spotify. 696-703 - Matthew Moulton, Sophie Gao, Yiu-Kai Ng:
Query-relevant sentiment summarization based on facet identification and sentence clustering. 704-712
Information systems: IAR - information access and retrieval track: poster papers
- Maria Helena Franciscatto, Marcos Didonet Del Fabro, Celio Trois, Hegler Tissot:
Towards open data discovery: a comparative study. 713-716 - Stefano Di Sotto, Marco Viviani:
Assessing health misinformation in online content. 717-722
Artificial intelligence and agents: IRMAS - intelligent robotics and multi-agent systems track
- Jirí Ulrich, Ahmad Alsayed, Farshad Arvin, Tomás Krajník:
Towards fast fiducial marker with full 6 DOF pose estimation. 723-730 - Zdenek Rozsypálek, George Broughton, Pavel Linder, Tomás Roucek, Keerthy Kusumam, Tomás Krajník:
Semi-supervised learning for image alignment in teach and repeat navigation. 731-738 - Maddalena Zuccotto, Alberto Castellini, Alessandro Farinelli:
Learning state-variable relationships for improving POMCP performance. 739-747 - Apan Dastider, Sayyed Jaffar Ali Raza, Mingjie Lin:
Learning adaptive control in dynamic environments using reproducing kernel priors with bayesian policy gradients. 748-757 - George Broughton, Jirí Janota, Jan Blaha, Zhi Yan, Tomás Krajník:
Bootstrapped learning for car detection in planar lidars. 758-765
Artificial intelligence and agents: IRMAS - intelligent robotics and multi-agent systems track: poster papers
- Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli:
Curriculum learning for safe mapless navigation. 766-769 - Petr Vána, Jan Faigl:
Bounding optimal headings in the Dubins Touring Problem. 770-773 - Ana Petrovska, Julian Weick:
Realization of adaptive system transitions in self-adaptive autonomous robots. 774-777
Artificial intelligence and agents: KG - knowledge graphs track
- Kevin Angele, Manuel Meitinger, Marc Bußjäger, Stephan Föhl, Anna Fensel:
GraphSPARQL: a GraphQL interface for linked data. 778-785 - Xu Yuan, Chengchuan Xu, Peng Li, Zhikui Chen:
Relational learning with hierarchical attention encoder and recoding validator for few-shot knowledge graph completion. 786-794
Artificial intelligence and agents: KG - knowledge graphs track: poster papers
- Erhe Yang, Fei Hao, Aziz Nasridinov, Geyong Min, Doo-Soon Park:
Query-oriented entity spatial-temporal summarization in fuzzy knowledge graph. 795-798 - Xinglan Liu, Hussain Hussain, Houssam Razouk, Roman Kern:
Effective use of BERT in graph embeddings for sparse knowledge graph completion. 799-802 - Chen Zhang, Falih Febrinanto, Mujie Liu, Xiangjie Kong, Dongyu Zhang, Sardar M. N. Islam:
Attractiveness based conference ranking. 803-806 - Masoud Salehpour, Joseph G. Davis:
Towards diversity-tolerant RDF-stores. 807-812
Artificial intelligence and agents: KNLP - knowledge and natural language processing track
- Neel Kanwal, Giuseppe Rizzo:
Attention-based clinical note summarization. 813-820 - Bahadorreza Ofoghi:
Linguistic characterization of answer passages for fact-seeking question answering. 821-828 - Yacine Gaci, Boualem Benatallah, Fabio Casati, Khalid Benabdeslem:
Iterative adversarial removal of gender bias in pretrained word embeddings. 829-836 - Hailemariam Mehari Yohannes, Toshiyuki Amagasa:
Named-entity recognition for a low-resource language using pre-trained language model. 837-844 - Gopalakrishnan Venkatesh, Abhik Jana, Steffen Remus, Özge Sevgili, Gopalakrishnan Srinivasaraghavan, Chris Biemann:
Using distributional thesaurus to enhance transformer-based contextualized representations for low resource languages. 845-852 - Bo Wang, Tsunenori Mine:
Practical and efficient out-of-domain detection with adversarial learning. 853-862 - Lorenzo Vaiani, Moreno La Quatra, Luca Cagliero, Paolo Garza:
Leveraging multimodal content for podcast summarization. 863-870
Artificial intelligence and agents: KNLP - knowledge and natural language processing track: poster papers
- Adrian Groza, Cristian Nitu:
Question answering over logic puzzles using theorem proving. 871-874 - Samujjwal Ghosh, Subhadeep Maji, Maunendra Sankar Desarkar:
Effective utilization of labeled data from related tasks using graph contrastive pretraining: application to disaster related text classification. 875-878 - Gil Rocha, Henrique Lopes Cardoso:
Context matters!: identifying argumentative relations in essays. 879-882
Artificial intelligence and agents: KNLP - knowledge and natural language processing track: SRC
- Ernesto Quevedo Caballero:
Dual architecture for name entity extraction and relation extraction with applications in medical corpora: student research abstract. 883-888
Artificial intelligence and agents: KRR - knowledge representation and reasoning track
- Souhila Kaci, Yakoub Salhi:
Belief selection through argumentation. 889-896 - Costas D. Koutras, Christos Nomikos:
Topological semantics for default conditional logic: preliminary report. 897-902 - Satyadharma Tirtarasa, Anni-Yasmin Turhan:
Computing generalizations of temporal εL concepts with next and global. 903-910
Artificial intelligence and agents: KRR - knowledge representation and reasoning track: poster papers
- Loc Pham, Tran Cao Son, Enrico Pontelli:
Update models for lying and misleading announcements. 911-916
Distributed systems: MCANET - mobile computing and applications and networking track
- Michael J. May, Yaakov Cohen, Hovav Menachem, Yogev Swisa:
CEMDA: detecting android complex file events to infer the user's mental model. 917-925 - Lorena P. de Figueiredo, Jonathan P. Gomes, Flávia de S. Santos, Guilherme M. Queiroz, Felipe T. Giuntini, Juliano E. Sales:
An automatic approach to detect problems in Android builds through screenshot analysis. 926-932 - Shakthi Weerasinghe, Arkady B. Zaslavsky, Seng W. Loke, Alexey Medvedev, Amin Abken:
Estimating the lifetime of transient context for adaptive caching in IoT applications. 933-942 - Yukito Ueno, Ryo Nakamura, Yohei Kuga, Hiroshi Esaki:
Pktpit: separating routing and packet transfer for fast and scalable software routers. 943-951 - Rafael George Amado, Kim-Khoa Nguyen, Mohamed Cheriet:
OpenFlow rule placement in carrier networks for augmented reality applications. 952-959
Distributed systems: MCANET - mobile computing and applications and networking track: poster papers
- Jiyoung Song, Youlim Jung, Chiwoo Cho, Eunkyoung Jee, Doo-Hwan Bae:
Statistical verification using learned usages for evaluating energy-efficient mobile device design. 960-963 - Alex Berke, Ronan Doorley, Kent Larson, Esteban Moro:
Generating synthetic mobility data for a realistic population with RNNs to improve utility and privacy. 964-967 - Xavier Bultel, Cristina Onete:
Pairing-free secure-channel establishment in mobile networks with fine-grained lawful interception. 968-970
Artificial intelligence and agents: MLA - machine learning and its applications track
- Sandya De Alwis, Bahadorreza Ofoghi, Myung Hwan Na:
Enhanced strawberry image classification using multi-task deep neural learning. 971-978 - Mingue Song, Yanggon Kim:
Dual hybridization method for the classification of ultrasound breast tumors. 979-986 - Thalles Silva, Adín Ramírez Rivera:
Representation learning via consistent assignment of views to clusters. 987-994 - Christian Morbidoni, Luca Spalazzi, Antonio Teti, Alessandro Cucchiarelli:
Leveraging n-gram neural embeddings to improve deep learning DGA detection. 995-1004 - Eduardo Tieppo, Jean Paul Barddal, Júlio César Nievola:
Automatic disease vector mosquitoes identification via hierarchical data stream classification. 1005-1012 - Claudio Lucchese, Gianmarco Callegher, Mirko Modenese, Silvia Dassié:
A comparison of spatio-temporal prediction methods: a parking availability case study. 1013-1020 - Jeongho Kim, Shahroz Tariq, Simon S. Woo:
PTD: privacy-preserving human face processing framework using tensor decomposition. 1021-1030 - Patrick Henriksen, Francesco Leofante, Alessio Lomuscio:
Repairing misclassifications in neural networks using limited data. 1031-1038 - Gun Hee Cho, Yong Suk Choi:
Visual context embeddings for zero-shot recognition. 1039-1047 - Chan Sik Han, Keon Myung Lee:
Correlation-based regularization for fast and energy-efficient spiking neural networks. 1048-1055 - Fodil Benali, Damien Bodénès, Cyril de Runz, Nicolas Labroche:
A new reference-based algorithm based on non-euclidean geometry for multi-stakeholder media planning. 1056-1065 - Jhonatan Geremias, Eduardo K. Viegas, Alceu S. Britto Jr., Altair O. Santin:
A motion-based approach for real-time detection of pornographic content in videos. 1066-1073 - Hirad Assimi, Ben Koch, Chris Garcia, Markus Wagner, Frank Neumann:
Run-of-mine stockyard recovery scheduling and optimisation for multiple reclaimers. 1074-1083 - Ida Ayu Putu Ari Crisdayanti, JinYeong Bak, YunSeok Choi, Jee-Hyong Lee:
IA-BERT: context-aware sarcasm detection by incorporating incongruity attention layer for feature extraction. 1084-1091 - Eduardo Mosqueira-Rey, Elena Hernández-Pereira, David Alonso-Ríos, José Bobes-Bascarán:
A classification and review of tools for developing and interacting with machine learning systems. 1092-1101 - Seungyeon Lee, Jaeseop Kim, Bongjae Kim, Sung Y. Shin, Juw Won Park, Jiman Hong:
Adjusting inference time for power efficiency in neuromorphic architectures. 1102-1108 - Marcel Moura, Rodrigo Veras, Vinícius P. Machado:
CAIBAL: cluster-attribute interdependency based automatic labeler. 1109-1116 - Saikishore Kalloori, Severin Klingler:
Cross-silo federated learning based decision trees. 1117-1124
Artificial intelligence and agents: MLA - machine learning and its applications track: poster papers
- Ginel Dorleon, Imen Megdiche, Nathalie Bricon-Souf, Olivier Teste:
Feature selection under fairness constraints. 1125-1127 - István Ketykó, Felix Mannhardt, Marwan Hassani, Boudewijn F. van Dongen:
What averages do not tell: predicting real life processes with sequential deep learning. 1128-1131 - Seunghui Jang, Yanggon Kim:
A similarity-based deep feature extraction method using divide and conquer for image classification. 1132-1135 - Sophie Steger, Bernhard C. Geiger, Marek Smieja:
Semi-supervised clustering via information-theoretic markov chain aggregation. 1136-1139 - Abhi Lad, Mehul S. Raval:
Improving wheat head detection: a data-centric approach by domain variance reduction. 1140-1143 - Xi Chen, Stefano Bromuri, Marko C. J. D. van Eekelen:
A transfer learning approach to predict shipment description quality. 1144-1147 - C. Segarra-Martín, María Martínez-Ballesteros, Alicia Troncoso, Francisco Martínez-Álvarez:
A novel approach to discover numerical association based on the coronavirus optimization algorithm. 1148-1151 - Lilly Roelofs, Claire Weissman, Daniela Raicu, Jacob Furst, Roselyne Tchoua:
Similarity-based uncertainty scores for interpretable deep learning in scientific applications. 1152-1155
System software and security: OSSP - operating systems and software platforms track
- Renata Martins Gomes, Marcel Baunach:
A framework for OS portability: from formal models to low-level code. 1156-1165 - Kyungsik Lee, Gunho Lee, Taejoon Song:
Enhanced configurable snapshot: snapshot-based fast booting on NAND flash with lifetime control. 1166-1175 - Masanori Misono, Toshiki Hatanaka, Takahiro Shinagawa:
DMAFV: testing device drivers against DMA faults. 1176-1182 - Chuan-Chi Wang, Chun-Yen Ho, Chia-Heng Tu, Shih-Hao Hung:
cuPSO: GPU parallelization for particle swarm optimization algorithms. 1183-1189 - Jusuk Lee, Ajung Kim, Sumin Lee, Jiman Hong:
R&R tool for Android applications hiding malicious features. 1190-1196 - Guangyu Zhu, Sangjin Lee, Yongseok Son:
An efficient log-structured scheme for disk arrays. 1197-1204
System software and security: OSSP - operating systems and software platforms track: poster papers
- Naoki Aoyama, Hiroshi Yamada:
Copying values v.s. references for memory page compaction in virtualized systems. 1205-1207 - Guangyu Zhu, Jeongeun Lee, Yongseok Son:
An efficient and parallel file defragmentation scheme for flash-based SSDs. 1208-1211 - Duhyeuk Chang, Jungsoo Lee, Byunghyun Jeong, Junyoung Heo:
Band selection techniques using discrete ranges and maxpooling operations for hyperspectral image pixel classification. 1212-1217
System software and security: PDP - privacy by design in practice track
- Christoph Stach, Clémentine Gritti, Dennis Przytarski, Bernhard Mitschang:
Can blockchains and data privacy laws be reconciled?: a fundamental study of how privacy-aware blockchains are feasible. 1218-1227 - Evandro Thalles Vale de Castro, Geovana R. S. Silva, Edna Dias Canedo:
Ensuring privacy in the application of the Brazilian general data protection law (LGPD). 1228-1235 - Ala'a Al-Momani, Christoph Bösch, Kim Wuyts, Laurens Sion, Wouter Joosen, Frank Kargl:
Mitigation lost in translation: leveraging threat information to improve privacy solution selection. 1236-1247
Software design and development: PL - programming languages track
- Frédéric Fort, Julien Forget:
Synchronous semantics of multi-mode multi-periodic systems. 1248-1257 - Hendrik Winkelmann, Herbert Kuchen:
Constraint-logic object-oriented programming on the Java virtual machine. 1258-1267 - David Neves, Hervé Paulino:
Condition-based synchronization in data-centric concurrency control. 1268-1275
Software design and development: PL - programming languages track: poster papers
- Jonathan Neugebauer, Herbert Kuchen:
Model-driven customizing of ERP systems: a case study. 1276-1279 - Pierre Misse-Chanabier, Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, Luc Fabresse, Pablo Tesone:
Differential testing of simulation-based VM generators: automatic detection of VM generator semantic gaps between simulation and generated VMs. 1280-1283 - Bogdan Aman, Gabriel Ciobanu:
Synchronization operator for communication privacy. 1284-1290
Software design and development: RE - requirements engineering track
- Larissa Mangolim Amaral, Fábio Levy Siqueira, Anarosa Alves Franco Brandão:
A survey on requirements notations in software engineering research. 1291-1298 - Quelita A. D. S. Ribeiro, Moniky Ribeiro, Jaelson Castro:
Requirements engineering for autonomous vehicles: a systematic literature review. 1299-1308 - Darliane Miranda, João Araújo:
Studying industry practices of accessibility requirements in agile development. 1309-1317 - Fabian Kneer, Erik Kamsties, Klaus Schmid:
Elicitation of adaptive requirements using creativity triggers: a controlled experiment. 1318-1326 - Luis Hernán García Paucar, Nelly Bencomo, Alistair G. Sutcliffe, Pete Sawyer:
A Bayesian network-based model to understand the role of soft requirements in technology acceptance: the case of the NHS COVID-19 test and trace app in England and Wales. 1327-1336
Software design and development: RE - requirements engineering track: poster papers
- Alexander Uder, Isabel John, Seok-Won Lee:
Impact of Korean culture on the selection of RE elicitation methods. 1337-1340 - Prerit Datta, Sara Sartoli, Luis Felipe Gutiérrez, Faranak Abri, Akbar Siami Namin, Keith S. Jones:
A user-centric threat model and repository for cyber attacks. 1341-1346
System software and security: RS - recommender systems track
- Andrew Aquilina, Charlie Abela:
Predicting links in a social network based on recognised personalities. 1347-1354 - Denis Kotkov, Alan Medlar, Umesh Raj Satyal, Alexandr V. Maslov, Mats Neovius, Dorota Glowacka:
Rating consistency is consistently underrated: an exploratory analysis of movie-tag rating inconsistency. 1355-1364 - Jinfeng Zhong, Elsa Negre:
Shap-enhanced counterfactual explanations for recommendations. 1365-1372 - Ervin Dervishaj, Paolo Cremonesi:
GAN-based matrix factorization for recommender systems. 1373-1381 - Yu Huang, Ju-Hui Tseng, Ching-Jui Hsiao, Hui-Mei Hung, Vincent S. Tseng:
IPreMom: a continual learning-based image rating framework for infant precious moments capturing. 1382-1390 - Rodrigo Borges, Kostas Stefanidis:
F2VAE: a framework for mitigating user unfairness in recommendation systems. 1391-1398
System software and security: RS - recommender systems track: poster papers
- Matteo Montanari, Cesare Bernardis, Paolo Cremonesi:
On the impact of data sampling on hyper-parameter optimisation of recommendation algorithms. 1399-1402 - Georgios Boltsis, Evaggelia Pitoura:
Bias disparity in graph-based collaborative filtering recommenders. 1403-1409
Software design and development: SATTA - software architecture: theory, technology, and applications track
- Sanjay B. Thakare, Arvind W. Kiwelekar:
Software layer recovery through ego network analysis. 1410-1416 - Milad Elyasi, Muhammed Esad Simitcioglu, Abdullah Saydemir, Ali Ekici, Hasan Sözer:
HYGAR: a hybrid genetic algorithm for software architecture recovery. 1417-1424 - Rodrigo C. Soares, Vinicius dos Santos, Elisa Yumi Nakagawa:
Continuous evaluation of software architectures: an overview of the state of the art. 1425-1431 - Luís Ferreira, Leopoldo Silva, Diana Pinho, Francisco Morais, Carlos Manuel Martins, Pedro Miguel Pires, Pedro Fidalgo, Helena Rodrigues, Paulo Cortez, André Luiz Pilastri:
A federated machine learning approach to detect international revenue share fraud on the 5G edge. 1432-1439 - Federico Di Menna, Henry Muccini, Karthik Vaidhyanathan:
FEAST: a framework for evaluating implementation architectures of self-adaptive IoT systems. 1440-1447
Software design and development: SATTA - software architecture: theory, technology, and applications track: poster papers
- Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re:
X-IoT: a model-driven approach for cross-platform IoT applications development. 1448-1451 - Maximilien de Bayser, Vinícius C. V. B. Segura, Leonardo Guerreiro Azevedo, Leonardo P. Tizzei, Raphael Thiago, Elton F. S. Soares, Renato Cerqueira:
DevOps and microservices in scientific system development: experience on a multi-year industry research project. 1452-1455 - Daniel Guamán, Jennifer Pérez, Priscila Valdiviezo Díaz, Norberto Canas:
Estimating the energy consumption of software components from size, complexity and code smells metrics. 1456-1459
Software design and development: SATTA - software architecture: theory, technology, and applications track: SRC
- Amr S. Abdelfattah:
Microservices-based systems visualization: student research abstract. 1460-1464
Software design and development: SE - software engineering track
- Thomas Walshe, Andrew Simpson:
A longitudinal study of hacker behaviour. 1465-1474 - Paul Leger, Felipe Ruiz, Nicolás Sepúlveda, Ismael Figueroa:
Evolution of a haskell repository and its use of monads: an exploratory study of stackage. 1475-1482 - Von Ithipathachai, Maral Azizi:
Are tags 'it?': analysis of the impact of tags on StackOverflow questions. 1483-1490 - Pablo C. Cañizares, Sara Pérez-Soler, Esther Guerra, Juan de Lara:
Automating the measurement of heterogeneous chatbot designs. 1491-1498 - Hendrik Winkelmann, Laura Troost, Herbert Kuchen:
Constraint-logic object-oriented programming for test case generation. 1499-1508 - Misoo Kim, Youngkyoung Kim, Eunseok Lee:
How does the first buggy file work well for iterative IR-based bug localization? 1509-1516 - Oussama Ben Sghaier, Houari A. Sahraoui, Eugene Syriani:
Fighting evil is not enough when refactoring metamodels: promoting the good also matters. 1517-1526 - Emanuel Dantas, Ademar França de Sousa Neto, Dalton Cézane Gomes Valadares, Mirko Barbosa Perkusich, Felipe Barbosa Araújo Ramos, Hyggo Oliveira de Almeida, Angelo Perkusich:
Investigating technological risks and mitigation strategies in software projects. 1527-1535 - Youngkyoung Kim, Misoo Kim, Eunseok Lee:
Feature assortment for deep learning-based bug localization with a program graph. 1536-1544 - Pasquale Ardimento, Lerina Aversano, Mario Luca Bernardi, Marta Cimitile:
Design patterns mining using neural sub-graph matching. 1545-1553 - Suhwan Ji, Sang-Min Choi, Sang-Ki Ko, Dohyung Kim, Hyeonseung Im:
RepCoder: an automated program repair framework for probability-based program synthesis. 1554-1561 - Renata Brasil-Silva, Fábio Levy Siqueira:
Metrics to quantify software developer experience: a systematic mapping. 1562-1569 - Aidan P. LaBella, Joshua A. Karns, Farhad Akhbardeh, Travis Desell, Andrew J. Walton, Zechariah Morgan, Brandon Wild, Mark Dusenbury:
Optimized flight safety event detection in the national general aviation flight information database. 1570-1579 - Noah Bühlmann, Mohammad Ghafari:
How do developers deal with security issue reports on GitHub? 1580-1589 - Deema Alshoaibi, Hiten Gupta, Max Mendelson, Ilyes Jenhani, Ali Ben Mrad, Mohamed Wiem Mkaouer:
Learning to characterize performance regression introducing code changes. 1590-1597 - Rick Ossendrijver, Stephan Schroevers, Clemens Grelck:
Towards automated library migrations with error prone and refaster. 1598-1606
Software design and development: SE - software engineering track: poster papers
- Sabir Saheel, Labib Bin Rahman, Fairuz Humaira, Farzana Sadia, Mahady Hasan:
A new scrum and CMMI level 2 compatible model for small software firms in order to enhance their software quality. 1607-1610 - Michelle Y. Chew, Yi J. Cheng, Oliver Mahan, Md Rakibul Islam:
A comparative study of name entity recognition techniques in software engineering texts. 1611-1614
Software design and development: SE - software engineering track: SRC
- Micah Schiewe:
Bridging the gap between source code and high-level concepts in static code analysis: student research abstract. 1615-1618 - Jacob Curtis:
On language-agnostic abstract-syntax trees: student research abstract. 1619-1625
System software and security: SEC - computer security track
- Wojciech Ozga, Rasha Faqeh, Do Le Quoc, Franz Gregor, Silvio Dragone, Christof Fetzer:
CHORS: hardening high-assurance security systems with trusted computing. 1626-1635 - Luca Degani, Francesco Bergadano, Seyed Ali Mirheidari, Fabio Martinelli, Bruno Crispo:
Generative adversarial networks for subdomain enumeration. 1636-1645 - Anton Firc, Kamil Malinka:
The dawn of a text-dependent society: deepfakes as a threat to speech verification systems. 1646-1655 - Manuel Kern, Florian Skopik, Max Landauer, Edgar R. Weippl:
Strategic selection of data sources for cyber attack detection in enterprise networks: a survey and approach. 1656-1665 - Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert:
MARSHAL: messaging with asynchronous ratchets and signatures for faster HeALing. 1666-1673 - Matteo Busi, Pierpaolo Degano, Letterio Galletta:
Towards effective preservation of robust safety properties. 1674-1683 - Md. Monowar Anjum, Shahrear Iqbal, Benoit Hamelin:
ANUBIS: a provenance graph-based framework for advanced persistent threat detection. 1684-1693 - Benjamin Eriksson, Pablo Picazo-Sanchez, Andrei Sabelfeld:
Hardening the security analysis of browser extensions. 1694-1703 - Andrés Rainiero Hernández Coronado, Wei-Ming Lin:
Effective TLB thrashing: unveiling the true short reach of modern TLB designs. 1704-1712 - Quentin Stiévenart, Coen De Roover, Mohammad Ghafari:
Security risks of porting C programs to webassembly. 1713-1722
System software and security: SEC - computer security track: poster papers
- Mauro Conti, Eleonora Losiouk, Alessandro Visintin:
What you see is not what you get: a man-in-the-middle attack applied to video channels. 1723-1726 - Rikima Mitsuhashi, Takahiro Shinagawa:
Deriving optimal deep learning models for image-based malware classification. 1727-1731
Information systems: SONAMA - social network and media analysis track
- Carlos Eduardo da Silva, Angus Young:
An architecture for data integrity in untrustworthy social networks. 1732-1739 - Sajedul Talukder, Nestor Hernandez, Mozhgan Azimpourkivi, Bogdan Carbunar:
User awareness and defenses against sockpuppet friend invitations in Facebook. 1740-1747 - Jean R. Ponciano, Claudio D. G. Linhares, Luis E. C. Rocha, Elaine R. Faria, Bruno A. N. Travençolo:
Combining clutter reduction methods for temporal network visualization. 1748-1755 - Bhashithe Abeysinghe, Dhara Shah, Christopher Freas, Robert W. Harrison, Rajshekhar Sunderraman:
POSLAN: disentangling chat with positional and language encoded post embeddings. 1756-1763 - Barbara Guidi, Andrea Michienzi, Laura Ricci:
Incremental communication patterns in blockchain online social media. 1764-1770 - Soeun Han, Yun-Yong Ko, Yushim Kim, Seong Soo Oh, Heejin Park, Sang-Wook Kim:
D-FEND: a diffusion-based fake news detection framework for news articles related to COVID-19. 1771-1778 - Huseyin Alper Teoman, Pinar Karagoz:
Group oriented trust-aware location recommendation for location-based social networks. 1779-1788
Information systems: SONAMA - social network and media analysis track: poster papers
- Cefas Garcia Pereira, Humberto Torres Marques-Neto:
Characterizing the impact of fact-checking on the COVID-19 misinformation combat. 1789-1796 - Fatima Zahrah, Jason R. C. Nurse, Michael Goldsmith:
A comparison of online hate on reddit and 4chan: a case study of the 2020 US election. 1797-1800 - Maria Tomasso, Lucas J. Rusnak, Jelena Tesic:
Cluster boosting and data discovery in social networks. 1801-1803 - Jongsoo Lee, Jung Ah Shin, Dong-Kyu Chae:
A diversity personalization approach towards recommending POIs for Jeju island. 1804-1807
Software design and development: SVT - software verification and testing track
- Martin Blicha, Jan Kofron, William Tatarko:
Summarization of branching loops. 1808-1816 - Isabella Mastroeni, Michele Pasqua:
Verifying opacity by abstract interpretation. 1817-1826 - Thuy Nguyen, Takashi Tomita, Junpei Endo, Geon-ung Kang, Toshiaki Aoki:
Leveraging hardware-dependent knowledge extraction with multiple program analysis techniques. 1827-1836 - Aharon Abadi, Bar Makovitzki, Ron Shemer, Shmuel S. Tyszberowicz:
A lightweight approach for sound call graph approximation. 1837-1844
Software design and development: SVT - software verification and testing track: poster papers
- Aleksandar S. Dimovski:
Model sketching by abstraction refinement for lifted model checking. 1845-1848 - Thibault Martin, Nikolai Kosmatov, Virgile Prevosto:
Verifying redundant-check based countermeasures: a case study. 1849-1852 - Xu Wang, Qiwen Xu:
A simple proof of data-race freedom and coherence for simpson's 4-slot algorithm. 1853-1856 - Chukri Soueidi, Yliès Falcone:
Capturing program models with BISM. 1857-1861
Information systems: SWA - semantic web and applications track
- Laura Rekasiute, Alvaro Jose Jimenez Palenzuela, Nijole Salnaite, Ramon Carrera Cuenca, Flavius Frasincar:
Predicting the category of customers' next product to buy in web shops. 1862-1871 - Dragana Markovic, Milic Scekic, Alessio Bucaioni, Antonio Cicchetti:
Could jamstack be the future of web applications architecture?: an empirical study. 1872-1881 - Yun Liu, Jun Miyazaki, Qiong Chang:
Knowledge graph enhanced multi-task learning between reviews and ratings for movie recommendation. 1882-1889 - Tomas Martin, Victor Fuentes, Petko Valtchev, Abdoulaye Baniré Diallo, René Lacroix:
Generalized graph pattern discovery in linked data with data properties and a domain ontology. 1890-1899 - Eddy Kiomba Kambilo, Hajer Baazaoui Zghal, Chirine Ghedira Guegan, Vlado Stankovski, Petar Kochovski, Dan Vodislav:
A blockchain-based framework for drug traceability: ChainDrugTrac. 1900-1907 - Samaneh Jozashoori, Ahmad Sakor, Enrique Iglesias, Maria-Esther Vidal:
EABlock: a declarative entity alignment block for knowledge graph creation pipelines. 1908-1916
Information systems: SWA - semantic web and applications track: poster papers
- Kritarth Bisht, Seba Susan:
v-TCM: vertical-aware transformer click model for web search. 1917-1920 - Shubham Mante, Nathalie Hernandez, Aftab M. Hussain, Sachin Chaudhari, Deepak Gangadharan, Thierry Monteil:
5D-IoT, a semantic web based framework for assessing IoT data quality. 1921-1924
Distributed systems: WCN - Wireless communications and networking track
- Otto Benjamin Piramuthu, Matthew C. Caesar:
UAV-VANET authentication for real-time highway surveillance. 1925-1931 - Junho Seo, Ayesha Siddiqa, Muhammad Ashar Tariq, Malik Muhammad Saad, Dongkyun Kim:
Cluster-based AUV communication for delay-sensitive vulnerability detection using NDN. 1932-1937 - Shahnila Rahim, Mian Muaz Razaq, Shih Yu Chang, Limei Peng:
A reinforcement learning-based path planning for collaborative UAVs. 1938-1943 - Syed Hassan Raza Naqvi, Pin-Han Ho:
On hybrid front-haul for 5G NR mmWave indoor coverage. 1944-1949 - Stéfani S. Pires, Adriana Ribeiro, Leobino Sampaio:
A meta-policy approach for learning suitable caching replacement policies in information-centric networks. 1950-1959 - Yan Liu, Huihui Wu, Yulong Shen, Xiaohong Jiang:
Multi-antenna covert communications in random wireless networks with full-duplex relay. 1960-1966 - Foroutan Fami, Nessrine Hammami, Chuan Pham, Kim-Khoa Nguyen:
Optimization of IoT slices in wifi enterprise networks. 1967-1974
Distributed systems: WCN - Wireless communications and networking track: poster papers
- Otto Benjamin Piramuthu, Matthew Caesar:
Lightweight VANET authentication protocols. 1975-1978 - Dariusz P. Wiecek, Jacek W. Wronski:
GPGPU wide-area calculations for estimation of electromagnetic field human exposure levels. 1979-1982 - Thomas Lavigne, Bacem Mbarek, Tomás Pitner:
An intelligent blockchain application for emergency medical services. 1983-1986
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-13 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
