Articoli più recenti per Informatica

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.

I centri NV nei diamanti offrono vantaggi potenziali per il rilevamento e la comunicazione quantistica.

Le reti neurali migliorano le previsioni delle interazioni atomiche nella ricerca scientifica.

Uno sguardo ai computons e al loro ruolo nel separare i flussi di controllo e dati.

Nuove scoperte chiariscono l'efficienza della moltiplicazione di matrici sparse.

Tecniche innovative migliorano la simulazione delle onde in materiali poroelastici complessi.

Questo documento parla di una nuova variante della logica modale intuizionistica, la sua struttura e le sue applicazioni.

Esaminando i rischi di sicurezza degli eseguibili DNN contro attacchi di bit-flip.

Un metodo per migliorare il riconoscimento delle entità nominate nelle ricerche in cinese.

Una panoramica delle ipersuperfici pesate, razionalità e la loro importanza nella matematica.

Scopri i modelli matematici nel Solitario Bulgara e i suoi sorprendenti spunti.

I permutree mescolano caratteristiche degli alberi binari e delle permutazioni per rappresentare relazioni complesse.

Quest'articolo parla dell'algoritmo di Nesterov con regolarizzazione di Tikhonov per un'ottimizzazione efficace.

Nuovi metodi riducono gli errori di traduzione nei sistemi multilingue.

Scopri come le disposizioni dei dati influenzano le prestazioni e il ruolo degli algoritmi evolutivi.

Un nuovo metodo migliora l'equità nella rilevazione dei polipi del cancro colorettale.

Uno sguardo su come abilitare la preservazione della bisimilarità e il suo impatto sull'analisi dei processi.