| 查看: 5863 | 回复: 29 | |||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||
[交流]
计算机方向研究形式化方法是不是比较难出sci文章啊？
|
|||
|
最近对形式化方法有点兴趣，比如模型检测，定理证明器等。但是查了国内几个牛人在这方面的文章，发现同样都是牛人，与研究机器学习和无线传感网络的牛人比起来，他们的文章不值一提，都没几篇sci，更不用谈ieee /acm transaction了。 听朋友还讲了一个故事，有一位教授研究了大概十年左右的形式化方法，因为实在没什么拿得出手的成果，所以就转到无线传感器网络了，结果三年搞下来，发了好几篇ieee /acm transaction。 所以我想请教研究形式化方法是不是发sci比较难？在现在这体制下不得不考虑这个因素啊，否则考核就麻烦了。 |
回复此楼» 猜你喜欢
各位大神，目前国内有哪些比较好用的逆合成软件？
已经有14人回复
-
国社科系统bug了，是不是要放榜了？
已经有10人回复
-
现代”学阀”该如何界定
已经有9人回复
-
课题组招2027级博士 上海工程技术大学 激光智能制造方向
已经有4人回复
-
上海工程技术大学 激光智能制造课题组 2027级博士研究生招生
已经有3人回复
-
上海工程技术大学激光智能制造课题组｜2027级博士研究生招生公告
已经有11人回复
-
申博发邮件
已经有11人回复
-
我的奶奶
已经有3人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 国家自然科学基金最新申报趋势领会与感想-特别是选题与创新
已经有33人回复
- 【求助/交流】SCI从入门到精通（转载）
已经有80人回复
- 管理理论每日谈更新
已经有65人回复
- 哪个专业方向投‘SCI最容易啊？？？？？？？？
已经有46人回复
- SCI论文从入门到精通（第一版）
已经有93人回复
21楼2013-05-06 10:32:00
2楼2011-11-19 22:55:39
3楼2011-11-19 23:00:04
5楼2011-11-20 22:30:47