Articoli più recenti per Informatica

Questo documento esamina la dimensione degli insiemi dominanti indipendenti nelle triangolazioni planari.

rFOM e srFOM migliorano l'efficienza nelle operazioni di funzioni matriciali con riciclaggio e sketching.

Un nuovo algoritmo semplifica la rappresentazione R1CS per una maggiore chiarezza ed efficienza dei ZKP.

Lo studio esamina le prestazioni del software FLASH sul sistema computer A64FX per simulazioni astrofisiche.

Esplorare come la normalizzazione del batch e la decadenza del peso influenzano l'addestramento delle reti neurali.

Uno sguardo su come ridurre la casualità negli algoritmi usando i ROBP regolari.

Esplora i grafi di Hamming e il loro significato in matematica e ricerca.

Un nuovo modello migliora il rilevamento di gruppi coesi in reti complesse.

Uno sguardo alla gestione della riservatezza e dell'integrità nei linguaggi di programmazione.

Scopri come le idee si diffondono attraverso le reti usando i concetti di grafi in fiamme.

Le grammatiche a precedenza ciclica degli operatori migliorano l'efficienza e la flessibilità del parsing nella programmazione.

Un nuovo metodo per insegnare i concetti di ownership di Rust migliora la comprensione degli studenti.

Esplorare l'impatto dei tensori sull'efficienza della programmazione dinamica.

Questa ricerca usa sistemi quantistici per risolvere problemi di ottimizzazione complessi come Max-Cut e MIS.

Un nuovo modo per semplificare la gestione delle risorse nelle applicazioni multi-thread.

Un nuovo modello migliora il modo in cui lavoriamo con il codice usando rappresentazioni intermedie.

Metodi per la certificazione locale di grafi d'intersezione geometrica usando certificati compatti.

Esplorando le complessità dei sistemi di spin e le loro implicazioni computazionali.

Un'esplorazione della formazione dei buchi neri attraverso modelli matematici e nuove tecniche.

Scopri come la quantizzazione rende i modelli AI più economici e facili da usare.

Metodi innovativi riducono l'uso di memoria nella programmazione semidefinita per dati in streaming.

Scopri come l'approssimazione delle feature casuali migliora i metodi a kernel nell'analisi dei dati.

I circuiti ciclici offrono un modo più efficiente per simulare le macchine a accesso casuale parallelo.

Esplora le proprietà dei grafi strettamente outerconfluenti e i loro parametri di larghezza.

La localizzazione dei guasti basata su mutazioni offre un nuovo modo per trovare bug nei DNN.

Questo articolo esamina l'efficacia delle tecniche quantistiche e classiche nella fattorizzazione degli interi.

Uno sguardo a come le reti di aggancio si espandono ed evolvono attraverso le connessioni.

Esplorare le strutture complesse della teoria delle categorie superiori e il loro significato nella matematica.

La ricerca si concentra sul migliorare la sicurezza dei messaggi durante condizioni di rete imprevedibili.

Ricerca su forme complesse che sfidano le metriche standard e le loro proprietà.

I LLM migliorano le prestazioni e l'efficienza del software nell'ottimizzazione del codice.

Scopri come la teoria delle approssimazioni semplifica funzioni complesse per usi pratici.

Un nuovo approccio all'embedding dei grafi migliora l'analisi dei dati attraverso concetti di forza fisica.

Esplorare il ruolo delle funzioni submodulari nelle variabili casuali sotto dipendenza negativa.

Un approccio strutturato per controllare le proprietà del sistema usando la Logica degli Alberi di Computazione.

Questo studio migliora le prestazioni delle SNN tenendo conto dei ritardi del segnale assonale.

Uno sguardo su come migliorare l'efficienza delle tabelle hash attraverso metodi di probing innovativi.

Uno sguardo a come P2LSG migliora l'efficienza del calcolo stocastico.

Scopri come il branch-and-bound affronta le sfide complesse della programmazione intera con tecniche innovative.

Il CDL aiuta a studiare permutazioni e disposizioni nelle scienze informatiche e sociali.