Pertanyaan yang diberi tag «soft-question»

Saya akan menghadiri konferensi ilmu komputer pertama saya dan setelah membaca saran tentang cara meningkatkan konferensi, saya perhatikan beberapa saran tentang mahasiswa pascasarjana yang menghadiri konferensi pertama mereka. Apa nasihat yang Anda miliki untuk seorang mahasiswa pascasarjana yang menghadiri konferensi pertamanya dan apa yang seharusnya menjadi fokusnya.

25 soft-question  big-list  conferences 

Saya sedang membaca ini . Ia mengatakan ... Anda tidak akan mendapati diri Anda kelaparan karena pendanaan seperti Matematika Murni. (Anda akan selalu menemukan diri Anda kelaparan untuk pendanaan.) ... Mengapa matematikawan murni membutuhkan dana? Mengapa seseorang yang melakukan penelitian teoretis membutuhkan dana? Saya pikir alat perdagangan adalah kertas, pensil, …

25 soft-question  career 

Baru-baru ini saya mengajar ekspander, dan memperkenalkan gagasan grafik Ramanujan. Michael Forbes bertanya mengapa mereka dipanggil seperti ini, dan saya harus mengakui bahwa saya tidak tahu. Siapa saja?

25 graph-theory  soft-question  ho.history-overview  expanders 

Saya kira saya membaca terlalu banyak makalah KoRR yang ambisius . Masalahnya adalah bahwa kertas-kertas itu tidak ditinjau oleh rekan, tetapi sering terdengar menarik dan lulus pemeriksaan masuk akal dasar. Atau mungkin tidak, dan saya hanya perlu meningkatkan pemeriksaan masuk akal saya. Berikut adalah contoh terbaru dari makalah tersebut: Pohon …

24 soft-question  graph-isomorphism  paper-review  ppad 

Dalam jawabannya untuk pertanyaan ini , Stephane Gimenez menunjuk saya ke algoritma normalisasi waktu polinomial untuk bukti dalam logika linier. Buktinya dalam makalah Girard menggunakan jaring bukti, yang merupakan aspek dari logika linier yang sebenarnya saya tidak tahu banyak tentang itu. Sekarang, saya sudah mencoba membaca makalah tentang jaring bukti …

24 lo.logic  soft-question  pl.programming-languages  linear-logic 

Saya mencari buku tentang struktur data tingkat lanjut yang melampaui apa yang dicakup dalam buku teks standar seperti Cormen, Leiserson, Rivest, dan "Pengantar Algoritma" Stein. Sebuah buku yang dapat digunakan untuk mengajar kursus tingkat pascasarjana tentang struktur data tingkat lanjut seperti Erik Demaine dan kursus Struktur Data Lanjutan André Schulz …

24 soft-question  ds.data-structures  survey  books 

Ada banyak aplikasi analisis nyata dalam ilmu komputer teoretis, yang mencakup pengujian properti, kompleksitas komunikasi, pembelajaran PAC, dan banyak bidang penelitian lainnya. Namun, saya tidak dapat memikirkan hasil apa pun dalam TCS yang mengandalkan analisis kompleks (di luar komputasi kuantum, di mana bilangan kompleks adalah intrinsik dalam model). Adakah yang …

24 soft-question  big-picture 

Selain menjadi akademis sepenuhnya dan mendapatkan gelar doktor / post-dok, atau mencari pekerjaan yang lebih atau kurang 'standar' dalam pengembangan perangkat lunak, apa sajakah pilihan karir lain di bidang CS teoritis penuh atau semi teoretis?

24 soft-question  advice-request  career 

Mari kita lihat masa depan sekitar 30 tahun dari sekarang. Mari kita optimis dan berasumsi bahwa bidang yang terkait dengan pembelajaran mesin terus berkembang secepat apa yang telah kita lihat dalam 10 tahun terakhir. Itu akan bagus, tetapi kemudian apa yang akan menjadi peran algoritma tradisional di masa depan? Di …

23 ds.algorithms  soft-question  machine-learning 

Dari apa yang saya mengerti (yang sangat sedikit, jadi tolong perbaiki saya di mana saya salah!), Teori bahasa pemrograman sering berkaitan dengan bukti "intuitionistic". Dalam interpretasi saya sendiri, pendekatan itu menuntut kita untuk menganggap serius konsekuensi perhitungan logika dan kemampuan. Bukti tidak dapat ada kecuali ada algoritma yang membangun konsekuensi …

23 lo.logic  soft-question  pl.programming-languages  constructive-mathematics 

Saya baru-baru ini mendapatkan makalah saya ditolak dari jurnal (yaitu, TALG) atas dasar tidak memiliki perbedaan yang signifikan antara versi jurnal dan prosiding (yaitu, SODA). Alasan utama saya mengirimkan jurnal adalah proses peninjauannya yang menyeluruh. Selain itu, batas 20 halaman SODA lebih dari cukup untuk semua yang ingin saya katakan. …

23 soft-question  research-practice  conferences  journals 

Seperti yang ada saat ini, pertanyaan ini tidak cocok untuk format tanya jawab kami. Kami berharap jawaban didukung oleh fakta, referensi, atau keahlian, tetapi pertanyaan ini kemungkinan akan mengumpulkan debat, argumen, polling, atau diskusi panjang. Jika Anda merasa bahwa pertanyaan ini dapat diperbaiki dan mungkin dibuka kembali, kunjungi pusat bantuan …

23 soft-question  big-list  paper-review 

Saya bertanya-tanya alat apa yang digunakan orang di bidang ini (ilmu komputer teoretis) untuk membuat presentasi. Karena banyak ilmu komputer tidak hanya menulis makalah tetapi juga memberikan presentasi saya pikir ini akan menjadi pertanyaan lunak yang penting. Ini terinspirasi oleh pertanyaan sebelumnya alat apa yang Anda gunakan untuk menulis makalah …

23 soft-question  research-practice  writing 

Dalam makalah "KOMPLEKSITAS MASALAH KEPUASAN" oleh Thomas J. Schaefer, penulis telah menyebutkan bahwa 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 computer would …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

Ini tentang seberapa efektif kita dapat mengekspresikan suatu algoritma. Saya membutuhkan ini untuk pengajaran sarjana saya. Saya mengerti tidak ada yang namanya cara standar untuk menulis kode semu. Penulis yang berbeda mengikuti konvensi yang berbeda. Akan sangat membantu jika orang-orang di sini menunjukkan, cara mereka mengikuti dan berpikir yang terbaik. …

22 ds.algorithms  soft-question  advice-request  writing