Questions tagged «research-practice»

与理论研究的“实践”有关的问题

6
CS论文的实证结果
我是CS领域的新手,我注意到在我阅读的许多论文中,没有经验结果(没有代码,只是引理和证明)。这是为什么?考虑到计算机科学是一门科学,它是否应该遵循科学方法?

2
如何发表论文?
作为我生命中大部分时间的软件工程师,我绝对不知道如何开始发表“学术”类论文。在我的最新研究中,我发现了一个有趣的算法,可以解决我正在解决的任务(与金融市场的某些计算有关)。这不是一个很好的结果,但是我认为对于执行类似任务的人来说可能会很有趣,我希望将其发布。 我当然熟悉研究论文的风格,因为我在工作中广泛使用它们(这要感谢Google Scholar和那里所有的好人),而且我能够在Google上免费获取有关学术写作风格以及如何使用的手册使用LaTeX,我有很多数学家的朋友,他们会检查我的论文并帮助使其看起来更好。 但是我完全不知道下一步该怎么做!我不属于任何学术机构或知名研究机构,我在一家小型本地公司工作,很高兴能在某些论文上发表自己的名字,但这个名字不会对任何人说什么。我不知道有人在这方面做研究,我是说我从未与任何人交流过。 如何找到合适的寄纸地点?我是否需要某种推荐或评论,如何以及在哪里尝试获得它们?我的步骤是什么?..我意识到,如果您是专业的牙科学专家,那么所有这些对于您来说都是绝对显而易见的事情,但是我不知道从哪里开始:)


1
诉讼程序和日记本之间的必需增量
最近,我的论文被期刊(即TALG)拒绝,仅仅是因为期刊和论文集(即SODA)之间没有显着差异。 我提交期刊的主要原因是其全面的审查流程。除此之外,SODA的20页限制已足以满足我的所有需求。实际上,戴维·约翰逊(David Johnson)曾一再要求SODA人群不要“为期刊版本保留内容”。 有什么建议吗?

16
您使用什么工具进行演示?
我想知道该领域的人们(理论计算机科学)使用什么工具来创建演示文稿。由于大量计算机科学不仅在撰写论文,而且还在发表演讲,所以我认为这将是一个重要的软性问题。这是受到先前问题的启发的,您使用什么工具撰写论文。我见过的最常见的情况如下。 比默 Microsoft PowerPoint 胶乳 GraphViz 我想知道是否还有其他窍门?

5
用于协作的版本控制(带有单词级差异)?
现在,大多数论文都是协作编写的,而协作者通常位于不同的地方。我一直在文档和代码中使用版本控制系统,并且发现版本控制对于协作软件项目至关重要,但是从理论上讲,似乎许多研究人员都避免将其用于撰写联合论文。为了说服我的合作者,版本控制(修订控制)是一起工作的一个好主意,似乎有一些先决条件。 不可能强迫所有人担心换行符和段落的特定约定集,或者避免制表符/空格转换。 有人提供免费托管的小型共享文档存储库,并且具有可处理单词级差异(不是基于行)的文本文档友好版本控制吗? 如果没有,那么我将欢迎基于经验的其他建议(请避免猜测)。 我想到的是Git,Subversion,Mercurial,darcs或Bazaar,它们被设置为使用wdiff处理字级差异,以及一种设置公用密钥(例如,通过ssh)保护访问的简单方法。但是,我看过的版本控制提供程序似乎都没有提供这样的功能。对于科学合作,许多公司强调的“企业”功能不是很重要(分支机构,与trac集成,第三方审核,分层项目团队)。但是单词级差异似乎很关键,但却不受支持。以我的经验,使用文本文件的行级差异,每个人都必须避免重新格式化将选项卡更改为空格的段落和编辑器,反之亦然,这会导致问题;似乎还有许多虚假的编辑冲突。 请参阅MO上有关协作工具的相关问题,以及TeX.SE上有关LaTeX文档的版本控制和LaTeX软件包的版本控制的相关问题。另请参见SVN主机比较比较图表,以获取大量的主机提供程序列表,仅是主要版本控制系统之一。 编辑: Jukka Suomela对TeX.SE问题“ 最佳的可识别LaTeX的差异化和合并工具以进行颠覆 ” 的回答似乎是迄今为止最好的建议,涵盖了如何在字级上解释增量。此外,Jukka还解释了存储库端上连续版本之间的差异如何与用于冲突检测和更改合并的用户级别差异分开。Jukka在TeX.SE上的答案明确地排除了同时进行的编辑和合并,而是依靠传统的原子编辑令牌来避免编辑冲突。澄清(并修改)我的原始问题,是否有一种方法可以确保可以在单词差异的基础上而不是在行差异的基础上解决编辑冲突?换句话说,可以wdiff还是将类似的工具集成到版本控制工具的冲突检测部分中,以类似的方式可以忽略行尾差异和空格差异?

