machine learning cancer diagnosis prognosis page describes linear programming based machine learning approaches applied diagnosis prognosis breast cancer work result collaboration university wisconsin madison prof olvi mangasarian computer sciences department dr william wolberg departments surgery human copy press release distributed american cancer society science writers seminar march 1994 good overview research table contents diagnosis prognosis bibliography citation popular press local related links related links diagnosis work grew desire dr wolberg accurately diagnose breast masses based solely fine needle aspiration identified visually assessed characteristics sample considered relevant diagnosis collaboration prof mangasarian graduate students kristin bennett classifier constructed multisurface method msm pattern separation features successfully diagnosed 97 cases resulting data set wisconsin breast cancer data image analysis work began 1990 addition nick street research team goal diagnose sample based digital image small section slide results research consolidated software system dr wolberg clinical practice diagnosis process performed breast mass material mounted microscope slide stained highlight cellular nuclei portion slide cells scanned digital camera frame grabber board user isolates individual nuclei mouse pointer user draws approximate boundary nucleus computer vision approach snakes approximations converge exact nuclear boundaries interactive process takes minutes slide image showing nuclei isolated program computes values ten characteristics nuclei measuring size shape texture standard error extreme values features computed resulting total 30 nuclear features sample based training set 569 cases linear classifier constructed differentiate benign malignant samples classifier consists single separating plane space features extreme area extreme smoothness texture projecting cases normal separating plane approximate probability densities benign malignant points constructed simple bayesian computation probability malignancy patients densities shown patient allowing judge confidence diagnosis comparison hundreds previous samples date system correctly diagnosed 176 consecutive patients 119 benign 57 malignant cases return suspicious diagnosis estimated probability malignancy 0 3 0 7 small subset source images research found good test cases image segmentation object recognition algorithms pet segmentation algorithm automatically identify nuclei images email street cs wisc work prognosis problem considered research prognosis prediction long term behavior disease approached prognosis function approximation problem input features including computed predict time recurrence malignant patients censored data solution termed recurrence surface approximation method rsa utilizes linear program construct surface predicts time recurrence patients examining actual recurrence training cases similar predicted recurrence times plot probability disease free survival times 10 years individual patient capability incorporated shown survival curves plot probability disease free survival versus time years black disease free survival curve represents patients original study red curve represents probability disease free survival sample case case average prognosis probability disease free 10 years equal 80 rsa procedure compare predictive power prognostic factors results precise detailed cytological information type provided prognostic accuracy traditional factors tumor size node status researchers result remove painful node surgery chronological bibliography linked papers provided postscript format don postscript viewer download file shift click netscape print abstracts ascii text obtain papers linked contact author mangasarian wolberg pattern recognition linear programming theory application medical diagnosis proceedings workshop large scale numerical optimization 1989 pages 22 31 philadelphia pa siam mangasarian wolberg cancer diagnosis linear programming siam news vol 23 1990 pages 1 18 wolberg mangasarian multisurface method pattern separation medical diagnosis applied breast proceedings national academy sciences vol 87 1990 pages 9196 street automated cancer diagnosis interactive system cell feature extraction technical report computer sciences department university wisconsin october 1991 wolberg bennett mangasarian cancer diagnosis prognostic determination cell analysis manuscript 1992 departments surgery human computer sciences university wisconsin madison wi 53706 wolberg street mangasarian breast diagnosis digital image analysis analytical quantitative vol 15 6 pages 396 404 december 1993 abstract street wolberg mangasarian nuclear feature extraction breast tumor diagnosis spie 1993 international symposium electronic imaging science technology volume 1905 pages 861 870 san jose ca 1993 abstract wolberg street mangasarian machine learning techniques diagnose breast cancer fine needle cancer letters vol 77 pages 163 171 1994 abstract street cancer diagnosis prognosis linear programming based machine learning ph dissertation university wisconsin madison august 1994 uw mathematical programming technical report 94 14 abstract wolberg street mangasarian computerized breast cancer diagnosis prognosis fine needle archives surgery 1995 130 511 516 abstract wolberg street mangasarian image analysis machine learning applied breast cancer diagnosis prognosis analytical quantitative vol 17 2 pages 77 87 april 1995 abstract wolberg street mangasarian computer derived nuclear features distinguish malignant benign breast human pathology vol 26 pages 792 796 1995 abstract wolberg street mangasarian computer derived nuclear grade breast cancer prognosis analytical quantitative vol 17 4 pages 257 264 august 1995 abstract mangasarian street wolberg breast cancer diagnosis prognosis linear programming operations research 43 4 pages 570 577 july august 1995 uw mathematical programming technical report 94 10 abstract street mangasarian wolberg inductive learning approach prognostic prediction proceedings twelfth international conference machine learning prieditis russell eds pages 522 530 morgan kaufmann 1995 abstract wolberg street mangasarian call page indeterminate fine needle aspiration breast image analysis aided diagnosis cancer submitted abstract street mangasarian wolberg individual collective prognostic prediction technical report 96 01 computer sciences department university wisconsin madison wi january 1996 submitted icml aaai conferences abstract citation medical popular press news medicine segment cnn prime news march 12 1994 breast biopsy surgery tim friend usa today march 24 1994 cancer detection oil joe manning milwaukee sentinel march 24 1994 analyzing breast cancer detroit news march 28 1994 high tech cancer hunt marilynn milwaukee journal march 28 1994 computerized interpretation breast progress reported times april 1994 computer program breast cancer ruth houston chronicle april 22 1994 computer program improve interpretation news international 1994 data suggest needle replace surgical biopsy diagnosing breast cancer journal american medical association medical news perspectives column june 9 1994 vol 271 22 diagnosis image analysis machine learning cope september october 1994 computer seeks breast cancer madison capital times january 17 1995 computer aided cancer prediction los angeles times january 25 1995 local related links uw mathematical programming group uw machine learning group uw medical school related links national library medicine nlm university nevada center biomedical modeling research washington university institute biomedical computing paulb cs wisc


systems software research group department computer science university illinois urbana champaign timed streams mpi object oriented operating systems forum choices object oriented operating system schools community networking forum security secure java vosaic video mosaic forum architecture oriented visualizations applications software engineering atm toolkit gigabit testbed publications illinois 96 forums publically accessible technical exchanges systems research group personnel laboratory equipment cs department home page questions comments systems software research group send professor campbell email uiuc home page http www uiuc ph www problems comments server send david cs uiuc


infopad www server goal infopad research project develop hardware software mobile network support ubiquitous wireless access realtime multimedia data high speed networks inexpensive portable terminal effect network terminal additional capability portability recent descriptions project found student summaries slides recent overview work primarily funded arpa additional support industrial partners include intel ibm ericsson motorola national semiconductor texas instruments part electrical engineering computer science department university california berkeley img silicon valley business week report infopad project 36 found channel 6 bay area cable systems project overview general information people involved research groups home pages research area infopad ftp archive papers reports slides search infopad www server local information restricted access site maintainer mosaic mosaic eecs berkeley 6 million documents served


mirage development team mirage distributed shared memory dsm system memory management communication machines loosely coupled network environment system hides network boundaries processes accessing shared memory providing illusion coarse grained multiprocessor programmer algorithm designer mirage designed execute traditional system posix compliant shared memory programs commodity personal computers key feature mirage simplicity powerful networking employed solutions designed uniprocessors applied powerful network workstations platform mirage implements dsm paged segmentation scheme segments partitioned pages system runs cluster ibm ps 2 class machines work dsm area kernel invasive dsm system based quarks prototype utah focusing disconnected operation mobility distributed memory shared systems research based advances experiences mirage constructed riverside mobile dsm suite set application programs exercise functionality mobile systems expect implement dsm addition group authored dsm port quarks dec alpha axp 150 personal computers made results port accessible researchers mirage team members brett fleisch brett cs ucr project director assistant professor randall hyde cs ucr ucr computer science lecturer cheryl cs ucr ucr computer science graduate student william schroeder cs ucr ucr computer science graduate student david choweller cs ucr ucr computer science graduate student sachin shah sachin cs ucr ucr computer science graduate student mark allan marcus cs ucr ucr computer science graduate student ra ad cs ucr ucr computer science graduate student kevin marcus cs ucr ucr computer science undergraduate student jeremy powell cs ucr ucr computer science undergraduate student steve cs ucr ucr computer science undergraduate student shields cs ucr ucr computer science undergraduate student barnett hsu barnett cs ucr ucr computer science undergraduate student john mikhail cs ucr ucr computer science undergraduate student mirage team members oliver oliver cs ucr visiting postdoctoral researcher christian cbs dk order mirage shirt limited time fashion trend sporting latest mirage apparel mirage shirt made 100 pure cotton features mirage logo show support mirage project buy shirt shirts large large price 12 00 shirt 20 00 shirts hurry operators standing email order mirage shirt email brett fleisch brett cs ucr updated october 19 1995 img return cs base page mirage logo joe cs ucr


