サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
買ってよかったもの
www.doc.ic.ac.uk/~cn06
www.doc.ic.ac.uk
Department of Computing Imperial College London MEng Individual Project Haskell-Like S-Expression-Based Language Designed for an IDE Author: Michal Srb Supervisor: Prof. Susan Eisenbach June 2015 Abstract The state of the programmers’ toolbox is abysmal. Although substantial effort is put into the development of powerful integrated development environments (IDEs), their features often lack capabili
www.doc.ic.ac.uk/~susan
Last updated Thursday, 18-Nov-1999 20:27:28 PDT by Roedy Green ©1997-1999 Canadian Mind Products. This essay is also available in Spanish. In the interests of creating employment opportunities in the Java programming field, I am passing on these tips from the masters on how to write code that is so difficult to maintain, that the people who come after you will take years to make even the simplest
www.doc.ic.ac.uk/~rfs09
International research bursaries unlock opportunities for female scientists
www.doc.ic.ac.uk/~rnewcomb
Dog detectives sniff out harmful bacteria causing lung infections
www.doc.ic.ac.uk/~rb1006
Data scientists tackle real-world problems in new summer fellowship programme
www.doc.ic.ac.uk/~ajd
I hold the position of Professor of Robot Vision at the Department of Computing, Imperial College London, and lead the Dyson Robotics Laboratory at Imperial College where we are working on vision and AI technology for next generation home robotics. I also lead the Robot Vision Research Group though most of my activity is now within the Dyson Lab. I am working in computer vision and robotics: speci
www.doc.ic.ac.uk/~nd
Contents Introduction Brief Overview Who can benefit from GA Applications of Genetic Algorithms GA on optimisation and planning: Travelling Salesman Problem Failure of Standard Genetic Algorithm Evolutionary Divide and Conquer (EDAC) Related Resources GA in Business and Their Supportive Role in Decision Making Finance Applications Information Systems Applications Production/Operation Applications
From Programming Languages Vol. 2, No. 9 - Dec/Jan 2004-2005 by When you want to gain a historical perspective on personal computing and programming languages, why not turn to one of the industry’s preeminent pioneers? That would be Alan Kay, winner of last year’s Turing Award for leading the team that invented Smalltalk, as well as for his fundamental contributions to personal computing. Kay was
Introduction To this day, the actor model has not yet achieved greatness or wide recognition and use, and it is unknown whether it may ever have greatness thrust upon it. What are the reasons for its minor role to this day? Indeed, as yet there has not been a complete implementation of the theoretical actor model. Several useable actor based languages have been written, but they tend to include fe
LTSA is a verification tool for concurrent systems. It mechanically checks that the specification of a concurrent system satisfies the properties required of its behaviour. In addition, LTSA supports specification animation to facilitate interactive exploration of system behaviour. A system in LTSA is modelled as a set of interacting finite state machines. The properties required of the system are
www.doc.ic.ac.uk/~jnm
The following resources are available: Slides Lecture notes for Chapters 1-10, 12 and 14 of the book. (*revised 2015) Demonstration Programs The set of demonstration programs in the book may be run as applets in a Java Java™ 2 enabled browser from here. The program source is also included. The complete set of applets, Java™ source and Web pages can be downloaded as a zip file from here. (*revised
このページを最初にブックマークしてみませんか?
『www.doc.ic.ac.uk』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く