2
NP困难问题的NP硬度证明是否被认为是贡献?
我正在解决一个据称在[XYZ]中说在其他地方对NP困难的问题。[XYZ]中提供的NP硬度很复杂,并且使用了先进的技术。经过一些研究和工作,我成功地给出了NP硬度的简单明了的证明。我想知道这是否被视为贡献?我试图激励自己的工作,但没有找到类似的道路。 我不知道这是问的正确地方还是应该去学术界?


7
研究数据组织
这是精神问题这一个,我回答说,它跟踪你做了什么事,为什么你都做到了,什么是不工作是很重要的。我个人为此目的使用笔记本电脑,但它有几个缺点:首先,我需要大量的存储空间,其次,当我旅行时,我无法访问我的数据,最后,这不是协作的。但是,它有一个强项:笔记本可以像实验室笔记本一样使用(您只需要找人在每页上签名即可...)。 因此,我有兴趣了解其他研究人员如何进行此事。例如,是否有特定的软件可以解决我提到的所有问题?

1
订单维护问题(或“维护列表中的订单”)是为了支持以下操作: singleton:创建一个包含一个项目的列表,并返回指向它的指针 insertAfter:给定一个指向项目的指针,在其后插入一个新项目,并返回指向该新项目的指针 delete:给定指向项目的指针,将其从列表中删除 minPointer:给定两个指向同一列表中项目的指针,则返回更靠近列表前面的那个 我知道此问题的三种解决方案可以在摊销时间内执行所有操作。它们都使用乘法。O(1)O(1)O(1) Athanasios K. Tsakalidis:维护广义链表中的顺序 Dietz,P.,D. Sleator,两种用于维护列表顺序的算法 Michael A. Bender,Richard Cole,Erik D. Demaine,Martin Farach-Colton和Jack Zito,“维护列表中顺序的两种简化算法” 是否可以在摊销时间内以列表形式维护订单,而无需使用A C 0以外的任何算术运算?O(1)O(1)O(1)AC0AC0AC^0

1
算法设计和复杂性-如何以这种“方式”思考?
我的问题是一个普遍的问题:如何开始就算法设计和复杂性进行思考?我将选修算法设计研究生课程。我早些时候注册了它,但后来又放弃了,因为我跟不上它。我必须参加这门课程。 是否有以这种方式思考的“技巧”?我知道这是很粗略的说法,但有时以崭新的视角有助于以不同的方式思考一个主题。 我在本课程(和类似的理论课程)中遇到的主要问题是:我怎么知道我提出的解决方案是正确的?我发现理论部分是任意的,特别是当“证明”某种算法以某种方式起作用或表现时? 我们的课程将使用标准文本:CLRS算法简介。 是否有教科书/网站/书籍/等?可能提供一种在该领域变得自信的方法? 谢谢大家, 杰森·丹恩(Jason Dane)

1
是否有一本书/调查纸概述了语言类层次结构,闭包属性等
我目前正在进行一些形式语言研究,涉及的语言类别在Regular以上但在Context Free以下。我正在研究诸如反向绑定多计数器计算机,单堆栈计数器计算机,确定性CFL等之类的东西。 我想知道是否有人知道一本概述这些语言特性的好书或调查报告。我正在查看的大多数内容太晦涩或太新,以至于我在Hopcroft-Ullman的书中甚至是1979年版中都没有。 我主要是在寻找另一语言中包含哪些语言类,这些语言的闭包属性以及这些语言的基本问题(F问题)的可判定性。 我将在此参考资料中查找的一些示例: 逆向有界多计数器计算机是否接受所有语言,非逆向有界单计数器计算机是否接受语言? 确定性反转边界的MultiCounter语言是否在左右串联下关闭? 单柜台计算机的通用性是可决定的。 这些只是示例问题,我的日常工作中还有很多其他问题。 首先,我尝试追踪引用Oscar Ibarra的“反转界多计数器机器及其决策问题”的论文,但没有发现太多。

3
理论计算机科学的研究涉及什么?
我试图了解理论计算机科学研究的内容。理论计算机科学家做什么? 我知道大量时间用于教学,指导研究生,申请资金和部门职责。抛开它们,您如何度过研究时间?您通常从事哪些主要活动?我猜您正在阅读论文,进行思考,召开会议和撰写文件。还有其他吗?



By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.