advanced networking distributed systems principal investigator leonard kleinrock project investigates architecture fundamental behavior distributed computer communication systems analytical simulation point view emphasis analytical addition project implements understanding systems areas research gigabit networks fast packet switching multistage interconnection networks analysis competing lightwave networks performance boolean cube interconnection networks distributed simulation model load sharing genetic algorithms shared memory cache behavior fast packet switching atm distributed control simple automata collective behavior mobile robots related links status report people pictures latency bandwidth tradeoff presentation dr leonard kleinrock page manager webmaster cs ucla


group university michigan actively conducting research diverse areas vlsi design testing cad part electrical engineering computer science department college engineering group headed professor pinaki mazumder current research thrusts areas quantum circuit design cad memory testing built repair flat panel display electronics quantum circuit development collaborative effort center high frequency microelectronics university michigan project direction professor george chair eecs department jointly funded arpa uri research assistantships 3 research assistantships qualified students possess strong circuits background desire ph desirable industrial experience contact information 2215 eecs 1301 beal avenue ann arbor mi 48109 2122 usa eecs umich 1 313 763 1 313 763 1503 ismap maintained kulkarni umich


center study digital libraries texas engineering experiment station college station tx 77843 3112 usa phone 409 862 3217 fax 409 847 8578 email tamu center study digital libraries texas university member global digital library research community focal point digital libraries research technology state texas center division texas engineering experiment station research agency texas university system staff directory mission statement research projects publications related conferences img hypermedia research laboratory tamu


img laboratory database systems research department computing science university alberta people press photographs pronunciations names pointers home pages faculty staff graduate students moments press names pointers home pages faculty staff graduate students tigukat multimedia research group click image uncompressed image img standing left ling liu dr duane szafron dr niu phd el msc john li phd tamer zsu dr el msc yuri leontiev phd yan phd paul staff seated left msc jose dr voruganti phd anne staff randal staff iqbal goralwalla phd msc shown left lin cheng msc richard lee adriana manas msc vincent jennifer bing xu msc research activities group laboratory database systems research involved number research activities including development distributed object oriented database systems deductive databases distributed database management application neural networks database problems development databases support software engineering activities ongoing projects tigukat distributed objectbase management system multimedia data management distributed image database management deductive database systems interoperable information system adaptive logic networks publications img technical reports img refereed publications database courses database system seminars 1995 96 pu mitchell han 1996 97 dbms related documents database systems textbook case research paying james gray database research achievements opportunities 21st century silberschatz stonebraker ullman editors upcoming member activities 5th conf information knowledge management rockville maryland ride 97 workshop birmingham england int conf data engineering birmingham england sigmod pods conference int conf multimedia systems ottawa canada 23rd vldb conference athens greece database conferences database related organizations vldb endowment acm sigmod acm multimedia laboratory equipment 1 ibm rs6000 360 memory disk cdrom 17 color monitor 1 ibm rs6000 360 memory 1gb disk capture card 17 color monitor 1 sun 4 50 ipx memory 5 disk 2 sun 4 25 memory disk 1 sun 52 turbo gx 2 processors memory 3 1gb disk cdrom 17 color monitor 3 sun 70 32mb memory disk 17 color monitor 1 powermac 7100 av ftp access official ftp site ftp cs ualberta ca additional information information contact database cs ualberta ca img img april 26 1994


img primary goals agassiz project study architectural compiler machine organizational issues high performance computer systems including uniprocessors multiprocessors exploit medium grained fine grained parallelism processor architectural studies focused concurrent multi threaded architectures thread level instruction level speculation called architectures compiler effort focused developing integrated compiler supports medium grained loop iteration level fine grained instruction level parallelism speculation locality enhancement latency hiding schemes machine organizational work focused high performance memory systems design clustered distributed shared memory multiprocessors sponsored nsf arpa intel cray research ibm img img img facts agassiz img img img contact


trains project natural spoken dialogue interactive planning trains project university rochester department computer science long term effort develop intelligent planning assistant conversationally proficient natural language goal fully integrated system involving online spoken typed natural language graphical displays gui based interaction primary application planning scheduling domain involving railroad freight system human manager system cooperate develop execute plans research trains project tracks project supported ph thesis research natural language processing speech interpretation discourse processing planning reasoning uncertainty complete references resources project periodically pulled research threads produced limited working demonstration systems based theories hope incremental development converging ultimate goal fully conversant system details systems references jetai paper current research trains project centers interactive route planning assistant dubbed trains 96 details paper presented arpa spoken language technology workshop paper aips 96 work progress involves realistic domain complicated planning problems hope version trains system running www future current research recent trains presentations local access trains 95 interactive planning assistant arpa spoken language technology workshop 1995 dialogue based approach mixed initiative plan management arpa rome labs planning initiative dialogue based tactical picture agent onr trains project promo video 3 5 mins 10 mb flat quicktime gzipped stuffit macbinary trains 95 v1 3 action 4 5 mins 10 mb flat quicktime gzipped stuffit macbinary dialog annotation information researchers trains project publications relating trains trains 95 mixed initiative planning assistant aips 96 postscript version mixed initiative planning position paper arpi workshop feb 1994 trains project case study building conversational planning agent overview trains 93 jetai postscript version trains dialogue corpus interest urcs speech research knowledge representation tools episodic logic speech corpora holdings change 08 july 96 ringger ^^ home urcs research projects urcs home page


courant mathematics computing laboratory supported department energy computational mathematics applied analysis overview courant mathematics computing laboratory research center courant institute york university program devoted formulation analysis numerical resolution broad class scientific problems drawn aerodynamics multi phase flow combustion electromagnetic theory nonlinear optics materials science component involves design schemes partial differential equations support adaptive mesh refinement fast algorithms parallel computation component effort concerns modeling numerical investigation variety questions materials science interface motion nonlinear optics component involves mathematical analysis phenomenology nonlinear conservation laws incompressible flow people research personnel consists 7 faculty members 9 graduate students postdoctoral fellows current members include principal investigators peter lax marsha berger leslie faculty anne greenbaum dave muraki michael xin postdocs lou xu dong liu michael minion principal research projects partial listing projects numerical simulation partial differential equations complex geometry interface motion surface tension fast algorithms iterative methods discretization schemes materials science nonlinear optics fast poisson solver complex geometries spurious incompressible flow calculations investigation singularities convection adaptive simulation reacting flows study laser induced spark ignition software software obtained email contact person listed adaptive 2 fast multipole method interactions leslie cims nyu adaptive 2 adaptive mesh refinement code hyperbolic conservation laws marsha berger berger cims nyu adaptive version 2 code marsha berger berger cims nyu recent postdoctoral fellows supported part doe construction research area 1st position employer nyu comp fluid asst prof temple dynamics university ton comp fluid staff scientist aerospace corp dynamics young applied postdoc stonybrook analysis comp fluid staff scientist icase dynamics ward applied math asst prof liu num analysis asst prof applied math asst prof chicago applied num asst prof sweden analysis num analysis asst prof univ michigan russo num analysis asst prof italy recent ph theses supported part doe thesis title ph adviser employer year method images evaluation cheng electrostatic fields 1995 princeton systems university closely spaced cylinders multilevel roma adaptive version 1995 berger univ immersed boundary brazil method degeneracies spectra univ linear adjoint 1996 lax penn operators velocity formulation min chen euler 1996 lax integration lee singular perturbation 1994 korea problems stability shlomo classes lax tel aviv solutions 1994 goodman univ burgers eq higher order stability solns brian hayes eq ii studies 1994 lax lattice oscillations tian dispersion limit 1991 lax ohio state univ de eq cauchy problems sebastian complex burgers eq 1990 lax univ noelle space bonn dimensions


img company gods coming img horus son osiris heart firm img son isis osiris ^1 img img img horus project developed modular extensible img process group communication system addressing requirements wide variety robust distributed applications img img horus son isis osiris god attributes appealed strongly egyptians end egypt man woman type wished possess renewed life life opposed death movement opposed ^2 horus framework development distributed applications based group communications style computing arise fault tolerant systems managed distributed systems applications exploit data replication coherent caching groupware horus framework large collection system application protocols developed application designer construct communication module meets application requirements minimal cost horus project originally launched effort redesign isis group communication system evolved general purpose communication architecture advanced support development robust distributed systems settings isis unsuitable applications special security real time requirements practical software project contributed theory virtually synchrony runtime model implementation data replication fault tolerance time software faster lighter weight isis system horus exists systems initial version coded research purposes fee restricted commerical rights version called ensemble written ml usable languages classes users fee ensemble actively development series releases fall 1996 spring 1997 early 1997 ensemble outstanding environment building java based groupware applications multimedia conferencing web horus ensemble designed platform independent classes workstations personal computers parallel processors generation cluster environments standard high speed communications networks horus effort collaborates closely distributed systems projects including transis tacoma projects links projects found pages introductions horus visit papers abstract pages overview publications reports related horus project recent articles present high level introduction horus kenneth birman robbert van renesse software reliable networks scientific american 1996 robbert van renesse kenneth birman silvano maffeis horus flexible group communication system communications acm april 1996 ^1 final sentence osiris papyrus ani book dead ^2 wallis gods egyptians studies egyptian mythology volume 1 pages 486 487 open court publishing company london 1904 comments werner vogels


