Výsledky vyhledávání - "((\"computing algorithms and information\") OR (\"computing algorithms and informatik\"))~"

RaQuN: a generic and scalable n-way model matching algorithm

Autoři: Alexander Schultheiß Paul Maximilian Bittner Alexander Boll a další

Zdroj: Schultheiss, Alexander; Bittner, Paul Maximilian; Boll, Alexander; Grunske, Lars; Thüm, Thomas; Kehrer, Timo (2022). RaQuN: a generic and scalable n-way model matching algorithm. Software and systems modeling, 22(5), pp. 1495-1517. Springer-Verlag 10.1007/S10270-022-01062-5 <http://dx.doi.org/10.1007/S10270-022-01062-5>

Témata: ddc:004, Identification, Evolution, Software product lines, 02 engineering and technology, 000 Computer science, knowledge & systems, Software product line engineering, 004 Informatik, n-Way model matching, Domain engineering, 510 Mathematics, Identifikation, Information and Computing Sciences, Clone-and-own development, 0202 electrical engineering, electronic engineering, information engineering, Model-driven engineering, Software

Popis souboru: application/pdf

Přístupová URL adresa: https://boris.unibe.ch/195933/

Faster exact solution of sparse MaxCut and QUBO problems

Autoři: Rehfeldt, Daniel Koch, Thorsten Shinano, Yuji

Zdroj: Mathematical Programming Computation. 15:445-470

Témata: FOS: Computer and information sciences, Discrete Mathematics (cs.DM), 0211 other engineering and technologies, 02 engineering and technology, Maximum-cut, 01 natural sciences, Mathematical Sciences, Optimization and Control (math.OC), Branch-and-cut, Information and Computing Sciences, Computer Science - Data Structures and Algorithms, FOS: Mathematics, Data Structures and Algorithms (cs.DS), 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::004 Datenverarbeitung, Informatik, 0101 mathematics, Mathematics - Optimization and Control, Quadratic unconstrained binary optimization, Computer Science - Discrete Mathematics

Přístupová URL adresa: http://arxiv.org/abs/2202.02305

Hadoop scalability evaluation for machine learning algorithms on physical machines : Parallel machine learning on computing clusters

Autoři: Roderus, Jens Larson, Simon Pihl, Eric

Témata: Parallel machine learning, cluster computing, Hadoop, performance analysis, Information Systems, Social aspects, Systemvetenskap, informationssystem och informatik med samhällsvetenskaplig inriktning

Popis souboru: application/pdf

Dostupnost: http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-20102

Human-in-the-loop Computing : Design Principles for Machine Learning Algorithms of Hybrid Intelligence

Autoři: Ostheimer, Julia

Témata: Human-in-the-loop computing, hybrid intelligence, design principles, design science research, machine learning, artificial intelligence, Information Systems, Systemvetenskap, informationssystem och informatik, Computer Sciences, Datavetenskap (datalogi)

Popis souboru: application/pdf

Dostupnost: http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-94051

Formalizing UML State Machines for Automated Verification – A Survey

Autoři: André, Étienne Liu, Shuang Liu, Yang a další

Přispěvatelé: André, Étienne Liu, Shuang Liu, Yang a další

Zdroj: ACM Computing Surveys. 55:1-47

Témata: formal specification, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Software engineering, Theory and Algorithms, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, UML, Semantics, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Formal verification, Computer Science - Software Engineering, Machine learning, Information and computing sciences, 0202 electrical engineering, electronic engineering, information engineering, Formal specification, formal verification, semantics

Přístupová URL adresa: http://arxiv.org/abs/2407.17215

A Sound and Complete Substitution Algorithm for Multimode Type Theory

Autoři: Ceulemans, Joris Nuyts, Andreas Devriese, Dominique a další

Přispěvatelé: Ceulemans, Joris Nuyts, Andreas Devriese, Dominique a další

Témata: modalities, multimode type theory, dependent type theory, 1184120N#56381486, substitution algorithm, ddc:004, 46 Information and computing sciences, explicit substitutions

Popis souboru: application/pdf

Přístupová URL adresa: https://lirias.kuleuven.be/handle/20.500.12942/747089
https://doi.org/10.4230/lipics.types.2023.4
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2023.4

An alliance of humans and machines for machine learning: Hybrid intelligent systems and their design principles

Autoři: Ostheimer, Julia Chowdhury, Soumitra Iqbal, Sarfraz

Zdroj: Technology in society. 66

Témata: Hybrid intelligence, Human-in-the-loop (HITL) computing, Design principles, Design science research, Machine learning, Artificial intelligence, Informatik, Information Systems

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-105645
https://doi.org/10.1016/j.techsoc.2021.101647

Swiftly identifying strongly unique k-mers.

Autoři: Zentgraf, Jens Rahmann, Sven

Zdroj: Algorithms for Molecular Biology; 7/13/2025, Vol. 20 Issue 1, p1-16, 16p

Témata: BIOENGINEERING, LIFE sciences, INFORMATION storage & retrieval systems, SYSTEMS theory, DNA sequencing, HAMMING distance

Organic Computing : Doctoral Dissertation Colloquium 2015

Autoři: Sven Tomforde Bernhard Sick

Resource Type: eBook.

Témata: Natural computation, Nature-inspired algorithms

Categories: TECHNOLOGY & ENGINEERING / Mechanical

Rna triplet repeats: improved algorithms for structure prediction and interactions.

Autoři: Boehmer K Berkemer SJ Will S a další

Zdroj: Algorithms for molecular biology : AMB [Algorithms Mol Biol] 2025 Dec 10. Date of Electronic Publication: 2025 Dec 10.

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

