Algorithmic regulation, Algorithmic skeleton, Algorithmic state machine

Algorithmesch Regulatioun: Algorithmesch Regulatioun ka bezéien op: Regierung no Algorithmus, Benotze vun Algorithmen a Regierung Reguléierung vun Algorithmen, Regelen a Gesetzer fir Algorithmen
Algorithmescht Skelett: Beim Rechen, algoritmesch Skeletter , oder Parallelism Muster , sinn en héijen Niveau parallel Programméierungsmodell fir parallel a verdeelt Rechen.
Algorithmesch Staatsmaschinn: D' Algorithmesch Staatsmaschinn ( ASM ) Method ass eng Method fir endlech Staatsmaschinnen (FSMs) z'entwerfen, déi ursprénglech vum Thomas E. Osborne op der University of California, Berkeley (UCB) zënter 1960 entwéckelt goufen, agefouert an ëmgesat zu Hewlett-Packard am Joer 1968, formaliséiert an zënter 1967 ausgebaut a geschriwwe vum Christopher R. Clare zënter 1970. Et gëtt benotzt fir Diagrammer vun digitalen integréierte Circuiten duerzestellen. Den ASM Diagramm ass wéi e Staatsdiagramm awer méi strukturéiert an doduerch méi einfach ze verstoen. En ASM Chart ass eng Method fir déi sequentiell Operatioune vun engem digitale System ze beschreiwen.
Algorithmesch Staatsmaschinn: D' Algorithmesch Staatsmaschinn ( ASM ) Method ass eng Method fir endlech Staatsmaschinnen (FSMs) z'entwerfen, déi ursprénglech vum Thomas E. Osborne op der University of California, Berkeley (UCB) zënter 1960 entwéckelt goufen, agefouert an ëmgesat zu Hewlett-Packard am Joer 1968, formaliséiert an zënter 1967 ausgebaut a geschriwwe vum Christopher R. Clare zënter 1970. Et gëtt benotzt fir Diagrammer vun digitalen integréierte Circuiten duerzestellen. Den ASM Diagramm ass wéi e Staatsdiagramm awer méi strukturéiert an doduerch méi einfach ze verstoen. En ASM Chart ass eng Method fir déi sequentiell Operatioune vun engem digitale System ze beschreiwen.
Algorithmeschen Handel: Algorithmesche Commerce ass eng Method fir Bestellungen auszeféieren mat automatiséierte virprogramméierten Handelsinstruktiounen déi Variabele wéi Zäit, Präis a Volumen ausmaachen. Dës Aart vum Handel probéiert d'Vitesse an d'Computational Ressourcen vun Computeren relativ zu mënschlechen Händler ze leeschten. Am 21. Joerhonnert huet den algoritmeschen Handel Zuchbéischt mat béiden Händler an institutionelle Händler gewonnen. Et gëtt vill vun Investitiounsbanken, Pensiounsfongen, géigesäitege Fongen, an Hedgefongen benotzt, déi eventuell d'Ausféierung vun enger méi grousser Uerdnung ausbreede mussen oder Handlungen ze séier fir mënschlech Händler reagéiere kënnen. Eng Studie am 2019 huet gewisen datt ongeféier 92% vum Handel am Forex Maart duerch Handelsalgorithmen anstatt Mënsche gemaach gouf.
Algorithmeschen Handel: Algorithmesche Commerce ass eng Method fir Bestellungen auszeféieren mat automatiséierte virprogramméierten Handelsinstruktiounen déi Variabele wéi Zäit, Präis a Volumen ausmaachen. Dës Aart vum Handel probéiert d'Vitesse an d'Computational Ressourcen vun Computeren relativ zu mënschlechen Händler ze leeschten. Am 21. Joerhonnert huet den algoritmeschen Handel Zuchbéischt mat béiden Händler an institutionelle Händler gewonnen. Et gëtt vill vun Investitiounsbanken, Pensiounsfongen, géigesäitege Fongen, an Hedgefongen benotzt, déi eventuell d'Ausféierung vun enger méi grousser Uerdnung ausbreede mussen oder Handlungen ze séier fir mënschlech Händler reagéiere kënnen. Eng Studie am 2019 huet gewisen datt ongeféier 92% vum Handel am Forex Maart duerch Handelsalgorithmen anstatt Mënsche gemaach gouf.
Algorithmeschen Handel: Algorithmesche Commerce ass eng Method fir Bestellungen auszeféieren mat automatiséierte virprogramméierten Handelsinstruktiounen déi Variabele wéi Zäit, Präis a Volumen ausmaachen. Dës Aart vum Handel probéiert d'Vitesse an d'Computational Ressourcen vun Computeren relativ zu mënschlechen Händler ze leeschten. Am 21. Joerhonnert huet den algoritmeschen Handel Zuchbéischt mat béiden Händler an institutionelle Händler gewonnen. Et gëtt vill vun Investitiounsbanken, Pensiounsfongen, géigesäitege Fongen, an Hedgefongen benotzt, déi eventuell d'Ausféierung vun enger méi grousser Uerdnung ausbreede mussen oder Handlungen ze séier fir mënschlech Händler reagéiere kënnen. Eng Studie am 2019 huet gewisen datt ongeféier 92% vum Handel am Forex Maart duerch Handelsalgorithmen anstatt Mënsche gemaach gouf.
Algorithmesch Konscht: Algorithmesch Konscht oder Algorithmus Konscht ass Konscht, meeschtens visuell Konscht, an där den Design vun engem Algorithmus generéiert gëtt. Algorithmesch Kënschtler ginn heiansdo Algoriste genannt .
Algorithmesch Viraussetzung: Algorithmesch Viraussetzung beschreift systematesch a widderhuelbar Feeler an engem Computersystem déi ongerecht Resultater kreéieren, wéi zum Beispill eng arbiträr Grupp vu Benotzer iwwer anerer privilegéieren. Bias ka wéinst ville Faktoren entstoen, abegraff awer net limitéiert op den Design vum Algorithmus oder den ongewollten oder onerwaarten Asaz oder Entscheedungen am Zesummenhang mat der Manéier wéi Date kodéiert, gesammelt, ausgewielt oder benotzt gi fir den Algorithmus ze trainéieren. Algorithmesch Viraussiicht gëtt iwwer Plattforme fonnt, abegraff awer net limitéiert op Sichmotorresultater a sozialen Medienplattformen, a kënnen Auswierkungen hunn, déi vun ongewollte Privatsphärverstouss reichen, fir sozial Viraussetzunge vu Rass, Geschlecht, Sexualitéit an Ethnie ze verstäerken. D'Studie vun algoritmesche Viraussiicht betrëfft am meeschte mat Algorithmen déi "systematesch an ongerecht" Diskriminéierung reflektéieren. Dës Viraussiicht gouf eréischt viru kuerzem a legale Kadere behandelt, wéi zum Beispill den Allgemeng Dateschutzreglement vun der Europäescher Unioun 2018. Méi ëmfaassend Regulatioun ass gebraucht well nei Schwellend Technologien ëmmer méi fortgeschratt an opak ginn.
Algorithmesch Komplexitéit: Algorithmesch Komplexitéit bezitt sech op: An der algoritmescher Informatiounstheorie ass d'Komplexitéit vun enger bestëmmter String a Bezuch op all Algorithmen déi se generéieren. Solomonoff-Kolmogorov – Chaitin Komplexitéit, déi am meeschte verbreet esou Mooss. An der Computational Komplexitéitstheorie, och wann et en net-formelle Gebrauch vum Begrëff wier, d'Zäit / Raum Komplexitéit vun engem bestëmmte Problem wat all Algorithmen ugeet, déi et mat computationalen Ressourcen léisen limitéiert duerch eng Funktioun vun der Input Gréisst. Oder et bezitt sech op d'Zäit / Raum Komplexitéit vun engem bestëmmten Algorithmus mat Bezuch op e bestëmmte Problem ze léisen, wat eng Notioun ass déi allgemeng an der Analyse vun Algorithmen fonnt gëtt.
Algorithmesch Komplexitéit: Algorithmesch Komplexitéit bezitt sech op: An der algoritmescher Informatiounstheorie ass d'Komplexitéit vun enger bestëmmter String a Bezuch op all Algorithmen déi se generéieren. Solomonoff-Kolmogorov – Chaitin Komplexitéit, déi am meeschte verbreet esou Mooss. An der Computational Komplexitéitstheorie, och wann et en net-formelle Gebrauch vum Begrëff wier, d'Zäit / Raum Komplexitéit vun engem bestëmmte Problem wat all Algorithmen ugeet, déi et mat computationalen Ressourcen léisen limitéiert duerch eng Funktioun vun der Input Gréisst. Oder et bezitt sech op d'Zäit / Raum Komplexitéit vun engem bestëmmten Algorithmus mat Bezuch op e bestëmmte Problem ze léisen, wat eng Notioun ass déi allgemeng an der Analyse vun Algorithmen fonnt gëtt.
Algorithmesch Komplexitéit Attack: En algoritmesche Komplexitéitsattack ass eng Form vu Computerattack déi bekannte Fäll ausnotzt an deenen en Algorithmus an engem Stéck Software benotzt gëtt am schlëmmste Fall Verhalen. Dës Zort Attack kann benotzt ginn fir en Denial-of-Service z'erreechen.
Kolmogorov Komplexitéit: An algoritmescher Informatiounstheorie ass d' Kolmogorov Komplexitéit vun engem Objet, wéi zum Beispill e Stéck Text, d'Längt vun engem kürzeste Computerprogramm deen den Objet als Output produzéiert. Et ass eng Moossnam vun de computationalen Ressourcen déi néideg sinn fir den Objet ze spezifizéieren, an ass och bekannt als algoritmesch Komplexitéit , Solomonoff – Kolmogorov – Chaitin Komplexitéit , Programmgréisst Komplexitéit , deskriptiv Komplexitéit oder algoritmesch Entropie . Et ass nom Andrey Kolmogorov benannt, deen éischt am Joer 1963 iwwer dëst Thema publizéiert huet.
Algorithmesch Zesummesetzung: Algorithmesch Kompositioun ass d'Technik fir Algorithmen ze benotze fir Musek ze kreéieren.
Algorithmesch Ofkillung: Algorithmesch Ofkillung ass eng algoritmesch Method fir Hëtzt vun e puer Qubits un anerer oder ausserhalb vum System an an d'Ëmwelt ze transferéieren, wat zu engem Ofkillungseffekt resultéiert. Dës Method benotzt regelméisseg Quanteoperatiounen op Ensembele vu Qubits, an et kann ugewise ginn datt et iwwer dem Shannon seng Bindung op Datekompressioun erfollegräich ass. De Phänomen ass e Resultat vun der Verbindung tëscht Thermodynamik an Informatiounstheorie.
Zersetzung (Informatik): Zersetzung an der Informatik, och bekannt als Faktoring , brécht e komplexe Problem oder System an Deeler, déi méi einfach sinn ze erfaassen, ze verstoen, ze programméieren an ze pflegen.
Generativen Design: Generative Design ass en iterativen Designprozess deen e Programm involvéiert deen eng gewëssen Unzuel vun Ausgänge generéiert déi gewësse Contrainten erfëllen, an en Designer deen déi realiséierbar Regioun ofstëmmt andeems Dir spezifesch Ausgab auswielt oder Inputwäerter, Reegele a Verdeelung ännert. Den Designer brauch kee Mënsch ze sinn, et kann en Testprogramm an engem Testëmfeld sinn oder eng kënschtlech Intelligenz, zum Beispill e generative géignerescht Netzwierk. Den Designer léiert de Programm mat all Iteratioun ze verfeineren, well hir Designziler besser mat der Zäit definéiert ginn.
Automatesch Differenzéierung: Zu Mathematik a Computer Algebra, automatesch dat (AD), och algorithmic dat genannt, computational dat, Auto-dat, oder einfach autodiff, ass eng Formatioun vun Techniken ze numerically der kuckt virdrun vun enger Funktioun diskutéieren vun engem Computer Programm uginn. AD exploitéiert de Fakt datt all Computerprogramm, egal wéi komplizéiert, eng Sequenz vun elementar arithmetesche Operatiounen an elementar Funktiounen ausféiert. Duerch d'Kettenregel ëmmer erëm op dës Operatiounen anzesetzen, kënnen Derivate vun arbiträrer Uerdnung automatesch berechent ginn, präzis op Aarbechtspräzisioun, a mat héchstens engem klenge konstante Faktor méi arithmetesch Operatioune wéi am Original Programm.
Algorithmesch Viraussetzung: Algorithmesch Viraussetzung beschreift systematesch a widderhuelbar Feeler an engem Computersystem déi ongerecht Resultater kreéieren, wéi zum Beispill eng arbiträr Grupp vu Benotzer iwwer anerer privilegéieren. Bias ka wéinst ville Faktoren entstoen, abegraff awer net limitéiert op den Design vum Algorithmus oder den ongewollten oder onerwaarten Asaz oder Entscheedungen am Zesummenhang mat der Manéier wéi Date kodéiert, gesammelt, ausgewielt oder benotzt gi fir den Algorithmus ze trainéieren. Algorithmesch Viraussiicht gëtt iwwer Plattforme fonnt, abegraff awer net limitéiert op Sichmotorresultater a sozialen Medienplattformen, a kënnen Auswierkungen hunn, déi vun ongewollte Privatsphärverstouss reichen, fir sozial Viraussetzunge vu Rass, Geschlecht, Sexualitéit an Ethnie ze verstäerken. D'Studie vun algoritmesche Viraussiicht betrëfft am meeschte mat Algorithmen déi "systematesch an ongerecht" Diskriminéierung reflektéieren. Dës Viraussiicht gouf eréischt viru kuerzem a legale Kadere behandelt, wéi zum Beispill den Allgemeng Dateschutzreglement vun der Europäescher Unioun 2018. Méi ëmfaassend Regulatioun ass gebraucht well nei Schwellend Technologien ëmmer méi fortgeschratt an opak ginn.
Algorithmesch Effizienz: An der Informatik ass algoritmesch Effizienz eng Eegeschafte vun engem Algorithmus dee sech op d'Quantitéit vu rechneresch Ressourcen bezitt déi vum Algorithmus benotzt ginn. En Algorithmus muss analyséiert ginn fir säi Ressourceverbrauch ze bestëmmen, an d'Effizienz vun engem Algorithmus kann op Basis vum Gebrauch vu verschiddene Ressourcen gemooss ginn. Algorithmesch Effizienz kann als analog mat Ingenieurproduktivitéit fir e Widderhuelungs- oder Kontinuéierprozess geduecht ginn.
Algorithmesch Entitéiten: Algorithmesch Entitéite bezéien sech op autonom Algorithmen déi ouni mënschlech Kontroll oder Amëschung funktionnéieren. Viru Kuerzem gëtt Opmierksamkeet op d'Iddi vun algoritmeschen Entitéite kritt, déi legal Perséinlechkeet kréien. De Professor Shawn Bayern an de Professor Lynn M. LoPucki populariséiert duerch hir Pabeieren d'Iddi fir algoritmesch Entitéiten ze hunn, déi legal Perséinlechkeet kréien an déi accordéiert Rechter a Flichten.
Kolmogorov Komplexitéit: An algoritmescher Informatiounstheorie ass d' Kolmogorov Komplexitéit vun engem Objet, wéi zum Beispill e Stéck Text, d'Längt vun engem kürzeste Computerprogramm deen den Objet als Output produzéiert. Et ass eng Moossnam vun de computationalen Ressourcen déi néideg sinn fir den Objet ze spezifizéieren, an ass och bekannt als algoritmesch Komplexitéit , Solomonoff – Kolmogorov – Chaitin Komplexitéit , Programmgréisst Komplexitéit , deskriptiv Komplexitéit oder algoritmesch Entropie . Et ass nom Andrey Kolmogorov benannt, deen éischt am Joer 1963 iwwer dëst Thema publizéiert huet.
Algorithmesch Viraussetzung: Algorithmesch Viraussetzung beschreift systematesch a widderhuelbar Feeler an engem Computersystem déi ongerecht Resultater kreéieren, wéi zum Beispill eng arbiträr Grupp vu Benotzer iwwer anerer privilegéieren. Bias ka wéinst ville Faktoren entstoen, abegraff awer net limitéiert op den Design vum Algorithmus oder den ongewollten oder onerwaarten Asaz oder Entscheedungen am Zesummenhang mat der Manéier wéi Date kodéiert, gesammelt, ausgewielt oder benotzt gi fir den Algorithmus ze trainéieren. Algorithmesch Viraussiicht gëtt iwwer Plattforme fonnt, abegraff awer net limitéiert op Sichmotorresultater a sozialen Medienplattformen, a kënnen Auswierkungen hunn, déi vun ongewollte Privatsphärverstouss reichen, fir sozial Viraussetzunge vu Rass, Geschlecht, Sexualitéit an Ethnie ze verstäerken. D'Studie vun algoritmesche Viraussiicht betrëfft am meeschte mat Algorithmen déi "systematesch an ongerecht" Diskriminéierung reflektéieren. Dës Viraussiicht gouf eréischt viru kuerzem a legale Kadere behandelt, wéi zum Beispill den Allgemeng Dateschutzreglement vun der Europäescher Unioun 2018. Méi ëmfaassend Regulatioun ass gebraucht well nei Schwellend Technologien ëmmer méi fortgeschratt an opak ginn.
Algorithmesch Spilltheorie: Algorithmesch Spilltheorie (AGT) ass e Gebitt an der Kräizung vun der Spilltheorie a Informatik, mam Zil Versteesdemech an Design vun Algorithmen a strategeschen Ëmfeld.
Regierung no Algorithmus: Regierung duerch Algorithmus ass eng alternativ Form vu Regierung oder sozialer Uerdnung, wou d'Benotzung vu Computer Algorithmen, besonnesch vu kënschtlecher Intelligenz a Blockchain, op Reglementer, Gesetzesvollstreckung, an allgemeng all Aspekter vum Alldag wéi Transport oder Landregistréierung applizéiert gëtt. De Begrëff 'Regierung duerch Algorithmus' koum an der akademescher Literatur als eng Alternativ fir 'algoritmesch Gouvernance' am Joer 2013. E verbonne Begrëff, algoritmesch Regulatioun ass definéiert wéi de Standard, d'Iwwerwaachung an d'Verännerung vum Behuelen mat Hëllef vu Berechnungsalgorithmen definéiert - Automatiséierung vun der Justiz a sengem Ëmfang.
Graftheorie: An der Mathematik ass d' Graftheorie d'Studie vu Grafiken , déi mathematesch Strukture sinn, déi benotzt gi fir pairvis Bezéiungen tëscht Objeten ze modelléieren. Eng Grafik an dësem Kontext besteet aus Wirbelen déi duerch Kante verbonne sinn . En Ënnerscheed gëtt gemaach tëscht ongeriicht Grafiken , wou Kante symmetresch zwee Wirbele verknëppelen, a riicht Grafike , wou Kante zwee Wirbelen asymmetresch verknäppen. Grafike sinn eent vun den Haaptobjete vun der Studie an der diskreter Mathematik.
Algorithmesch Léiertheorie: Algorithmesch Léiertheorie ass e mathematesche Kader fir d'Maschinnléiere vu Probleemer an Algorithmen ze analyséieren. Synonyme enthalen formell Léiertheorie an algoritmesch induktiv Inferenz . Algorithmesch Léiertheorie ass anescht wéi statistesch Léiertheorie, well se keng statistesch Viraussetzungen an Analyse benotzt. Béid algoritmesch a statistesch Léiertheorie beschäftege sech mat Maschinneléiere a kënnen also als Filialen vun der Computational Léiertheorie ugesi ginn.
Algorithmesch Inferenz: Algorithmesch Inferenz sammelt nei Entwécklungen an de statisteschen Inferenzmethoden, déi machbar gemaach gi vun de mächtege Rechenapparater, déi wäit fir all Datenanalytiker verfügbar sinn. Eckwäerter an dësem Beräich si Computational Learning Theorie, Granular Computing, Bioinformatik, a viru laanger Zäit, strukturell Probabilitéit. Den Haaptfokus ass op d'Algorithmen déi Statistiken ausrechnen déi d'Studie vun engem zoufällege Phänomen baséieren, zesumme mat der Unzuel vun Daten déi se musse fidderen zouverléisseg Resultater ze produzéieren. Dëst verleet d'Interesse vu Mathematiker aus der Studie vun de Verdeelungsgesetzer op déi funktionell Eegeschafte vun de Statistiken, an d'Interesse vu Computerwëssenschaftler aus den Algorithmen fir Daten ze verschaffen op d'Informatioun déi se verschaffen.
Algorithmesch Informatiounstheorie: Algorithmesch Informatiounstheorie (AIT) ass eng Branche vun der theoretescher Informatik déi sech mat der Bezéiung tëscht Berechnung an Informatioun vu berechbar generéiert Objeten beschäftegt, wéi Strings oder all aner Datestruktur. An anere Wierder, et gëtt an der algoritmescher Informatiounstheorie gewisen, datt berechnend Inkompressibilitéit d'Relatiounen oder Ongläichheeten, déi an der Informatiounstheorie fonnt goufen, "imitéiert". Geméiss dem Gregory Chaitin ass et "d'Resultat vun der Informatiounstheorie vum Shannon an der Computabilitéitstheorie vum Turing an e Cocktail Shaker a kräfteg gerëselt."
Algorithmesch Informatiounstheorie: Algorithmesch Informatiounstheorie (AIT) ass eng Branche vun der theoretescher Informatik déi sech mat der Bezéiung tëscht Berechnung an Informatioun vu berechbar generéiert Objeten beschäftegt, wéi Strings oder all aner Datestruktur. An anere Wierder, et gëtt an der algoritmescher Informatiounstheorie gewisen, datt berechnend Inkompressibilitéit d'Relatiounen oder Ongläichheeten, déi an der Informatiounstheorie fonnt goufen, "imitéiert". Geméiss dem Gregory Chaitin ass et "d'Resultat vun der Informatiounstheorie vum Shannon an der Computabilitéitstheorie vum Turing an e Cocktail Shaker a kräfteg gerëselt."
Onentscheedbar Problem: An der Computabilitéitstheorie an der Computatiounskomplexitéitstheorie ass en onentscheedbare Problem en Entscheedungsproblem fir deen et bewisen ass onméiglech ze sinn en Algorithmus ze konstruéieren deen ëmmer zu enger richteger Jo-oder-Nee-Äntwert féiert. Den Haltproblem ass e Beispill: et kann nogewise ginn datt et keen Algorithmus gëtt dee richteg bestëmmt ob arbiträr Programmer eventuell stoppen wann se lafen.
Algorithmeschen Handel: Algorithmesche Commerce ass eng Method fir Bestellungen auszeféieren mat automatiséierte virprogramméierten Handelsinstruktiounen déi Variabele wéi Zäit, Präis a Volumen ausmaachen. Dës Aart vum Handel probéiert d'Vitesse an d'Computational Ressourcen vun Computeren relativ zu mënschlechen Händler ze leeschten. Am 21. Joerhonnert huet den algoritmeschen Handel Zuchbéischt mat béiden Händler an institutionelle Händler gewonnen. Et gëtt vill vun Investitiounsbanken, Pensiounsfongen, géigesäitege Fongen, an Hedgefongen benotzt, déi eventuell d'Ausféierung vun enger méi grousser Uerdnung ausbreede mussen oder Handlungen ze séier fir mënschlech Händler reagéiere kënnen. Eng Studie am 2019 huet gewisen datt ongeféier 92% vum Handel am Forex Maart duerch Handelsalgorithmen anstatt Mënsche gemaach gouf.
Automatiséierte Journalismus: Am automatiséierte Journalismus , och bekannt als algoritmesche Journalismus oder Roboterjournalismus , ginn Nouvelleartikele vu Computerprogrammer generéiert. Duerch kënschtlech Intelligenz (AI) Software gi Geschichte automatesch vu Computere produzéiert anstatt vu mënschleche Reporter. Dës Programmer interpretéieren, organiséieren a presentéieren Daten op mënschlech liesbar Manéier. Typesch involvéiert de Prozess en Algorithmus dee grouss Quantitéiten u geliwwert Daten scannt, wielt aus engem Sortiment vu virprogramméierten Artikelstrukturen, bestellt Schlësselpunkten an setzt Detailer wéi Nimm, Plazen, Quantitéiten, Ranking, Statistiken an aner Figuren an. D'Ausgab kann och personaliséiert ginn fir eng gewësse Stëmm, Toun oder Stil ze passen.
ALGOL: ALGOL ass eng Famill vun onbedéngt Computerprogramméierungssproochen, déi ursprénglech am Joer 1958 entwéckelt goufen. ALGOL beaflosst staark vill aner Sproochen a war déi Standardmethod fir Algorithmusbeschreiwung benotzt vun der Association for Computing Machinery (ACM) a Léierbicher an akademesche Quelle fir méi wéi drësseg Joer.
Algorithmesch Léiertheorie: Algorithmesch Léiertheorie ass e mathematesche Kader fir d'Maschinnléiere vu Probleemer an Algorithmen ze analyséieren. Synonyme enthalen formell Léiertheorie an algoritmesch induktiv Inferenz . Algorithmesch Léiertheorie ass anescht wéi statistesch Léiertheorie, well se keng statistesch Viraussetzungen an Analyse benotzt. Béid algoritmesch a statistesch Léiertheorie beschäftege sech mat Maschinneléiere a kënnen also als Filialen vun der Computational Léiertheorie ugesi ginn.
Algorithmesch legal Uerdnung: Algorithmesch gesetzlech Uerdnung ka bezéien op: Regierung no Algorithmus Verdeelt Ledger Technologie Gesetz
Algorithmesch legal Uerdnung: Algorithmesch gesetzlech Uerdnung ka bezéien op: Regierung no Algorithmus Verdeelt Ledger Technologie Gesetz
Algorithmesch Logik: Algorithmesch Logik ass e Kalkül vu Programmer déi den Ausdrock vu semanteschen Eegeschafte vu Programmer mat passenden logesche Formelen erlaabt. Et bitt e Kader deen et erméiglecht d'Formelen aus den Axiome vu Programmkonstrukten ze beweisen wéi d'Aufgab, d'Iteratioun an d'Kompositiounsinstruktiounen a vun den Axiomen vun den Datestrukturen a Fro kuckt Mirkowska & Salwicki (1987), Banachowski et al. (1977).
Algorithmesche Mechanismus Design: Algorithmesche Mechanismus Design ( AMD ) läit op der Kräizung vun der wirtschaftlecher Spilltheorie, Optimiséierung a Informatik. De prototypesche Problem am Mechanismus Design ass e System fir verschidde selbstinteresséiert Participanten ze designen, sou datt d'Participanten hir selbstinteresséiert Handlungen am Gläichgewiicht zu gudder Systemleistung féieren. Typesch Ziler studéiert enthalen Akommesmaximiséierung a Sozialwuelmaximéierung. Algorithmesche Mechanismus Design ënnerscheet sech vum klassesche Wirtschaftsmechanismus Design a verschidde respektéierten. Et beschäftegt normalerweis d'analytesch Tools vun der theoretescher Informatik, wéi zum Beispill am schlëmmste Fall Analyse an Approximatiounsverhältnisser, am Géigesaz zum klassesche Mechanismus Design an der Wirtschaft, déi dacks Verdeelungsviraussoen iwwer d'Agente mécht. Et betruecht och Computatiounsbeschränkungen als zentral Bedeitung: Mechanismen déi net effizient an der polynomescher Zäit ëmgesat kënne ginn, ginn net als liewensfäeg Léisunge fir e Mechanismus Designprobleem ugesinn. Dëst regéiert zum Beispill dacks de klassesche wirtschaftleche Mechanismus, d'Vickrey – Clarke – Groves Auktioun.
Algorithmus: An der Mathematik an der Informatik ass en Algorithmus eng endlech Sequenz vu gutt definéierten, Computer implementéierbaren Instruktiounen, normalerweis fir eng Klass vu Probleemer ze léisen oder fir eng Berechnung ze maachen. Algorithme sinn ëmmer eendeiteg a ginn als Spezifikatioune benotzt fir Berechnungen, Datenveraarbechtung, automatiséiert Begrënnung an aner Aufgaben auszeféieren.
Algorithmesch Zesummesetzung: Algorithmesch Kompositioun ass d'Technik fir Algorithmen ze benotze fir Musek ze kreéieren.
Rechenzuelentheorie: An der Mathematik a Informatik, Rechenzuelentheorie , och bekannt als algoritmesch Zuelentheorie , ass d'Studie vu Rechemethoden fir Ënnersich an d'Léisung vu Probleemer an der Zuelentheorie an der arithmetescher Geometrie, abegraff Algorithmen fir Primalitéitstest a ganz Faktoriséierung, Léisunge fir diophantesch Gleichungen ze fannen, an explizit Methoden an der arithmetescher Geometrie. Computational Number Theorie huet Uwendungen op Kryptographie, inklusiv RSA, elliptesch Curve Kryptographie a Post-Quante-Kryptographie, a gëtt benotzt fir Vermutungen an oppe Probleemer an der Zuelentheorie z'ënnersichen, inklusiv d'Riemann Hypothese, d'Birch a Swinnerton- Dyer Vermutung, d'ABC Vermutung, d'Modularitéit Vermutung, d'Sato-Tate Vermutung, an explizit Aspekter vum Langlands Programm.
Algorithmesch Zuelentheorie Symposium: Algorithmic Number Theory Symposium (ANTS) ass eng biennal akademesch Konferenz, als éischt zu Cornell am Joer 1994 ofgehalen, en internationale Forum fir d'Presentatioun vun neie Fuerschungen an der Rechenzuelentheorie. Si si gewidmet fir algoritmesch Aspekter vun der Zuelentheorie, dorënner elementar Zuelentheorie, algebraesch Zuelentheorie, analytesch Zuelentheorie, Geometrie vun Zuelen, arithmetesch Geometrie, endlech Felder a Kryptographie.
Paart Handel: E Pairhandel oder Paarthandel ass eng Maartneutral Handelsstrategie déi Händler erlaabt vu praktesch all Maartbedingungen ze profitéieren: Uptrend, Downtrend oder Sideways Bewegung. Dës Strategie gëtt als statistesch Arbitrage a Konvergenz Handelsstrategie kategoriséiert. Pairhandel gouf vum Gerry Bamberger pionéiert a spéider vum Nunzio Tartaglia senger quantitativer Grupp bei Morgan Stanley an den 1980er geleet.
Algorithmescht Paradigma: En algoritmescht Paradigma oder Algorithmus Design Paradigma ass e generesche Modell oder e Kader deen den Design vun enger Klass vun Algorithmen ënnerläit. En algoritmescht Paradigma ass eng Abstraktioun méi héich wéi d'Notioun vun engem Algorithmus, sou wéi en Algorithmus eng Abstraktioun méi héich ass wéi e Computerprogramm.
Software Patent: E Softwarepatent ass e Patent op engem Software, wéi e Computerprogramm, Bibliothéiken, User Interface oder Algorithmus.
Software Patent: E Softwarepatent ass e Patent op engem Software, wéi e Computerprogramm, Bibliothéiken, User Interface oder Algorithmus.
Algorithmesch Präisser: Algorithmesch Präisser sinn d'Praxis automatesch de gefrote Präis fir Artikele fir ze verkafen ze setzen, fir de Profitt vum Verkeefer maximéieren.
Algorithmesch Wahrscheinlechkeet: An algoritmescher Informatiounstheorie ass algoritmesch Wahrscheinlechkeet , och bekannt als Solomonoff Wahrscheinlechkeet , eng mathematesch Method fir eng fréier Probabilitéit zu enger bestëmmter Observatioun z'erhalen. Et gouf vum Ray Solomonoff an den 1960er Joren erfonnt. Et gëtt an induktiver Inferenstheorie an Analysen vun Algorithmen benotzt. A senger allgemenger Theorie vun der induktiver Inferenz benotzt de Solomonoff de Prior kritt vun dëser Formel, an der Bayes Regel fir d'Prognose.
Algorithmus: An der Mathematik an der Informatik ass en Algorithmus eng endlech Sequenz vu gutt definéierten, Computer implementéierbaren Instruktiounen, normalerweis fir eng Klass vu Probleemer ze léisen oder fir eng Berechnung ze maachen. Algorithme sinn ëmmer eendeiteg a ginn als Spezifikatioune benotzt fir Berechnungen, Datenveraarbechtung, automatiséiert Begrënnung an aner Aufgaben auszeféieren.
Algorithmesche Programm Debuggen: Algorithmesch Debuggen ass eng Debugging-Technik déi d'Resultater vun Ënnerberechnunge vergläicht mat deem wat de Programméierer virgesinn hat. D'Technik konstruéiert eng intern Duerstellung vun alle Berechnungen an Ënnerberechnunge während der Ausféierung vun engem Buggy-Programm, a freet de Programméierer no der Richtegkeet vun esou Berechnungen. Duerch de Programméierer Froen ze stellen oder eng formell Spezifikatioun ze benotzen, kann de System präzis identifizéieren wou an engem Programm e Feeler ass. Debugging Techniken kënnen d'Zäit an d'Ustrengung fir Debuggen dramatesch reduzéieren.
Algorithmesch Radikaliséierung: D' algorithmesch Radikaliséierungshypothese ass d'Konzept datt Algorithmen op populäre soziale Mediesäite wéi YouTube a Facebook d'Benotzer Richtung progressiv méi extremen Inhalt mat der Zäit féieren, wat dozou féiert datt se zu extremistesche politeschen Usiichte radikaliséiert ginn.
Algorithmesch Radikaliséierung: D' algorithmesch Radikaliséierungshypothese ass d'Konzept datt Algorithmen op populäre soziale Mediesäite wéi YouTube a Facebook d'Benotzer Richtung progressiv méi extremen Inhalt mat der Zäit féieren, wat dozou féiert datt se zu extremistesche politeschen Usiichte radikaliséiert ginn.
Algorithmesch zoufälleg Sequenz: Intuitiv ass eng algoritmesch zoufälleg Sequenz eng Sequenz vu binäre Zifferen déi zoufälleg virkommen fir all Algorithmus deen op enger universeller Turing Maschinn leeft. De Begrëff kann analog op Sequenzen op all endlecht Alfabet applizéiert ginn. Zoufälleg Sequenzen si wichteg Objete vun der Studie an der algoritmescher Informatiounstheorie.
Reduktioun (Komplexitéit): A Computabilitéitstheorie a Computatiounskomplexitéitstheorie ass eng Reduktioun en Algorithmus fir ee Problem an en anert Problem ze transforméieren. Eng genuch effizient Reduktioun vun engem Problem op en anert ka benotzt ginn fir ze weisen datt den zweete Problem op d'mannst esou schwéier ass wéi deen éischte.
Algorithmesch Regulatioun: Algorithmesch Regulatioun ka bezéien op: Regierung no Algorithmus, Benotze vun Algorithmen a Regierung Reguléierung vun Algorithmen, Regelen a Gesetzer fir Algorithmen
Algorithmescht Skelett: Beim Rechen, algoritmesch Skeletter , oder Parallelism Muster , sinn en héijen Niveau parallel Programméierungsmodell fir parallel a verdeelt Rechen.
Stabilitéit (Léiertheorie): Stabilitéit , och bekannt als algoritmesch Stabilitéit , ass eng Notioun an der computationaler Léiertheorie wéi e Maschinneléieren Algorithmus duerch kleng Ännerunge vu sengen Inputen gestéiert gëtt. E stabile Léieralgorithmus ass ee fir deen d'Prognose net vill ännert wann d'Trainingsdate liicht geännert ginn. Zum Beispill, betruecht e Maschinneléieren Algorithmus deen trainéiert gëtt fir handgeschriwwe Buschtawen vum Alphabet ze erkennen, mat 1000 Beispiller vun handgeschriwwene Bréiwer an hiren Etiketten als Trainingsset. Ee Wee fir dësen Trainingsset z'änneren ass e Beispill ze loossen, sou datt nëmmen 999 Beispiller vun handgeschriwwene Bréiwer an hiren Etikette verfügbar sinn. E stabile Léieralgorithmus géif en ähnleche Klassifikateur mat béide 1000-Element an 999-Element Trainingssets produzéieren.
Algorithmesch Staatsmaschinn: D' Algorithmesch Staatsmaschinn ( ASM ) Method ass eng Method fir endlech Staatsmaschinnen (FSMs) z'entwerfen, déi ursprénglech vum Thomas E. Osborne op der University of California, Berkeley (UCB) zënter 1960 entwéckelt goufen, agefouert an ëmgesat zu Hewlett-Packard am Joer 1968, formaliséiert an zënter 1967 ausgebaut a geschriwwe vum Christopher R. Clare zënter 1970. Et gëtt benotzt fir Diagrammer vun digitalen integréierte Circuiten duerzestellen. Den ASM Diagramm ass wéi e Staatsdiagramm awer méi strukturéiert an doduerch méi einfach ze verstoen. En ASM Chart ass eng Method fir déi sequentiell Operatioune vun engem digitale System ze beschreiwen.
Héichniveau Synthese: Héichniveau Synthese ( HLS ), heiansdo bezeechent als C Synthese , elektronesch Systemniveau (ESL) Synthese , algoritmesch Synthese oder Verhalenssynthese , ass en automatiséierte Designprozess deen eng algoritmesch Beschreiwung vun engem gewënschte Behuelen interpretéiert an digital Hardware erstellt déi implementéiert dat Verhalen.
Tauschtert Zesummespill: Tacit Kollusioun ass eng Kollusioun tëscht Konkurrenten, déi net explizit Informatioun austauschen an en Accord iwwer d'Koordinatioun vum Behuelen z'erreechen. Et ginn zwou Aarte vun der roueger Zesummesetzung - konzertéierter Handlung a bewosst Parallelismus . An enger konzertéierter Aktioun, och als concertéiert Aktivitéit bekannt , tauschen d'Konkurrenten eng Informatioun aus ouni explizit Aggrement z'erreechen, wärend bewosst Parallelismus keng Kommunikatioun bedeit. A béiden Aarte vu schweierem Zesummespill sinn d'Konkurrenten averstanen eng gewësse Strategie ze spillen ouni et explizit ze soen . Et gëtt och als oligopolistesch Präiskoordinatioun oder schwéiere Parallallismus bezeechent .
Algorithmesch Technik: An der Mathematik a Informatik ass eng algoritmesch Technik eng allgemeng Approche fir e Prozess oder Berechnung ëmzesetzen.
Algorithmesch Technik: An der Mathematik a Informatik ass eng algoritmesch Technik eng allgemeng Approche fir e Prozess oder Berechnung ëmzesetzen.
Zäit Komplexitéit: An der Informatik ass d' Zäitkomplexitéit d'Berechnungskomplexitéit déi de Betrag vun der Computerzäit beschreift et brauch fir en Algorithmus auszeféieren. Zäitkomplexitéit gëtt allgemeng geschätzt andeems d'Zuel vun elementar Operatiounen duerch den Algorithmus gezielt gëtt, unzehuelen datt all elementar Operatioun eng fix Zäit brauch fir ze maachen. Dofir gëtt d'Zäit geholl an d'Zuel vun elementar Operatiounen, déi vum Algorithmus ausgefouert ginn, mat héchstens e konstante Faktor ënnerscheet.
Computational Topologie: Algorithmesch Topologie , oder Computational Topologie , ass en Ënnerfeld vun der Topologie mat enger Iwwerlappung mat Gebidder vun der Informatik, besonnesch der Computational Geometrie a Computational Complexity Theorie.
Algorithmeschen Handel: Algorithmesche Commerce ass eng Method fir Bestellungen auszeféieren mat automatiséierte virprogramméierten Handelsinstruktiounen déi Variabele wéi Zäit, Präis a Volumen ausmaachen. Dës Aart vum Handel probéiert d'Vitesse an d'Computational Ressourcen vun Computeren relativ zu mënschlechen Händler ze leeschten. Am 21. Joerhonnert huet den algoritmeschen Handel Zuchbéischt mat béiden Händler an institutionelle Händler gewonnen. Et gëtt vill vun Investitiounsbanken, Pensiounsfongen, géigesäitege Fongen, an Hedgefongen benotzt, déi eventuell d'Ausféierung vun enger méi grousser Uerdnung ausbreede mussen oder Handlungen ze séier fir mënschlech Händler reagéiere kënnen. Eng Studie am 2019 huet gewisen datt ongeféier 92% vum Handel am Forex Maart duerch Handelsalgorithmen anstatt Mënsche gemaach gouf.
Algorithmeschen Handel: Algorithmesche Commerce ass eng Method fir Bestellungen auszeféieren mat automatiséierte virprogramméierten Handelsinstruktiounen déi Variabele wéi Zäit, Präis a Volumen ausmaachen. Dës Aart vum Handel probéiert d'Vitesse an d'Computational Ressourcen vun Computeren relativ zu mënschlechen Händler ze leeschten. Am 21. Joerhonnert huet den algoritmeschen Handel Zuchbéischt mat béiden Händler an institutionelle Händler gewonnen. Et gëtt vill vun Investitiounsbanken, Pensiounsfongen, géigesäitege Fongen, an Hedgefongen benotzt, déi eventuell d'Ausféierung vun enger méi grousser Uerdnung ausbreede mussen oder Handlungen ze séier fir mënschlech Händler reagéiere kënnen. Eng Studie am 2019 huet gewisen datt ongeféier 92% vum Handel am Forex Maart duerch Handelsalgorithmen anstatt Mënsche gemaach gouf.
Algorithmesch Transparenz: Algorithmesch Transparenz ass de Prinzip datt d'Fakteuren, déi d'Entscheedunge vun Algorithmen beaflossen, siichtbar oder transparent solle si fir d'Leit, déi Systemer benotzen, reguléieren a betraff sinn, déi dës Algorithmen benotzen. Och wann de Saz am Joer 2016 vum Nicholas Diakopoulos a Michael Koliska iwwer d'Roll vun Algorithmen an der Entscheedung vum Inhalt vun digitale Journalismeservicer geprägt gouf, geet de Basisprinzip zréck an d'1970er an den Opstig vu automatiséierte Systemer fir Konsumentekreditter ze kréien.
Szemerédi Regularitéit Lemma: Dem Szemerédi säi Regularitéitslemma ass ee vun de mächtegsten Tools an extremer Graftheorie, besonnesch an der Studie vu groussen dichte Grafiken. Et seet datt d'Wirbelen vun all grouss genuch Graf kënnen an eng begrenzte Zuel vun Deeler verdeelt ginn, sou datt d'Kante tëscht verschiddenen Deeler sech bal zoufälleg behuelen.
Szemerédi Regularitéit Lemma: Dem Szemerédi säi Regularitéitslemma ass ee vun de mächtegsten Tools an extremer Graftheorie, besonnesch an der Studie vu groussen dichte Grafiken. Et seet datt d'Wirbelen vun all grouss genuch Graf kënnen an eng begrenzte Zuel vun Deeler verdeelt ginn, sou datt d'Kante tëscht verschiddenen Deeler sech bal zoufälleg behuelen.
Szemerédi Regularitéit Lemma: Dem Szemerédi säi Regularitéitslemma ass ee vun de mächtegsten Tools an extremer Graftheorie, besonnesch an der Studie vu groussen dichte Grafiken. Et seet datt d'Wirbelen vun all grouss genuch Graf kënnen an eng begrenzte Zuel vun Deeler verdeelt ginn, sou datt d'Kante tëscht verschiddenen Deeler sech bal zoufälleg behuelen.
Algorithmica: Algorithmica ass e monatlecht peer-reviewed wëssenschaftleche Journal fokusséiert op Fuerschung an d'Applikatioun vu Informatik Algorithmen. De Journal gouf am Joer 1986 gegrënnt a gëtt vu Springer Science + Business Media publizéiert. De Chefredakter ass de Ming-Yang Kao. Fachofdeckung enthält Sortéierung, Sich, Datestrukturen, Rechengeometrie a Linearprogramméierung, VLSI, verdeelt Rechenzäit, Parallelveraarbechtung, Computergestützt Design, Robotik, Grafik, Datebasis Design a Software Tools.
Algorithmus: An der Mathematik an der Informatik ass en Algorithmus eng endlech Sequenz vu gutt definéierten, Computer implementéierbaren Instruktiounen, normalerweis fir eng Klass vu Probleemer ze léisen oder fir eng Berechnung ze maachen. Algorithme sinn ëmmer eendeiteg a ginn als Spezifikatioune benotzt fir Berechnungen, Datenveraarbechtung, automatiséiert Begrënnung an aner Aufgaben auszeféieren.
Algorithmesch Konscht: Algorithmesch Konscht oder Algorithmus Konscht ass Konscht, meeschtens visuell Konscht, an där den Design vun engem Algorithmus generéiert gëtt. Algorithmesch Kënschtler ginn heiansdo Algoriste genannt .
Algorithmesch Zesummesetzung: Algorithmesch Kompositioun ass d'Technik fir Algorithmen ze benotze fir Musek ze kreéieren.
Onentscheedbar Problem: An der Computabilitéitstheorie an der Computatiounskomplexitéitstheorie ass en onentscheedbare Problem en Entscheedungsproblem fir deen et bewisen ass onméiglech ze sinn en Algorithmus ze konstruéieren deen ëmmer zu enger richteger Jo-oder-Nee-Äntwert féiert. Den Haltproblem ass e Beispill: et kann nogewise ginn datt et keen Algorithmus gëtt dee richteg bestëmmt ob arbiträr Programmer eventuell stoppen wann se lafen.
Algorithmesch zoufälleg Sequenz: Intuitiv ass eng algoritmesch zoufälleg Sequenz eng Sequenz vu binäre Zifferen déi zoufälleg virkommen fir all Algorithmus deen op enger universeller Turing Maschinn leeft. De Begrëff kann analog op Sequenzen op all endlecht Alfabet applizéiert ginn. Zoufälleg Sequenzen si wichteg Objete vun der Studie an der algoritmescher Informatiounstheorie.
Algorithmesch zoufälleg Sequenz: Intuitiv ass eng algoritmesch zoufälleg Sequenz eng Sequenz vu binäre Zifferen déi zoufälleg virkommen fir all Algorithmus deen op enger universeller Turing Maschinn leeft. De Begrëff kann analog op Sequenzen op all endlecht Alfabet applizéiert ginn. Zoufälleg Sequenzen si wichteg Objete vun der Studie an der algoritmescher Informatiounstheorie.
Rekursiv Sprooch: An der Mathematik, der Logik an der Informatik gëtt eng formell Sprooch rekursiv genannt wann et e rekursive Ënnersatz vum Set vun alle méigleche begrenzte Sequenzen iwwer dem Alphabet vun der Sprooch ass. Gläichwäerteg ass eng formell Sprooch rekursiv wann et eng total Turing Maschinn gëtt déi, wann se eng endlech Sequenz vu Symboler als Input kritt, se acceptéiert wann se zu der Sprooch gehéiert an se anescht ofleent. Rekursiv Sprooche ginn och decidabel genannt .
Onentscheedbar Problem: An der Computabilitéitstheorie an der Computatiounskomplexitéitstheorie ass en onentscheedbare Problem en Entscheedungsproblem fir deen et bewisen ass onméiglech ze sinn en Algorithmus ze konstruéieren deen ëmmer zu enger richteger Jo-oder-Nee-Äntwert féiert. Den Haltproblem ass e Beispill: et kann nogewise ginn datt et keen Algorithmus gëtt dee richteg bestëmmt ob arbiträr Programmer eventuell stoppen wann se lafen.
Algorithmien: Algorithmik ass déi systematesch Studie vum Design an Analyse vun Algorithmen. Et ass fundamental an ee vun den eelste Beräicher vun der Informatik. Et enthält Algorithmus Design, d'Konscht fir eng Prozedur ze bauen déi effizient e spezifesche Problem oder eng Klass vu Probleemer léise kann, algoritmesch Komplexitéitstheorie, d'Studie fir d'Härtheet vu Probleemer ze schätzen andeems d'Eegeschafte vum Algorithmus studéiert deen se léist, oder Algorithmus Analyse , d'Wëssenschaft fir d'Eegeschafte vun engem Problem ze studéieren, wéi d'Ressourcen an der Zäit an dem Gedächtnisraum ze quantifizéieren, dee vun dësem Algorithmus gebraucht gëtt fir dëse Problem ze léisen.
Algorithmics Inc.: Algorithmics war eng Toronto, Ontario baséiert Firma gegrënnt vum Ron Dembo déi Risikomanagement Software u Finanzinstituter zur Verfügung gestallt huet. Gegrënnt am Joer 1989, hunn Algorithmics iwwer 850 Leit an 23 weltwäite Büroe beschäftegt, a méi wéi 350 Clienten zerwéiert, dorënner 25 vun den 30 gréisste Banken op der Welt, an iwwer zwee Drëttel vum CRO Forum vu féierende Verséchereren.
Algorithmics Inc.: Algorithmics war eng Toronto, Ontario baséiert Firma gegrënnt vum Ron Dembo déi Risikomanagement Software u Finanzinstituter zur Verfügung gestallt huet. Gegrënnt am Joer 1989, hunn Algorithmics iwwer 850 Leit an 23 weltwäite Büroe beschäftegt, a méi wéi 350 Clienten zerwéiert, dorënner 25 vun den 30 gréisste Banken op der Welt, an iwwer zwee Drëttel vum CRO Forum vu féierende Verséchereren.
Sudoku Léisungsalgorithmen: E Standard Sudoku enthält 81 Zellen, an engem 9 × 9 Gitter, an huet 9 Këschten, all Këscht ass d'Kräizung vun den éischten, mëttleren oder leschten 3 Reien, an déi éischt, mëttel oder lescht 3 Kolonnen. All Zell kann eng Zuel vun engem bis néng enthalen, an all Zuel kann nëmmen eemol an all Zeil, Kolonn a Box optrieden. E Sudoku fänkt mat e puer Zellen mat Zuelen ( Indizien ) un, an d'Zil ass déi reschtlech Zellen ze léisen. Richteg Sudokus hunn eng Léisung. Spiller an Enquêteure benotzen eng breet Palette u Computeralgorithmen fir Sudokus ze léisen, hir Eegeschaften ze studéieren an nei Puzzelen ze maachen, dorënner Sudokus mat interessante Symmetrie an aner Eegeschaften.
Sudoku Léisungsalgorithmen: E Standard Sudoku enthält 81 Zellen, an engem 9 × 9 Gitter, an huet 9 Këschten, all Këscht ass d'Kräizung vun den éischten, mëttleren oder leschten 3 Reien, an déi éischt, mëttel oder lescht 3 Kolonnen. All Zell kann eng Zuel vun engem bis néng enthalen, an all Zuel kann nëmmen eemol an all Zeil, Kolonn a Box optrieden. E Sudoku fänkt mat e puer Zellen mat Zuelen ( Indizien ) un, an d'Zil ass déi reschtlech Zellen ze léisen. Richteg Sudokus hunn eng Léisung. Spiller an Enquêteure benotzen eng breet Palette u Computeralgorithmen fir Sudokus ze léisen, hir Eegeschaften ze studéieren an nei Puzzelen ze maachen, dorënner Sudokus mat interessante Symmetrie an aner Eegeschaften.
Algorithmus: An der Mathematik an der Informatik ass en Algorithmus eng endlech Sequenz vu gutt definéierten, Computer implementéierbaren Instruktiounen, normalerweis fir eng Klass vu Probleemer ze léisen oder fir eng Berechnung ze maachen. Algorithme sinn ëmmer eendeiteg a ginn als Spezifikatioune benotzt fir Berechnungen, Datenveraarbechtung, automatiséiert Begrënnung an aner Aufgaben auszeféieren.
Algorithmen-Aided Design (AAD): Algorithms-Aided Design (AAD) ass d'Benotzung vu spezifeschen Algorithmen-Editeuren fir beim Erstelle, Modifikatioun, Analyse oder Optimiséierung vun engem Design ze hëllefen. D'Algorithmen-Editeure sinn normalerweis mat 3D Modellerpakete integréiert a liesen e puer Programméierungssproochen, béid geschriwwen oder visuell. Den Algorithms-Aided Design erlaabt Designer d'Aschränkungen vun traditioneller CAD Software an 3D Computergrafiksoftware ze iwwerwannen, fir e Komplexitéitsniveau z'erreechen deen iwwer d'mënschlech Méiglechkeet ass mat digitale Objekter ze interagéieren. D'Akronym erschéngt fir d'éischt am Buch AAD Algorithms-Aided Design, Parametric Strategies using Grasshopper, publizéiert vum Arturo Tedeschi am Joer 2014.
Algorithmen (Journal): Algorithmen ass e monatlecht peer-reviewed Open-Access wëssenschaftleche Journal vun der Mathematik, deckt Design, Analyse an Experimenter op Algorithmen. D'Zäitschrëft gëtt vum MDPI publizéiert a gouf am Joer 2008 gegrënnt. De Grënner Chefredakter war de Kazuo Iwama. Vum Mee 2014 bis September 2019 war de Chefredakter Henning Fernau. Den aktuelle Chefredakter ass de Frank Werner.
Algorithmen (Journal): Algorithmen ass e monatlecht peer-reviewed Open-Access wëssenschaftleche Journal vun der Mathematik, deckt Design, Analyse an Experimenter op Algorithmen. D'Zäitschrëft gëtt vum MDPI publizéiert a gouf am Joer 2008 gegrënnt. De Grënner Chefredakter war de Kazuo Iwama. Vum Mee 2014 bis September 2019 war de Chefredakter Henning Fernau. Den aktuelle Chefredakter ass de Frank Werner.
Algorithmen + Datastrukturen = Programmer: Algorithmen + Datastrukturen = Programmer ass e 1976 Buch geschriwwen vum Niklaus Wirth dat e puer vun de fundamentale Sujete vun der Computerprogramméierung deckt, besonnesch datt Algorithmen an Datestrukturen u sech verbonne sinn. Zum Beispill, wann een eng sortéiert Lëscht huet, benotzt een e Sichalgorithmus optimal fir sortéiert Lëschten.
Kategorie: Wëssenschaftlech & Akademesch Verëffentlechung akademesch Zäitschrëften:
Kategorie: Wëssenschaftlech & Akademesch Verëffentlechung akademesch Zäitschrëften:
Kategorie: Wëssenschaftlech & Akademesch Verëffentlechung akademesch Zäitschrëften:
Algorithmesch Staatsmaschinn: D' Algorithmesch Staatsmaschinn ( ASM ) Method ass eng Method fir endlech Staatsmaschinnen (FSMs) z'entwerfen, déi ursprénglech vum Thomas E. Osborne op der University of California, Berkeley (UCB) zënter 1960 entwéckelt goufen, agefouert an ëmgesat zu Hewlett-Packard am Joer 1968, formaliséiert an zënter 1967 ausgebaut a geschriwwe vum Christopher R. Clare zënter 1970. Et gëtt benotzt fir Diagrammer vun digitalen integréierte Circuiten duerzestellen. Den ASM Diagramm ass wéi e Staatsdiagramm awer méi strukturéiert an doduerch méi einfach ze verstoen. En ASM Chart ass eng Method fir déi sequentiell Operatioune vun engem digitale System ze beschreiwen.
Algorithmen entlooss: Algorithmen entlooss ass e Buch vum Thomas H. Cormen iwwer d'Basisprinzipien an Uwendunge vu Computer Algorithmen. D'Buch besteet aus zéng Kapitelen, a beschäftegt sech mat den Themen Sich, Sortéierung, Basis Grafalgorithmen, Stringveraarbechtung, d'Grondlage vu Kryptographie an Datekompressioun, an eng Aféierung an d'Theorie vun der Berechnung.
Algorithmen a Kombinatorik: Algorithmen a Kombinatorik ass eng Buchserie an der Mathematik, a besonnesch an der Kombinatorik an dem Design an Analyse vun Algorithmen. Et gëtt vu Springer Science + Business Media publizéiert, a gouf am Joer 1987 gegrënnt.
SWAT a WADS Konferenzen: WADS , d' Algorithmen an d'Datenstrukturen Symposium , ass eng international akademesch Konferenz am Beräich vun der Informatik, déi sech op Algorithmen an Datestrukture fokusséiert. WADS gëtt all zweet Joer ofgehalen, normalerweis a Kanada an ëmmer an Nordamerika. Et gëtt ofwiesselnd mat senger Schwësterkonferenz, dem skandinavesche Symposium a Workshops iwwer Algorithm Theorie (SWAT) , déi normalerweis a Skandinavien an ëmmer an Nordeuropa ofgehale gëtt. Historesch goufen d'Prozedure vu béide Konferenze vum Springer Verlag duerch hir Virliesungsnotizen a Computer Science Serie publizéiert. De Springer verëffentlecht weider WADS Prozeduren, awer ugefaang am 2016, SWAT Prozedure ginn elo vum Dagstuhl duerch hir Leibniz International Proceedings in Informatics publizéiert.
SWAT a WADS Konferenzen: WADS , d' Algorithmen an d'Datenstrukturen Symposium , ass eng international akademesch Konferenz am Beräich vun der Informatik, déi sech op Algorithmen an Datestrukture fokusséiert. WADS gëtt all zweet Joer ofgehalen, normalerweis a Kanada an ëmmer an Nordamerika. Et gëtt ofwiesselnd mat senger Schwësterkonferenz, dem skandinavesche Symposium a Workshops iwwer Algorithm Theorie (SWAT) , déi normalerweis a Skandinavien an ëmmer an Nordeuropa ofgehale gëtt. Historesch goufen d'Prozedure vu béide Konferenze vum Springer Verlag duerch hir Virliesungsnotizen a Computer Science Serie publizéiert. De Springer verëffentlecht weider WADS Prozeduren, awer ugefaang am 2016, SWAT Prozedure ginn elo vum Dagstuhl duerch hir Leibniz International Proceedings in Informatics publizéiert.
Algorithmen fir Erhuelung an Isolatioun Exploitéiert Semantik: An der Informatik, Algorithmen fir Erhuelung an Isolatioun Exploitéieren Semantics , oder ARIES ass e Recuperatiouns Algorithmus entwéckelt fir mat engem no-force, klauen Datebank Approche ze schaffen; et gëtt vun IBM DB2, Microsoft SQL Server a villen aneren Datebanksystemer benotzt. IBM Fellow Dr. C. Mohan ass de primären Erfinder vun der ARIES Famill vun algo.
Algorithmen fir Erhuelung an Isolatioun Exploitéiert Semantik: An der Informatik, Algorithmen fir Erhuelung an Isolatioun Exploitéieren Semantics , oder ARIES ass e Recuperatiouns Algorithmus entwéckelt fir mat engem no-force, klauen Datebank Approche ze schaffen; et gëtt vun IBM DB2, Microsoft SQL Server a villen aneren Datebanksystemer benotzt. IBM Fellow Dr. C. Mohan ass de primären Erfinder vun der ARIES Famill vun algo.
Fortgeschratt Herzliewen Ënnerstëtzung: Fortgeschratt Herzliewenhëllef , oder fortgeschratt Kardiovaskulär Liewenshëllef , dacks mat sengem Akronym bezeechent, " ACLS ", bezitt sech op e Set vu klineschen Algorithmen fir déi dréngend Behandlung vu Häerzstëllstand, Schlaganfall, Häerzinfarkt an aner liewensgeféierlech kardiovaskulär Noutfäll. Ausser Nordamerika gëtt Advanced Life Support (ALS) benotzt.
Automatiséiert Planung a Planung: Automatiséiert Planung a Plängung , heiansdo als einfach AI Pläng bezeechent , ass eng Branche vun der künstlecher Intelligenz déi d'Realisatioun vu Strategien oder Handlungssequenzen betrëfft, typesch fir d'Ausféierung vun intelligenten Agenten, autonome Roboteren an onbemannt Gefierer. Am Géigesaz zu klassesche Kontroll- a Klassifikatiounsproblemer sinn d'Léisunge komplex a mussen am multidimensionalen Raum entdeckt an optimiséiert ginn. Planung ass och mat Entscheedungstheorie ze dinn.
Sënn: An der Mathematik ass de Sinus eng trigonometresch Funktioun vun engem Wénkel. De Sinus vun engem spidere Wénkel gëtt am Kontext vun engem richtegen Dräieck definéiert: fir de spezifizéierte Wénkel ass et d'Verhältnis vun der Längt vun der Säit déi vis-à-vis vun deem Wénkel ass, zu der Längt vun der längster Säit vum Dräieck. Fir e Wénkel , gëtt d'Sinusfunktioun einfach als .
Algorithmen fir d'Varianz ze berechnen: Algorithme fir d'Berechnung vun der Varianz spillen eng grouss Roll an der Berechnungsstatistik. E Schlësselschwieregkeet beim Entworf vu gudde Algorithmen fir dëse Problem ass datt Formelen fir d'Varianz Zomme vu Felder kënne bedeelegen, wat zu numerescher Instabilitéit wéi och zu arithmetesche Iwwerschwemmunge féiere kann, wa mat grousse Wäerter ze dinn hunn.
Causal Inferenz: Causal Inferenz ass de Prozess fir den onofhängegen, aktuellen Effekt vun engem bestëmmte Phänomen ze bestëmmen deen e Bestanddeel vun engem méi grousse System ass. Den Haaptunterschied tëscht kausalem Inferenz an der Inferenz vun der Associatioun ass datt d'kausal Inferenz d'Äntwert vun enger Effektvariabel analyséiert wann eng Ursaach vun der Effektvariabel geännert gëtt. D'Wëssenschaft firwat d'Saache optriede gëtt etiologesch genannt. Causal Inferenz gëtt gesot de Beweis vu Kausalitéit ze liwweren, déi duerch kausalem Raisonnement theoretiséiert gëtt.
Date Stream Clustering: An der Informatik gëtt Datestreamclusterung definéiert als Clustering vun Daten déi kontinuéierlech ukommen wéi Telefonsrecords, Multimedia Daten, Finanztransaktiounen asw. e gudde Clustering vum Stream ze bauen, mat engem klengen Undeel un Erënnerung an Zäit.
Faarf Kaart: Faarfmaartung (Fotografie) ass eng Funktioun déi d'Faarwe vun engem (Quell) Bild an d'Faarwe vun engem aneren (Zil) Bild Kaart (transforméiert). Eng Faarfkartéierung kann als Algorithmus bezeechent ginn deen zu der Kaartkaartfunktioun resultéiert oder dem Algorithmus deen d'Bildfaarwen transforméiert. Faarf androën ass och heiansdo Faarf Transfert oder, genannt wann Grostufen Biller sinn Équipe, Hellegkeet Transfermaart Funktioun (BTF); et kann och photometresch Kamera Kalibrierung oder radiometresch Kamera Kalibrierung genannt ginn .
Kombinatoresch Optimiséierung: Kombinatoresch Optimiséierung ass en Ënnerfeld vun der mathematescher Optimiséierung déi mat Operatiounsforschung, Algorithmustheorie a Berechnungskomplexitéitstheorie verbonnen ass. Et huet wichteg Uwendungen a verschiddene Beräicher, dorënner kënschtlech Intelligenz, Maschinn léieren, Auktiounstheorie, Software Ingenieur, ugewannt Mathematik an theoretesch Informatik.
Transitiv Zoumaache: An der Mathematik ass déi transitiv Zoumaache vun enger binärer Relatioun R op engem Set X déi klengst Relatioun op X déi R enthält an transitiv ass. Fir endlech Sätz kann "klengst" a sengem gewéinleche Sënn geholl ginn, déi mannst bezuelte Puer ze hunn; fir onendlech Sätz ass et den eenzegaartege minimale transitive Superset vu R.
Zefriddenheetsprobleem: Constraint Zefriddenheetsprobleemer ( CSPs ) si mathematesch Froen definéiert als eng Rei vun Objeten, deenen hire Staat eng Zuel vu Contrainten oder Aschränkunge muss erfëllen. CSPs representéieren d'Entitéiten an engem Problem als homogen Sammlung vu endleche Contrainten iwwer Variabelen, déi duerch Contraint Zefriddenheetsmethoden geléist gëtt. CSPs sinn de Sujet vun intensiver Fuerschung a kënschtlecher Intelligenz an Operatiounsforschung, well d'Regularitéit an hirer Formuléierung eng gemeinsam Basis bitt fir Probleemer vu ville scheinbar net-bezunnene Famillen ze analyséieren an ze léisen. CSPs weisen dacks héich Komplexitéit aus, a verlaangen eng Kombinatioun vun Heuristik a kombinatoresche Sichmethoden an enger raisonnabler Zäit ze léisen. Constraint Programming (CP) ass d'Feld vun der Fuerschung déi speziell op dës Zort vu Probleemer fokusséiert. Zousätzlech si boolesch Satisfiabilitéitsprobleem (SAT), d'Satisfiabilitéit Modulo Theorien (SMT), gemëschte Integer Programméierung (MIP) an Äntwert Set Programméierung (ASP) all Fuerschungsfelder déi sech op d'Resolutioun vu bestëmmte Forme vum Zwangszefriddenheetsprobleem fokusséieren.
Zefriddenheetsprobleem: Constraint Zefriddenheetsprobleemer ( CSPs ) si mathematesch Froen definéiert als eng Rei vun Objeten, deenen hire Staat eng Zuel vu Contrainten oder Aschränkunge muss erfëllen. CSPs representéieren d'Entitéiten an engem Problem als homogen Sammlung vu endleche Contrainten iwwer Variabelen, déi duerch Contraint Zefriddenheetsmethoden geléist gëtt. CSPs sinn de Sujet vun intensiver Fuerschung a kënschtlecher Intelligenz an Operatiounsforschung, well d'Regularitéit an hirer Formuléierung eng gemeinsam Basis bitt fir Probleemer vu ville scheinbar net-bezunnene Famillen ze analyséieren an ze léisen. CSPs weisen dacks héich Komplexitéit aus, a verlaangen eng Kombinatioun vun Heuristik a kombinatoresche Sichmethoden an enger raisonnabler Zäit ze léisen. Constraint Programming (CP) ass d'Feld vun der Fuerschung déi speziell op dës Zort vu Probleemer fokusséiert. Zousätzlech si boolesch Satisfiabilitéitsprobleem (SAT), d'Satisfiabilitéit Modulo Theorien (SMT), gemëschte Integer Programméierung (MIP) an Äntwert Set Programméierung (ASP) all Fuerschungsfelder déi sech op d'Resolutioun vu bestëmmte Forme vum Zwangszefriddenheetsprobleem fokusséieren.
Kontextuell Bildklassifikatioun: Kontextuell Bildklassifikatioun , en Thema vun der Mustererkennung an der Computersiicht, ass eng Approche vu Klassifikatioun baséiert op kontextueller Informatioun a Biller. "Kontextuell" heescht dës Approche konzentréiert sech op d'Bezéiung vun de nopere Pixel, déi och Quartier genannt gëtt. D'Zil vun dëser Approche ass d'Biller ze klassifizéieren mat der kontextueller Informatioun.
Kontrast Set Léieren: Kontrast Set Léieren ass eng Form vun Associatiounsregel Léieren, déi sënnvoll Differenzen tëscht getrennte Gruppen identifizéieren andeems se d'Schlësselprediktore identifizéieren, déi fir all bestëmmte Grupp identifizéieren. Zum Beispill, kritt e Set vun Attributer fir e Pool vu Studenten, e Kontrast Set Léier identifizéiert déi kontrastéierend Feature tëscht Studenten, déi Bachelorstudien sichen an déi, déi a PhD Grad schaffen.
Verstäerkung Léieren: Verstäerkungsléiere ( RL ) ass e Gebitt vu Maschinneléiere beschäftegt mat wéi intelligent Agenten Aktiounen an engem Ëmfeld maache musse fir de Begrëff vun der kumulativer Belounung maximéieren. Verstäerkung Léiere ass eng vun dräi Basis Maschinn Léiere Paradigmen, nieft iwwerwaacht Léieren an net iwwerwaacht Léieren.
Korrelatiounskluster: Clustering ass de Problem vun der Partitionéiere vun Daten Punkten a Gruppen op Basis vun hirer Ähnlechkeet. Korrelatiounscluster bitt eng Method fir e Set vun Objeten an déi optimal Zuel vu Cluster ze clusteréieren, ouni dës Zuel am Viraus ze spezifizéieren.
Zyklus Detektioun: An der Informatik ass Zykledetektioun oder Zyklusfannen den algoritmesche Problem fir en Zyklus an enger Sequenz vun iteratéierte Funktiounswäerter ze fannen.
Datenanalyse: Datenanalyse ass e Prozess fir Daten ze inspizéieren, ze botzen, ze transforméieren an ze modelléieren mam Zil nëtzlech Informatiounen ze entdecken, Conclusiounen z'informéieren an Entscheedungsprozess z'ënnerstëtzen. D'Datenanalyse huet verschidde Facetten a Approchen, déi ënnerschiddlech Techniken ënner verschiddene Nimm ëmfaassen, a gëtt a verschiddene Geschäfts-, Wëssenschaft- a Sozialwëssenschaftsdomäner benotzt. An der haiteger Geschäftswelt spillt d'Datenanalyse eng Roll fir Entscheedunge méi wëssenschaftlech ze maachen an de Betriber ze hëllefen méi effektiv ze bedreiwen.
Date Stream Clustering: An der Informatik gëtt Datestreamclusterung definéiert als Clustering vun Daten déi kontinuéierlech ukommen wéi Telefonsrecords, Multimedia Daten, Finanztransaktiounen asw. e gudde Clustering vum Stream ze bauen, mat engem klengen Undeel un Erënnerung an Zäit.
Demosaicing: En Demosaizéierungs Algorithmus ass en digitale Bildprozess dee benotzt gëtt fir e Vollfaarfbild aus der onvollstänneger Faarfproufproduktioun aus engem Bildsensor ze rekonstruéieren deen mat engem Faarffilter Array (CFA) iwwerdeckt ass. Et ass och bekannt als CFA Interpolatioun oder Faarfrekonstruktioun .
Häerzversoen: Häerzversoen ( HF ), och bekannt als congestive Herzinsuffizienz ( CHF ), ( congestive ) Herzinsuffizienz ( CCF ), an decompensatio cordis , ass wann d'Häerz net fäeg ass ze pompelen genuch fir de Bluttstroum z'erhalen fir dem Kierpergewebe seng Bedierfnesser gerecht ze ginn Metabolismus. Unzeeche an Symptomer vun Häerzversoen enthalen allgemeng Otemschwieregkeeten, exzessiv Middegkeet a Schwellung am Been. D'Ofkierzung ass normalerweis méi schlecht mat Bewegung oder beim Léien, a kann d'Persoun nuets erwächen. Eng limitéiert Fäegkeet fir ze trainéieren ass och eng gemeinsam Feature. Broscht Schmerz, abegraff Angina, tritt normalerweis net op wéinst Häerzversoen.
Distribuerte Beschränkungsoptimiséierung: Distribuerte Beschränkungsoptimiséierung ass déi verdeelt Analog zu Beschränkungsoptimiséierung. En DCOP ass e Problem an deem eng Grupp vun Agenten verdeelt Wäerter fir e Set vu Variabelen auswiele muss sou datt d'Käschte vun engem Set vu Contrainten iwwer d'Variabelen miniméiert sinn.