img intelligent dram iram computer science division university california berkeley img img img img img img people publications calendar links local working img img img img home mail cs ucb project overview microprocessors memories made distinct manufacturing lines yielding 10m transistor microprocessors transistor drams biggest performance challenge today speed mismatch microprocessors memory address challenge predict decade processors memory merged single chip narrow altogether remove processor memory performance gap additional benefits provide ideal building block parallel processing amortize costs fabrication lines utilize number transistors single chip dub iram standing intelligent ram transistors merged chip devoted memory current microprocessors rely hundreds wires connect external memory chips computer network connections power plug input output devices linked networks memory processing power vice versa arrangement memory capacity processor speed balance single gigabit iram internal memory bandwidth 1000 32k bits 50 ns increase fastest computers today chip accesses 1 gigabit serial links fastest programs memory accesses single iram rewarding compact representations code data history initial efforts iram project undertaken spring 1996 cs 294 4 uc berkeley advanced graduate led prof david patterson examined design hardware software based traditional separation memory processor web page considerable amount information including copies slides guest speakers results sets projects performed dozen graduate students earlier discussion helped lead development found article microprocessors 2020 dave patterson september 1995 issue pages 48 51 scientific american related work iram large improvement memory system bandwidth significant potential configurable systems achieve full performance potential configurable systems offer improved performance adapting processing capabilities application specific making processing portion application faster conventional memory system drag performance memory bandwidth performance bottleneck rapid reprogramming configurable elements reasons iram group working closely brass berkeley reconfigurable architecture systems software group headed prof john wawrzynek iram index img people img publications img calendar img links img local directory uc berkeley access directory img working directory part iram brass groups access directory img return page clicking iram icon img iram project part computer science division img university california berkeley img questions comments pages send mail modified 20 nov 1996 img page maintained richard cs berkeley


chinook project 1 chinook salmon large salmon pacific 2 amer ind tribe 3 warm dry wind blows east rocky mountains 4 warm wet wind west rocky mountains 5 rare american dog 6 hardware software synthesis cad tool real time embedded systems chinook hardware software synthesis cad tool embedded systems designed control dominated reactive systems timing constraints chinook maps behavioral description user target architecture filling details needed build complete system enables designers make informed design decisions high level early design cycle reiterate worked low level details retargetability make designs maintainable enables designer advantage technologies tied legacy code chinook active development generation actively working software architecture synthesis interprocessor communication synthesis efficient accurate simulation details shortly chinook characterized meets timing constraints maximize average performance utilization assumes manual partitioning issues intricate technical designers evaluate architectures forcing single fixed processor bus asic architecture synthesize software architectures rely shelf real time kernels discourage version chinook synthesis tool operational november 1993 version shown dac design automation conference san diego june 1994 main features include automatic connection processor peripheral devices generation sequential code concurrent description synthesizing device drivers inputs verilog outputs hardware needed connect hardware components software program run processor main topics include interfacing problem hardware software components scheduling timing constraints partitioning functionality improved version demonstrated nato summer school hw sw italy june 19 30 1995 incorporated interface synthesis techniques including memory mapped efficient code generation simulator faculty gaetano borriello graduate students pai chou ross ortega ken hines ian macduff recent ph elizabeth walkup scott hauck hulgaard staff larry mcmurchie list papers chinook sponsors arpa contract n00014 91 national science foundation grant mip national science graduate fellowship walkup patricia roberts harris fellowship ortega gte graduate fellowship chou embedded links university washington updated tue nov 12 06 34 47 pdt 1996


project computer science departments university saskatchewan university alberta involves studying aspects software engineering focus meta systems people projects papers theses related sites feedback wood letters ball


internet softbot softbot 5 finalists 1995 discover awards technological innovation computer software building autonomous agents interact real world software environments operating systems databases pragmatically convenient intellectually challenging substrate ai research support claim utilizing planning machine learning techniques develop internet softbot software robot customizable moderately intelligent assistant internet access softbot accepts goals high level language generates executes plans achieve goals learns experience softbot enables human user state accomplished softbot request dynamically determines satisfy softbot unix shell world wide web interact wide range internet resources tour softbot graphical user interface principal investigators oren etzioni daniel weld check metacrawler softbot fielded web service enables search multiple web indices parallel sophisticated pruning options information contact oren etzioni etzioni cs washington accessible introduction softbot project found softbot based interface internet cacm july 1994 methodological motivation project found intelligence robots reply brooks ai magazine december 1993 technical softbot papers found cartoon representation internet softbot blanchard article appeared december 1994 issue columns university washington alumni magazine softbots research group developing graphical user interface softbot user easily high level goals extending maintaining xii planner keith golden working graphical specification search control keith golden implementing advanced plan space browser debug planner control dave christianson comparing rule based versus procedural search control sujay parekh learns information resources net designing protocol multi softbot collaboration negotiation ying sun experimenting reactive system software domain kwok building optimized agent ingram information gathering reactive system internet kwok softbot hackers info web local access homepage button back ai home page cse button back cse home page mike perkowitz map cs washington


ut algorithms computational theory group algorithms computational theory group focuses theoretical foundations computer science current research interests faculty group include algorithm design complexity theory parallel computation graph theory probabilistic methods major focus group design analysis provably efficient algorithms solving fundamental computational problems efficiency measured terms resources time space number processors number random bits faculty greg plaxton plaxton cs utexas parallel computation algorithm design analysis combinatorics lower bounds randomization vijaya ramachandran vlr cs utexas parallel computation algorithm design analysis machine models graph theory graph algorithms david zuckerman diz cs utexas randomness computation complexity theory random walks graph theory cryptography affiliated folks postdocs students alumni sanjoy baruah sanjoy uvm sheng hsu sinica tw pierre mpi sb mpg de madhukar korupolu madhukar cs utexas phil mackenzie cs cs utexas poon cs utexas rajmohan rajaraman rraj cs utexas santanu sinha ssinha cs utexas torsten cs berkeley zhou cs utexas algorithms mailing list algorithms mailing list electronic mailing list announcements related seminars activities theoretical computer science posted low volume mailing list typically dozen messages semester add mailing list sending mail message vlr cs utexas expressing interest added algorithms mailing list remove mailing list time sending message requesting removal gripe cs utexas warm warm stands workshop algorithms research forum researchers theoretical computer science texas surrounding states meets year locations meeting consists talks researchers region recent research results distinguished keynote speaker warm organized vijaya ramachandran ut austin spring 1990 greg plaxton organized warm ut austin fall 1994 warm held locations including texas ut dallas southern methodist university university north texas louisiana state university university southwestern louisiana university oklahoma warm scheduled held ut dallas november 9 1996 program announcements warm algorithms mailing list car pool attend warm takes place austin announcements arrangements algorithms mailing list acm sigact sigact stands acm special interest group algorithms computational theory active group includes distinguished computer scientists sigact sponsors acm symposium theory computing stoc sponsor acm siam symposium discrete algorithms soda acm symposium parallel algorithms architectures spaa important conferences interest ieee symposium foundations computer science focs ieee symposium computational complexity vijaya ramachandran serves elected member sigact executive committee pointers acm sigact theory calendar eccc electronic colloquium computational complexity tcs virtual bibliographies theory foundations computer science mit hypertext bibliography project universities ut dept computer sciences


language research group buffalo language research group buffalo coordinated professor bharat jayaraman loose people interested topics programming languages systems ranging theory implementation applications people projects papers systems related web sites davin milun milun cs buffalo bharat jayaraman bharat cs buffalo