Informace o časopise: Publisher: BioMed Central Country of Publication: England NLM ID: 101265088 Publication Model: Print-Electronic Cited Medium: Print ISSN: 1748-7188 (Print) Linking ISSN: 17487188 NLM ISO Abbreviation: Algorithms Mol Biol

Proceedings of the 2023 International Conference on Image, Algorithms and Artificial Intelligence (ICIAAI 2023)

Autoři: Pushpendu Kar Jiayang Li Yuhang Qiu

Resource Type: eBook.

Témata: Artificial intelligence--Congresses, Algorithms--Congresses

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Science, MATHEMATICS / Applied

Faster exact solution of sparse MaxCut and QUBO problems

Autoři: Rehfeldt, Daniel Koch, Thorsten Shinano, Yuji

Témata: 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::004 Datenverarbeitung, Informatik, Maximum-cut, Quadratic unconstrained binary optimization, Branch-and-cut, Mathematical Sciences, Information and Computing Sciences

Popis souboru: application/pdf

Dostupnost: https://depositonce.tu-berlin.de/handle/11303/22690
https://doi.org/10.14279/depositonce-21500

A multi-commodity network model for optimal quantum reversible circuit synthesis.

Autoři: Jung, Jihye Choi, In-Chan

Zdroj: PLoS ONE; 6/22/2021, Vol. 16 Issue 6, p1-34, 34p

Témata: QUANTUM computing, QUANTUM gates, BOOLEAN functions, ERROR rates, FAULT-tolerant computing, ALGORITHMS

BioJava 5: A community driven open-source bioinformatics library

Autoři: Douglas Myers-Turnbull Jose M. Duarte Michael Heuer a další

Přispěvatelé: Douglas Myers-Turnbull Jose M. Duarte Michael Heuer a další

Zdroj: PLoS Comput Biol
PLoS Computational Biology, Vol 15, Iss 2, p e1006791 (2019)
PLOS Computational Biology, vol 15, iss 2

Témata: FOS: Computer and information sciences, 0301 basic medicine, QH301-705.5, Bioinformatics, 0206 medical engineering, Structural genomics, Information Storage and Retrieval, Comparison, 02 engineering and technology, Macromolecule, Mathematical Sciences, Access to Information, 03 medical and health sciences, Sequence alignment, Information and Computing Sciences, Biology (General), Gene Library, Internet, Genome, Computational Biology, Genomics, Biological Sciences, 570: Biologie, Networking and Information Technology R&D (NITRD), Protein structure, 004: Informatik, Multiple alignment calculation, Molecular structure, Algorithms, Software, Research Article

Popis souboru: application/pdf

Přístupová URL adresa: https://journals.plos.org/ploscompbiol/article/file?id=10.1371/journal.pcbi.1006791&type=printable
https://pubmed.ncbi.nlm.nih.gov/30735498
https://doaj.org/article/5c110558d5a8402a913e0beeea63fb8e
https://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.1006791
https://dx.plos.org/10.1371/journal.pcbi.1006791
https://europepmc.org/article/MED/30735498
https://doi.org/10.1371/journal.pcbi.1006791
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6383946/
https://pubmed.ncbi.nlm.nih.gov/30735498/
https://escholarship.org/uc/item/9nz953cf

The Moral Affordances of Construing People as Cases: How Algorithms and the Data They Depend on Obscure Narrative and Noncomparative Justice.

Autoři: Kiviat, Barbara

Zdroj: Sociological Theory; Sep2023, Vol. 41 Issue 3, p175-200, 26p

Témata: JUSTICE, INFORMATION superhighway, MORAL reasoning, ALGORITHMS, ETHICS

Automated Age Estimation from OPG Images and Patient Records Using Deep Feature Extraction and Modified Genetic–Random Forest.

Autoři: Ozlu Ucan, Gulfem Gwassi, Omar Abboosh Hussein Apaydin, Burak Kerem a další

Zdroj: Diagnostics (2075-4418); Feb2025, Vol. 15 Issue 3, p314, 27p

Témata: CONVOLUTIONAL neural networks, RANDOM forest algorithms, FORENSIC sciences, ARTIFICIAL intelligence, DEEP learning

Organic Computing : Doctoral Dissrtation Colloquim 2016

Autoři: Sven Tomforde Bernhard Sick

Resource Type: eBook.

Témata: Autonomic computing

Categories: COMPUTERS / Information Technology, COMPUTERS / Computer Literacy, COMPUTERS / Computer Science, COMPUTERS / Data Science / General, COMPUTERS / Machine Theory, COMPUTERS / Reference, COMPUTERS / Hardware / General

Algorithms for Big Data : DFG Priority Program 1736

Autoři: Hannah Bast Claudius Korzen Ulrich Meyer a další

Resource Type: eBook.

Témata: Computer algorithms, Big data

Categories: COMPUTERS / Networking / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, MATHEMATICS / Applied

Computing and Combinatorics : 4th Annual International Conference, COCOON’98, Taipei, Taiwan, R.o.C., August 12–14, 1998

Autoři: Wen-Lian Hsu Ming-Yang Kao

Resource Type: eBook.

Témata: Algorithms, Computer science—Mathematics, Discrete mathematics, Artificial intelligence—Data processing, Computer networks

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Networking / General, MATHEMATICS / Discrete Mathematics

Comparing a rule-based decision tree to an LSTM network for the detection of ineffective efforts during expiration in neonates.

Autoři: Oprea, Camelia Kannan, Amrutha Olivier, Lena a další

Zdroj: Current Directions in Biomedical Engineering; Sep2025, Vol. 11 Issue 1, p370-373, 4p