adv

致长期以来一直关注solidot的海内外朋友,请点击这里查看。
程序
blackhat(19032)
发表于2012年04月19日 17时24分 星期四
来自++C
InfoWorld采访了数值计算程序设计语言 Julia的作者Karpinski。他表示新语言主要针对的是数字密集运算相关的应用,他本人的工作既涉及到线性代数又涉及到大量统计。线性代数的首选工具是Matlab,而统计方面的首选工具是R,它们各有所长,无法替代,也就是不能用Matlab做统计,用R语言从事线性代数计算。他创造Julia的意图就是能将两者合二为一,提高生产效率。它是一种动态语言,易于编程,编程模型简短,同时具有高性能,就像是数值计算中的C语言Julia语言实现支持Linux/OSX/FreeBSD,采用GPL许可。
数学
blackhat(19032)
发表于2012年04月17日 15时36分 星期二
来自狡辩
在美国(或全世界),司机在看到停车标志(Stop Sign)后必须停车,即使前面看不到任何车辆或行人。一些司机想出了一些招数应对停车标志,方法是先减速再加速,在停车标志前并不真停下来。这种半停车的做法不为大多数执法警官所接受。加州大学圣迭戈分校的物理学家Dmitri Krioukov就因为半停车而被罚400美元,然而他写了一篇论文为自己辩护,否认自己半停车,法官可能因为不想承认不太懂物理学而撤销了罚单。Krioukov的论文在4月1日递交到arXiv上,他的论点是,警官所处位置与他的汽车行驶路线垂直,他从远处观察汽车时会产生错觉,因为1)观察者测量的是角速度而不是线速度;2)从远处看汽车的减速和之后的加速相对较快;3)另一辆路过的大型汽车干扰了警官的视线,他辩解称当时短时间停车了。他的论证其实有漏洞,但罚单已撤销为时已晚。
数学
blackhat(19032)
发表于2012年04月13日 19时50分 星期五
来自浪费了推荐
你可能还记得三年前的Netflix电影推荐算法百万美元竞赛,获奖者是BellKor。然而Netflix并没有实现和采用获奖算法,尽管他们从开发者手中获得了源代码。官方博客解释了背后的原因——因为它的商业模式变了,电影租赁不再是其重点。 Netflix的商业模式逐渐从DVD租赁转向了在线流媒体。而推荐在线视频不同于推荐DVD租赁。观看在线视频的用户可以先随意浏览视频片段后做出即时观影决定,而DVD租赁则有时间差,因此客户的选择较为谨慎。他们在分析在线观影统计后发现获奖算法对Netflix不再管用。
数学
blackhat(19032)
发表于2012年04月05日 19时00分 星期四
来自最多人看法越全面
美国宪法规定刑事案件的陪审团人数必须有12人,或者他们的结论必须是一致同意。但在实际中,美国不同州的陪审团人数会有差异。选择12个人可能源自于威尔士Glamorgan国王Morgan,他在公元725年建立了一个审判陪审团,根据耶稣和十二门徒选择法官和陪审团人数。美国最高法院允许陪审团人数低于12,因此一些州出现了6人和9人陪审团,乔治亚州曾试图组建五人陪审团,但被最高法院拒绝了。布鲁克林学院数学家Jeff Suzuki研究了不同人数的陪审团在被告有罪或无罪情况下是否能做出正确判断。结果显示,当被告不太肯定有罪的情况下小型陪审团比大型陪审团更可能宣布有罪;在罪行确认无疑的情况下,所有类型的陪审团都能做出相差无几的有罪结论。例如,在被告80%可能性有罪,12人陪审团一致同意宣判有罪不到10%,但6人陪审团超过25%。
数学
blackhat(19032)
发表于2012年03月27日 09时32分 星期二
来自锻炼空间思维
16岁少年MaxSGB在Minecraft中创造出了一个能工作的科学图形计算器。说明一下,Minecraft是一个沙盒游戏,玩家可以在三维世界里用各种方块建造建筑物,游戏没有提供逻辑门等功能,但提供了名叫redstone dust的物体,可以当作电线使用,也就是说你必须用方块和redstone dust手动创造出逻辑门。整个工程浩瀚巨大,在游戏中它的外形也更像是一艘巨型宇宙飞船,大小超过5百万平方米。计算器提供了14种函数,二进制转十进制输出,十进制到二进制解码等功能。视频演示
数学
blackhat(19032)
发表于2012年03月22日 18时54分 星期四
来自遍历对垒
匈牙利数学家Endre Szemerédi因为对离散数学和理论计算机科学上的突出贡献而获得了2012年度阿贝尔数学奖 阿贝尔奖由挪威设立,是为了纪念挪威数学家Niels Henrik Abel,虽然年纪轻轻在27岁就去世了,但仍然在代数和分析方面做出了突破性工作。阿贝尔奖从2003年起由评奖委员会每年评选出百万美元大奖得主,今年的委员包括了陶哲轩。Szemerédi的研究领域主要是组合学和数论,他发现一个由离散元件构成的系统——可以想象WWW中由超链接串联起来的网页——即使是完全随机系统也存在结构。他最著名的成就是证明了Paul Erdös等人提出的难题,赢得了Erdös的一千美元。这篇论文被陶哲轩赞为杰作。年龄超过70岁的Szemerédi发表了约200篇论文。
数学
blackhat(19032)
发表于2012年03月21日 18时00分 星期三
来自隐形人
MPAA声称盗版导致美国经济损失580亿美元和失去373000个工作岗位,这些数字源自何处?Rob Reid在TED Talk上仔细剖析了这些数字,破解版权数学背后的数字迷思 RIAA在网站上公布了1973年以来的行业销售额,唱片业的销售额从1999年的146亿美元跌落到68亿美元——假设将约80亿美元的差额归咎于盗版,那么另外500亿美元是哪个行业?至于373000工作岗位,根据美国劳工统计局的统数字,2010-11年电影和视频行业总雇员数为361900人,1998年为270000人。而1999年唱片行业的总雇员数大约为22000人。如果真的失去373000个工作岗位,那么电影唱片行业就成“负人”了。
程序
blackhat(19032)
发表于2012年03月12日 18时25分 星期一
来自终结计算器
LastCalc是一个强大但易于使用的基于Web的计算器,结合了Google计算器、电子表格和函数语言的功能,借鉴了声明性语言如Prolog,它甚至能让用户编写从网络中网页上存取信息的函数。LastCalc有一个强大但友好的JQuery前端,支持实时语法高亮和在线帮助。为了加速开发,LastCalc作者Ian Clarke宣布GNU Affero General Public Licens许可证下开源。
数学
blackhat(19032)
发表于2012年03月11日 17时56分 星期日
来自经典的魅力就在于一遍遍重复游戏
科学家最近对视频游戏的计算复杂度产生了浓厚兴趣,发表了一系列相关论文。最新的论文由布鲁塞尔自由大学与MIT计算机科学和人工智能实验室的科学家发表在预印本网站上,他们发现许多经典游戏都包含一个NP-Hard问题,例如一些关卡要求玩家在正确的时间按键,要达到完美通关十分困难。研究结果发现,任天堂的经典游戏:Mario、Donkey Kong、Legend of Zelda、Metroid和Pokemon复杂度都是NP-Hard,Super Mario Bros1、3和Lost Levels、Super Mario World、除Zelda II: The Adventure of Link之外的塞尔达传说系列等游戏也都适用于该结果。
娱乐
blackhat(19032)
发表于2012年03月03日 20时40分 星期六
来自现在都不知道怎么计算积分了
BBC的一篇报导说,英国还有成百万人在挣扎着弄明白工资单、火车时刻表,或家庭账单上的数字。政府数据显示,英国一半的劳动人口只有小学水平的数学技能。研究显示,羸弱的数学技能与不幸的人生结果存在相关性,如入狱、失业、缀学、贫穷和长期患病。模仿英国识字基金会的英国识数基金会主席Chris Humphries是前英国就业和技能委员会执行董事,他表示,任何人如果说“我不会算数”真的是不可原谅,他们的目标是根除这种奇怪的英国疾病,他指出世界其它地方没有这种问题,英国只有15%的人在16岁后还继续学习数学,而大多数发达国家是50-100%。
数学
blackhat(19032)
发表于2012年02月26日 15时30分 星期日
来自挖掘后山寨
swuecho 写道 "腾讯赞助2012知识发现与数据挖掘挑战赛(KDD Cup 2012)。据大赛官网介绍,此次挑战涉及推荐系统和广告点击模式。另外,腾讯提供的数据量将是所有公开竞赛之最。此次竞赛的两个任务的奖金额度均为8000美元。 日程:3月1日,数据公布,3月15日,比赛正式开始。6月1日,结束。"
数学
blackhat(19032)
发表于2012年02月22日 17时42分 星期三
来自量子是PSPACE-hard
物理真的很难,计算机帮不上忙。想通过计算机解决作业的物理系学生,最好放弃这个念头,但至少他们不用担心自动化会抢走他们的饭碗。 物理学家对用数学公式描述一个系统的行为很感兴趣。举例来说,如果想寻找描述行星卫星运动的方程式,研究人员会先测量目标在不同点随时间的变化去计算出方程式,然后推而广之,应用于整个系统。然而问题是物理系统并不是静态的,而是动态变化的,新的变量会不断加入,每个新变量都要花更多时间去计算。量子物理学家Toby Cubitt 和同事在《物理评论快报》上发表论文,称从实验数据提取出动态方程式是NP-hard问题。他指出,任何物理系统都是一个动态方程式控制的,但要从任何数量的实验数据中识别出动态方程式却是一个NP-hard问题,不管系统是经典物理还是量子物理。
加密技术
blackhat(19032)
发表于2012年02月19日 21时45分 星期日
来自时间是短暂的
1955年,数学助理教授约翰·纳什给刚刚成立三年的美国国家安全局(NSA)寄去一封信函(PDF),描述了他设计的一种加密机器,看起来他们对此不是很感兴趣,但没人知道NSA有没有借鉴或参考纳什的设计。在信函中,纳什预言了计算复杂度理论和现代密码学。他还提出密码的安全性在于计算硬度,指出多项式时间和指数时间之间的区别。纳什称他提出的加密方法不可破解,但承认自己无法证明。哥德尔也在1956年寄给冯·诺依曼的信中预言了计算复杂度。RSA算法发明者之一的Ron Rivest已经实现了纳什的加密方法。
数学
blackhat(19032)
发表于2012年02月12日 21时10分 星期日
来自被剪成短发
当长发公主Rapunzel在高塔上垂下长发,它会如何摆动,看起来会像什么?这个问题你现在可以问物理学家了 英国剑桥大学和华威大学的物理学家在2月13日一期的《物理评论快报》上发表论文,提出用Rapunzel数计算长发形状的方程式,解释为什么有些人的辫子是长而细,而另一些人则是呈圆锥形。一个人的头上平均有10万根头发,一根根分析其形状、长度和质地太困难。研究人员利用统计力学,假设头发行为在整体上类似液体流动,距离越远密度越低。他们考虑了头发的刚度,重力作用和波浪状,代入描述对称纤维管能量的公式中,得出了“辫子形状公式”。
数学
blackhat(19032)
发表于2012年02月07日 19时00分 星期二
来自适合教育
2月8日,知识引擎Wolfram Alpha增加一个Pro选项,以每月4.99美元(学生优惠价2.99美元)向用户提供更强大的数据分析功能。付费服务允许用户上传图像、文件和个人数据,而不是非付费服务的文本输入。付费用户注册帐号后将能查看完整的查询历史,上传和下载,还可以进行标记。除此之外,付费版还提供了三种报告选项,任何图表都是可输出的,用户可定制任何图表或图形,并下载图像或其矢量文件。Wolfram Alpha Pro支持它提出的Computable Document Format(CDF)格式。
经典游戏
blackhat(19032)
发表于2012年01月27日 13时25分 星期五
来自幽灵躲不过
一位意大利研究员对复古游戏情有独钟,或者只是借科学名义玩游戏,他运用计算复杂性理论去判断经典的游戏究竟有多难论文发表在预印本网站上。 意大利比萨大学的Giovanni Viglietta研究了1980年到1998年之间的13款游戏,包括吃豆人(Pac-Man)、电子争霸战Tron,波斯王子、星际争霸、Lode Runner、Boulder Dash、Deflektor、Mindbender、Pipe Mania、Skweek、 Lemmings、Doom和Puzzle Bobble 3等。结果显示,吃豆人和星际争霸等是NP-Hard,波斯王子和Doom是PSPACE-hard。
数学
blackhat(19032)
发表于2012年01月20日 21时28分 星期五
来自丘成桐也得过
瑞典皇家科学院宣布了2012年度克拉福德奖(Crafoord Prize)获奖者,该奖项轮流授予数学、天文学、地球科学和生物科学学科领域的杰出贡献者,今年是数学和天文学。 今年的数学学科获奖者是:普林斯顿高等研究院的比利时数学家Jean Bourgain,加州洛杉矶分校(UCLA)的澳大利亚华裔数学家陶哲轩,两人都获得过菲尔茨奖(分别是在1994年和2006年)。陶哲轩最为知名的成就是在2004年与本·格林发表的Green-Tao Theorem,证明存在任意长的素数等差数列;以及压缩感知方面的创新研究。Bourgain的成就是证明了多个非线性偏微分方程的适定性结论,如量子力学薛定谔方程式和波动柯氏方程。天文学科获奖者为德国马克斯·普朗克外星生物物理研究院的Reinhard Genze和UCLA的Andrea Ghez,两人在超大质量黑洞研究上可谓一时瑜亮。
数学
blackhat(19032)
发表于2012年01月17日 19时50分 星期二
来自冲动和理性
安德烈·齐卡提洛(Andrei Chikatilo)是现代史上最著名的连环杀手之一,他承认在1978年到1990年之间至少杀死了52人,因大部分受害者均在罗斯托夫省遇害而被称为“罗斯托夫屠夫”。他在1990年被逮捕,1994年被枪决。他的谋杀似乎并无规律,有时长时间没有活动,有时在短时间内实施了多次谋杀。 加州洛杉矶分校的Mikhail Simkin和Vwani Roychowdhury建立数学模型,分析齐卡提洛的行为模式,发现谋杀的时间间隔分布遵循指数定理,指数为1.4。论文预印本(PDF)发表在arXiv.org。研究人员假设连环杀手的行为是受到大脑中某些神经元激活模式的触发,类似癫痫发作和精神病,促使杀手届时实施谋杀。但他们没有找到杀手神经兴奋会在达到一阈值后去进行谋杀的证据,因为杀手需要时间计划和准备实施犯罪,这种镇静效应推迟神经元活动降低到谋杀阈值以下,因而系列谋杀发生在超过阈值一段时间之后,这也能解释杀手在一系列谋杀后在长时间内不再活跃。
数学
blackhat(19032)
发表于2012年01月07日 14时00分 星期六
来自穷举
cl0ck 写道 "University College Dublin的三位数学家于1月1日在arXiv.org上发表了一篇关于数独研究的论文。他们设计了一种复杂算法,并通过超级计算机计算证明了数独已知数至少为17个时方可解,少于17个时则不具备条件获得唯一解。一般报纸上的数独都提供大约25个已知数字。"
数学
blackhat(19032)
发表于2012年01月06日 13时56分 星期五
来自xxx-2012
在美国爱荷华州共和党下届总统党内初选中,前马萨诸塞州州长罗姆尼(Mitt Romney)只比桑托勒姆(Rick Santorum)多八票而险胜(30015对30007),保罗(Ron Paul)第三。如果换算成百分比的话,罗姆尼的选票仅多出0.007%。统计学家认为罗姆尼和桑托勒姆实际上是平局。从统计学角度上不能说谁胜谁输,因为共和党党内初选,投票者是用复选标记或手写候选人名字方式投票,用手计票的错误率在0.5%至1%左右——多出八票没多少意义。如果重新计票的话,结果有可能会不同。