科学网

 找回密码
  注册
科学网 标签 The

tag 标签: The

相关帖子

版块 作者 回复/查看 最后发表

没有相关内容

相关日志

The Scientist daily December 16, 2009 2009年12月17日(星期四) 01:01
xupeiyang 2009-12-17 07:45
If you're having trouble viewing this message please visit: http://www.the-scientist.com/daily/2009/12/16/ December 16, 2009 Cancer genomes sequenced The most complete sequences to date for two cancer cell lines provide a starting point for seeking causal mutations By Jef Akst A windfall year at NIH We take a look back at scientists and fields of research that scored big this year By Bob Grant A legal challenge to animal research Animal rights law courses may threaten the use of animals in medical research By P. Michael Conn McCain's porky tweets The Arizona senator is at it again, railing against what he calls pork barrel earmark projects, several of which involve biomedical research. Is he right? By The Scientist Community Fake blood 2.0? Newly created synthetic particles that mimic red blood cells may one day carry drug molecules and/or oxygen through bloodstreams By Bob Grant 27 more hESC lines approved The total number of approved human embryonic stem cell lines is now double the number approved under the previous administration By Jef Akst Scientist to Watch Beth Shapiro By Victoria Stern 2009 in review A month-by-month timeline of some key events affecting US life science this year By Alla Katsnelson QA: Copenhagen's united front Why the developing world is coming together against climate change By Katherine Bagley New hope for EU patent plan A planned redesign of the European patent system, announced this month, could be a boon to biotech By Edyta Zielinska Technicolor doo-doo An out-of-the-ordinary design project blends synthetic biology and human necessity to glimpse the future of self diagnosis By Ariel Bleicher Subsidized science This company uses revenue from premium services offered to the wealthy to fund risky RD By Alissa Poh In science we trust A group of summer camps has kids pondering their places in the universe using logic, not faith By Bob Grant One gene keeps ovaries female Knocking down a single gene in an adult mouse makes ovaries develop the characteristics of a male gonad By Edyta Zielinska
个人分类: 开放获取|1453 次阅读|0 个评论
The New England Journal of Medicine, December 17, 2009 2009年12月17日(星期四) 06:46
xupeiyang 2009-12-17 07:39
Volume 361 Number 25 December 17, 2009 This Week in the Journal Listen to This Week's Audio Summary Submit Answer Perspective Original Articles Review Article Images in Clinical Medicine Interactive Medical Case Case Records of the Massachusetts General Hospital Editorials Sounding Board Clinical Implications of Basic Research Correspondence Continuing Medical Education Searchthe Journal NOW AT NEJM.ORG Interactive Medical Cases NEW Painful Purple Toes Test your skill with the fourth in our new series of Interactive Medical Cases, Painful Purple Toes . Direct the investigation and select the treatment for a 57-year-old man who presents with painful purple toes. Learn interactively, get immediate feedback, and compare your performance with that of others. Try the new case now . Perspective Rallying the Caucus The Democrats Struggle for Unity on Reform J.K. Iglehart ONLINE ONLY Free Full Text Uncomfortable Arithmetic Whom to Cover versus What to Cover K. Baicker and A. Chandra ONLINE FIRST Free Full Text Ending End-of-Life Phobia A Prescription for Enlightened Health Care Reform B.W. Corn ONLINE ONLY Free Full Text Health Care Reform A Republican View C. Grassley Free Full Text The Consequences of No A.L. Kellermann and L.S. Lewin Free Full Text Leveling the Field Ensuring Equity through National Health Care Reform B. Siegel and L. Nolan Free Full Text Original Articles top Response to a Monovalent 2009 Influenza A (H1N1) Vaccine M.E. Greenberg and Others Free Full Text A Novel Influenza A (H1N1) Vaccine in Various Age Groups F.-C. Zhu and Others Free Full Text CME Exam Trial of 2009 Influenza A (H1N1) Monovalent MF59-Adjuvanted Vaccine T.W. Clark and Others Free Full Text Ferric Carboxymaltose in Patients with Heart Failure and Iron Deficiency S.D. Anker and Others CME Exam MMP12, Lung Function, and COPD in High-Risk Populations G.M. Hunninghake and Others ONLINE FIRST Free Full Text Genomewide Association Study of Leprosy F.-R. Zhang and Others ONLINE FIRST Free Full Text Review Article top Molecular Origins of Cancer: Molecular Basis of Colorectal Cancer S.D. Markowitz and M.M. Bertagnolli Images in Clinical Medicine top Frostbite H. Rehman and A. Seguin Hernia through the Foramen Omentale A. Basu and M. Jacobs Free Full Text Interactive Medical Case top Painful Purple Toes J.J. Ross and Others Free Full Text Case Records of the Massachusetts General Hospital top Case 39-2009: A 28-Year-Old Pregnant Woman with Acute Cardiac Failure P.T. OGara and Others CME Exam Editorials top Anemia and Iron Deficiency New Therapeutic Targets in Heart Failure? G.W. Dec Matrix Metalloproteinase 12, Asthma, and COPD G.G. Brusselle ONLINE FIRST Free Full Text A Common Genetic Fingerprint in Leprosy and Crohns Disease? E. Schurr and P. Gros ONLINE FIRST Free Full Text Sounding Board top The Agenda for Continuing Medical Education Limiting Industrys Influence L. Morris and J.K. Taitsman Clinical Implications of Basic Research top Gene Therapy for Color Blindness J. Bennett Correspondence top Treatment of Lung Cancer Asymptomatic Reactivation of JC Virus in Patients Treated with Natalizumab Coronary Calcium Screening Proposals for Payment Reform in Massachusetts Free Full Text Rapid-Test Sensitivity for Novel Swine-Origin Influenza A (H1N1) Virus in Humans Free Full Text Lack of Population Diversity in Human Embryonic Stem-Cell Lines ONLINE FIRST Free Full Text Continuing Medical Education top Click here for CME information and links.
个人分类: 开放获取|1665 次阅读|0 个评论
The Scientist daily December 15, 2009 2009年12月16日(星期三) 01:01
xupeiyang 2009-12-16 08:07
December 15, 2009 Fake blood 2.0? Newly created synthetic particles that mimic red blood cells may one day carry drug molecules and/or oxygen through bloodstreams By Bob Grant 27 more hESC lines approved The total number of approved human embryonic stem cell lines is now double the number approved under the previous administration By Jef Akst Scientist to Watch Beth Shapiro By Victoria Stern Gates Foundation to join ag group What do you think about the proposal to unite the diverse research centers of the Consultative Group on International Agricultural Research? By The Scientist Community 2009 in review A month-by-month timeline of some key events affecting US life science this year By Alla Katsnelson QA: Copenhagen's united front Why the developing world is coming together against climate change By Katherine Bagley New hope for EU patent plan A planned redesign of the European patent system, announced this month, could be a boon to biotech By Edyta Zielinska Technicolor doo-doo An out-of-the-ordinary design project blends synthetic biology and human necessity to glimpse the future of self diagnosis By Ariel Bleicher Subsidized science This company uses revenue from premium services offered to the wealthy to fund risky RD By Alissa Poh In science we trust A group of summer camps has kids pondering their places in the universe using logic, not faith By Bob Grant One gene keeps ovaries female Knocking down a single gene in an adult mouse makes ovaries develop the characteristics of a male gonad By Edyta Zielinska 2010 NIH budget bump A small boost for NIH and a larger increase for NSF for the 2010 fiscal year are under discussion in Congress By Bob Grant Opinion: A fishy Nobel Prize Politicians may debate whether Barack Obama deserves the Nobel he accepts today, but in biology, the evidence is clear By Jennifer Jacquet Pharma CPR Meet the stalled drugs that pharmacogenomics (aka personalized medicine) might bring back to life -- or kill for good By Brendan Borrell
个人分类: 科学研究|1771 次阅读|0 个评论
The verification group at Oxford
huangfuqiang 2009-12-10 21:11
来源于 :)OXFORDUNIVERSITY COMPUTINGLABORATORY Verification The verification group at Oxford is internationally recognized as among the largest and strongest in the world. Our work spans a wide range of research, from fundamental investigations into the decidability and complexity of model checking for various types of infinite-state systems, through process calculi, logics and semantic models, all the way to practical, machine-assisted methods applicable to real-world problems and programming languages. We also have strong industrial links. Our key strengths include concurrency, abstraction, industrial-scale hardware verification, software model checking, and verification of real-time and probabilistic systems, with applications in security protocols, power management, nanotechnology, and biology. A major source of impact is the adoption by others of verification tools resulting from our research: FDR (model checker), Casper (security protocol compiler), SatAbs (SAT-based model checker for C with predicate abstraction), CBMC (bounded model checker for C) and PRISM (probabilistic model checker). All are highly cited and widely used in industrial contexts, both for research and teaching. people Faculty AndrewKer | DanielKroening | MartaKwiatkowska | GavinLowe | TomMelham | LukeOng | JoelOuaknine | BillRoscoe | JamesWorrell Research PhilipArmstrong | DoinaBucur | Chris Chilton | AlastairDonaldson | MatthewHague | NannanHe | MarkKattenbelt | StefanKiefer | AndrzejMurawski | GethinNorman | DavidParker | HongyangQu | PhilippRuemmer | AshutoshTrivedi | ThomasWahl Students Sara Adams | PeterBoehm | ChristopherBroadbent | Chris Chilton | VijayD'Silva | LuFeng | MatthiasFruth | ChristophHaase | LeopoldHaller | ZiyadHanna | DavidHopkins | MarkJenkins | AlexanderKaiser | AllaaKamil | EricKerfoot | ManeeshKhattri | Tomasz Mazur | TobyMurray | LongNguyen | HristinaPalikareva | StevenRamsay | GeorgWeissenbacher | YongXie Administration JanetSadler info activities Concurrency | HardwareVerification | ModelChecking | PRISM | ProbabilisticModelChecking | ProbabilisticVerificationforSystemsBiology | QuantitativeAnalysisandVerification | Security | SoftwareModelChecking currentprojects AdvancedFormalVerificationTechniquesforHeterogeneousMulti-coreProgramming | AutomatedquantitativesoftwareverificationwithPRISM | AutomatedVerificationofProbabilisticPrograms | CESAR | CONNECT-IP | CSPModelChecking | EfficientVerificationofSoftwarewithReplicatedComponents | GAMES | GeneralisationOperatorsforAbstraction-Refinement | ModelCheckingPartiallyOrderedStateSpaces | ModelCheckingTimedSystemswithRestrictedResources:AlgorithmsandComplexity | Model-basedtestgenerationforembeddedsystems | Model-CheckingforTimedSystems | NewApproachestoSecurityandModelChecking | PredictableSoftwareSystems | PrivacyinOntology-BasedInformationSystems | QuantitativeVerification:FromModelCheckingtoModelMeasuring | TrustMetricsforSPKI/SDSI | UbiVal | VerificationofShared-MemoryConcurrentSoftware | VerifiedCommunicationProtocolsforMulticore/SoCArchitectures | VerifyingPropertiesoftheMLFamilyofLanguages completedprojects PushdownAutomataandGameSemantics | UbiquitousComputing The Computing Laboratory
个人分类: 计算机软件理论与工程|4068 次阅读|0 个评论
The New England Journal of Medicine, December 10, 2009 2009年12月10日(星期四) 06:42
xupeiyang 2009-12-10 07:17
ADVERTISEMENT Interview with Dr. Christian Schumann regarding a poster presented this year at ECCO-ESMO. A retrospective analysis of TRUST data from German centres demonstrates that the long-term benefits associated with erlotinib treatment are independent of prognostic factors and therapeutic response. To see the full video interview, click here . Volume 361 Number 24 December 10, 2009 This Week in the Journal Listen to This Week's Audio Summary Submit Answer Perspective Original Articles Review Article Images in Clinical Medicine Case Records of the Massachusetts General Hospital Editorials Correspondence Other Points of View Corrections Continuing Medical Education Searchthe Journal NOW AT NEJM.ORG NEJM beta site Perspective Week 1 of the Senate Debate Amending the Reform Bill J.K. Iglehart ONLINE ONLY Free Full Text Ensuring the Fiscal Sustainability of Health Care Reform M.E. Chernew and Others ONLINE FIRST Free Full Text Payment Reform The Need to Harmonize Approaches in Medicare and the Private Sector P.V. Lee and Others ONLINE FIRST Free Full Text The Breadth of Hopes C. Feudtner Primary Care and Accountable Care Two Essential Elements of Delivery-System Reform D.R. Rittenhouse and Others Free Full Text The Supreme Court, Process Patents, and Medical Innovation A.S. Kesselheim Original Articles top Allogeneic Hematopoietic Stem-Cell Transplantation for Sickle Cell Disease M.M. Hsieh and Others CME Exam Platelet Inhibition with Cangrelor in Patients Undergoing PCI R.A. Harrington and Others CME Exam Intravenous Platelet Blockade with Cangrelor during PCI D.L. Bhatt and Others Dabigatran versus Warfarin in the Treatment of Acute Venous Thromboembolism S. Schulman and Others Clinical Features of the Initial Cases of 2009 Pandemic Influenza A (H1N1) Virus Infection in China B. Cao and Others ONLINE FIRST Free Full Text Review Article top Mechanisms of Disease: Telomere Diseases R.T. Calado and N.S. Young Images in Clinical Medicine top Blurred Vision after Cardiac Catheterization C.H. Meyer and F.G. Holz Free Full Text Ileocecal Intussusception J.D. Whitfield and G. Mostafa Free Full Text Case Records of the Massachusetts General Hospital top Case 38-2009: A 16-Year-Old Boy with Paroxysmal Headaches and Visual Changes S.D. Brass and Others CME Exam Editorials top Hematopoietic Stem-Cell Transplantation for Adults with Sickle Cell Disease M.R. Abboud Cangrelor A Champion Lost in Translation? A. Kastrati and G. Ndrepepa The Need for Science in the Practice of Public Health N. Lurie ONLINE FIRST Free Full Text Correspondence top Ticagrelor versus Clopidogrel in Acute Coronary Syndromes Intestinal Transplantation The Prometheus Payment Model Free Full Text Long-Term Follow-up of Survival in Hodgkin's Lymphoma A Community Cluster of Oseltamivir-Resistant Cases of 2009 H1N1 Influenza ONLINE FIRST Free Full Text Other Points of View top Act II Curve Bending D.Y. Patterson ONLINE ONLY Free Full Text Corrections top Intensity of Renal Support in Critically Ill Patients with Acute Kidney Injury Case 25-2008: A 43-Year-Old Man with Fatigue and Lesions in the Pituitary and Cerebellum Continuing Medical Education top Click here for CME information and links.
个人分类: 科学研究|1655 次阅读|0 个评论
Intelligent Systems Now
王飞跃 2009-11-8 15:36
A Letter from the Editor
个人分类: 往事如云|8973 次阅读|1 个评论
波士顿艺术博物馆门前的雕塑“The Night”
毛宁波 2009-10-19 08:54
去波士顿博物馆以前都是走的南边的正门,周六参观偶然从博物馆的北门出来,发现北门后面也有很美丽的景致。北门门口的左右对称的青铜雕塑吸引了我的眼球。我的第一感觉是黑色,仔仔细细的观赏,是一位盲童的青铜雕像。。。。。。。。。是一位西班牙艺术家的作品,名字叫The night。。。。。。整个雕塑表面都是黑色。。。。寓意黑暗。。。寓意盲童对光明的渴求。。。。亲爱的读者你是怎么想的? 波士顿艺术博物馆北门 波士顿艺术博物馆北门左侧的盲童雕塑 波士顿艺术博物馆北门右侧的盲童雕塑 波士顿艺术博物馆北门The Night雕塑作者简介
个人分类: 美国麻省理工学院见闻|5708 次阅读|1 个评论
The Fox Project
huangfuqiang 2009-8-11 07:59
信息来自于: http://www.cs.cmu.edu/~fox/ 好几年前的资料 School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania, USA Principal Investigators Robert Harper , Professor Peter Lee , Professor Frank Pfenning , Associate Professor Support The Fox Project was supported by the Defense Advanced Research Projects Agency CSTO under the title The Fox Project: Advanced Languages for Systems Software, ARPA Order Number C533, issued by ESC/ENS under Contract Number F19628-95-C-0050 and under the title The Fox Project: Advanced Development of Systems Software, ARPA Order Number 8313, issued by ESD/AVS under Contract Number F196228-91-C-0168. Objective The objective of the Fox Project is the development of language support for building safe, highly composable, and reliable systems. We seek to accomplish this by exploiting and advancing the state-of-the-art in programming language technology, including fundamental design principles, compiler technologies, and the mathematical underpinning of programming languages and logics. We demonstrate our results through language implementations and applications in systems software such as embedded systems or active networks, emphasizing those which must simultaneously be highly customizable, safe, and efficient. The current emphasis is on applications for program composition in embedded systems. Approach The Fox Project is carrying out a comprehensive program of research to apply the theoretical foundations of programming languages (including ideas in type theory, formal semantics, and logic) to the development of tools and techniques for systems software in general and system software in particular. The main goal is the development of technologies for achieving modularity, efficiency, and safety in software systems, and then developing tools to support application of these technologies. We have divided our past and current research activities into several closely linked focus areas. FoxNet TypedIntermediateLanguages Proof-CarryingCode LogicalFrameworks StagedComputation LanguageDesign Please refer to these individual pages for recent talks and publications, software, collaborations, and further links.
个人分类: 计算机软件理论与工程|3162 次阅读|0 个评论
The First PC Operating System
huangfuqiang 2009-7-30 15:30
信息来自于: http://www.digitalresearch.biz/CPM.HTM In 1974, Dr. Gary A. Kildall, while working for Intel Corporation, created CP/M as the first operating system for the new microprocessor. By 1977, CP/M had become the most popular operating system (OS) in the fledgling microcomputer (PC) industry. The largest Digital Research licensee of CP/M was a small company which had started life as Traf-0-Data, and is now known as Microsoft . In 1981, Microsoft paid Seattle Software Works for an unauthorized clone of CP/M, and Microsoft licensed this clone to IBM which marketed it as PC-DOS on the first IBM PC in 1981, and Microsoft marketed it to all other PC OEMs as MS-DOS . In 1991, Gary Kildall and the other shareholders of Digital Research Inc., which Gary Dorothy Kildall had founded in 1975, sold the closely-held private shares of Digital Research Inc. (DRI) to Novell, Inc., and then on July 23, 1996 all of the Digital Research, Inc. assets were acquired from Novell Inc. by Caldera Inc. , a company founded by Bryan Sparks with the assistance of Ray Noorda, former Chairman/CEO of Novell Inc., and on July 24, 1996, Caldera Inc. filed a private Federal Antitrust Lawsuit against Microsoft Corp. for alleged illegal activities and unfair practices in the marketing of MS-DOS and its successors, including Windows 95 and Windows 98, both of which are still Digital Research CP/M at their essential core. The lawsuit was settled out of court in January 2000 at which time Microsoft Corporation agreed to certain terms and paid certain funds to Caldera Inc. In 2000, this CP/M Web site is official link site for CP/M resources worldwide. Caldera Inc. owns all trademark and copyright to CP/M, whose successors are Caldera DR-DOS for single-user (client) purposes, and IMS Ltd. REAL/32 for multi-user and networking. Both are the most advanced versions of 32-bit DOS available, and are ideal for Thin Server and Thin Client Server solutions in the office, POS, embedded, communications, and other important emerging markets such as hard real-time for robotic control and full-fledged Video Computing. CP/M FAQ Digital Research Library Online Software Museum - CP/M Short History of CP/M Academic CP/M Resources CP/M Main Page by John Elliott Oak Repository - CP/M Archive by Oakland University CP/M Clubs User Groups CP/M User's Group Gaby Chaudry comp.os.cpm FAQ by Don Kirkpatrick General CP/M Resources CP/M Emulator Home Page by Tokumaru CP/M Operating System Manual by Charles Owen Commodore and CP/M by Herne Data Systems Downloadable Z80 CP/M Compiler by HI-TECH Software Information Texts About CP/M by Gaby Chaudry Switch from CP/M to DOS by Bill Gates The CP/M Story by DangSoft ZD Webopedia: CP/M by ZDNet
个人分类: 计算机软件理论与工程|3931 次阅读|0 个评论
分享-Make the Right Moves-A Practical Guide to Scientific.pdf
czyu 2009-6-26 15:47
个人分类: 未分类|2278 次阅读|0 个评论
巴西之旅 (W/ 照片)
热度 1 jjczhang 2009-6-5 06:24
处于西南半球热带的巴西 , 风景独特 。 曾到过巴西的 Rio de Janeiro ( 里约热内卢 ) 和 Macaé 市 , 在此与朋友共享自己的一些照片 (照片 © 张金才 ) 。 最喜欢的 Sheraton ( 喜来登 ) 饭店 , 坐落在 Rio/ 里约热内卢市 大西 洋 海边 , 有独立的沙滩浴场。 居住的房间有很好的 view/ 视野 – 蓝色的天空 , 碧蓝 的 海洋与花岗岩山峰 。 到著名的 Ipanema 海滩 一游, 花岗岩地貌有点象黄山 , 尤其是云雾 。此海滩 曾因一首歌而 闻名世界. The Girl from Ipanema (Garota de Ipanema) is a well-known bossa nova song, won a Grammy for Record of the Year in 1965. 乘此小飞机去 Macae 市 。 坐 十来人的 飞机还真有点害怕。 不过坐在飞机上的 view 的确很好 , 因为飞行的较低 。 对来自北半球的人, 12 月份下海还不太适应 , 但是这里是夏季 ! - Macae 市 。 在里约热内卢 , 穷人与富人享有共同的天空 , 但有截然不同的居住区 。 在巴西穷人住在山上 , 与美国正好相反 。 穷人社区条件也不错 , 例如有自己的医院 , 牙医 (Dentista)… 。 里约热内卢中上产阶层居住区 。 另有一些人住 house/ 別墅 。这是州长的官邸 ( 我的 巴西同学没告诉我 , 这 是现任 州长的, 还是葡萄牙统治时期州长的 house ) 。 歌词 The Girl from Ipanema Tall and tan and young and lonely The girl from ipanema goes walking And when she passes Each one she passes goes haaa When she walks it’s like a samba That sways so sweet and swings so gently That when she passes Each one she passes goes haaa Ooh but he watches so sadly How can he tell her he loves her Yes he would give his hide gladly But each day when she walks to the sea She looks ahead not at he Tall and tan and young and lonely The girl from ipanema goes walking And when she passes She smiles but she doesn’t see Ooh but he watches so sadly How can he tell her he loves her Yes he would give his hide gladly But each day when she walks to the sea She looks ahead not at he Tall and tan and young and lonely The girl from ipanema goes walking And when she passes She smiles but she doesn’t see
个人分类: 生活点滴|5263 次阅读|2 个评论
The Ethics of an Ideal Scientist
liyang1984 2009-5-16 23:22
The ideal scientist for me can be intelligent, imaginative and eruditebut he is not an ideal scientist unless he is responsible, faithful and righteous. In the scientific research community the sense of responsibility is the fundamental ethic of all the traits which qualify a scientist. Careless or mindless research is the modalerrorone makes frequently and can do great damage-even if the error is eventually corrected. Even the most responsible scientist can make some honest mistakes. When such errors are discovered, the best way is to acknowledge such errors in the same journal in which the mistake information was published. Cheat, containing cribbing, falsify and fabricate data, is the most common misconduct in scientific researching. Within the scientific community, the effects of misconduct, in term of lost time, disparaged by others, and feelings of personal betrayal, can be devastating and is the taboo with the real scientists. On the contrary with those should be accused, faithfulness is the most valued and respected ethic for ideal scientists. The ideal scientist for me can be intelligent, imaginative and eruditebut he is not an ideal scientist unless he is responsible, faithful and righteous. In the scientific research community the sense of responsibility is the fundamental ethic of all the traits which qualify a scientist. Careless or mindless research is the modalerrorone makes frequently and can do great damage-even if the error is eventually corrected. Even the most responsible scientist can make some honest mistakes. When such errors are discovered, the best way is to acknowledge such errors in the same journal in which the mistake information was published. Cheat, containing cribbing, falsify and fabricate data, is the most common misconduct in scientific researching. Within the scientific community, the effects of misconduct, in term of lost time, disparaged by others, and feelings of personal betrayal, can be devastating and is the taboo with the real scientists. On the contrary with those should be accused, faithfulness is the most valued and respected ethic for ideal scientists. Detecting a colleague has infringed the ethical standards of the scientific community is another most difficult situation that a researcher can encounter. Someone who has witnessed the misconduct has a compelling obligation to take action rather than to find excuses to do nothing. This is because misconduct can disserve scientists and their institutions, and shake public confidence in the integrity of science. Therefore, righteous is another main ethic for scientists using to inspect themselves as a mirror.
个人分类: 未分类|4159 次阅读|1 个评论
计算机语言基准测试游戏
huangfuqiang 2009-4-13 21:01
Benchmarking programming languages? How can we benchmark a programming language? We can't - we benchmark programming language implementations. How can we benchmark language implementations? We can't - we measure particular programs . all benchmarks binary-trees chameneos-redux fannkuch fasta k-nucleotide mandelbrot meteor-contest n-body pidigits regex-dna reverse-complement spectral-norm thread-ring Read the FAQ! Time, Memory Use and Source Size measurements 10 Apr 2009 Ubuntu:IntelQ6600quad-core 11 Apr 2009 x64Ubuntu:IntelQ6600quad-core 13 Apr 2009 x64Ubuntu:IntelQ6600onecore 12 Apr 2009 Ubuntu:IntelQ6600onecore 主页地址
个人分类: 计算机软件理论与工程|4215 次阅读|0 个评论
The Economics of Information Security
huangfuqiang 2009-4-10 17:51
The Economics of Information Security Ross Anderson and Tyler Moore University of Cambridge, Computer Laboratory 15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom firstname.lastname@cl.cam.ac.uk Abstract The economics of information security has recently become a thriving and fast-moving discipline. As distributed systems are assembled from machines belonging to principals with divergent interests, we find that incentives are becoming as important as technical design in achieving dependability. The new field provides valuable insights not just into security topics (such as bugs, spam, phishing, and law enforcement strategy) but into more general areas such as the design of peer-to-peer systems, the optimal balance of effort by programmers and testers, why privacy gets eroded, and the politics of digital rights management. 论文pdf地址
个人分类: 信息安全理论与工程|3891 次阅读|0 个评论
the tip of the iceberg
xiaohuan 2009-3-8 16:13
个人分类: 未分类|2601 次阅读|0 个评论
What is the Philosophy of Information (PI)?
huangfuqiang 2009-3-5 19:47
来自: InfoSciPhi What is the Philosophy of Information (PI)? April 25th, 2006 Before I get much further along in discussions of the various topics and issues in this field, perhaps a short definition and some background information would be in order. I will try not to get too esoteric and technical with philosophical jargon in my writings on PI, since I want to keep you as readers. However, I have to do justice to the topic and to you as thinkers and educated, literate professionals by at least dealing with the basics of the discipline in the somewhat complex vernacular required. As early as the 1950s there was speculation about computers and intelligence as mathematician Alan Turing developed his Turing Test . He said, I propose to consider the question Can machines think? This should begin with definitions of the meaning of the terms machine and think. The advent of the computer has forced philosophers and computer scientists to consider new theoretical positions about the mind, cognition, consciousness, metaphysics , language, and much more. Until a few decades ago, professional philosophers have avoided the topics of PI and left them to other disciplines. The interdisciplinary nature of the issues in PI made it so that no particular specialty perceived these issues to be their own. Luciano Floridi , Associate Professor of Logic and Epistemology at Oxford , was incremental in defining the Philosophy of Information and has written extensively on various topics in the field. In his essay titled What is the Philosophy of Information he defines it thusly: Philosophy of information (PI) is the philosophical field concerned with a) the critical investigation of the conceptual nature and basic principles of information, including its dynamics, utilization, and sciences, and b) the elaboration and application of information-theoretical and computational methodologies to philosophical problems. The dynamics of information could refer to such things as information life cycles (the various stages in form and functional activity through which information can pass), the constitution and modeling of information environments (one of which could be the library), or computation. Floridi says PI is prescriptive about what may count as information, and how information should be adequately created, processed, managed, and used. He goes on to state that that PI can be discussed through the perspectives of the ancient, classical, and modern authors such as Descartes , Plato , and Nietzsche , who wrote well before the current information age . I know that this is pretty dense subject matter, but I hope you can see why an informed discussion of PI is relevant to Library and Information Science. Floridi makes its importance clear as he concludes this essay with this paragraph: PI, understood as a foundational philosophy of information modeling and design, can explain and guide the purposeful construction of our intellectual environment, and provide the systematic treatment of the conceptual foundations of contemporary society. It enables humanity to make sense of the world and construct it responsibly, reaching a new stage in the semanticization of being. If what has been suggested here is correct, the current development of PI may be delayed but remains inevitable, and it will affect the overall way in which we address both new and old philosophical problems, bringing about a substantial innovation of the philosophical system. This will represent the information turn in philosophy. Clearly, PI promises to be one of the most exciting and fruitful areas of philosophical research of our time.
个人分类: 信息&工程&逻辑哲学|3769 次阅读|0 个评论
in the wild!
丁dot 2009-3-4 22:41
在网上看了一部电影,不知道算不算侵权,姑且厚起脸皮认为我那138元包月1M的ADSL里面帮我垫付了电影的知识产权吧。话题正转,这是一部个人认为不错的电影,名字如题:inthewild,纯英文,听起来虽然目前很费劲,但是尚能体会影片的主题,主题是什么?不告诉你,你若有心,可以找个时间静静地体会一下吧,如有感想,欢迎留言!
个人分类: 万象|2667 次阅读|0 个评论
数据挖掘研究进展资料
热度 1 huangfuqiang 2009-1-19 16:32
IEEE Data Mining Forum 2008 May 28-29, 2008, Hong Kong Forum Program with Slides IEEE Data Mining Forum 2008 aims to discuss fundamental challenges in data mining and explore the next generation of data mining research and development. We have invited a select number of world's leading experts from North America, Europe, Australia, and Asia to provide invited talks and participate in panel discussions. From the invited talks and panel discussions at the Forum, we will publish a special issue on Challenges and Opportunities in Data Mining with the Knowledge and Information Systems journal, and an edited book on Frontiers in Data Mining Research with the Springer Book Series on Advanced Information and Knowledge Processing . Forum Chairs Keith C.C. Chan and Xindong Wu The Hong Kong Polytechnic University, China Invited Speakers Nick Cercone , York University, Canada Title: Finding Best Evidence for Evidence-Based Best Practice Recommendations in Health Care Hillol Kargupta , University of Maryland, USA Title: Data Mining in Ubiquitous and Distributed Environments Ramamohanarao Kotagiri , University of Melbourne, Australia Title: Contrast Pattern Mining and Applications Vipin Kumar , University of Minnesota, USA Title: Discovery of Patterns in the Global Climate System using Data Mining Ee-Peng Lim , Nanyang Technological University, Singapore Title: Mining Evaluation Networks in Web 2.0 Katharina Morik , University of Dortmund, Germany Title: The Challenge of Heterogeneity Dino Pedreschi , Universit di Pisa, Italy Title: Mobility, Data Mining and Privacy Gregory Piatetsky-Shapiro , KDnuggets, USA Title: The Grand and not so Grand Challenges For Data Mining in Business Applications Sunita Sarawagi , IIT Bombay, India Title: Structured Prediction Models in Information Extraction Michele Sebag , Universit Paris-Sud, France Title: Which (Data Mining) Algorithm Should I Use? Yong Shi , Chinese Academy of Sciences, China Title: Multiple Criteria Mathematical Programming-based Data Mining - Theory and Applications Geoff Webb , Monash University, Australia Title: Finding the Real Patterns Andrew K. C. Wong , University of Waterloo, Canada Title: Association Pattern Analysis for Pattern Pruning, Pattern Clustering and Summarization Philip S. Yu , University of Illinois at Chicago, USA Title: Exploring the Power of Link Analysis Ning Zhong , Maebashi Institute of Technology, Japan Title: Multi-Aspect Human Brain Data Analysis Based on Brain Informatics Methodology Zhi-Hua Zhou , Nanjing University, China Title: Advances and Problems in Semi-Supervised Learning Invited Panelists David Cheung , The University of Hong Kong Fosca Giannotti , KDD Lab, ISTI-CNR, Italy Qing Li , The City University of Hong Kong Jiming Liu , The Hong Kong Baptist University Dacheng Tao , The Hong Kong Polytechnic University Zhaohui Wu , Zhejiang University, China Qiang Yang , The Hong Kong University of Science and Technology Jeffrey Xu Yu , The Chinese University of Hong Kong Panel Discussions Panel 1: Data Challenges for Data Mining Chair: Qiang Yang , The Hong Kong University of Science and Technology Panel 2: Useful Activities to Promote Data Mining Chair: Fosca Giannotti , KDD Lab, ISTI-CNR, Italy
个人分类: 数据库与知识库|5293 次阅读|1 个评论
[每日一乐]The Heart Asks Pleasure First-Michael Nyman
daijingwei 2008-11-10 23:35
The Heart Asks Pleasure First-Michael Nyman(Piano) 今天本来想推荐下neil的背景音乐-《I will be missing you》。无奈实验室乙腈闻太多,头晕眼花 索性简单推荐一首重磅钢琴曲Michael Nyman的《The Heart Asks Pleasure First》。 这段钢琴曲是电影《钢琴别恋》(英文片名为The Piano)的主题音乐。钢琴在整部电影中扮演着极重要的角色。不可否认的是,这是一部触及心灵的作品。女主角口不能言,只以琴声表达自己的情感,优美动听的钢琴旋律贯穿整部电影,更衬托出故事中爱情的凄美,激情的澎湃,以及亲情的温暖。 影片配乐主题的标题为心灵渴望欢乐(The Heart Asks Pleasure First),由1944年出生于伦敦的英国作曲家麦克尔尼曼(Michael Nyman)创作。这一主题旋律揭示了不会说话的女主角心中埋藏着的炽热情感和她的全部人生体验,以及她对于自己视若生命的音乐的无比热爱。 这种热爱同样让我想起了一部法国电影《她比烟花寂寞》,那是一个女性大提琴家的故事。在光棍节来临之际,特以这两部女性主题的电影结束我今天的痛苦状态。 Good night,everybody 下载链接: http://cw8a384.chinaw3.com/lulu/thepiano.mp3
个人分类: 耳朵想旅行|4381 次阅读|1 个评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-4-24 04:44

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部