Pertanyaan yang diberi tag «soft-question»

Pertanyaan lunak adalah pertanyaan (mungkin subyektif) tentang bidang ilmu komputer teoretis yang bertentangan dengan pertanyaan dalam ilmu komputer teoretis.

3
Apa yang melibatkan penelitian dalam ilmu komputer teoretis?
Saya mencoba memahami apa yang terlibat dalam penelitian ilmu komputer teoretis. Apa yang dilakukan ilmuwan komputer teoretis? Saya tahu waktu yang signifikan dihabiskan untuk mengajar, mengawasi mahasiswa pascasarjana, melamar pendanaan, dan tugas departemen. Mengesampingkan mereka bagaimana Anda menghabiskan waktu penelitian Anda? Apa kegiatan utama yang biasanya Anda lakukan? Saya kira …
4
Penulis memesan dalam makalah TCS
Sementara aturan praktisnya adalah bahwa dalam makalah TCS penulis diperintahkan berdasarkan abjad, ada beberapa contoh tandingan yang muncul di benak, di mana penulis diperintahkan dengan cara yang berbeda, misalnya, Metode Aljabar untuk Sistem Bukti Interaktif [Lund, Fortnow, Karloff, Nisan] Metode untuk Mendapatkan Tanda Tangan Digital dan Cryptosystem Publik-Key [Rivest, Shamir, …
1
Bagaimana agregasi basis data membentuk monoid?
Pada cs.stackexchange saya bertanya tentang perpustakaan scala algebird di github, berspekulasi tentang mengapa mereka mungkin membutuhkan paket aljabar abstrak. Halaman github memiliki beberapa petunjuk: Implementasi Monoids untuk algoritme aproksimasi yang menarik, seperti filter Bloom, HyperLogLog, dan CountMinSketch. Ini memungkinkan Anda untuk memikirkan operasi canggih ini seperti jumlah Anda, dan menambahkannya …
3
Bukti ditemukan oleh komputer
Pada tahun 1996, masalah terbuka lama diselesaikan oleh komputer; yaitu, bahwa aljabar Robbins dan aljabar Boolean adalah sama. Buktinya ditemukan oleh teorema teorema otomatis. Selain itu, bukti teorema Four color yang diketahui mengandung komponen yang dihasilkan komputer. Tujuan dari pertanyaan ini adalah untuk membuat daftar bukti yang (sepenuhnya atau sebagian) …
5
Bagaimana menemukan topik penelitian tertentu untuk berkonsentrasi?
Saya baru saja memulai kursus master saya. Semester terakhir saya mengambil kursus dari berbagai disiplin ilmu seperti jaringan, rekayasa perangkat lunak, arsitektur, dll. Baru-baru ini, setelah mengambil kursus lanjutan dalam algoritma dan struktur data, saya pikir saya menemukan kursus yang paling menarik minat saya (termasuk topik serupa lainnya seperti bahasa …
6
Apa gunanya memanggil
Apa perbedaan memanggil -calculus sebagai aljabar dan bukannya kalkulus? Saya mengajukan pertanyaan ini karena saya membaca suatu baris " -calculus bukan kalkulus tetapi aljabar" (iirc, dikaitkan dengan Dana Scott). Apa intinya? Terima kasih.λλλ\lambdaλλ\lambda
2
Pameran untuk Museum Komputer
Semua museum dan pameran yang terkait dengan komputer yang saya sadari tampaknya hanya mencakup sejarah mesin komputasi, tetapi tidak membahas topik-topik ilmu komputer. Anda terlibat dalam pembuatan Museum Komputasi baru, disewa untuk mendidik, menghibur, dan menginspirasi masyarakat umum dalam beragam topik komputasi / ilmu komputer / komunikasi / matematika. Meskipun …
3
Di mana saya meminta bantuan untuk riset / penerbitan?
Saya telah mengembangkan algoritma SAT untuk sementara waktu, dan telah mencapai titik di mana saya ingin membagikannya. Saya tidak tahu banyak orang di bidang ilmu komputer, dan saya tidak yakin persis ke mana harus berpaling. Saya bertanya-tanya sumber daya apa yang tersedia untuk seseorang dengan algoritma yang sedang mempertimbangkan untuk …
2
Kolaborasi online besar-besaran untuk memecahkan masalah terbuka dalam ilmu komputer teoretis
Dalam proyek-proyek Polymath, sebuah kelompok besar mengerjakan masalah terbuka. Masalah apa yang tampaknya paling berhasil dalam kerangka kerja ini? Apakah ada kandidat yang baik untuk proyek polymath dalam ilmu komputer teoretis? Adakah kendala yang membuat proyek Polymath lebih kecil kemungkinannya untuk berhasil dalam ilmu komputer teoretis dibandingkan dengan bidang matematika …
1
Pengembangan PhD; Taktik Tinjauan Pustaka
Tidak yakin jika area yang benar, tapi begini. Memulai gelar PhD dalam Manajemen Kepercayaan dan Reputasi dalam jaringan Komunikasi (banyak teori grafik, analisis probabilitas, dll), dan memiliki banyak bacaan di depan saya. Adakah yang bisa menyarankan cara terbaik untuk mengelola bacaan akademis dan apa yang seharusnya saya perhatikan untuk tinjauan …
3
Catatan pengantar tentang paralelisasi, khususnya pola masalah dan algoritma
Saya mencari catatan Kuliah yang tersedia online atau sumber daya lain yang memberikan pengenalan yang baik ke pemrograman paralel, seperti analog paralel dari kelas dasar dalam ilmu komputer. Fokus saya adalah sebagai berikut: sementara saya dapat berbicara tentang divide & conquer, algoritma serakah, pemrograman dinamis dan sejenisnya, yaitu pola dasar …
2
Apakah register shift umpan balik linier pada umumnya tidak disarankan oleh ahli kriptologi?
Katz dan Lindell menyebutkan dalam buku mereka bahwa LFSR telah mengerikan sebagai dasar untuk generator pseudorandom, dan menganjurkan bahwa mereka tidak digunakan lagi (well, mereka juga merekomendasikan agar orang menggunakan cipher blok dan bukan stream cipher). Tapi saya melihat misalnya bahwa salah satu cipher dalam portofolio estream ( Grain , …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.