distributed artificial intelligence laboratory dis lab web server distributed artificial intelligence laboratory part computer science department umass find specific information research publications presentations personnel recent updates pages post doc positions purpose distributed ai lab investigates problems arise multiple agents including computational agents humans interact solve interrelated problems includes mechanisms multi agent coordination organization negotiation dis lab investigates design sophisticated individual control mechanisms sensor interpretation acoustic signal understanding real time scheduling resource constrained scheduling background introduction cooperative distributed problem solving distributed vehicle monitoring testbed blackboard systems current research projects automated contracting coalition formation control issues parallel knowledge based systems cooperation heterogeneous agents team cooperative information gathering design time real time scheduling testbed distributed situation assessment electronic commerce formal analysis fa distributed problem solving paradigm framework analysis sophisticated control generic agent architecture real time distributed situation assessment generic coordination strategies agents integrating decision making real time scheduling integrated processing understanding signals learning multi agent systems negotiation computationally bounded interested agents negotiation knowledge based scheduling agents dis arm taems framework task analysis environment modeling simulation distributed problem solving demonstrations information jobs post doc laboratory personnel laboratory associates published papers lab presentations experimental places visit learning multi agent systems webliography berkeley center information technology management icmas 96 conference page international conference exhibition practical application intelligent agents multi agent technology icmas 95 conference page dai mailing list back issues archive computational organization research mailing list back issues lab dai university tulsa dai hebrew university umich mice software umich maine cdps research group hampshire cerc west virginia university link concurrent engineering coordination project kqml page xerox parc work dynamics computation dai reseach olivier multi agent page dai university tulsa sandip sen multi agent page concordia dai group pleiades cmu blackboard technologies enterprise integration page cmu oz project agents page cmu ai repository umbc intelligent agents page img umass computer science department current lab education ig seminar page dis lab www server miscellania comments suggestions problems server guest book make entry browse img server traffic summary reports dis lab internal documents documents public accessing requires user authentication registration details document class index access password register dis group members login lab alphas execute usr local bin internal technical reports design documents accessible index password directly password link direct access restricted local lab machines questions problems suggestions send mail www dis cs umass update april 24 1996


coordination parallel programs coordination refers features parallel programs involving multiple processes communication synchronization scheduling simple programs regular data access patterns coordination structures determined compile time require runtime support applications irregular data access patterns loops iterate portions array dynamic data structures coordination decisions left runtime necessitating powerful runtime support sophisticated compile time analysis project coordination provided coordination language expressing scheduling communication patterns adaptive runtime scheduling multipol distributed data structure library software developed project integrated parallel software efforts berkeley castle project faculty susan graham katherine yelick students soumen chakrabarti soumen cs berkeley karl czajkowski cory cs berkeley etienne deprit deprit cs berkeley eun jin im cs berkeley arvind krishnamurthy cs berkeley beth cory cs berkeley randi thomas cory cs berkeley robert wahbe cs berkeley chih po wen cs berkeley graduates group steve lucco lucco cs berkeley working cmu oliver sharp oliver cs berkeley jeff jones cs berkeley working steve steinberg sgs cs berkeley working wired magazine ruth lbl gov working lawrence berkeley laboratory application studies extensively project test ideas recent applications include basis problem timing level circuit simulation phylogeny problem magnet simulation cell simulation short movie cell simulation shows flowing artery talks papers related coordination project


ucr computer architecture research lab research group members gary tyson tyson cs ucr group director assistant professor brian harvey brian cs ucr computer science graduate student kelsey lick klick cs ucr computer science graduate student ucr computer architecture research lab department computer science university california riverside send comments page systems cs ucr


image university oregon department computer information science wearable computing research group university oregon actively involved field wearable computing funded grant nsf pursue concepts related wearable field research goal gain understanding technical user interface issues wearable computing research categorized broad areas 1 developing wearable applications fielding current effort project virtual installing computer lans work army marine corps develop systems future 2 evaluating wearable applications development number areas goal effort extract common features systems information development common software system wearable computers 3 designing common software backplane rapidly reconfigured perform variety tasks develop commercially acceptable system support hardware developed variety vendors applications result software framework call functionality demand details check achilles project home page library software tools continues grow study applications 4 tackling theoretical problem limitations wearable system communications throughput processing speed organization data obvious limitations wearable application expectations systems designed today internet current state versus wearable system years highly fascinating topic pursued phd students detailed information wearable computer research group work links papers reports wearable computing oregon wearable computer achilles software architecture home page experiment wearable computing members wearable research team workshop wearable computer systems august 19 21 1996 wearable computer research group university oregon www links related wearable computing sign guestbook interests wearable computing


northwest laboratory lis integrated systems department computer science engineering university washington box 352350 seattle wa 98195 2350 usa department computer science engineering university washington engaged large scale integration vlsi computer aided design cad research development education late 1970s today northwest laboratory integrated systems focus wide variety vlsi architectures embedded sytems cad research current research projects previous research projects paper repository researchers current research projects time separation events specification synthesis verification timed asynchronous circuits asynchronous circuits verification asynchronous circuits survey current asynchronous design methodologies fpga asynchronous circuits triptych montage fpga architectures development triptych montage fpga architectures architectures improved densities current commercial fpgas multi fpga systems rapid prototyping development springbok rapid prototyping system board level fpgas designs partitioning pin rapid prototyping assignment routing topology work general multi fpga systems emerald architecture adaptive toolset fpgas complete set mapping placement routing tools generated automatically description fpga architecture architecture specific metrics incorporated tools improve results chinook project hardware software embedded systems design synthesis simulation system embedded applications retiming level clocked circuits efficient algorithms retiming circuits level sensitive latches improve performance reduce cost increase performance optimization tolerance clock skew synchronous circuits architectural retiming methods improving performance synchronous circuits latency feedback contraints network router chaotic routing project tuned systems tuned systems directed ted kehl previous research projects gemini validating layout comparing specification circuit implemented circuit mactester low cost digital functional tester chips circuits ttl cmos voltage levels


locality management large scale multiprocessors computer science department university rochester rochester ny 14627 0226 6 1 92 5 31 95 project developing techniques improve locality reference parallel programs admit efficient execution large scale multiprocessors combination simulation analytic studies experimentation compare alternative techniques locality management architectural assumptions wide variety benchmark applications seek quantify performance impact individual techniques architecture operating system runtime library user level interaction techniques layers system work lead understanding role locality data sharing parallel program performance comprehensive understanding effectiveness techniques locality management interactions principal investigators thomas leblanc professor chair leblanc cs rochester 716 275 5478 michael scott associate professor scott cs rochester 716 275 7745 graduate students leonidas kontothanassis maged michael wagner meira recent graduates jack silicon graphics mark crovella boston university ricardo bianchini recent accomplishments 1 95 supercomputing generation networks publications project specific papers systems technical report archive mint multiprocessor simulator mint software package designed ease process constructing event driven memory hierarchy simulators multiprocessors set simulated processors run standard unix executable files compiled mips r3000 based multiprocessor generate multiple streams memory reference events drive user provided memory system simulator mint hybrid technique exploits aspects native execution software interpretation minimize overhead processor simulation combined related techniques improve performance approach makes simulation uniprocessor hosts extremely efficient mint charge academic research sites readme file mint tutorial user manual 94 paper compressed source code tar format img arpa project page change 1 march 1995 scott cs rochester


temporal reasoning work 1988 led dr robert morris dr khatib association researchers field florida tech dr peter dr gerard attention focused assumption convexity interval based reasoning systems question effects removing assumption reasoning process question motivated research impressive results found details found links reasoning recurrence temporal databases morris cs fit cs fit fri dec 01 1995


usc programmable automation laboratory headed prof ari requicha lab conducts research computational geometry robotics artificial intelligence emphasis applications intelligent systems electromechanical design manufacturing lab institute robotics intelligent systems works collaboratively robotics research laboratory modular robotics laboratory computer vision laboratory laboratory molecular robotics contacts prof ari requicha programmable automation laboratory computer science department university southern california los angeles ca 90089 0781 requicha lipari usc telephone 213 740 fax 213 740 img img img img img img history research publications facilities people cool stuff copyright 1996 university southern california rights reserved trademarks mentioned belong respective owners update july 10 1996 steven spitz


scientific computing home page overview projects computational biology frank numerical simulation chaotic systems henry body computations john board experimental computational chemical physics michael kedem martha head people faculty graduate students people computing duke seminars courses offered scientific computing img dept computer science duke university document changed report suggestions problems www cs duke


homepage performance evaluation group group works dr larry dowdy field performance evaluation computer systems current research interests group include performance prediction models workload characterization multiprocessor scheduling modeling parallel raid disk systems experimental studies parallel systems people people group publications publications group members img oak ridge center computational sciences mail send comments suggestions viewer support mail send comments vuse vanderbilt


content length accept ranges bytes ap group ap group mit artificial intelligence laboratory supervised professor lynn andrea stein news announcements updated august 29 1996 ap group urop page details current projects ap group cognitive robotics solve traditional core ai problems context embodied systems understand naturally intelligent systems work cognitive robotics home page including neo modular systems imagination project natural communication robots cog shop home page information interrelated project human systems integration computers great connecting humans ve built sodabot software agent environment construction system sodabot intelligent room working david karger haystack user customization information retrieval education rethinking cs101 project home page ideas approach introductory computer programming lots work involves inexpensive robotics education 1993 aaai robot building laboratory 6 270 organizer manual robotics based undergraduate computer programming courses collaborate center center advanced educational services including virtual campus mit section construction current members faculty lynn andrea stein graduate students michael coen brian scassellati ellen spertus mark torrance leave mike undergraduate students joshua kramer sodabot ap group urop page alumni lynn stein students past present maintained lynn andrea stein las ai mit copyright 1996 massachusetts institute technology rights reserved


