Un nuovo modo per aiutare le auto a guida autonoma a prendere decisioni più sicure sulla strada.
Shuhao Qi, Zengjie Zhang, Zhiyong Sun
― 6 leggere min
Informatica - Linguaggi formali e teoria degli automi
RSSArticoli più recenti
Ingegneria del softwareGenerazione automatica di prove per codice Rust
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu
― 5 leggere min
Teoria dei gruppiEsaminare l'appartenenza ai submonoid nei gruppi dei lampioni
Ruiwen Dong
― 7 leggere min
Basi di datiValutazione Efficiente di Query MSO su Stringhe
Pierre Bourhis, Florent Capelli, Stefan Mengel
― 4 leggere min
Linguaggi formali e teoria degli automiCapire gli automi finiti e le loro dinamiche
David Fernando Casas Torres
― 4 leggere min
RoboticaMigliorare la pianificazione dei compiti dei robot con il flusso della rete logica
Xuan Lin, Jiming Ren, Samuel Coogan
― 5 leggere min
Articoli più recenti
Un framework per capire meglio le catene di Markov complesse usando tecniche di astrazione e campionamento.
Benoît Barbot, Patricia Bouyer, Serge Haddad
― 7 leggere min
Esplora come il teorema cosmologico di Conway trasforma le sequenze numeriche attraverso la derivazione audioattiva.
Pierre Lairez, Aleksandr Storozhenko
― 5 leggere min
Esplorando metodi formali per garantire l'affidabilità delle tecnologie quantistiche.
Ittoop Vergheese Puthoor
― 5 leggere min
Uno sguardo a come la logica temporale influisce sulla tecnologia nella nostra vita quotidiana.
Shankara Narayanan Krishna, Khushraj Madnani, Agnipratim Nag
― 5 leggere min
Scopri come i dati sintetici possono migliorare l'analisi del comportamento dei dipendenti proteggendo la privacy.
Rakshitha Jayashankar, Mahesh Balan
― 5 leggere min
Uno sguardo a Hybrid Rebeca e al suo ruolo nella sicurezza dei sistemi intelligenti.
Saeed Zhiany, Fatemeh Ghassemi, Nesa Abbasimoghadam
― 5 leggere min
Una guida per classificare le coppie di configurazione e i loro comportamenti.
Prince Mathew, Vincent Penelle, Prakash Saivasan
― 5 leggere min
Scopri come le transazioni nel database garantiscono coerenza e efficienza dei dati.
Shabnam Ghasemirad, Christoph Sprenger, Si Liu
― 8 leggere min
Attribuire output dannosi dai modelli linguistici presenta sfide e rischi notevoli.
Manuel Cebrian, Jan Arne Telle
― 6 leggere min
Questo articolo parla dell'importanza di verificare i programmi quantistici prima del loro rilascio.
Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh
― 6 leggere min
Un nuovo metodo semplifica la comprensione degli automi a un contatore con meno domande.
Prince Mathew, Vincent Penelle, A. V. Sreejith
― 6 leggere min
Uno sguardo alle complessità dei modelli e delle lingue.
Dirk Nowotka, Max Wiedenhöft
― 7 leggere min
Impara a creare modelli software chiari da codice complesso.
P. H. M. van Spaendonck
― 7 leggere min
Uno sguardo a come i messaggi vengono inviati e ricevuti nella tecnologia.
Cinzia Di Giusto, Laetitia Laversa, Kirstin Peters
― 6 leggere min
Uno sguardo alle grammatiche a matrice semi-condizionale e al loro ruolo nella generazione del linguaggio.
Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman
― 5 leggere min
Le spiegazioni controfattuali aiutano a far luce sui problemi di sistema in tempo reale.
Bernd Finkbeiner, Felix Jahn, Julian Siber
― 7 leggere min
Esplora come i transformer possano modellare i comportamenti degli automi cellulari elementari.
Mikhail Burtsev
― 9 leggere min
Capire la crescita delle piante tramite algoritmi e sistemi L con potenziali applicazioni ampie.
Ali Lotfi, Ian McQuillan, Steven Rayan
― 6 leggere min
Scopri il rapporto affascinante tra frattali e equivalenza di Hölder.
Yunjie Zhu, Liang-yi Huang
― 6 leggere min
I ricercatori migliorano il coordinamento tra camion e scavatori nell'estrazione mineraria a cielo aperto.
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
― 7 leggere min
Scopri come le decomposizioni grafiche semplificano strutture complesse in vari ambiti.
Rutger Campbell, Bruno Guillon, Mamadou Moustapha Kanté
― 5 leggere min
Uno sguardo ai vari metodi per valutare la diversità della struttura linguistica.
Fermin Moscoso del Prado Martin
― 5 leggere min
Immergiti nel mondo unico delle serie di Hecke-Mahler e dei numeri trascendenti.
Florian Luca, Joel Ouaknine, James Worrell
― 5 leggere min
Le macchine apprendono i modelli linguistici usando probabilità e algoritmi avanzati.
Matías Carrasco, Franz Mayr, Sergio Yovine
― 6 leggere min
Scopri come i ninja comunicano e decidono azioni fondamentali in un ambiente dinamico.
Benno Lossin, Philipp Czerner, Javier Esparza
― 6 leggere min
Scopri come proteggere i sistemi industriali dagli attacchi informatici con nuovi metodi di sicurezza.
Arthur Amorim, Trevor Kann, Max Taylor
― 8 leggere min
Scopri come la tokenizzazione aiuta i computer a capire il linguaggio umano.
Philip Whittington, Gregor Bachmann, Tiago Pimentel
― 6 leggere min
Una spiegazione facile dei Sistemi di Aggiunta Vettoriale e delle sfide di raggiungibilità.
Yangluo Zheng
― 4 leggere min
Scopri come gli automi di parità decidono usando strategie giocose e strutture ad albero.
Olivier Idir, Karoliina Lehtinen
― 5 leggere min
Scopri il potere delle subparole e il loro impatto sulla lingua e sulla tecnologia.
Philippe Schnoebelen, Isa Vialard
― 7 leggere min
Scopri come la piegatura della carta rivela affascinanti modelli e proprietà matematiche.
Jeffrey Shallit
― 6 leggere min
Scopri le caratteristiche uniche e le applicazioni delle parole di Thue-Morse nella matematica e oltre.
M. Golafshan, M. Rigo, M. Whiteland
― 4 leggere min