Suchergebnisse - "((\"computing algorithms and information\") OR (\"computing algorithms and informatik\"))*"

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

Autoren: Alexander Schultheiß Paul Maximilian Bittner Alexander Boll et al.

Quelle: 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>

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: https://boris.unibe.ch/195933/

Faster exact solution of sparse MaxCut and QUBO problems

Autoren: Rehfeldt, Daniel Koch, Thorsten Shinano, Yuji

Quelle: Mathematical Programming Computation. 15:445-470

Schlagwörter: 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

Zugangs-URL: http://arxiv.org/abs/2202.02305

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

Autoren: Roderus, Jens Larson, Simon Pihl, Eric

Schlagwörter: Parallel machine learning, cluster computing, Hadoop, performance analysis, Information Systems, Social aspects, Systemvetenskap, informationssystem och informatik med samhällsvetenskaplig inriktning

Dateibeschreibung: application/pdf

Verfügbarkeit: 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

Autoren: Ostheimer, Julia

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Verfügbarkeit: http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-94051

Formalizing UML State Machines for Automated Verification – A Survey

Autoren: André, Étienne Liu, Shuang Liu, Yang et al.

Weitere Verfasser: André, Étienne Liu, Shuang Liu, Yang et al.

Quelle: ACM Computing Surveys. 55:1-47

Schlagwörter: 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

Zugangs-URL: http://arxiv.org/abs/2407.17215

A Sound and Complete Substitution Algorithm for Multimode Type Theory

Autoren: Ceulemans, Joris Nuyts, Andreas Devriese, Dominique et al.

Weitere Verfasser: Ceulemans, Joris Nuyts, Andreas Devriese, Dominique et al.

Schlagwörter: modalities, multimode type theory, dependent type theory, 1184120N#56381486, substitution algorithm, ddc:004, 46 Information and computing sciences, explicit substitutions

Dateibeschreibung: application/pdf

Zugangs-URL: 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

Autoren: Ostheimer, Julia Chowdhury, Soumitra Iqbal, Sarfraz

Quelle: Technology in society. 66

Schlagwörter: Hybrid intelligence, Human-in-the-loop (HITL) computing, Design principles, Design science research, Machine learning, Artificial intelligence, Informatik, Information Systems

Dateibeschreibung: print

Zugangs-URL: 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.

Autoren: Zentgraf, Jens Rahmann, Sven

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

Schlagwörter: BIOENGINEERING, LIFE sciences, INFORMATION storage & retrieval systems, SYSTEMS theory, DNA sequencing, HAMMING distance

Organic Computing : Doctoral Dissertation Colloquium 2015

Autoren: Sven Tomforde Bernhard Sick

Resource Type: eBook.

Schlagworte: Natural computation, Nature-inspired algorithms

Categories: TECHNOLOGY & ENGINEERING / Mechanical

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

Autoren: Boehmer K Berkemer SJ Will S et al.

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

Publikationsart: Journal Article

Info zur Zeitschrift: 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)

Autoren: Pushpendu Kar Jiayang Li Yuhang Qiu

Resource Type: eBook.

Schlagworte: Artificial intelligence--Congresses, Algorithms--Congresses

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

Faster exact solution of sparse MaxCut and QUBO problems

Autoren: Rehfeldt, Daniel Koch, Thorsten Shinano, Yuji

Schlagwörter: 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

Dateibeschreibung: application/pdf

Verfügbarkeit: 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.

Autoren: Jung, Jihye Choi, In-Chan

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

Schlagwörter: QUANTUM computing, QUANTUM gates, BOOLEAN functions, ERROR rates, FAULT-tolerant computing, ALGORITHMS

BioJava 5: A community driven open-source bioinformatics library

Autoren: Douglas Myers-Turnbull Jose M. Duarte Michael Heuer et al.

Weitere Verfasser: Douglas Myers-Turnbull Jose M. Duarte Michael Heuer et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: 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.

Autoren: Kiviat, Barbara

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

Schlagwörter: 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.

Autoren: Ozlu Ucan, Gulfem Gwassi, Omar Abboosh Hussein Apaydin, Burak Kerem et al.

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

Schlagwörter: CONVOLUTIONAL neural networks, RANDOM forest algorithms, FORENSIC sciences, ARTIFICIAL intelligence, DEEP learning

Organic Computing : Doctoral Dissrtation Colloquim 2016

Autoren: Sven Tomforde Bernhard Sick

Resource Type: eBook.

Schlagworte: 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

Autoren: Hannah Bast Claudius Korzen Ulrich Meyer et al.

Resource Type: eBook.

Schlagworte: 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

Autoren: Wen-Lian Hsu Ming-Yang Kao

Resource Type: eBook.

Schlagworte: 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.

Autoren: Oprea, Camelia Kannan, Amrutha Olivier, Lena et al.

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