computer networks research group department computer science university massachusetts computer networks research group computer science department university massachusetts amherst led professors jim kurose don towsley group research spans broad range topic areas addressing host related issues represents complementary mix theoretical applied experimental research group work motivated emerging broadband high speed networks ability carry diverse mix multimedia traffic groups research divides broadly areas multicasting parallelized protocols shared memory multiprocessors multimedia real time communication updated modeling performance communication networks information people publications internal paper archive restricted kurose cs umass update 9 11 96


logic computation institute advanced concepts programming language theory focus research group logic computer science interest lambda calculus functional programming types constructive mathematics proof theory linear logic semantics group equipped usual array workstations backed complex turing machines prototype high speed optimal reduction machine type directed partial evaluator september 1996 running weekly seminar logic programming language theory tentatively devoted topics linear logic extracting computational content classical proofs members michael harry luca anna rene related boston area research groups mit semantics group semantics group northeastern university church functional programming project boston university


natural language laboratory simon fraser university artificial intelligence research sfu previous iris 2 intelligent interfaces information access coming natural language laboratory simon fraser university larger north american labs working natural language processing nlp outline natural language laboratory theoretical applied work nlp laboratory infrastructure pages development comments table contents acknowledgements 1 natural language phonology morphology syntax semantics pragmatics language natural language sites internet 2 theoretical laboratory work post 1988 morphology syntax head driven phrase structure grammar tree unification grammar parsing inheritance reasoning static discontinuity grammar government binding theory semantics representation nlp extended semantic networks stratified meaning representation natural language discourse metaphor interpretation language generation pragmatics predicting explaining query failure belief based view ill formed input language 3 applied laboratory work post 1988 natural language interfaces databases pre 1990 post 1990 grammar development tools pl grammar development system grammar development shell emacs user interface ale machine translation computer aided language learning 4 publications software publications laboratory publications list post 1988 laboratory publications online laboratory msc phd theses online online publications relevant laboratory software pl grammar development system grammar development shell emacs user interface ale 5 laboratory infrastructure laboratory personnel faculty staff research assistants adjunct personnel graduate students alumni industrial collaboration canadian cable labs fund rogers tcc communications corporation federal provincial government support iris precarn nserc asi laboratory hardware software centre systems science school computing science simon fraser university selected natural language related bibliography november 1996 electronic library access approximately papers natural language processing nlp related topics relevant research natural language laboratory acknowledgements document based paper natural language processing research simon fraser university 1992 online ascii form 44 pages kind permission canadian ai magazine paper updated adapted html dan document based common lisp language 2nd edition html version carnegie mellon artificial intelligence repository world wide web sites 1 natural language groups natural language processing previous iris 2 intelligent interfaces information access modified 15 november 1996 dan cs sfu ca


virtual prototyping mechanical assemblies current generation cad systems provide support prototyping mechanical assemblies creating integrated design simulation system address problem fundamental effort investigation effective mechanisms allowing designer interact assembly parts virtual manner prior creation physical prototypes designer touch hold move models parts assemblies rendered views result environment part interactions considered natural manner current technology part interactions high dof assemblies considered early design process assembly procedures evaluated time parts designed explicitly assembly sequences constraints greater advantages design devices intended human examined fabricate physical prototype finally virtual display tools integral project give designers appreciation complex part geometry gained traditional cad displays limited 3 information faculty staff graduate students john hollerbach pi russ fish rodney elaine cohen david johnson stephen jacobsen ali william thompson donald nelson thomas thompson cad systems simplest mechanical parts provide designer clear sense dimensional object geometry standard graphical rendering techniques involving perspective shading simple animation tools assemblies parts hear designers complain hands parts fit fact happening conventional display technologies providing user sufficient information geometry objects question key aspect addressing limitation augment visual rendering geometric models haptic interfaces direct manipulation modeled objects interfaces include accurate geometry provide realistic force feedback real dextrous arm master represents arguably advanced force reflecting today upper degree freedom arm component matches redundancy human arm degrees freedom provided hand total 10 degrees freedom force reflection master arm hand degree freedom thumb fixed degree freedom index middle finger dextrous arm based hydraulic actuation torque density bandwidth application result master compact higher performance electric motor drives pictures shows scale model engine cylinder represents kinds assemblies working accommodating virtual prototyping system engine involves complex interrelated part motions understood designers prior committing expensive fabrication operations full function virtual prototyping system designer manipulate individual parts entire assembly moves virtual prototyping designer assembly sequences modifying parts ease assembly process finally virtual prototyping system sufficiently complete model human body validate assembly operations engine creating user interface virtual prototyping systems involves solving largely independent problems visual rendering involves creating realistic views configuration parts aspects haptic rendering involves giving user realistic sensation touching manipulating physical objects takes motions made user modifies models virtual world appropriately contact interference computations needed determine part part user part interactions virtual world visual rendering haptic rendering contact interference detection exploit knowledge nature mechanical assemblies general solutions viable geometric modeling systems support virtual prototyping mechanical assemblies capabilities typical cad cam system design render individual parts part interactions involving contact forces computable real time designer reaches grab virtual part system contact part made feedback generated solid grip established user feedback reflect object inertial gravity forces assembly forces due contact assemblies capable manipulation part assembly motions parts assembly reflect sensations user standard cad systems unable supply information needed support assembly operations haptic rendering required virtual prototyping system img img img img


research lab linguistics computation homepage research lab linguistics computation computer science department brandeis university waltham ma usa involved research design development lexically based semantic indexing content abstraction techniques documents techniques employ robust natural language processing text generate multi purpose structures call lexical webs lexical webs normalized structured representations semantic content text group texts important application lexical webs potential role accelerating placement information web highly indexed format facilitates navigation rapid information access demo work emerges directly previous research carried nsf arpa human language technologies program goal research development intelligent trainable lexical database substantial fragment english called core lexical engine central work integration lexical semantic techniques corpus based approaches lexical acquisition characterizing statistical properties texts annotated semantic tags infer semantic relations unmarked texts richer mere associations future research directed techniques automatically enriching model web based documents making extending technologies takes advantage fact generative lexicon framework developed partly context work tipster muc efforts providing statistically sensitive semantic techniques lexically based document enrichment service information extraction tasks people david abrams paul james director james interview ta marc past peter alan blair michael johnston pat david mcdonald scott waterman check publications related servers local resources page maintained paul paulb cs brandeis update 24 1996


3063 active messages updated active messages interface specification 9 28 1996 interface generalizes previous active messages interfaces support broader spectrum applications client server programs file systems operating systems continuing support parallel programs recent advances local area networks networks workstations differ massively parallel processors primarily packaging cost software emphasis key open architectural question nature network interface communication architecture hardware organization logical abstraction basis communication active messages represent risc approach communication providing simple primitives solutions expose full hardware performance higher layers active messages intended serve substrate building libraries provide higher level communication abstractions generating communication code parallel language compiler direct programmers uc berkeley fast communication layers sockets rpc mpi xfs parallel file system split id compilers libraries scalapack project investigates active messages broad range hardware including dedicated message processor node intel paragon myrinet fddi interface graphics bus high end workstation hp 735 conventional interface generation lan sparc 10 1 atm demonstrate concepts construction evaluate real programs real machines result clearer understanding communication architecture trade offs hardware organization network interface search papers software releases active messages people professors david culler students brent chun alan rich martin chad yoshikawa modified wed jun 19 03 34 59 pdt 1996 cal cs berkeley


structurally free logic description years great interest called logics logics distinguished structural rules postulated systems logics notorious thinning relevance logic contraction logic linear logic linear logic reason stop people considered commutative linear logic associative calculus people looked associative point view project structural rules altogether place explicit introduction rules combinators combinators class objects cut elimination theorem proven relational semantics meyer semantics calculus extended provide semantics combinatory logic key idea relation states interpreted indexed action states set states proposition simultaneously viewed set actions makes sense talk applying proposition number open problems centering addition conjunction disjunction include proving cut theorem respect distributive combination providing completeness theorem distributive combination faculty michael dunn affiliated projects robert meyer automated reasoning project australian national university support college arts sciences img return computer science research page


