Search Results - "Innovations in systems and software engineering" :: K.UTB vyhledávací portál

Loading…

Robust computation tree logic: Robust computation tree logic

by Nayak, Satya Prakash, Neider, Daniel, Roy, Rajarshi, Zimmermann, Martin
Published in Innovations in systems and software engineering (01.06.2025)

Get full text

Journal Article

Loading…

Human emotion recognition by analyzing facial expressions, heart rate and blogs using deep learning method

by Ghosh, Rajib, Sinha, Ditipriya
Published in Innovations in systems and software engineering (01.09.2024)

Get full text

Journal Article

Loading…

Impact of augmentation methods in online signature verification

by Najda, Dawid, Saeed, Khalid
Published in Innovations in systems and software engineering (01.09.2024)

Get full text

Journal Article

Loading…

An efficient Apriori algorithm for frequent pattern in human intoxication data

by Hassan, Md. Mehedi, Zaman, Sadika, Mollick, Swarnali, Hassan, Md. Mahedi, Raihan, M., Kaushal, Chetna, Bhardwaj, Rajat
Published in Innovations in systems and software engineering (01.03.2023)

Get full text

Journal Article

Loading…

A novel hybrid multi-resource load balancing approach using ant colony optimization with Tabu search for cloud computing

by Gabhane, Jyotsna P., Pathak, Sunil, Thakare, Nita M.
Published in Innovations in systems and software engineering (01.03.2023)

Get full text

Journal Article

Loading…

A study on hydrodynamics of rigid and emergent vegetated flows using machine learning approach

by Maji, Soumen, Senapati, Apurbalal, Mondal, Arunendu
Published in Innovations in systems and software engineering (01.03.2025)

Get full text

Journal Article

Loading…

Classification of diabetic retinopathy using stacked machine learning approach on low resource dataset

by Sengupta, Diganta, Mondal, Subhash, De Kumar, Anish, Sur, Pretha
Published in Innovations in systems and software engineering (01.03.2025)

Get full text

Journal Article

Loading…

FedLens: federated learning-based privacy-preserving mobile crowdsensing for virtual tourism

by De, Debashis
Published in Innovations in systems and software engineering (01.06.2024)

Get full text

Journal Article

Loading…

Personality analysis for handwritten documents: a case study with Bangla characters

by Biswas, Suparna Saha, Roy, Arpan, Halder, Chayan, Roy, Kaushik
Published in Innovations in systems and software engineering (01.09.2025)

Get full text

Journal Article

Loading…

An automatic thaat and raga identification system using CNN-based models: An automatic thaat and raga

by Majumder, Surya, Bhattacharya, Adrija
Published in Innovations in systems and software engineering (01.09.2025)

Get full text

Journal Article

Loading…

Nuclei-Net: a multi-stage fusion model for nuclei segmentation in microscopy images: Nuclei-Net: a multi-stage fusion model for nuclei segmentation

by Roy, Kaushiki, Saha, Subhadeep, Banik, Debapriya, Bhattacharjee, Debotosh
Published in Innovations in systems and software engineering (01.09.2025)

Get full text

Journal Article

Loading…

ARIA-QA: AI-agent based requirements inspection and analysis through question answering: ARIA-QA: AI-Agent based Requirements

by Biswas, Chitrak, Das, Souvick
Published in Innovations in systems and software engineering (01.09.2025)

Get full text

Journal Article

Loading…

Classifying changes to LabVIEW and simulink models via changeset metrics

by Popoola, Saheed, Zhao, Xin, Gray, Jeff, Garcia-Dominguez, Antonio
Published in Innovations in systems and software engineering (01.09.2025)

Get full text

Journal Article

Loading…

Design and application of a novel Improved Fire Hawk Optimization technique-tuned ANFIS for optimal regulation of energy of a composite microgrid system

by Bandopadhyay, Joy, Roy, Provas Kumar
Published in Innovations in systems and software engineering (01.09.2025)

Get full text

Journal Article

Loading…

ARIA-QA: AI-agent based requirements inspection and analysis through question answering

by Biswas, Chitrak, Das, Souvick
Published in Innovations in systems and software engineering (01.09.2025)

Get full text

Journal Article

Loading…

A case for data-oriented specifications: simpler implementation of B tools and DSLs

by Körner, Philipp, Mager, Florian, Roßbach, Jan
Published in Innovations in systems and software engineering (01.09.2025)

Get full text

Journal Article

Loading…

Enhancing the diagnosis of autism spectrum disorder using phenotypic, structural, and functional MRI data: Enhancing the diagnosis of autism spectrum disorder using phenotypic, structural

by Yakolli, Nivedan, Anusha, V., Khan, Adnan Ahamed, Shubhashree, A., Chatterjee, Subarna
Published in Innovations in systems and software engineering (01.09.2025)

Get full text

Journal Article

Loading…

Hyperparameter optimization for deep neural network models: a comprehensive study on methods and techniques: Hyperparameter optimization for deep neural network models: a comprehensive study on

by Roy, Sunita, Mehera, Ranjan, Pal, Rajat Kumar, Bandyopadhyay, Samir Kumar
Published in Innovations in systems and software engineering (01.09.2025)

Get full text

Journal Article

Loading…

Visual animation of B specifications using executable DSLs: Visual Animation of B Specifications

by Yar, Asfand, Idani, Akram, Ledru, Yves, Collart-Dutilleul, Simon
Published in Innovations in systems and software engineering (01.09.2025)

Get full text

Journal Article

Loading…

Specification and model-checking of space systems in the TASTE toolset: Specification and model-checking of space systems in the TASTE toolset

by Dragomir, Iulia, Redondo, Carlos, Jorge, Tiago, Gouveia, Laura, Ober, Iulian, Bozga, Marius, Perrotin, Maxime
Published in Innovations in systems and software engineering (01.09.2025)

Get full text

Journal Article

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database