Výsledky vyhledávání - Algorithms and Analysis of Algorithms

Sequence alignment: Comparative analysis of algorithms in KRAS genetic mutations

Autoři: Pereira, Ana Rita Lopes, Carlos Oliveira, Catarina a další

Přispěvatelé: Pereira, Ana Rita Lopes, Carlos Oliveira, Catarina a další

Témata: Sequence alignment, Algorithm, KRAS

Popis souboru: application/pdf

Relation: 978-989-9045-35-4

Dostupnost: http://hdl.handle.net/10400.22/30968

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 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 I

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I

Autoři: Sriram Sankaranarayanan Natasha Sharygina

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science

A comparison of pixel intensity-based and object-based image analysis software algorithms for assessing immunohistochemical staining of sections from paraffin-embedded human tumor samples.

Autoři: Kimambo SE Overton J Bouffard NA a další

Zdroj: Histochemistry and cell biology [Histochem Cell Biol] 2025 Nov 25; Vol. 163 (1), pp. 108. Date of Electronic Publication: 2025 Nov 25.

Způsob vydávání: Journal Article; Comparative Study

Informace o časopise: Publisher: Springer Country of Publication: Germany NLM ID: 9506663 Publication Model: Electronic Cited Medium: Internet ISSN: 1432-119X (Electronic) Linking ISSN: 09486143 NLM ISO Abbreviation: Histochem Cell Biol Subsets: MEDLINE

Výrazy ze slovníku MeSH: Immunohistochemistry* , Software* , Algorithms* , Image Processing, Computer-Assisted* , Neoplasms*/pathology , Neoplasms*/diagnosis, Humans ; Paraffin Embedding ; Staining and Labeling ; Female ; Breast Neoplasms/pathology

Tools and Algorithms for the Construction and Analysis of Systems

Autoři: Dana Fisman Grigore Rosu

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Autoři: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Témata: Artificial intelligence, System analysis--Congresses, System design--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Logic Design, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

Autoři: Jan Friso Groote Kim Guldstrand Larsen

Resource Type: eBook.

Témata: System analysis--Congresses, Artificial intelligence, System design--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Hardware / General

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

Autoři: Armin Biere David Parker

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, MATHEMATICS / Applied

Sparse Canonical Correlation Analysis Postprocessing Algorithms for GCM Daily Rainfall Forecasts

Autoři: Lima, Carlos H. R. Kwon, Hyun-Han Kim, Ho Jun

Zdroj: Journal of Hydrometeorology, 2022 Nov 01. 23(11), 1705-1718.

Přístupová URL adresa: https://www.jstor.org/stable/27247533

Tools and Algorithms for the Construction and Analysis of Systems

Autoři: Dirk Beyer Marieke Huisman Fabrice Kordon a další

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Simulation

Análise Info-energética de Algoritmos

Info-energetic Analysis of Algorithms

Autoři: Simões, Hugo Rafael

Témata: Information Theory, Algorithms, Energy, Teoria de Informação, Algoritmos, Energia

Dostupnost: https://hdl.handle.net/10316/116421

Training ChatGPT for surgical decisions: Bariatric surgery analysis using algorithms and evidence.

Autoři: Sanchez-Cordero S Lopez-Gonzalez R Fernandez H a další

Zdroj: Obesity research & clinical practice [Obes Res Clin Pract] 2025 Jul-Aug; Vol. 19 (4), pp. 352-355. Date of Electronic Publication: 2025 Aug 15.

Způsob vydávání: Journal Article

Informace o časopise: Publisher: Elsevier Country of Publication: Netherlands NLM ID: 101303911 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1871-403X (Print) Linking ISSN: 1871403X NLM ISO Abbreviation: Obes Res Clin Pract Subsets: MEDLINE

Výrazy ze slovníku MeSH: Bariatric Surgery*/methods , Bariatric Surgery*/education , Obesity, Morbid*/surgery , Algorithms* , Clinical Decision-Making*/methods , Artificial Intelligence*, Humans ; Male ; Female ; Retrospective Studies ; Adult ; Middle Aged ; Generative Artificial Intelligence

Multilingual Language Models: Analysis and Algorithms

Autoři: Terra Blevins

Zdroj: ProQuest LLC. 2024Ph.D. Dissertation, University of Washington.

Peer Reviewed: N

Page Count: 132

Descriptors: Multilingualism, Computational Linguistics, Second Languages, Reliability, Computer Software, Models, Monolingualism, Transfer of Training, Competition, Algorithms

Přístupová URL adresa: https://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:31333029

Comparative Analysis of Algorithms with Data Mining Methods for Examining Attitudes towards STEM Fields