dynamical evolutionary machine organization brandeis university demo attacks problems agent cognition complex machine organizations created simple components minimal human design effort study recurrent neural networks evolutionary computation dynamical systems substrates build working systems test theories demo located back room 118 volen center interaction lab entry workstation cluster room 119 shop 117 members organization photo jordan pollack alan blair hugues pablo spitz gregory works progress evolution backgammon player persistent themes artificial life research evolutionary arms races development specific complex behaviors sims work artificial robots work attacked simple games prisoner dilemma predator prey tesauro work td gammon simple hill climbing 4000 parameter feed forward network develop competitive backgammon evolution function back propagation reinforcement temporal difference learning methods employed start initial champion weights proceed simply playing current champion network slightly challenger changing weights challenger wins evaluation proceeds applying network legal moves choosing move highest evaluation results show evolution powerful machine learning method coupled simple hill climbing surprising success tesauro program evolutionary structure learning task stochastic reversible dynamics backgammon game advanced learning techniques img backgammon page massively parallel genetic programming simd power maspar mp2 harnessed perform genetic programming top speed chapter advances gp ii forthcoming mit press genetic programming img competitive fitness evolve elegant solution intertwined spirals problem function 52 gp primitives broke plane subproblems added spiral massively parallel neural networks mp2 collective action small neural networks evolution network architectures high capacity raam concept decoding find large capacity raam picture tree depth equivalence classes dimensional mind eye project mp2 rapid construction neural network fractal attractors basis memory gallery images evolution communication evolve neural networks put agents cooperate compete communicate robotic tasks students needed work realistic simulation preparation downloading actual real robots ghostscript ps viewer watch simulation evolved agents action robot building nsf building robotics facility brandeis complete lego small equipment electronics capabilities opportunities abound people electronic interfacing machine shop experience


abstract source people cs department courant nyu persistent linda software system robust distributed parallel computing write objectives objectives project fold fault tolerant parallel computing provide language constructs facilitate design high performance fault tolerant parallel programs harness aggregate power idle cycles networks workstations manner fault tolerant owners workstations system models user returns workstation failure work idle workstation moved applications major class applications long running coarse grain parallel applications applications nile project data mining biological pattern discovery distribution source code install refer user manual additional information faq future work debuggers run time visualization tools software tools writing parallel distributed programs performance improvements scientific applications programming tools data mining distributed run time kernel suggestions feel free send mail cs nyu people dennis shasha professor brian anderson student tom brown student karp joo jeong student bin li student qiu student student peter wyckoff student publications user manual postscript jeong fault tolerant parallel processing combining linda transactions ph thesis department computer science york university 1996 click postscript version jeong dennis shasha persistent linda 2 transaction checkpointing approach fault tolerant linda proceedings 13th symposium fault tolerant distributed systems october 1994 click postscript version brian anderson dennis shasha persistent linda linda transactions query processing workshop research directions high level parallel programming languages saint michel france june 1991 published springer verlag lecture notes computer science 574 click postscript version fault tolerant systems modified bin li october 23 1996


multimedia laboratory department computer science north carolina state university multimedia laboratory logo mission laboratory support research education computer science graduates undergraduates fields multimedia technology high speed communications network based educational technology knowledge based learning environments image diploma earn graduate degree computer science administration personnel research board picture herman lab policies faculty intellimedia initiative classes offered staff herman pointer tutorials projects reserve equipment backup schedule statistics search visit lab page department computer science multimedia laboratory north carolina state university november 13 1996 support multimedia ncsu copyright department computer science 1996


principal investigator dr edwin sha nsf career award 1995 1998 grant number mip title high level design methodologies time optimal memory optimal systems abstract time memory critical parts scientific computing applications concentrated nested loops research focuses optimization algorithms synthesis multi level loops loop nests modeled multi dimensional data flow graphs algorithms taking advantage multi dimensionality designed computation nested loop visualized repeated executions iteration body multi dimensional iteration space iteration space iteration body simultaneously proposed transformation optimization techniques optimize throughput memory requirement behavior level proposed project develop polynomial time algorithms graph models traditional integer linear programming approaches research topics project include 1 graph transformation optimization techniques concept multi dimensional interleaving retiming obtain optimal throughput minimal increase memory requirement 2 data scheduling techniques minimize size level memory chip memory time constraint techniques maximize data utilization size chip memory 3 design automation hardware multi software special hardware multiple processors design 4 development synthesis tools multi dimensional applications graduate students nelson bach helios michael sheliga msheliga bach helios david surma dsurma bach helios joy bach helios dev tongsima bach helios chenhua lang bach helios technical reports found cse departmental report archives dr edwin sha department computer science engineering university notre dame notre dame 46556 usa 219 631 office 219 631 9260 fax esha bach helios cse revised 13 1995


discus home page laboratory performance studies distributed computing systems department computer science university saskatchewan discus home page visitors site january 30 1996 members faculty students research staff discus research group conducts research research areas relating performance issues distributed computing systems including client server systems computer networks parallel systems ftp server collection papers theses software written members research sponsors organizations supporting research general information saskatoon saskatchewan 8 feedback send comments 8 dept groups comp sci dept university page modified sept 10 1996 icons courtesy web weavers graphics discus icon copyright discus group


img stephen ward anant agarwal professor computer career development science engineering associate professor computer science computer architecture group research project called effectively combines modularity supercomputer performance describes packaging interconnect technology supports high bandwidth systolic communications 3d neighbor nearest neighbor lattice modules simply plug connected printed circuit traces backplane buses explores engineering discipline physical location components accounted explicitly abstracted logical model simple engineering models provided software tools hardware generality risc maintains programming model compilation processor complexity modularity communications substrate regularity compilation target iteration single communication building block replace variety ad hoc communication paths gill pratt david assistant professor computer research associate science engineering cost performance advantages approach stem factors physical component placement optimized part logical design underlying communication technology designed performance interconnect flexibility interconnection relies mass produced modules configuration specific wiring research embraces technologies including architecture communications substrate clocking communication technologies compilers programming models representative applications initial focus important class algorithms static communication patterns precompiled system independent carefully finite state machine descriptions exploring extension general communication support dynamic routing front alewife project created design scalable cache coherent shared memory multiprocessor program thousand vlsi processors portion shared memory interconnected multistage network unlike conventional shared memory machines multiprocessor exploits locality referencing hardware software levels maximize memory bandwidth distributed directory ensures coherence high speed caches processor store private shared data utilizing locality research focuses data collection methods analytical simulation techniques evaluating large scale parallel computers designing building interconnection networks processor cache memory systems important goal couple design algorithms compilers operating systems goal resultant impact multiprocessor performance address traces obtained data collection techniques evaluate architectural choices insight turn feeds back software development major part project investigates hardware technologies packaging future high density low latency interconnections img img img


img img img img computer visualization modeling lab utsa computer visualization modeling laboratory focuses ways model understand systems concurrent behavior application areas range multithreaded operating systems chaotic pattern forming systems computer animation image processing interactive simulations tools projects research areas concurrency experiments unix pup data animation visualization systems modeling visualization visualization instruction personnel publications project demos web sites utsa computer science program


logic functional programming group sfu address simon fraser university burnaby canada v5a 1s6 phone 604 291 fax 604 291 3045 director veronica dahl school computing science sfu contact fred school computing science sfu members harvey abramson department computer science aizu university hassan ait kaci mpr senior nserc chair intelligent software systems center systems science sfu steve department sfu warren burton school computing science sfu phil faculty education sfu jim school computing science sfu bill havens school computing science sfu jia wei han school computing science sfu lou hafer school computing science sfu ron harrop department mathematics sfu david poole department computer science ubc michael department linguistics ubc bill department computer science university victoria van department computer science university victoria associate members richard department linguistics sfu john jones school engineering sfu visiting scientists departement informatique universite de nantes paul departement informatique universite de post docs jamie andrews genesis logic functional programming group formally established 1990 independent research group sfu policy ac 35 strongly interdisciplinary group comprising members sfu units computing sciences linguistics mathematics centre systems science education engineering ubc units linguistics sciences university victoria aizu university japan area logic programming art logic describe knowledge human oriented traditional programming languages achieved describing problem domain terms facts rules written simple subset order logic hidden theorem prover solve problem domain deducing needed facts facts rules stored program declaratively largely terms logic programming heart generation computing project objectives group objectives state art theoretical practical aspects developing declarative programming tools logic programming functional programming constraint logic programming logic grammars investigate tools concrete generation computing applications facilitate result transfers collaborations academic units industry specific research interests building existing logic functional programming tools group develops tools logic grammars investigates theoretical implementation aspects develops generation software areas natural language processing front ends knowledge based systems analysis generation translation linguistic theory automation deductive databases knowledge representation constraint logic programming hardware design probabilistic systems expert systems related areas neural networks parallelism investigated collaborations group members solid record successful collaboration industry including record setting research contract ibm canada generating machine readable error messages research contract french government automatic consultation industrial catalogues french research contracts canadian workplace automation research centre laval automatic translation agricultural reports group collaboration agreements european universities discussing potential collaborations contact group director dr ver dahl 604 291 3372 equipment group laboratory located asb sun sparcstation ipx runs quintus prolog macintosh runs als prolog ibm personal computer video terminals sparcstation mac purchased nserc css equipment grants ibm terminals purchased funds ibm sur grant nserc operating grant acknowledgements group gratefully acknowledges financial support nserc css form infrastructure equipment grants grateful sfu css facilities


