h******u
发帖数: 155 | 1 1) pl作为非常基础理论的cs研究很难申请grant，目前pl研究都多多少少与其他一些
area搭界，比如software engineering和security。 pl本身研究范围也很广，从type
theory到program analysis到compiler都可以包括，所以每一个子领域都一些focus和
前沿的东西。
2）如上述，foundamental的东西已经被研究光了，现在多多少少target一些实际的问
题，而不是纯粹的理论研究 （e.g.,算法复杂度，compiler的优化等等）。 这些实际
问题包括debug，statically/dynamically自动发现某些类型的bug(say data race,
memory leak etc)
3）以下group是比较active 的， 比如
1. Stanford-Alex Aiken (constaint-based analysis), Monica Lam(program
analysis, with a bit system-oriented flavor)
2. Berkeley-Ras Bod |
|
j*****t
发帖数: 9 | 2 Mixed integer linear programming
with linear objectives and quadratic constaints.
Thanks. |
|
m*****e
发帖数: 126 | 3 Hi, I think you guys might not focus on the right problem. The
problem may have nothing to do with the security constaints on applet.
From the error message, it is clear that a cast failed. Depend on
the implemetation of the Virtual Machine, the URL's openConnection
method might return something different, which can not be casted to
HttpURLConnection. I suggest you use the abstract class URLConnection
instead of the subclass. It may solve the problem. |
|
g*****u
发帖数: 298 | 4 You are given:
M=3, N=4, and a memory block contains:
[1,2,3,4,5,6,7,8,9,10,11,12]
You need to change the memory block into
[9,5,1,10,6,2,11,7,3,12,8,4]
"In-place" means memory constaint is O(1). |
|
h*******d
发帖数: 272 | 5 大家好 不知道大家有没有做过类似的分析或是PROJECT 不知道能不能和我SHARE 一下
实例
一个课程的CASE STUDY 其实很简单 高中的数学 但我想用SAS 编程练习下 发现自己一
头雾水
老师给出一个表格 33个公司STOCK的：
1 名字
2 规模（大，中 小 国际）
3 平均回报率
4 RISK （beta）
然后就是常规的一些CONSTRAINTS： 比如 每个公司STOCK 投入的钱不超过多少
哪几个加起来不超过多少 某几个多于说少于多少 最后的回报至少多少
最后的OBJECT 就是 1 MAX RETURE (OR) 2 min RISK
我知道可以用SOLVER , LINDO 解LP 但是基本需要33个参数手工输入
SAS 的PROC LP 也是需要手工输入参数 而且似乎某些CONSTAINTS 比如 几个加起来的
在某个范围内 不知道怎么设
不知道大家有谁做过类似的PROJECT 没有 希望您能和我SHARE 一下实例分析
大家觉得我有必要用SAS 分析吗 我是转专业的 对数据分析感兴趣 我想 至少我可以放
在简历上 我目前的简历都是过去的实验室工 |
|
j*****t
发帖数: 9 | 6 Mixed integer linear programming
with linear objectives and quadratic constaints.
Any suggestion?
Thanks. |
|
n*****n
发帖数: 100 | 7 【 以下文字转载自 Quant 讨论区 】
发信人: nowoman (纵横江湖), 信区: Quant
标 题: 问一个在network 中Greedy algorithm的问题
发信站: BBS 未名空间站 (Mon Jan 28 16:00:23 2008)
比如任意一个network, 每条link上有两个cost=(a,b).现在我们要找一条路径 which,
minimize the sum of \sum (a_i) under the constaint of \sum (b_i) <= B. 在这
种情况下,如果我们想用greedy algorithm,该如何用呢?谢谢! |
|
n*****n
发帖数: 100 | 8 比如任意一个network, 每条link上有两个cost=(a,b).现在我们要找一条路径 which,
minimize the sum of \sum (a_i) under the constaint of \sum (b_i) <= B. 在这
种情况下,如果我们想用greedy algorithm,该如何用呢?谢谢! |
|
h*******d
发帖数: 272 | 9 大家好 不知道大家有没有做过类似的分析或是PROJECT 不知道能不能和我SHARE 一下
实例
一个课程的CASE STUDY 其实很简单 高中的数学 但我想用SAS 编程练习下 发现自己一
头雾水
老师给出一个表格 33个公司STOCK的：
1 名字
2 规模（大，中 小 国际）
3 平均回报率
4 RISK （beta）
然后就是常规的一些CONSTRAINTS： 比如 每个公司STOCK 投入的钱不超过多少
哪几个加起来不超过多少 某几个多于说少于多少 最后的回报至少多少
最后的OBJECT 就是 1 MAX RETURE (OR) 2 min RISK
我知道可以用SOLVER , LINDO 解LP 但是基本需要33个参数手工输入
SAS 的PROC LP 也是需要手工输入参数 而且似乎某些CONSTAINTS 比如 几个加起来的
在某个范围内 不知道怎么设
不知道大家有谁做过类似的PROJECT 没有 希望您能和我SHARE 一下实例分析
大家觉得我有必要用SAS 分析吗 我是转专业的 对数据分析感兴趣 我想 至少我可以放
在简历上 我目前的简历都是过去的实验室工 |
|
