Parteciperò alla mia prima conferenza di informatica e dopo aver letto i consigli su come migliorare le conferenze ho notato che i vari suggerimenti riguardavano gli studenti laureati che frequentavano la loro prima conferenza. Che consiglio hai per uno studente laureato che frequenta la sua prima conferenza e quale dovrebbe …
Stavo leggendo questo . Dice ... Non ti ritroverai affamato di finanziamenti come Pure Mathematics. (Ti ritroverai sempre a morire di fame per il finanziamento.) ... Perché i puri matematici hanno bisogno di finanziamenti? (Ooops, la sua domanda mathoverflow) Perché qualcuno che fa ricerca teorica ha bisogno di finanziamenti? Penso …
Di recente ho insegnato agli espansori e introdotto la nozione di grafici Ramanujan. Michael Forbes ha chiesto perché sono chiamati in questo modo, e ho dovuto ammettere che non lo so. Chiunque?
Immagino di aver letto troppi ambiziosi documenti del CdR . Il problema è che tali articoli non sono sottoposti a revisione paritaria, ma spesso sembrano interessanti e superano i controlli di plausibilità di base. O forse no, e ho solo bisogno di migliorare i miei controlli di plausibilità. Ecco un …
Sto cercando un libro su strutture dati avanzate che vada oltre quanto descritto nei libri di testo standard come "Introduzione agli algoritmi" di Cormen, Leiserson, Rivest e Stein. Un libro che può essere utilizzato per insegnare un corso di laurea su strutture dati avanzate come Erik Demaine e il corso …
Nella sua risposta a questa domanda , Stephane Gimenez mi ha indicato un algoritmo di normalizzazione in tempo polinomiale per prove nella logica lineare. La prova nel documento di Girard usa reti di prova, che sono un aspetto della logica lineare di cui in realtà non so molto. Ora, ho …
Esistono molte applicazioni di analisi reale nell'informatica teorica, che coprono i test di proprietà, la complessità della comunicazione, l'apprendimento PAC e molti altri campi di ricerca. Tuttavia, non riesco a pensare a nessun risultato in TCS che si basi su analisi complesse (al di fuori del calcolo quantistico, in cui …
Oltre a diventare completamente accademico e ottenere un dottorato / post-dottorato, o andare per un lavoro più o meno "standard" nello sviluppo di software, quali sono alcune altre opzioni di carriera nel campo CS completo o semi-teorico?
Diamo un'occhiata al futuro tra circa 30 anni. Siamo ottimisti e supponiamo che le aree relative all'apprendimento automatico continuino a svilupparsi rapidamente come quelle che abbiamo visto negli ultimi 10 anni. Sarebbe fantastico, ma quale sarebbe il ruolo degli algoritmi tradizionali in un futuro simile? Qui con "algoritmi tradizionali" mi …
Da quello che ho capito (che è molto poco, quindi per favore correggimi dove sbaglio!), La teoria dei linguaggi di programmazione si occupa spesso di prove "intuizioniste". Secondo la mia interpretazione, l'approccio richiede che prendiamo sul serio le conseguenze del calcolo sulla logica e sulla dimostrabilità. Una prova non può …
Recentemente sto ricevendo i miei documenti respinti dalle riviste (cioè, TALG) sulla base del semplice fatto di non avere una differenza significativa tra la versione del diario e quella dei procedimenti (ovvero SODA). I motivi principali per cui mi sottopongo a un diario sono il suo accurato processo di revisione. …
Allo stato attuale, questa domanda non è adatta al nostro formato di domande e risposte. Ci aspettiamo che le risposte siano supportate da fatti, riferimenti o competenze, ma questa domanda probabilmente solleciterà dibattiti, argomenti, sondaggi o discussioni estese. Se ritieni che questa domanda possa essere migliorata e possibilmente riaperta, visita …
Mi chiedevo quali strumenti le persone in questo campo (informatica teorica) usano per creare presentazioni. Poiché gran parte dell'informatica non è solo scrivere articoli ma anche fare presentazioni, ho pensato che sarebbe stata una domanda delicata importante. Questo si ispira alla domanda precedente quali strumenti utilizzi per scrivere documenti . …
Nell'articolo "LA COMPLESSITÀ DEI PROBLEMI DI SODDISFAZIONE" di Thomas J. Schaefer, l'autore ha menzionato che This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The …
Si tratta di quanto efficacemente possiamo esprimere un algoritmo a portata di mano. Ho bisogno di questo per il mio insegnamento universitario. Capisco che non esiste un modo standard per scrivere uno pseudo codice. Autori diversi seguono convenzioni diverse. Sarebbe utile se le persone qui sottolineano, il modo in cui …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.