etag content length accept ranges bytes intelligent information infrastructure project artificial intelligence laboratory intelligent information infrastructure project seeks develop extremely general system distributing retrieving information work major internet protocols early phases involve building automated tools managing communications flows large organizations email distributed hypermedia electronic media initial phase developing servers lines project turn interactive tools wide area communication including number approaches natural language understanding project grows experiment run 1992 presidential election mail agents distributed campaign information collected questions citizens allowed volunteers organize interest political communication continues members project work white house congress cambridge government project hierarchical adaptive survey technology developed project survey 1600 recipients daily white house electronic publications summary results survey results wide area collaboration system developed deployed vice president open meeting national performance review key component systems common lisp hypermedia server runs major freely distributed internet working local politicians project members developed web site senator senator kennedy early city web site city cambridge page information project contents project overview hyperlinks live project demos projects graduate students undergraduates talks publications workshops panels conferences personnel andrew mark randall davis rodney sue phillip baker roger robert john mark christopher vincent alumni boris katz eric loeb benjamin howard shrobe downloadable systems common lisp web server hacks finger gateway stop service finding people internet rfc index lookup search index stop service accessing internet engineering task force requests comment including mail status code lookup enhanced electronic mail status codes information resources computational linguistics information infrastructure political participation project federal government sponsors defense advanced research projects agency www servers mit artificial intelligence laboratory information lab research projects mit laboratory computer science offers variety resources mit media laboratory homepage describes activities restricts access outsiders mit research program communications policy maintains server pointers variety information infrastructure relevant resources mit department political science helping political scientists recognize profound communication revolution underway massachusetts institute technology home page pointers full range networked resources institute john


object systems laboratory systems advanced architectures systems advanced architecture object systems laboratories part computer science department university massachusetts amherst principal investigators kathryn mckinley eliot moss papers primary research areas compiler architectures compiler optimizations enhancing parallelism memory system performance memory management compiler runtime issues memory system performance persistent programming languages design implementation persistent object stores information retrieval transactional memory research projects scale mneme optimizing object oriented languages garbage collection analytical models object allocation deallocation behavior loop optimizations distributed support information retrieval graduate students brendan cahoon john cavazos jim doyle jim havlicek karsten jung sharad singhai darko stefanovic cindy stein glen weaver eric wright recent graduates eric brown amer diwan tony hosking osl saa collection reports describing work progress page frequently updated visit maintained sharad singhai singhai cs umass updated nov 8 1996


shore high performance scalable persistent object repository document contents objective overview release information mailing lists shore version 1 0 line information source binaries documentation beta release shore version 0 9 3 publications related shore people working shore latest research summary arpa paradise project gis built shore exodus project predecessor shore oo7 benchmark benchmark oodbs shore photo album uw madison database research group uw madison cs department server objective objective shore project design implement evaluate persistent object system serve wide variety target applications including hardware software cad systems persistent programming languages geographic information systems satellite data repositories multi media applications shore expands basic capabilities widely exodus storage manager developed wisconsin funded arpa number ways including support typed objects multiple programming languages unix hierarchical space named objects unix compatible interface objects text field interface intended ease transition applications unix file system environment shore existing unix tools vi cc store data shore objects modification basically unix file single shore object text field complex object overview shore hybrid system nature characteristics object oriented database systems file systems section briefly describe basic features shore paper shoring persistent applications describes shore greater detail shore major goals scalability support hardware language heterogeneity support existing file based applications shore project began 3 years ago goals unique research commercial oodbms community odmg effort concentrated providing degree support language heterogeneity turn facilitates hardware heterogeneity shore remains distinguished focus scalability support applications depend unix file system persistent storage shore data model sdl basically compatible odmg data model expect technology develop eventually transferred commercial sector scalable architecture shore software architecture unique ways shore symmetric peer peer distributed architecture shore participating processor runs shore server process processor shore data disks attached software designed scalable run single processor network workstations large parallel processor intel paragon ibm sp1 2 design contrast client server architecture exodus oodbms vendors client server architecture fine design environment typically software hardware cad efforts scalable unique feature shore architecture notion added server structuring software runs server extensibility mind simple users build application specific servers paradise project shore server build geographic information system nasa eosdis project feel unique pieces technology play important role variety future research commercial endeavors digital libraries future depend availability scalable persistent object technology systems store retrieve manipulate transmit objects video pictures text current oodbms products systems oriented dealing gigabytes terabytes data equally important indexing retrieval query processing mechanisms needed digital library required geographic information system language hardware heterogeneity objects shore typed shore single language neutral type system define types shore objects type system embodied shore data language sdl language shore object types defined sdl enhances omg data model idl support database features bulk types sets lists persistence provision typed persistent objects simplifies task supporting heterogeneous hardware environments makes feasible support access persistent objects multiple programming languages key objective shore project mentioned earlier sdl closely related language neutral object type definition language recently proposed standard oodb vendor consortium odmg terms emphasis odmg largely concentrated providing standardized interface existing oriented oodbs focus support inter language object sharing large space objects support existing file based applications major goal shore enable applications untyped byte oriented files persistent data flattening flattening data time accessed stop applications store data typed structured objects convenient type safe intra inter program data sharing ultimate hope shore byte oriented file systems unix file system shore major services file system standpoint support object naming space management world persistent objects shore flexible tree structured unix space persistent objects reachable directly indirectly shore users familiar framework register individual persistent objects termed registered objects roots large persistent data structures bulk sets unnamed objects termed anonymous objects realization framework involves kinds shore file system objects including directories pools files anonymous objects symbolic links cross references shore mechanisms ease transition legacy unix applications compilers editors cad systems traditional byte stream files shore applications linked shore standard unix compatible file system interface open close read write mkdir order make access shore objects unix file system calls shore object type optionally designate variable length byte string character string attribute object object unix data programs attempt read object shore counterparts unix file system calls portion object legacy programs linked nfs mount shore file system access unix data contained objects directly makes feasible applications access set objects applications access unix data component object applications define access structured attributes object release information latest time table release shore dates approximate subject change questions contact shore support cs wisc beta release 0 9 3 1995 beta release beta release 0 9 3 beta shore version 0 9 3 sept 18 1995 includes improved documentation complete implementations sdl features bug fixes ports solaris hp ux linux version 1 0 august 6 1995 released shore version 1 0 gzip tar files source documentation binary release sparc pentium solaris 2 5 found ftp ftp cs wisc shore 1 0 mailing lists shore related mailing lists shore support cs wisc shore cs wisc shore support cs wisc mailing list reaches shore development team shore users submit questions comments bug reports subscribe mailing list shore cs wisc mailing list users interested shore list managed listproc software uw madison cs department unmoderated event cluttered junk mail moderate mail messages interested list mailbox cluttered sign weekly digests information information list subscribe purpose shore interested parties releases shore ftp archive requests users default replies sender posted entire list entire list reply copy reply shore list public mailing list subscribe subscribers post list existence list shown listing returned listproc processes lists request subscribe subscription concealed default subscribers obtain membership list listproc system subscribing shore subscribe change subscription mail special message listproc cs wisc subscribe content message subscribe shore receive weekly digests individual messages send subscription send separate message set shore mail digest subscribe content message unsubscribe shore list processor content message modified mon mar 18 10 41 39 cst 1996 nancy hall cs wisc footnotes compatibility shore odmg concurrently decided omg data model idl starting point data models sdl similar convert sdl 100 compatible


ucla vlsi cad lab laboratory investigate computer aided design vlsi circuits systems areas include logic synthesis technology mapping physical design testing yield enhancement vlsi technologies standard cells gate arrays field programmable gate arrays fpgas multi chip modules areas study include structural theory large scale global optimizations arise vlsi cad people vlsi cad lab faculty jason cong andrew post doctoral scholars kei yong xu graduate students darren chi jie fang lei hong jen hsin huang yow hwang darko cheng kok lee patrick madden john peck alumni charles kenneth eugene ding lars hagen chris kwok kwok shing leung zheng li liu gabriel robins smith albert chung wen tsao vlsi cad lab activities partitioning benchmarks hypergraph format sigda related activities sigda publications cd rom dac 1995 sigda university booth related information 1996 international symposium low power electronics design send comments vlsi cad lab home page cs ucla comments personal home page respective personal account