Autoři: Göktepe Körpeoglu, Seda Göktepe Yildiz, Sevda

Zdroj: Education and Information Technologies. Mar 2023 28(3):2791-2826.

Peer Reviewed: Y

Page Count: 36

Descriptors: Comparative Analysis, Algorithms, Data Collection, Student Attitudes, STEM Education, Middle School Students, Foreign Countries, Predictor Variables, Institutional Characteristics, Instructional Program Divisions, Gender Differences, Academic Achievement, Parent Background, Educational Attainment, Occupations

Geografický termín: Turkey (Istanbul)

Tools and Algorithms for the Construction and Analysis of Systems

Autoři: Dirk Beyer Marieke Huisman

Resource Type: eBook.

Témata: Software engineering, Computer logic, Computer science, Computer organization, Computers

Categories: COMPUTERS / Computer Science, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Identifying unilateral aldosterone-producing adenomas using published algorithms and imaging: a systematic review and meta-analysis

Autoři: Elisabeth Ng Stella May Gwini Winston Zheng a další

Zdroj: Endocrine Connections, Vol 14, Iss 11 (2025)

Témata: primary aldosteronism, subtyping, unilateral, adrenal vein sampling, systematic review, meta-analysis, Diseases of the endocrine glands. Clinical endocrinology, RC648-665

Popis souboru: electronic resource

Relation: https://ec.bioscientifica.com/view/journals/ec/14/11/EC-25-0339.xml; https://doaj.org/toc/2049-3614

Přístupová URL adresa: https://doaj.org/article/9c1c37f825294d0b84cdf8aeb53048d8

Artificial intelligence in the diagnosis of multiple sclerosis using brain imaging modalities: A systematic review and meta-analysis of algorithms.

Autoři: Darrudi R Hosseini A Emami H a další

Zdroj: Medicine [Medicine (Baltimore)] 2025 Sep 19; Vol. 104 (38), pp. e44493.

Způsob vydávání: Journal Article; Systematic Review; Meta-Analysis

Informace o časopise: Publisher: Lippincott Williams & Wilkins Country of Publication: United States NLM ID: 2985248R Publication Model: Print Cited Medium: Internet ISSN: 1536-5964 (Electronic) Linking ISSN: 00257974 NLM ISO Abbreviation: Medicine (Baltimore) Subsets: MEDLINE

Výrazy ze slovníku MeSH: Multiple Sclerosis*/diagnostic imaging , Multiple Sclerosis*/diagnosis , Artificial Intelligence* , Magnetic Resonance Imaging*/methods , Neuroimaging*/methods , Brain*/diagnostic imaging, Humans ; Algorithms ; Sensitivity and Specificity

MARKET 4.0: EXPLORING MARKET BASKET ANALYSIS (MBA) ALGORITHMS FOR CO-MARKET INTELLIGENT APPLICATION

Autoři: Daniel T. Ursulum, Jr. Thelma D. Palaoag

Zdroj: Proceedings on Engineering Sciences, Vol 6, Iss 4, Pp 1523-1530 (2024)

Témata: intelligent application, mba (market basket analysis), apriori algorithm, fp-growth algorithm, association rule mining, Engineering (General). Civil engineering (General), TA1-2040

Popis souboru: electronic resource

Relation: https://pesjournal.net/journal/v6-n4/11.pdf; https://doaj.org/toc/2620-2832; https://doaj.org/toc/2683-4111

Přístupová URL adresa: https://doaj.org/article/6e8a2d8779894a42a8d2c1fff7725df9

Predicting COVID-19 severity in pediatric patients using machine learning: a comparative analysis of algorithms and ensemble methods.

Autoři: Pourakbari B Mamishi S Valian SK a další

Zdroj: Scientific reports [Sci Rep] 2025 Aug 08; Vol. 15 (1), pp. 29118. Date of Electronic Publication: 2025 Aug 08.

Způsob vydávání: Journal Article; Comparative Study

Informace o časopise: Publisher: Nature Publishing Group Country of Publication: England NLM ID: 101563288 Publication Model: Electronic Cited Medium: Internet ISSN: 2045-2322 (Electronic) Linking ISSN: 20452322 NLM ISO Abbreviation: Sci Rep Subsets: MEDLINE

Výrazy ze slovníku MeSH: COVID-19*/diagnosis , COVID-19*/epidemiology , COVID-19*/pathology , Machine Learning*, Humans ; Child ; Severity of Illness Index ; Male ; Female ; Retrospective Studies ; Child, Preschool ; Algorithms ; Adolescent ; SARS-CoV-2 ; Infant