タグ付けされた質問 「research-practice」

理論における研究の*実践*に関する質問CS

4
パーサー理論に関する良い本は?
私のJavaプロジェクトの1つはパーボイルドのフォークであり、AntlrやJavaCCなどとは異なり、パーサーは実行時に生成されます。生成された文法は、解析式文法、またはPEGです(別の用語は「packrat」です)。 ランタイム生成は複雑さを追加しますが(バイトコード生成が含まれます)、別の側面はパーサー理論自体に関連します。残念ながら、私にはコンピューターサイエンスの確かな背景がないため、既存のコードを既存の概念(この場合はパーサー)にマッピングするための理論的な知識が不足しています。 私の購入したり読んだりできるパーサーに関する優れた参考書や、インターネット上のリンクさえあれば、理論的な知識が足りないため、このような「マッピング」を構築するのに役立ちますか?

3
他の人の作業をarXivに提出する
これは、arXivでの非独創的な作業を提出するための専門家のベストプラクティスであると人々が考えることを確立することを目的とした、やさしい質問です。 RobertSzelepcsényiによるシカゴ大学のウェブスペースに記事のドラフト[1]があり、卒業研究中に10年以上前に書いたようです。仕事は正しいようで、いくつかの非常に小さなエラーを法として、シカゴ大学がそのウェブスペースで何をするつもりかとは無関係に、私が参照したい結果が含まれています。その単一の場所でのみ利用できるようです。そして彼の結果を複製する公的に利用可能な作品はないようです。 一部はその正確さを確保するために、その草案の結果と動機を要約して、本質的には[1]の要約であり、うまくいけば、既存のドラフト。私は確かにこれらのノートを自分のウェブスペースにオンラインで配置できますが、現時点では、arXivが将来の参考のためにこのドラフトを提出する最も責任のある場所のようです。 質問。 正しい帰属を仮定し、これらの結果が他の方法で広く利用できないことを前提として、arXivでSzelepcsényiの結果のドラフトを提出しない特別な理由はありますか? [1] 複合モジュラスを使用したLogspace MODクラス(暫定版) — Postscriptファイル



5
論文を書くのに十分な研究結果が得られたとき、および論文をどのジャーナルに投稿するかをどのように決定しますか
CSのいくつかの研究分野では、非常に興味深い結果が得られました。現在、それらの公開を検討しています。私たちのグループでは、哲学はすぐに小さなものを会議論文に掲載することですが、これは問題ありませんが、最善ではありません。現在、これらの「小さなもの」をさらに収集し、インパクトファクターが2を超えるJCR論文に掲載することを考えています。ここでの質問は、JCRジャーナルにまともな論文を作成するのに十分な資料がある場合、どのように決定するのですか?さらに、これが大丈夫だと思ったら、どのジャーナルに論文を投稿するかをどのように決めますか? PS: JCRはJournal Citation Reportsを参照します。JournalCitation Reportsは、すべての科学分野で最も代表的で関連性の高いジャーナルとその影響要因に関する情報を収集する広範なリストです。

1
技術記事と研究論文
プロのソフトウェアエンジニアである私は、非常に興味深い技術的な仕事をたくさん見ました。その多くは、技術ジャーナルやhttp://www.drdobbs.comやhttp://www.codeproject.comなどのWebサイトで技術記事として公開されています。その他の多くの場合、関心のあるいくつかの領域でのいくつかの例を以下に示します。 アルゴリズムのエンジニアリングと実装: http://www.codeproject.com/Articles/18113/KD-Tree-Searching-in-N-dimensions-Part-I http://www.codeproject.com/Articles/9021/Simple-and-fast-Huffman-coding http://www.drdobbs.com/cpp/sorting-an-immutable-list/240163397 http://www.codeproject.com/Articles/33781/Calculate-Percentiles-in-O-1-space-and-On-time データ構造: http://www.codeproject.com/Articles/43103/SlimList http://www.codeproject.com/Articles/2839/C-AVL-Tree-Template http://www.codeproject.com/Articles/9138/Fast-Binary-Tree-Operations http://www.codeproject.com/Articles/23198/C-String-Toolkit-StrTk-Tokenizer http://www.codeproject.com/Articles/11274/Implementing-a-memory-efficient-search-tree-for-a テキスト検索: http://www.codeproject.com/Articles/198236/Boolean-text-search-queries-and-their-processing http://www.codeproject.com/Articles/20423/N-gram-and-Fast-Pattern-Extraction-Algorithm オブジェクト指向および汎用プログラミング: http://www.codeproject.com/Articles/16006/Dynamic-Inheritance http://www.codeproject.com/Articles/19444/Interface-Detection http://www.codeproject.com/Articles/20085/Superior-container-classes-Smaller-faster-flexible http://www.drdobbs.com/cpp/theory-versus-practice-the-great-divide/240160938 データベースの最適化: http://www.codeproject.com/Articles/25728/Database-Virtual-Cursor リアルタイム処理: http://www.codeproject.com/Articles/224733/Shared-Queue このレベルの作業は、技術/エンジニアリングの観点から非常に革新的であると考えられています。 技術的な仕事は学術的な成果とみなすことができ、研究論文や技術記事に展開できるのでしょうか。 言い換えれば、技術論文はいつ、どの分野で研究論文として発表できるのですか?何か例は? ありがとう