caltech infospheres project bringing theory marketplace caltech infospheres project deals theory implementation compositional systems support peer peer communication persistent multithreaded distributed objects implementation generic distributed system java tcp ip web ideas directly applicable distributed possibly object oriented system supports messages threads key concern development reliable distributed applications composing existing created software components structured ways solving problems standards distributed component technology user developer internet 21st century executive summary infospheres project release 1 infosphere infrastructure ii caltech infospheres infrastructure ii distributed system framework implemented java generic object model variety messaging models asynchronous synchronous remote procedure calls system freely researchers developers develop lightweight distributed systems leverage open standards world wide web caltech developing methodologies advantage system design reasoning entire distributed systems feasible methodologies reliability completeness robustness distributed system ii extended support interoperability distributed system models utilize emerging standards java domain system designed implemented generic manner ideas algorithms theories developed ii framework directly applicable existing distributed systems frameworks caltech infospheres project part compositional systems research group center research parallel computation led professor mani chandy projects compositional systems group works include problem solving environments archetypes infosphere infrastructure contributions infospheres group theoretical experimental extensive set papers infosphere infrastructure commercial purposes major code release 1 0a made august 26th 1996 contact infospheres group send email infospheres cs caltech note internal mailing list group members bug reports info bugs cs caltech infospheres project sponsored cise directorate national science foundation problem solving environments grant ccr 9527130 center research parallel computing grant nsf ccr 9120008 novell formal methods reliability mobility security parts project sponsored air force office scientific research grant afosr 91 0070 people papers releases mailing lists related work past projects group resources infospheres logo


measurement prediction parallel program performance nsf cise grant ccr faculty tom leblanc leblanc cs rochester collaboration mark crovella crovella cs bu graduate students wagner meira meira cs rochester alex poulos poulos cs rochester nikolaos hardavellas nikolaos cs rochester project summary carnival tool designed automate process understanding performance parallel programs supports performance measurement modeling tuning visualization carnival measurements based predicate profiling quantifies time spent category overhead execution implementation predicate profiling implemented ksr 1 implementations sgi challenge multiprocessor ibm sp 2 network sun workstations running pvm cluster alpha workstations carnival attempt automate effect inference process performance phenomena carnival supports waiting time analysis automatic inference process explains source waiting time terms underlying simply identifying occurs developing similar technique explain communication ultimate goal combine accuracy empirical performance measurement predictive power analytic performance modeling end carnival supports lost cycles analysis priori knowledge sources characteristics overhead categories parallel systems guide constrain modeling process lost cycles toolkit integrating carnival combines empirical model building techniques statistics measurement modeling techniques parallel programs carnival visualization tool link performance measurements source code interface presents original source code window left hand side source grey scale scroll bar amount time spent portion source code summed processors hand side source code color bars percent time spent overhead category section source code summed processors pop windows modeling waiting time analysis carnival implementation comprises 15 000 lines tcl tk source code installed cornell theory center plan make widely porting instrumentation library machine dependent portion tool clusters dec alphas connected dec memory channel related publications crovella bianchini leblanc markatos wisniewski communication computation ratio parallel program design performance prediction proc 4th ieee symposium parallel distributed processing dallas texas december 1992 pp 238 245 crovella leblanc performance debugging parallel performance predicates proc 3rd acm onr workshop parallel distributed debugging pp 140 150 1993 crovella leblanc search lost cycles approach performance tuning parallel programs proc supercomputing 94 washington november 1994 pp 600 609 technical report 479 computer science dept univ rochester december 1993 crovella leblanc scott advantages multiple combinatorial search parallel distributed computing 21 1 april 1994 pp 110 123 technical report 451 computer science dept univ rochester april 1993 crovella performance prediction tuning parallel programs ph dissertation tr 573 computer science department university rochester august 1994 mark crovella thomas leblanc wagner meira jr parallel performance prediction lost cycles toolkit tr 580 computer science department university rochester 1995 wagner meira jr modeling performance parallel programs tr 589 computer science department university rochester june 1995 wagner meira jr thomas leblanc alexandros poulos performance visualization tuning carnival acm sigmetrics symp parallel distributed tools 1996 pp 1 10 related projects aims nasa ames pablo university illinois paradyn university wisconsin university oregon tass georgia tech tau university oregon information symposium parallel distributed tools sponsored acm sigmetrics symposium home page held 1996 part acm federated conference philadelphia pa proceedings symposium papers latest work area parallel tools consortium formed coordinate tool development parallel processing community home page list projects approved consortium comprehensive list research projects parallel tools cornell theory center maintains list parallel tools including forge paragraph parascope upshot documentation introduction parallel computing discussion related performance issues ian foster line text designing building parallel programs modified june 21 1996 tom leblanc leblanc cs rochester


faculty staff graduate students photographs pronunciations names names research activities img graph coloring img mizar project img formal methods img algorithms classes graphs img interconnection networks img mesh generation img algebraic numerical algorithms img genetic algorithms home pages research equipment laboratory office software maple rational rose ftp access official ftp site ftp cs ualberta ca additional information information contact theory cs ualberta ca img img november 16 1995


1812 sfu parallel distributed computing group research area parallel distributed computing ranges theory practice faculty interests include complexity parallel distributed algorithms scheduling theory operating systems issues vlsi implementation parallel machines parallel distributed communications networks parallel programming languages parallel vision algorithms distributed databases tools development distributed parallel algorithms highly distributed systems applications faculty stella atkins warren burton arvind gupta hell richard hobson ramesh krishnamurti wo shun luk ze li arthur joseph peters thomas peter top visit computing science simon fraser university


uw madison machine learning research group www home page relevant information members machine learning research group university wisconsin madison table contents group members archive recent papers archive datasets domain theories paper reading schedule ai seminar cs 760 machine learning graduate relevant local links external links group members carolyn allex jonathon bodner kevin cherkauer mark craven tina eliassi richard maclin graduated august 1995 david opitz graduated august 1995 jude shavlik archive recent papers visit page describing recent publications ascii file list recent abstracts archive datasets domain theories access ftp directory ml testbeds access ftp wisconsin breast cancer database prof olvi mangasarian group paper reading schedule current schedule papers read schedules line ai seminar current schedule local ai seminar relevant local links cs 760 machine learning graduate uw madison machine learning math programming group computational biology uw madison cs dept uw madison computational neuroscience uw madison ai group uw madison computer vision group uw madison robotics group uw madison cs dept home page uw madison home page doit uw madison center mathematical sciences gopher uw madison graduate school uw madison library recent table contents abstracts selected ml journals wendt library readable cs wisc procs workshop agents learn agents held 1995 international machine learning conference local links modified fri mar 1 11 00 45 1996 jude shavlik shavlik cs wisc


etag content length 3424 accept ranges bytes scheme underground church numeral free variable scheme underground effort starting lcs ai lab develop software packages scheme research projects distribution net world internet badly public domain software environment rapid construction software tools modern programming language goal build system scheme 48 ultra portable scheme implementation easily interfaced existing software written languages mit undergrads hack scheme summer interested hacking advanced scheme systems mit design implementation work packages packages include unix shells world wide web systems graphics text editors base systems tools scheme implementation developed mit scheme 48 major emphasis effort create hacker culture teaches encourages elegant coding style people working project expected mature people constructively critique code mature critique code constructive professional manner project give opportunity learn good coding style highly experienced scheme programmers helped define language urop projects partial list projects summer projects overlap executed make real impact inside mit internet scheme based shell unix world wide web projects graphics projects systems programming projects motivated hackers good programming taste scheme interesting fun projects continue fall semester projects appeal fit bill touch related efforts rice plt project provide cover texas cell underground reports separate shadowy conspiracy accurate kill conspiracy blood summer olin shivers shivers ai mit ian horswill ian ai mit jonathan rees jar ai mit ian horswill ian ai mit


etag content length accept ranges bytes mit ai lab computer vision group computer vision group mit artificial intelligence lab conducts research wide variety topics examples listed projects img image guided surgery image guided surgery project enhanced reality visualization internal anatomical structures live video imagery patients img cheap vision machine cheap vision machine project develop affordable low resolution vision machines mobot vision system light weight low power low cost vision system designed board mobile robot vision learning projects learning context visual tasks face recognition center biological computational learning people group jeremy gil eric grimson tina kapur lakshmi ratan pamela mellor erik miller chris gideon stein paul viola


database research group department computer science michigan state university homepage construction faculty graduate students active areas research brochure img cps research groups page maintained manager msu


university maryland software interconnection laboratory software interconnection laboratory university maryland computer science department deals aspects configuration integration connection software packages components team members working lab specifically focus reuse mixed platform software heterogeneous distributed systems tech reports manuals research activities laboratory hope readers net feel free comment involved work