Domande taggate «reference-request»

Domande che richiedono articoli in letteratura su questioni specifiche e ristrette.


4
Cos'è la ricorsione della coda?
Conosco il concetto generale di ricorsione. Mi sono imbattuto nel concetto di ricorsione della coda mentre studiavo l'algoritmo quicksort. In questo video dell'algoritmo di ordinamento rapido del MIT alle 18:30 secondi il professore afferma che si tratta di un algoritmo ricorsivo di coda. Non mi è chiaro cosa significhi davvero …


6
A che cosa servono gruppi, monoidi e anelli nei calcoli del database?
Perché un'azienda come Twitter dovrebbe essere interessata a concetti algebrici come gruppi, monoidi e anelli? Guarda il loro repository su github: twitter / algebird . Tutto quello che ho potuto trovare è: Implementazioni di Monoidi per algoritmi di approssimazione interessanti, come filtro Bloom , HyperLogLog e CountMinSketch . Questi ti …




1
Quali algoritmi di apprendimento automatico possono essere utilizzati per le previsioni sulle serie temporali?
Attualmente sto giocando con le previsioni delle serie storiche (in particolare per il Forex). Ho visto alcuni articoli scientifici sulle reti di stati ecologici che sono applicati alle previsioni Forex. Esistono altri buoni algoritmi di apprendimento automatico per questo scopo? Sarebbe anche interessante estrarre modelli "redditizi" dalle serie storiche.


2
Cosa significa "vera concorrenza"?
Sento spesso frasi come "vera semantica di concorrenza" e "equivalenze di vera concorrenza" senza riferimenti. Cosa significano quei termini e perché sono importanti? Quali sono alcuni esempi di vere equivalenze di concorrenza e quali sono le loro necessità? Ad esempio, in quali casi sono più applicabili di più equivalenze standard …





1
Distinguere la procedura decisionale rispetto al risolutore SMT rispetto al prover Teorema rispetto al risolutore Vincoli
Quelle terminologie mi confondono. Come capisco Risolutore SAT: decidere l'accuratezza della logica proposizionale (usando DPLL o Ricerca locale). La procedura di decisione è una procedura per decidere la soddisfacibilità di una certa teoria decidibile del primo ordine. Il risolutore SMT è un risolutore SAT + procedura decisionale. Il proverore del …

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.