1
パラメータをどのように覚えていますか?
私は現在、疑似ランダム性の研究を行っています。これには、疑似ランダムジェネレーター、ランダムネスエクストラクター、エキスパンダーグラフなどの素晴らしいオブジェクトの動物園が含まれます。関与。これらのオブジェクトは非常に複雑であることは理解していますが、「標準(α 、V 、ϵ 2、k 、δ )-疑似ランダムウィジェット...」と表示されたら、汗を流さずにはいられません。次に、紙を裏返すか、別の紙(おそらく別のパラメータ化を使用している)を見つけて、すべてのα 、V 、GGG(α,V,ϵ2,k,δ)(α,V,ϵ2,k,δ)(\alpha,V,\epsilon^2,k,\delta)および δはすべて意味します。α,V,ϵ,kα,V,ϵ,k\alpha,V,\epsilon,kδδ\delta 「良い」パラメーター設定と「悪い」パラメーター設定の比較、「自然な」設定と「簡単な」設定の感覚をつかむには、かなり時間がかかります。 おそらくこの問題に特効薬はありません-しかし、他の人が「パラメータ爆発」を管理して、より長期間メモリに保持しやすい方法があるかどうか疑問に思っていましたか? ありがとう!

3
理論Aと理論Bの交差点はありますか?
次の2つの質問で、理論Aと理論Bの起源と応用について教えてください。とTCSにおけるカテゴリー理論の確かなアプリケーション?、多くの人々が理論的なCSでこれらの2つの領域の分割についての知識と意見を共有しました。 私は、グラフ理論とカテゴリー理論の両方の経験を持つ数学の学生であり、それぞれ理論Aと理論Bの重要な数学的知識を持っています。理論CSについてさらに学び、おそらく真剣な研究を行うことを目指しています。理論Aと理論Bの間に交差があるかどうかに興味があります。ある場合、交差で何らかの作業を行った人がいますか、少なくともこのトピックに参照がありますか?

1
私の最初の出版物で誰かの論文を批評することは悪い考えですか?
どう対処したらよいかわからない状況です。 基本的に、この問題AAAます。問題AAAは過去555年間で話題になっています。昨年、論文は非常に評判の高いジャーナル(IEEE Transactions on Information Theory)に掲載され、問題の解決に使用される222サブアルゴリズムA1,A2A1,A2A_1, A_2で構成される新しいアルゴリズムが提案されました。アルゴリズムA1A1A_1は実行時の保証なしに最終的に収束することが示され(有限のステップ数で収束することが示されています)、A2A2A_2はO(n5)O(n5)O(n^5)をとることが示されました。 私の論文では、基本的にA1A1A_1をO(nlogn)O(nlog⁡n)O(n\log n)で正しく終了することが保証されている新しいアルゴリズムで置き換えているため、A2A2A_2からO(n6logn)O(n6log⁡n)O(n^6\log n)と組み合わせると全体的な時間の複雑さが増します。 ここまでは順調ですね。新しいアルゴリズムは非常に重要であり、問​​題に関する多くの新しい洞察を提供するので、私は論文が同じジャーナルに受け入れられることを確信しています。しかし、2週間前、私はすべてをまとめていて、アルゴリズムA2A2A_2別の読み取りとその証明を与えることにしました。そのとき私はいくつかの問題に直面しました。 その紙の証拠の1つは、修理を超えて不完全です。著者は非常に大きなジャンプをしました、そして私は彼が「証明した」定理が偽であることを本質的に示す反例を思い付きました。私は彼のアルゴリズムを修正しようとしましたが、できませんでした。そこで、彼の方法を使用して新しい視点からアプローチしてみましたが、問題のあるA2A2A_2代わる新しいアルゴリズムをなんとか手に入れましたが、O(n6)O(n6)O(n^6)で実行されていました。 A1,A2A1,A2A_1, A_2O(n6)O(n6)O(n^6)O(n5)O(n5)O(n^5)A2A2A_2 何か案は? O(nlogn)O(nlog⁡n)O(n\log n)
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.