Welcome to our Colloquium Series. All faculty and students are encouraged to attend. In particular, this is an excellent opportunity for graduate students to become familiar with various research areas in Computer Science, Computer Engineering, Electrical Engineering, and other related fields. The current colloquium schedule is shown below, updated as speakers are confirmed. Suggestions for speakers are always welcome! For more information please contact:
Phone: (775) 784-6951
The following list consists of all Colloquia in which the Department of Computer Science & Engineering has been involved. The entries are listed in chronological order, with the most recent events listed first.
Friday, May 1st, 2009 at 09:30a.m.
9:30 am
Project 1 DOCS (Document Organization Computing Solutions)
A web application for organizing physical files in offices (e.g., law offices)
Students Darren Johnson, Kellen Dale, Joel Martinez, Vic Van Horn
Advisors Mr. Wes Hays, Mr. John Dell, CASAT Reno
10:00 am
Project 2 Slot Tracker
A system for Bally Technologies that wirelessly tracks slot machines on casino floors
Students Katie Ceglia, David Keele, Michael Picerno, Ben Seelbinder
Advisor Mr. Ryan Ruppert, Bally Technologies
10:30 am
Project 3 Muse – A Music Theory Game
An interactive edutainment software that helps learning music theory
Students Ben Brown, Josh Greenspan, Wesley Lee
Advisor Dr. Eelke Folmer, UNR
11:00 am
Project 4 GELS (General Electric Licensing System)
A web application for managing General Electric’s software licensing
Students Miran Kim, Xiaolu (Lulu) Zhang, Victor Ivanov
Advisor Mr. Ken Ceglia, General Electric
11:30 am – 1:00 pm CSE Advisory Board meeting & lunch
1:00 pm Posters session: research, game development, and senior projects
1:30 pm
Project 5 Wield–CAVE (Wireless Ergonomic Lightweight Device – for use in CAVE)
An interaction glove for immersive virtual reality simulation and training
Students Joshua Hegie, Andrew Kimmel, Kelvin Parian
Advisor Dr. Frederick C. Harris, Jr., UNR
2:00 pm
Project 6 HEDC (Human Error Detection and Correction)
A human error detection and correction navigation system implemented on a Segway robot
Students Trevor Bullock, Arthur LeVesque, Ryan Luna
Advisor Dr. Kostas Bekris, UNR
2:30 pm
Project 7 IRIS (Image Recognition Inventory System)
An image-based medical instruments inventory system for hospitals in Africa
Students Matt Whipple, Cody White (with Fabien Pitetti, Vincent Roydor)
Advisors Dr. Philippe Dugerdil and Mr. Francois Wahl, Geneva, Switzerland
3:00 pm
Project 8 Standalone Hard Drive Manager
A standalone hard disk test manager system for PC-Doctor
Students Amanda Sou, Javier Garcia, Curtis Richardson
Advisors Mr. Ken Sheppard and Mr. Hector Urtubia, PC-Doctor, Inc, Reno, NV
3:30 pm
Project 9: iPack – A UNR iPhone Application
A UNR information and navigation system for the iPhone
Students A.J. Hernandez, Chris Maloney, Jeff Naruchitparames
Advisor Mr. Brian Westphal, CliqCliq
Friday, April 17th, 2009 at 09:30a.m.
Sponsored and organized by the IGT and CSE Department, UNR. The event will run from 9:30 am to 3:30 pm. Short tours of the Mathewson-IGT Knowledge Center are included and lunch will be provided based on availability.
9:00 Registration opens
9:30 Morning Tour - Mathewson IGT Knowledge Center
10:00 Welcome
10:10 Speaker #1 – James Kosta
11:15 Panel
12:00 Luncheon – MIKC 201 Rotunda
12:45 Afternoon Tour - Mathewson IGT Knowledge Center
1:15pm Speaker #2 – Michael Mateas
2:20pm Speaker #3 – Donna Djordjevich
3:20pm Event Ends
James Kosta – “Iterative Game Design: Analyzing Usage as Part of the Production Cycle”
Mr. Kosta is the CEO and founder of 3G Studios. Prior to entering the video game industry, he led product and software design projects at Disney, Dell, Microsoft, Hewlett-Packard, Compaq and Digital Equipment Corporation (DEC). With video game development budgets growing exponentially, it is important to have a strong pre-production methodology and constant play testing. Mr. Kosta will teach techniques to help strengthen your processes while allowing you more creative freedom to polish and refine.
“The Convergence of Casino Gaming and Computer Games: Potentials and Barriers” Join the following esteemed panelists for a lively and informational chat about how video and non-wagering game technologies are converging with traditional casino game development: Larry Dailey, UNR School of Journalism; Jim Hunt, Bally Technologies; James Kosta, 3G Studios; Tim Page, 5000ft; and James Vasquez, IGT.
Michael Mateas – “Artificial Intelligence for Video Games”
Mr. Mateas is a computer science department faculty member at UC Santa Cruz. He helped launch the game design program there, offering the first such degree in the UC system. His research in AI-based art and entertainment combines science, engineering and design into an integrated practice that pushes the boundaries of the conceivable and possible in games and other interactive art forms.
Donna Djordjevich – “The ‘Ground Truth’ First Responder Training Game”
Ms. Djordjevich is a senior member of the technical staff under the Homeland Security and Defense Systems Center at Sandia National Laboratories. She holds a master’s in Computer Science from USC. She currently leads the development of Sandia’s “Ground Truth” training video game. This platform immerses first responders in an interactive gaming environment depicting high-risk, high-threat situations experienced from the comfort of their desk.
Friday, April 3rd, 2009 at Noon
Sponsored and organized by the CSE/EBME/IEEE
Dr. George Bebis
Monday, March 9th, 2009 at 4:00p.m.
Sponsored and organized by the CSE/EBME/IEEE
Dr. Kostas Bekris
Friday, March 6th, 2009 at Noon
Sponsored and organized by the CSE/EBME/IEEE
Dr. George Bebis
Friday, February 6th, 2009 at 1:30p.m.
Sponsored and organized by the CSE/EBME/IEEE
Dr. Kostas Bekris
Friday, November 14th, 2008 at Noon
Sponsored and organized by the CSE/EBME/IEEE
Dr. Yantao Shen and Dr. Xiaoshan Zhu
Friday, October 24th, 2008 at Noon
Sponsored and organized by the CSE/EBE/IEEE
Dr. Sushil Louis
Wednesday, August 27th, 2008 at 4:00p.m.
Sponsored and organized by the CSE/EBE/IEEE
Dr. Bobby D. Bryant
Tuesday, May 27th, 2008 at 11:00a.m.
Sponsored and organized by the CSE
Finally, constructed network topologies are analyzed. This talk presents our work on topology construction in the context of router-level Internet topology measurement studies to discover Internet topologies more accurately.
Dr. Dwight Egbert
Wednesday, April 9th, 2008 at 11:00a.m.
Sponsored and organized by the CSE
Dr. George Bebis
Friday, April 4th, 2008 at 11:00a.m.
Sponsored and organized by the CSE/EBE/IEEE
Dr. Murat Yuksel
Friday, March 7th, 2008 at 11:00a.m.
Sponsored and organized by the CSE/EBE/IEEE
Dr. George Bebis
Thursday, March 6th, 2008 at 2:00p.m.
Sponsored and organized by the CSE
Tuesday, March 4th, 2008 at 4:00p.m.
Sponsored and organized by the CSE
This talk describes four contributions in the context of real-time sampling-based kinodynamic planning. Firstly, we incorporate physical simulators in planning so as to be able to better represent realistic dynamics of the physical world, such as drift, friction, contacts and gravity. Secondly, we work on "informed" versions of sampling-based kinodynamic planners, where any vailable workspace information is utilized to reduce solution time, improve path quality and provide a high level guidance in the case of replanning. Thirdly, we propose a "continuous" replanning approach that guarantees the safety of a system with dynamics in tasks with static obstacles. Finally, we have extended this solution to a distributed algorithm for multiple communicating vehicles operating in the same environment. We show that through coordination multiple vehicles can also achieve collision avoidance in real-time while employing sampling-based kinodynamic planners.
Monday, February 25th, 2008 at 2:00p.m.
Sponsored and organized by the CSE
Friday, February 22nd, 2008 at Noon
Sponsored and organized by the CSE/EBE/IEEE
Dr. Sergiu Dascalu
Friday, February 15th, 2008 at 2:30p.m.
Sponsored and organized by the CSE/EBE/IEEE
Dr. Sami Fadali
Tom is on the program committee for several 3D graphics and vision conferences. More information can be found at http://www.hpl.hp.com/personal/Tom_Malzbender/ .
Friday, February 1st, 2008 at 11:00a.m.
Sponsored and organized by the CSE/EE/IEEE
Dr. George Bebis
Monday, December 3rd, 2007 at 4:00p.m.
Sponsored and organized by the CSE/EE/IEEE
Dr. Sergiu Dascalu
Wednesday, November 21st, 2007 at 4:00p.m.
Sponsored and organized by the CSE/EE/IEEE
Dr Sergiu Dascalu
Thursday, November 15th, 2007 at 10:30a.m.
Sponsored and organized by the CSE/EE/IEEE
Dr. Yaakov Varol
Friday, November 9th, 2007 at 11:00a.m.
Sponsored and organized by the CSE/EE/IEEE
Dr. Fred Harris
Friday, November 2nd, 2007 at 11:00a.m.
Sponsored and organized by the UNR Psychology and CSE/EE/IEEE
Dr. Michael Webster
Friday, October 19th, 2007 at 11:00a.m.
Sponsored and organized by the CSE/EE/IEEE
In this talk, I will present some methodologies and tools that are being developed to facilitate the design of coordination algorithms for cooperative networks of robots. Additionally, I will briefly describe COMET -- a COoperative MultivehiclE Testbed for research in networked embedded systems. Finally, I will provide some preliminary results on a geometric optimization approach to detecting and intercepting dynamic targets using mobile sensors.
Dr. Sami Fadali
Friday, October 12th, 2007 at 11:00a.m.
Sponsored and organized by the CSE/EE/IEEE
Dr. Bobby D. Bryant
Wednesday, October 10th, 2007 at Noon
Friday, September 28th, 2007 at 11:00a.m.
Sponsored and organized by the CSE/EE/IEEE
In this talk I will present recent advances in the use of classical Morse theory for the development of a formally sound and practically robust approach to analyze massive scientific models. In this work we have developed a combinatorial equivalent of smooth topological techniques that retain their formal mathematical foundations while enabling practical implementations that do not introduce numerical approximations. The result is a multi-scale data analysis framework that is provably robust and provides error bounded, quantitative feature extraction and tracking.
I will demonstrate the practical application of this family of techniques for the analysis of Hydrodynamic Instabilities, in which we have identified and quantified for the first time different stages of a turbulent mixing process, and for the analysis of porous media, for which we have provided a new characterization of their structural properties amenable for a multi-scale computational framework.
Presentation Slides
Dr. George Bebis
Friday, March 9th, 2007 at Noon
Sponsored and organized by the IEEE/CHE-MET-EE
Modern control systems themselves involves high performance sensing and actuation components that must act synergistically to achieve the demanding tasks of regulation, safety, profit, and effciency. What is not known well and not quantified at all is the dependence that the control system imposes on the achievable performance of the process. Without a priori knowledge and analysis of this bi-directional dependence, the combined pro- cess and control designs may never operate satisfactorily at the designed operating condition.
The problem of designing operability and ultimately controllability into complex integrated processes will be addressed using a particular flowsheet decomposition and plantwide control design method. Appropriate examples will be presented to demonstrate this approach.
Dr. Nicholas Tsoulfandis
Sheppard joined the company as a software engineer in 2000, and quickly rose to senior design engineer. He was appointed to his current position as chief technology officer in May 2005.
Before joining PC-Doctor, Sheppard was in the U.S. Army where he rapidly achieved the rank of captain. He served as information technology and communications officer for a 450-soldier command at Fort Sill, Okla. where he managed a team of 16 soldiers who engineered, installed and maintained an information-technology infrastructure that included more than 200 workstations and six servers. Previously, as a top-rated lieutenant, he conducted fire direction for a howitzer platoon and was responsible for the welfare and training of 40 soldiers.
Sheppard also served as a software engineer for the Hydrologic Engineering Center in Davis, Calif. He is a Sun Certified Programmer for Java 2 and a Microsoft Certified Systems Engineer.
A distinguished graduate of the Reserve Officer Training Corps at the University of California, Davis, Sheppard received a bachelor's degree in computer science and engineering from the university in 1996.
Tuesday, March 6th, 2007 at 09:30a.m.
Sponsored and organized by the CSE/EE/IEEE
As a way to address this problem, PC Doctor, Inc. uses agile development methodologies, which are designed to facilitate communication and power individuals to make decisions. A subset of these lightweight methodologies that we have distilled down is what we call pragmatic development; these are a set of rules that developers need to constantly keep in mind to ensure they are producing high-quality software as efficiently as possible. In this talk, the set of guidelines will be presented and put into perspective within the domain of everyday use.
Dr. Sergiu Dascalu
Justin Schonfeld graduated from Oregon State University with Honors Bachelors degrees in Computer Science and General Science in 2000 and from Iowa State University with a Ph.D. in Bioinformatics in 2006. He is currently working as a Postdoc in the Evolutionary and Computation Systems Lab at the University of Nevada, Reno. His research interests include: evolutionary computation, bioinformatics, computational intelligence applied to data mining, and evolved life.
Friday, December 1st, 2006 at Noon
Sponsored and organized by the CSE/EE/IEEE
This talk introduces a modular software pipeline that searches collections of RNA sequences for novel RNA motifs. In this case the motifs incorporate elements of primary and secondary structure. The motif search pipeline breaks up sets of RNA sequences into shortened segments of RNA primary sequence. The shortened segments are then folded to obtain low energy secondary structures. The distance estimation module of the pipeline then calculates distances between the folded bricks, and then analyzes the resulting distance matrices for patterns.
An initial implementation of the pipeline is applied to synthetic and biological data sets. This implementation introduces a new distance measure for comparing RNA sequences based on structural annotation of the folded sequence as well as a new data analysis technique called non-linear projection. The modular nature of the pipeline is then used to explore the relationships between several different distance measures on random data, synthetic data, and a biological data set consisting of iron response elements. It is shown that the different distance measures capture different relationships between the RNA sequences. The non-linear projection algorithm is used to produce 2-dimensional projections of the distance matrices which are examined via inspection and k-means multiclustering. The pipeline is able to successfully cluster synthetic RNA sequences based only on primary sequence data as well as the iron response elements data set.
Dr. Sushil Louis.
Dr. Holtz has published extensively, including 12 invited papers in journals. He has earned 12 Prize Paper Awards. He is the coauthor of four books, and holds 31 patents. He is the recipient of the IEEE Industrial Electronics Society Dr. Eugene Mittelmann Achievement Award, the IEEE Industrial Applications Society Outstanding Achievement Award, the IEEE Power Electronics Society William E. Newell Field Award, the IEEE Third Millenium Medal, and the IEEE Lamme Gold Medal. He is a Fellow of the IEEE.
Dr. Holtz is Past Editor-in-Chief of the IEEE Transactions on Industrial Electronics, Distinguished Speaker of the IEEE Industrial Applications Society and IEEE Industrial Electronics Society.
Monday, November 27th, 2006 at 4:00p.m.
Sponsored and organized by the IEEE
A clarification is reached using a novel approach for the dynamic analysis. The approach is based on complex state variables. It permits relating a transient condition to the propagation processes in space of distributed magnetic fields. The formal analysis constitutes an extension to the space vector theory and to the theory of dynamic systems. Its application eases the design of closed loop control systems for ac machine drives.
Dr. Andy Trzynadlowski
Vic Grout was awarded the BSc(Hons) degree in Mathematics and Computing from the University of Exeter (UK) in 1984 and the PhD degree in Communication Engineering from Plymouth Polytechnic (UK) in 1988.
He has worked in senior positions in both academia and industry for twenty years and has published and presented over 100 research papers. He is currently a Reader in Computer Science at the University of Wales NEWI, Wrexham in the UK, where he leads the Centre for Applied Internet Research (CAIR). His research interests and those of his research students span several areas of computational mathematics, particularly the application of heuristic principles to large-scale problems in network design and management.
Dr. Grout is a Chartered Engineer, Chartered Scientist and Chartered Mathematician, a member of the IMA, IEE, ACM and IEEE and a Fellow of the British Computer Society (BCS). He chairs the biennial international conference series on Internet Technologies and Applications (ITA).
Stuart Cunningham
Stuart Cunningham was awarded his BSc degree in Computer Networks in 2001, and in 2003 was awarded the MSc Multimedia Communications degree with Distinction, both from the University of Paisley (UK). He is a Member of the British Computer Society and the Institute of Engineering & Technology. Stuart is also a member of the MPEG Music Notation Standards working group.
Since 2003, he has been working at the University of Wales as a lecturer where he teaches audio visual computing and computer systems architecture. Stuart is also a PhD student at the University of Wales, studying under the supervision of Dr. Vic Grout.
Wednesday, November 15th, 2006 at 4:00p.m.
Sponsored and organized by the CSE/EE/IEEE
The original use of ACLs, as the rule notation suggests, was simply to pass or block traffic, maybe of a specified type, to or from certain parts of an internet. However, ACLs now have a much wider purpose in selecting packets for any traffic policy to be applied at key points in or between domains. Traffic shaping, tunnelling, NAT, policy-based routing, etc. all use ACLs or their equivalents to select packets to which to apply the policy (and to ignore the rest). It is common now for a packet to be matched against several ACLs across a single router or switch, more through a domain and many across an internet.
This all takes time; more time for larger lists and more again for more lists. The increased use of ACLs can increase packet latency across an internet beyond acceptable limits. There is clearly merit in attempting to optimise this process - to find the best structure and combination of ACLs to achieve a specified purpose. Unfortunately, this is no simple objective. There are partial solutions in both hardware and software (and combinations of both), working both on- and off-line, but no utopia as yet. This talk considers the problem from first principles, discusses possible approaches and suggests some directions for the future.
Dr. Sergiu Dascalu
Jeff Elpern is a high-tech executive and entrepreneur. Currently he is the V.P. of Software for a Silicon Valley telecommunications component manufacturer, founder and CEO of the Software Quality Institute (SQI, Inc.) based in Reno, and founder of the non-profit Open Source Nevada. He was founder of two startups and on the executive teams for two other start-ups. Earlier in his career, he ran the largest quantitative marketing operation on Madison Avenue and was part of the Lee Iacocca turn-around team at Chrysler. He is a native Nevadan. He did his undergraduate work at UNR and received a Masters of Science in Quantitative Analysis from Carnegie Mellon University.
Monday, October 30th, 2006 at 4:00p.m.
Sponsored and organized by the CSE/EE/IEEE
The Open Source Revolution is already having dramatic impact on the computer industry. Web services based on Open Source technologies play a major role in the Internet. The Linux operating system has achieved the dominating position within the embedded controller segment of the telecommunication industry. And, recently, Open Source applications have passed Mac applications in penetration into the PC market. Why is this happening? Should we be surprised? Is it a sustained phenomenon?
I'll present a framework for understanding the Open Source Revolution by identifying a number of market forces driving the revolution and placing these forces within historical perspective. I'll show that the Open Source Revolution is a natural response, and part of a continuing effort, by Users to increase their returns from technology by controlling the market power of commercial software developers. The core argument is based on economics. As Users pursue maximizing the economic returns of their software portfolios, they gravitate toward software solutions that limit the market power of commercial developers. An example of this is the movement toward more and more standards. The adoption of Open Source is a natural next step for Users in the battle for the control of market power.
Thus, the Open Source Revolution is the current "front line" in the battle between software developers and Users on how economic returns from technologies are allocated between the two. In addition, Open Source will be shown to be a "Disruptive" technology - as defined by Clayton Christensen in "The Innovator's Dilemma." This market force explains the "why now" issue. As the current commercial software leaders' efforts for "Sustaining Technology Innovations" exceeds the User's ability to absorb new features and power, the seeds for the entry of a disruptive technology are sowed. Open Source fits all three criteria for a disruptive technology, which will be discussed in the presentation. It is also important to note that a paradigm shift like this, the shift from proprietary code to Open Source, always changes the face of winners and losers, and this will affect everyone in the industry.
Finally, my presentation will include scenarios of why people and corporations participate in Open Source by defining Open Source business models, current and emerging.
Dr. Sergiu Dascalu
Friday, October 13th, 2006 at Noon
Sponsored and organized by the CSE/EE/IEEE
Dr. Bobby Bryant
Friday, October 6th, 2006 at Noon
Sponsored and organized by the CSE/EE/IEEE
Dr. Bobby Bryant
Friday, September 29th, 2006 at Noon
Sponsored and organized by the CSE/INBRE/IEEE
Dr. Fred Harris
Dr. Campbell is a research scientist at the IBM T.J. Watson Research Center in Yorktown Heights, New York. He is a member of the team that developed Deep Blue, the first computer to defeat the World Chess Champion in a regulation match, for which he was awarded the Fredkin prize and the Allen Newell Research Excellence Medal. Dr. Campbell received his Ph.D. in Computer Science from Carnegie Mellon University in 1987. He was a strong expert-level player while still in high school and brought this knowledge to the development of Deep Blue's evaluation function--the component of Deep Blue that assesses the value of the current position in a game. He also worked closely with the team's chess consultant, international grandmaster Joel Benjamin, in developing Deep Blue's opening book. Dr. Campbell is now manager of the Intelligent Information Analysis group at IBM, which focuses on analysis of real-time sensor data for early warning applications, as well as indexing and searching of multimedia data.
Tuesday, May 23rd, 2006 at 1:30p.m.
Sponsored and organized by the 2006 IGT-UNR Symposium
It has been nine years since IBM Research's Deep Blue defeated Garry Kasparov, the thenreigning world chess champion, in an epic six-game match that was closely watched by millions. In this talk I will present the background that led up to the decisive match, review the match itself, and discuss some of the broader implications of Deep Blue's victory. Issues I will cover include Deep Blue's connections to high-performance computing, what “intelligence” really means, and the roles that games play in the fields of artificial intelligence, education, and entertainment.
IEEE CIG'06 Symposium
Dr. Brown began life as a software developer and manager, then went on to tackle the $42 Billion spent annually by the Department of Defense on developing software for its weapons systems and other needs. He founded the Department of Defense's Software Program Managers Network, and its Airlie Software Council, recruiting the likes of Tom Demarco, Ed Yourdan, Tom McCabe, Capers Jones, and others to reformulate how to improve development of largescale software. Dr. Brown advised the Undersecretary of Defense and served with the Defense Science Board Software Study. What they found is, not surprisingly, directly applicable to virtually all large-scale software development, including gaming, and key implications of these findings will be revealed in his presentation.
Tuesday, May 23rd, 2006 at 11:00a.m.
Sponsored and organized by the 2006 IGT-UNR Symposium
Software Dark Matter typically comprises a significant portion of software development efforts. Such Dark Matter consumes developer time and effort, along with test resources; and, as with ordinary galactic Dark Matter, is typically invisible — usually only discernable by its effect upon developers and its substantial contribution to unnecessary development delays and additional unnecessary efforts. Two high-leverage techniques for identifying and reducing the amount of Software Dark Matter in your development and consequently creating a happier workplace, improving development schedules, and reducing cost, will be addressed.
IEEE CIG'06 Symposium
Dr. Henry Markram moved to EPFL in 2002 as full professor. From 1995 to 2001, he was at the Weizmann Institute where he received early tenure and was Stanley and Hellen Diller Professor of Neuroscience. In 1994-95, he was Minerva Fellow in Laboratory of Nobelist Bert Sakmann at the Max Planck Institute, where he discovered calcium transients in dendrites evoked by sub-threshold activity, and by single action potentials propagating back into dendrites. He also began studying the connectivity between neurons and published a paper describing in great detail how layer 5 pyramidal neurons are inter-connected. In 1992-93, he was Senior Fulbright Scholar at the National Institutes of Health (NIH), where he studied ion channels on synaptic vesicles.
He was the first to alter the precise millisecond relative timing of single pre and postsynaptic action potentials to reveal a highly precise learning mechanism operating between neurons which has now been reproduced in many brain regions and is now commonly know as spike timing-dependent synaptic plasticity (STDP). At Weizmann, he started systematically dissecting out the neocortical column, and discovered that synaptic learning can also involve a change in synaptic dynamics rather than merely changing the strengths of connections. He also revealed a spectrum of new principles governing neocortical microcircuit structure, function, and emergent dynamics. Based on the emergent dynamics of the neocortical microcircuit he, together with Wolfgang Maass developed the theory of liquid computing or high entropy computing. At the BMI, he has continued to unravel the blue print of the neocortical column at a greatly accelerated pace building the state of art tools to carry out multi-neuron patch clamp recordings combined with laser and electrical stimulation as well as multi-site electrical recording (up to 12 patch-clamp recordings) and chemical imaging and gene expression.
He has received numerous awards, including the Ebner Science Award in 2001, the James Heinemann Prize in 1999, and the Abramson Research Award in 1998, and has published over 75 papers. In April, 2005 the EPFL signed the agreement with IBM to launch one of the largest single initiatives in neuroscience — the Blue Brain Project.
Dr. Henry Markram obtained his B.Sc. (Hons) from the University of Cape Town, South Africa, under the supervision of Rodney Douglas and his Ph.D from the Weizmann Institute of Science, Israel, under the supervision of Menahem Segal.
Friday, May 12th, 2006 at 10:45a.m.
Sponsored and organized by the UNR Brain Computation Lab & the Office of the VP for Research
The Blue Brain Project was launched to make the first step towards building a biologically accurate software model of the brain of mammals, eventually including that of man. The seminar will describe the first phase of the project which is to build a neocortical column consisting of 10,000 morphologically complex neurons interconnected with around 20 million synapses each precisely placed on neurons in 3D space.
The experimental basis for the model as well as the technology platform that uses Linux machines, PCs, and two different supercomputers; IBM's Blue Gene and SGI's Altix Extreme Series will be described. Results from the first simulations of the Blue Column will also be presented.
These simulations provide the first hints at a revolutionary new theory of how the brain may be building perceptions and how we may need to reinterpret the past 50 years of experimental results.
We also believe that biologically accurate models of this part of the neocortex would provide the key foundation to build software models of mammalian brains, which could open up new ways of exploring brain function and causes of neurological and psychiatric disorders as well as new diagnostic methods.
Dr. Fred Harris
Salil Prabhakar received his B.Tech. degree in Computer Science and Engineering from Institute of Technology, Banaras Hindu University, Varanasi, India, in 1996. During 1996-1997 he worked with IBM India as a software engineer. He received his Ph.D. degree in Computer Science and Engineering from Michigan State University, East Lansing, MI 48824, in 2001. He currently leads the Algorithms Research Group at Digital Persona Inc., Redwood City, CA 94063 where he works on fingerprint based biometric solutions.
Friday, May 5th, 2006 at 4:00p.m.
Sponsored and organized by the CSE/EE/IEEE
Many researchers in the pattern recognition community perceive automatic fingerprint recognition to be a solved problem due to the fact that first successful system was deployed over 30 years ago. But contrary to this notion, fingerprint recognition remains a very challenging and exciting pattern recognition research problem with many open issues and research opportunities, solving which will have profound security and economic implications. In this talk, I will talk about some of the challenges in fingerprint recognition and some possible future research directions.
Dr. George Bebis
Friday, May 5th, 2006 at 2:00p.m.
Sponsored and organized by the Department of Computer Science & Engineering
Additional event details will be made available shortly
Dr. George Bebis
Friday, May 5th, 2006 at Noon
Sponsored and organized by the Department of Computer Science & Engineering
Additional event details will be made available shortly
Dr. George Bebis
Friday, May 5th, 2006 at 10:30a.m.
The CS426 and CPE426 Senior Projects represent innovative software and hardware products designed and developed during the year by undergraduate Computer Science & Engineering students under the supervision of Dr. Sergiu Dascalu. Project topics include a framework for behavior-based robotics control, an X10-based home automation system, a software tool for data visualization, a program for student budgeting, a web-based interactive floor plan mapper, a first-person shooter video game, and a virtual reality system for puppet control and animation.
More information about this event may be found on the Workshop Flyer and the Workshop Schedule.
Thursday, May 4th, 2006 at 09:30a.m.
Sponsored and organized by the IGT Distinguished Speakers Series
Autonomous intelligent agents that operate in visible environments such as video games and simulators must behave in ways that viewers find convincingly intelligent. For most agents that behavior needs to be robust, flexible, disciplined, and self-consistent. In this talk I will propose methods for inducing such properties into the behavior of a team of agents operating in a video game. Training with neuroevolution, i.e. evolving neural networks with genetic algorithms, provides the desired robust and flexible behavior, but human-generated examples are needed to make the agents disciplined and self-consistent. Combining examples with evolution makes it possible to induce visibly intelligent behavior in autonomous agents via machine learning, making gameplay more satisfying and simulation environments more realistic.
Department of Computer Science & Engineering
Mehran Asadi is a PhD candidate in the department of computer science and engineering at the University of Texas at Arlington (UTA). He received his B.S. degree from Amir Kabir University of Technology, Tehran, Iran, in Applied Mathematics and Computer Science and his M.S. degree from the University of Texas at Arlington, in Computer Science and Engineering. From 1994 to 2001, he was with the Semi Conductor Lab, in Iran Electronic Industries and SAPCO Co., Tehran, Iran. His current research interests are in the areas of Intelligent Systems, Game/AI, and Autonomous Systems.
Mehran has been a research associate in Artificial Intelligence laboratory at UTA since 2001, and member of AAAI and IEEE.
Tuesday, May 2nd, 2006 at 2:30p.m.
Sponsored and organized by the IGT Distinguished Speakers Series
Autonomous systems are often difficult to program. Reinforcement learning (RL) is an attractive alternative, as it allows the agent to learn behavior on the basis of sparse, delayed reward signals provided only when the agent reaches desired goals.
Recent attempts to address the dimensionality of RL have turned to principled ways of exploiting temporal abstraction, where decisions are not required at each step, but rather invoke the execution of temporally-extended activities which follow their own policies until termination. This leads naturally to hierarchical control architectures and associated learning algorithms.
We presents a new method for the autonomous construction of hierarchical action and state representations in reinforcement learning, aimed at accelerating learning and extending the scope of such systems. In this approach, the agent uses information acquired while learning one task to discover subgoals for similar tasks. The agent is able to transfer knowledge to subsequent tasks and to accelerate learning by creating useful new subgoals and by learning of corresponding subtask policies as abstract actions (options). At the same time, the subgoal actions are used to construct a more abstract state representation using action-dependent state space partitioning.
This representation forms a new level in the state space hierarchy and serves as the initial representation for new learning tasks. In order to ensure that tasks are learnable, value functions are built simultaneously at different levels of the hierarchy and inconsistencies are used to identify actions to be used to refine relevant portions of the abstract state space.
Together, these techniques permit the agent to form more abstract action and state representations over time. Experiments in Smart Home environment and Computer Game domains show that the presented method can significantly outperform learning on a flat state space representation.
Department of Computer Science & Engineering
Friday, April 28th, 2006 at 3:00p.m.
Sponsored and organized by the CSE Seminar
Additional event details will be made available shortly
Dr. Fred Harris
Wenji Mao is a Ph.D. candidate in the Computer Science Department at the University of Southern California. She has been working at the USC Institute for Creative Technologies since fall, 2001. Her research is focused on AI, intelligent agents and cognitive modeling for virtual training and interactive entertainment. Prior to joining USC, she was a researcher at the German Research Center for Artificial Intelligence (DFKI GmbH) and a lecturer at the Graduate School of Chinese Academy of Science, where she obtained her M.Sc. in Computer Science. She received her M. Eng. from the University of Southern California in May, 2003.
Friday, April 28th, 2006 at 2:00p.m.
Sponsored and organized by the IGT Distinguished Speaker Series
With the advance of multi-agent interactive systems, user-centric adaptive interfaces and systems that socially interact with people, it is increasingly important to model rich social interactions among intelligent entities (agents and human). In such context, a central issue is to build realistic agent models that mimic the cognitive process and inference of how people evaluate social events so as to drive believable behavior generation for intelligent agents.
In this talk, I will present my work on developing a domain-independent computational framework of social causality and social judgment in multi-agent interactions, which is part of the ongoing effort of creating human-like virtual characters in interactive training and entertainment at the University of Southern California. Based on attribution theory in social psychology, my model formalizes the commonsense reasoning about the beliefs of attribution variables such as physical cause, intention, foreknowledge and perceived coercion, from the observations of natural language communication and task execution. In addition, I have designed and conducted experiments to empirically validate the model, using real human data. The validated computational model can be generally incorporated into an intelligent interactive system to augment its cognitive and social functionality.
Finally, I will talk about the applications of my work in emotion modeling, natural language conversation strategies and enhancing coherence in virtual humans, as well as some future research directions.
Department of Computer Science & Engineering
Eelke Folmer is a postdoctoral fellow in the Department of Computer Science at the University of Alberta. He received a Ph.D. degree from the University of Groningen where he worked on investigating the relationship between software architecture and usability for the European union funded research project called STATUS (Software Architecture for Usability). His current research activities include software architecture design, software quality and interaction design specifically focusing on the domain of computer games.
Thursday, April 27th, 2006 at 10:00a.m.
Sponsored and organized by the IGT Distinguished Speakers Series
Computer games have grown considerably in scale and complexity since their humble beginnings in the 1960s. Modern day computer games have reached incredible levels of realism, especially in areas like graphics, physical simulation, and artificial intelligence. A natural consequence of this increase in scale is that the resources required to produce games has also significantly increased. Currently, the average cost for developing a console game is estimated to vary between $3 million and $10 million. Costs have become a serious problem for game developers as the games market is hits driven; the top 99 titles (only 3.3% of development) account for 55% of all sales.
Despite significant advances in software engineering, the development of computer games generally does not employ state-of-the-art software engineering practices and tools. Games development is typically characterized by schedule slips and budget overruns. A much heard-complaint within the game industry is that existing software engineering methods are not adapted to the games domain; for example the creative and exploratory nature of developing games favors an iterative methodology, while the business of games favors a waterfall methodology. Mismatches occur when engineering methodologies are applied to engineer elusive game qualities such as fun. Because the game business is risky and a game company is only as successful as its last release; as a result, the importance of short-term goals is exaggerated and investing in SE practices, is simply not cost effective in the short run. However there is definitely an interest in the games industry in investing in better SE practices. Though, as is common throughout the wider IT industry; high ideals are often abandoned under the pressure of deadlines and shipping products, which is higher in the games industry then in any other IT sector.
In my research, I study the current problems in the games industry and develop software engineering methods, tools and techniques adapted to the games domain, which are the key to lowering costs, reducing time to market and increasing the engineering quality of games.
I this talk I will present some of my current multidisciplinary research activities which include reference architectures and interaction design patterns for games. I will also discuss some promising future research directions.
Department of Computer Science & Engineering
Murat Yuksel is currently a Research Assistant Professor at the Electrical, Computer, and Systems Engineering Department of Rensselaer Polytechnic Institute (RPI), Troy, NY, where he was a Postdoctoral Research Associate and Adjunct Faculty in 2002-2005. He received a B.S. degree in Computer Engineering from Ege University, Izmir, Turkey, in 1996. He, then, received M.S. and Ph.D. degrees in Computer Science from RPI in 1999 and 2002 respectively. His research interests lies in the area of computer communication networks with a special emphasis on wireless sensor and ad-hoc networks, large-scale network simulation and experiment design, free-space-optical mobile ad hoc networks, optimization heuristic algorithms, lossless networks, network economics and performance analysis. He is a member of IEEE and Sigma Xi. He has three pending patents, and has published 26 journal and conference papers.
Thursday, March 16th, 2006 at 3:00p.m.
Sponsored and organized by the IGT Distinduished Speaker Series
Nodes in ad hoc wireless networks are typically low-memory, low-powered; and they cannot maintain routing tables large enough for well-known proactive routing protocols. Therefore, stateless and greedy forwarding at intermediate nodes is desirable in ad-hoc networks. Also, for end-to-end traffic engineering, multi-path capabilities and flexibility in routing are necessary building blocks. So, it is desirable to define routes at the source like in Source Routing (SR) while performing greedy forwarding at intermediate nodes. To address these issues, we present our research on Trajectory-Based Routing (TBR) which is a middle-ground between SR and greedy forwarding techniques. We address various issues regarding implementation of TBR. In particular, we (1) develop a trajectory encoding technique that uses the well-known Bezier parametric curves, (2) develop an optimal forwarding strategy and show its superior performance in comparison to other greedy forwarding techniques, and (3) propose architecture to implement long and/or complex trajectories that cannot be encoded in a small size packet header.
In addition to routing difficulties caused by lack of resources, communication environment presents significant challenges to high-speed wireless networking. Legacy RF signals provide omni-directional connectivity, but they consume large transmission power and are limited in communication bandwidth. In comparison, free-space-optical (FSO) communication devices have enormous bandwidth, but line-of-sight (LOS) and alignment issues make them hard to deploy. We present inexpensive FSO node designs that solve the LOS and alignment problems for multi-hop wireless communication. We will also show that our FSO designs can significantly enhance the higher-layer networking operations such as routing.
Ann Gordon-Ross is currently a Ph.D. student in the Department of Computer Science and Engineering at the University of California, Riverside. She received her BS in Computer Science from the University of California, Riverside in 2000. Her research interests include dynamic optimizations for low power embedded and multi-core systems.
Monday, March 13th, 2006 at 3:00p.m.
Sponsored and organized by the IGT Distinguished Speaker Series
Caches may consume a large percentage of microprocessor system power — as much as 50% in some systems — and thus reducing cache power has been an active research area during the past decade. Because the best cache design may vary tremendously for different applications, configurable caches have recently been proposed and have appeared commercially, especially in embedded systems. However, quickly finding the best cache configuration for a particular application is a challenging problem. This talk describes methods to efficiently find near-optimal cache configurations, for a number of progressively more complex configurable cache hierarchies. The methods not only apply to approaches where optimization is done beforehand using simulations, but they can even be applied dynamically for completely transparent self-tuning cache hierarchies. The methods find near-optimal configurations that yield memory-access energy savings of 65% on average, while executing quickly due to searching a mere 0.002% of the search space.
Greg Stitt's research interests include binary synthesis and hardware/software partitioning, low-power synthesis, low-power architectures and compilers.
Friday, March 10th, 2006 at 3:00p.m.
Sponsored and organized by the IGT Distinguished Speaker Series
Over the past decade, many high-level synthesis and hardware/software partitioning approaches have been proposed to automatically improve the performance of embedded applications. However, these approaches have yet to achieve wide commercial success, due in part to the difficulty of incorporating such approaches into software tool flows. The requirement of using a specific language, compiler, or development environment may cause many software developers to resist such approaches, due to the difficulty and possible instability of changing well-established robust tool flows. Thus, we introduced synthesis from binaries as a means of better integrating with tool flows, due to binary synthesis can be more easily integrated into a software development tool-flow by only requiring an additional back-end tool. However, binary synthesis potentially is less effective than traditional approaches because of the lack of high-level information in a binary. In this talk, I will discuss the key techniques that make binary synthesis competitive with traditional high-level approaches. In addition I will discuss future research directions that are enabled by binary synthesis, including warp processors, which are microprocessors that are capable of dynamically and transparently optimizing a software application by synthesizing hardware at runtime.
Dr. Marcel Karam received his PhD in 2002 from the Faculty of Computer Science at Dalhousie University. Dr. Karam is currently an Assistant Professor with the Department of Computer Science at the American University of Beirut. He is an active researcher in the testing theories and practices of different programming paradigms, in particular of visual dataflow languages. He is also interested in applying visualization to model view workflow (MVWf) web engineering languages and environments. During his time with IBM Watson, much of his work revolved around the design and implementation of Effigy, a visual object oriented conceptual language. His research in computer science has been supported by several LNRC research grants and has resulted in numerous journal and conference publications. He has served on technical program committees of various software engineering conferences and workshops.
Thursday, March 9th, 2006 at 4:00p.m.
Sponsored and organized by the CSE/EE/IEEE
The most important characteristic of visual notations is their capacity for providing a concrete view of a problem, termed “closeness of mapping.” Unlike visual dataflow languages that use iconic representations of the program constructs, with imperative programs locating variable definition-use interactions that are associated with program faults is one of the most difficult and time-consuming tasks of the intra-procedural debugging process. This task is further complicated by the presence of loops and aliases. A new visualization technique will be presented in an effort to assist with testing tasks. The technique employs a mapping scheme that uses visual artifacts (“visual reflections”) and colors to graphically map the participation of each statement, control, and variable DU-chains in the outcomes of procedure's execution.
Dr. Sergiu Dascalu
Department of Biochemistry & Molecular Biology
Dr. Brian W. Beck is the Associate Director of Molecular Modeling for the Center for Bioinformatics and the Department of Biochemistry & Molecular Biology at the University of Nevada, Reno. He received a BS in Biochemistry from Texas A&M University and a Ph.D. in Biochemistry & Biophysics from Washington State University where he worked with Prof. Toshiko Ichiye on computational analysis (particularly molecular dynamics simulations) of the manner in which electron transfer proteins regulate their redox potentials. His current work involves the use and development of computational techniques for the analysis of the relationship biomacromolecular structure to function, particularly the identification and analysis of protein:protein interfaces and the effects of solvent on protein structure.
Thursday, February 23rd, 2006 at 4:00p.m.
Sponsored and organized by the CSE/EE/IEEE
Computational approaches to the study of Biology and Chemistry have become a mainstay for these disciplines, allowing for the analysis of features and behaviours not accessible from experimental methods. In particular, Molecular Modeling and Structural Bioinformatics methods are increasingly being utilized to search for, design, and analyze data related to the structure-function relationship of Biological macromolecules, such as proteins and DNA. In this talk, I will give an overview of Molecular Modeling methods and techniques and illustrate these methods using examples from several projects at the Center for Bioinformatics.
Dr. Sami Fadali
Thursday, February 9th, 2006 at 09:30a.m.
Sponsored and organized by the CSE Proposal Colloquium
A minimal graph is a graph exhibiting minimum crossings. The crossing number of a graph is the minimum number of edge crossings among the drawings of the graph in the plane. The crossing number problem has applications in the areas of graph layout and circuit design. It is an NP-complete problem. For complete graphs of order n (Kn) the crossing number has been determined only for n < 10.
A conjectured solution for the crossing number of complete graphs of any size was proposed over thirty years ago and to date has not been confirmed or disproven. In the exploration of the illusive crossing number for larger n, we introduce a process to generate minimal Kn from minimal Kn?1. Graph isomorphism is exploited, allowing us to step to the next level with minimal overhead.
Dr. Fred Harris
Jordan Pollack is a Professor of Computer Science and Complex Systems at Brandeis University. His lab is focused on achieving Artificial Intelligence through recreating open-ended co-evolution in a computational process. He has published in many scientific fields, including:
- AI
- Artificial life
- Cognitive science
- Educational technology
- Evolutionary learning
- Neural networks
- Robotics
- Intellectual property law
He was named in MIT Technology Review “TR10” in 2001 for work on automatically designed robots.
Monday, November 14th, 2005 at 4:00p.m.
Sponsored and organized by the CSE/EE/IEEE Colloquium
For the past decade my students and I have worked on coevolutionary learning, both in theory and in applications such as learning game strategies in Tic-Tac-Toe or Backgammon, solving problems like sorting networks and CA rules, and designing robot bodies and brains.
Coevolution tries to formalize a computational “arms race” which would lead to the emergence of sophisticated design WITHOUT an intelligent designer, or his fingerprints left in the choice of data representations and fitness function. Coevolution often takes the shape of a game tournament where the players who do well replicate (with mutation) faster than the losers. The fitness function, rather than being absolute, is thus relative to the current population. We have had successes, but we find that often, the competitive dynamics lead to winner-take-all equilibria, boom and bust cycles of memory loss, and mediocre stable states where an oligarchy arises which survives by excluding innovation rather than embracing it. Many researchers have proposed algorithmic methods for overcoming these limitations, involving diversity maintenance, memory for elite players, and so forth, but something is wrong if we have yet to have a convincing mathematical or computational demonstration that competition without central government can lead to sustained innovation.
Is there a missing principle, a different mechanism design in which self-interested players can optimize their own utility, yet together the population keeps improving at the game? If so, and if we discover this in the realm of computational games, would it transfer it to human social organization?
Dr. Sushil Louis
Professor Whitley is the Chair of the Department of Computer Science at Colorado State University. From 1993 to 1997, he served as Chair of the Governing Board of the International Society for Genetic Algorithms. In 1999 ISGA merged with the Genetic Programming community to form the International Society for Genetic and Evolutionary Computation. From 1997 to 2002 Professor Whitley served as Editor-in-Chief for the journal Evolutionary Computation published by MIT Press. His areas of interest are artificial intelligence, genetic algorithms, heuristic search, neural networks, and scheduling.
Monday, October 10th, 2005 at 1:00p.m.
Sponsored and organized by the CSE / EE / IEEE Colloquium
We use simulated evolution, specifically Genetic Programming, to evolve behaviors for teams of Unmanned Aerial Vehicles (UAVS). The problem can also be posed of one of evolving adaptive teams of cooperative agents. Agents must display cooperative interactions to carry out collaborative missions in an uncertain and/or hostile environment. Behaviors are controlled by program trees constructed from a set of low-level sensor readings. Evolved program trees are robust to changes in initial mission parameters. The evolved programs are also provably near optimal, compared to optimal time-to-completion under static conditions.
A second question explored in this talk asks if other methods can be used to evolve behaviors similar to those found using traditional Genetic Programming. Experiments probe this question using a variety of benchmark problems and approaches.
Dr. Sushil Louis
Dr. Masoud Nikravesh is the Executive Director of the Berkeley Initiative in Soft Computing (BISC) in the Computer Science Division at the University of California, Berkeley. BISC is a world-leading center for basic and applied research in soft computing, computing with words (CW), computational theory of perception (CTP), and precisiated natural language (PNL). Dr. Nikravesh is a leading expert in soft computing, which embraces several disciplines of computing technologies, including:
- Neurocomputing
- Fuzzy logic
- Evolutionary computing (including DNA-based computing)
- Probabilistic reasoning
He is a board member of many private and public centers of IT excellence. His achievements have led to front-page news stories in Lawrence Berkeley National Laboratory News, as well as headline news in the Electronics Engineering Times.
Monday, September 19th, 2005 at 2:30p.m.
Sponsored and organized by the CSE / EE / IEEE Colloquium
Searching database records, ranking the results and making decisions based on multi-criteria queries is central for many database applications and information systems in enterprise used within organizations in finance, business, industrial and other fields. Most of the available systems are modeled using crisp logic and queries, which result in rigid systems with imprecise results. In this presentation, we introduce an intelligent decision support and information systems in enterprise based on evolutionary-based optimization as a flexible tool allowing approximation where the selected objects do not need to match exactly the decision criteria resembling natural human behavior. The model consists of five major modules:
- The Fuzzy Search Engine
- The Application Templates
- The User Interface
- The Database
- The Evolutionary Computing
The system is designed in a generic form to accommodate more diverse applications and to be delivered as stand-alone software to academia and businesses.
Dr. Gregory Vert
Dr. Masoud Nikravesh is the Executive Director of the Berkeley Initiative in Soft Computing (BISC) in the Computer Science Division at the University of California, Berkeley. BISC is a world-leading center for basic and applied research in soft computing, computing with words (CW), computational theory of perception (CTP), and precisiated natural language (PNL). Dr. Nikravesh is a leading expert in soft computing, which embraces several disciplines of computing technologies, including:
- Neurocomputing
- Fuzzy logic
- Evolutionary computing (including DNA-based computing)
- Probabilistic reasoning
He is a board member of many private and public centers of IT excellence. His achievements have led to front-page news stories in Lawrence Berkeley National Laboratory News, as well as headline news in the Electronics Engineering Times.
Monday, September 19th, 2005 at Noon
Sponsored and organized by the CSE / EE / IEEE
Inspired by human's remarkable capability to perform a wide variety of physical and mental tasks without any measurements and computations and dissatisfied with classical logic as a tool for modeling human reasoning in an imprecise environment, Lotfi A. Zadeh developed the theory and foundation of fuzzy logic with his 1965 paper “Fuzzy Sets” and extended his work with his 2005 paper “Toward a Generalized Theory of Uncertainty (GTU)-An Outline.” Fuzzy logic has at least two main sources over the past century. The first of these sources was initiated by Peirce in the form he called a logic of vagueness in 1900s, and the second source is Lotfi's A. Zadeh work, fuzzy sets and fuzzy Logic in the 1960s and 1970s.
Dr. Sami Fadali
Paul Seidler has an M.A. in Public Policy from the University of Chicago and a B. A. from the University of Illinois. His interest in nuclear issues arose in the 1970s when he was an undergraduate student and became involved in the antinuclear movement. Mr. Seidler worked on Ted Kennedy's campaign for president and was President of the campus Democratic organization. He later worked for Paul Simon in his successful bid to unseat US Senator Charles Percy.
Mr. Seidler's views on nuclear issues continued to evolve when he worked for the Illinois Department of Nuclear Safety. Unlike Nevada, Illinois has a state-of-the-art, very proactive system for dealing with nuclear waste. Paul Seidler was directly involved in escorting and inspecting spent fuel shipments, but his primary responsibility was setting up a low-level radioactive waste (LLW) disposal facility. He was the first person to successfully identify a "volunteer" community to serve as host for a radioactive waste disposal facility. Several years later he was recruited to work on the nation's first high-level geologic repository.
In the late 1980s, Mr. Seidler moved to Las Vegas to work for Science Applications International Corporation. He was responsible for waste transportation policy issues and intergovernmental relations. He developed an excellent working relationship with the rural communities most impacted by the project and waste transport. These relationships remain strong today. In the mid 90's he formed his own consulting firm with Ace Robison.
Wednesday, May 25th, 2005 at Noon
Sponsored and organized by the IEEE / Nevada Nuclear Energy
Additional event details will be made available shortly
Dr. Martin Gollery is the Associate Director of Bioinformatics at the Nevada Center For Bioinformatics. His interests include the representation of Protein Families through the use of Hidden Markov Models. As the former Director of Bioinformatics Research at TimeLogic, he is perhaps best known for his work with accelerating Bioinformatics algorithms such as TeraBLAST and HMMpfam by hundreds or thousands of times through the use of FPGA's. He is an award-winning instructor, popular speaker on the conference circuit, and is frequently quoted by trade journals.
Wednesday, April 13th, 2005 at 1:00p.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
Over the past several years, the growth of Biological Databases have consistently exceeded Moore's law, causing the analysis of that data to fall behind. The current popularity of computing clusters has run into several bottlenecks due to the ongoing costs related to power, cooling, floorspace and manpower. The use of FPGAs to provide computing power for the most CPU intensive algorithms can alleviate the need to constantly upgrade the local cluster to enable efficient data mining. This presentation will provide an overview of the current state of the art for Bioinformatics acceleration through the use of FPGAs.
Dr. Gregory Vert
Dr. Brian W. Beck is the Associate Director of Molecular Modeling for the Center for Bioinformatics and the Department of Biochemistry & Molecular Biology at the University of Nevada, Reno. He received a BS in Biochemistry from Texas A&M University and a Ph.D. in Biochemistry & Biophysics from Washington State University where he worked with Prof. Toshiko Ichiye on computational analysis (particularly molecular dynamics simulations) of the manner in which electron transfer proteins regulate their redox potentials. His current work involves the use and development of computational techniques for the analysis of the relationship biomacromolecular structure to function, in in particular the way in which solvent affects protein structure.
Wednesday, April 6th, 2005 at 1:00p.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
Computational approaches to the study of Biology and Chemistry have become a mainstay for these disciplines, allowing for the analysis of features and behaviours not accessible from experimental methods. In particular, Molecular Modeling and Structural Bioinformatics methods are increasingly being utilized to search for, design, and analyze data related to the structure-function relationship of Biological macromolecules, such as proteins and DNA. Instructor this talk, I will define Molecular Modeling, discuss the more common models and their relationship with experimental data, and then discuss common methods such as Drug Design, Comparative Protein Modeling, and Structural Genomics. I will then briefly mention several projects at the Center for Bioinformatics and the hardware & software we utilize to undertake them.
Dr. Gregory Vert
Jeff Elpern is a high-tech executive and entrepreneur. Currently he is the V.P. of Software for a Silicon Valley telecommunications component manufacturer, founder and CEO of the Software Quality Institute (SQI, Inc.) based in Reno, and founder of the non-profit Open Source Nevada. He was founder of two startups and on the executive teams for two other start-ups. Earlier in his career, he ran the largest quantitative marketing operation on Madison Avenue and was part of the Lee Iacocca turn-around team at Chrysler. He is a native Nevadan who completed his undergraduate work at UNR and received a Masters of Science in Quantitative Analysis from Carnegie Mellon University.
Monday, March 14th, 2005 at 2:30p.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
The presentation introduces the Unified Theory of Software Quality (UTSQ) - a conceptual framework and econometric model focused on Economic Return as the only true measure of software quality. The inability of current quality models - SEI CMM or ISO for example - to explain the successful development strategies of most real-world software companies is discussed and the need for a more encompassing theory is presented. It is argued that a User's Economic-Return quality metric - as opposed to code quality metrics such as defect density or Six Sigma - provides a basis for a theory that can predict rational behavior across all development efforts. The engineering behavior of game developers, productivity application developers, telco embedded controls developers, weapons developers, and nuclear power plant controls developers seems radically different. However, this presentation of UTSQ shows all are acting from the need to maximize User Economic Return. UTSQ is successful in predicting development strategy because the econometric framework directly ties a firm's revenue to the software's Economic Quality.
UTSQ puts the user at the center of all quality metrics. The presentation introduces the "user in the loop" concept of quality. The presentation identifies a user as a critical component of Economic Quality. The presentation will also cover these aspects of UTSQ: task fixed value, difference between value and return, impact of catastrophic failure potential, brand vs. product, and user's response/cost of task stimuli. Actionable heuristics - derived from the UTSQ framework - are presented. For example, the economic quality is always improved by moving a sub-task from ResourceWare to KnowledgeWare or from PeopleWare to Software (the presentation will define these terms). Or, the development team that successfully pioneered a new application category will most likely be ineffective as the category matures because the focus moves from adding economic value to reducing economic costs.
Dr. Sergiu Dascalu
Professor Wessinger received his Ph.D. in Neuroscience from the University of California, Davis in 1995. He mapped the residual visual capabilities of patients with partial blindness. This was the beginning step in his quest to understand how our brains process the enormously complex environment. Following his Ph.D., Wessinger remained at UCD to complete a post-doc in functional magnetic resonance imaging (fMRI). This technique allows one to "see the brain in action." The projectWessinger headed mapped the regions of the brain involved in auditory perception. In 1996, Wessinger accepted a position as a Research Associate in the GeorgetownInstitute of Computational and Cognitive Science where he extended this research by using fMRI to map regions of the brain involved in speech perception. His next move, in 1998, was to Dartmouth as a Visiting Research Professor. There he began teaching, as well as continuing his research using fMRI to explore auditory processing by becoming involved in a study investigating musical perception. He also pursued investigations of residual vision by working with additional patients, as well as modifying the paradigm to investigate issues of awareness in healthy individuals. In 2001, Wessinger moved to Gettysburg College where he taught several psychology courses, implemented a cognitive neuroscience research program involving undergraduate students in fMRI, and helped develop a neuroscience minor. His research focus was investigating multi-modal processing of objects and animals. This involved collecting visual and tactile data in the laboratory and the fMRI machine. Seeking to continue quality teaching at the undergraduate level, as well as re-establish a stronger and more diverse research program that involves both graduate and undergraduate students, Wessinger joined the Experimental Group in the Psychology Department at UNR during the fall of 2004. He is currently implementing a cognitive neuroscience program, involving graduate and undergraduate students. This fall he taught, Introductory Psychology and Cognitive Psychology. This spring, he is teaching Experimental Psychology, a core course for majors that focuses on research methods used in the behavioral sciences.
Thursday, March 3rd, 2005 at 4:00p.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
In this talk I will describe how I have used functional magnetic resonance imaging (fMRI) to investigate various aspects of perceptual and conceptual processing in multiple modalities. After giving a brief explanation of the basis of magnetic resonance imaging (MRI) and fMRI, I will describe how I came to use the technique in my research. My first study was using fMRI to demonstrate tonotopic organization in human auditory cortex. Then I will segue into how this lead to my involvement in a project using fMRI to explore aspects of human speech perception, which lead to investigations of differential processing of musical sequences in musicians and non-musicians. These studies make a nice perceptual-to-conceptual progression in the auditory domain.
Subsequently, I will present a similar progression in the visual and tactile domains, beginning with rudimentary demonstrations of retinotopic & somatopic organization and ending with comparisons of conceptual processing of animals and objects in the visual and tactile domains. I will conclude by relating these seemingly disparate studies with the overall goal of understanding how we act, react, and ultimately (hopefully :)) survive within our incredibly information-rich environment.
Dr. George Bebis
Dr. Jeffrey B. Mulligan received the A.B. degree in physics from Harvard College in 1980 and the Ph.D. degree in psychology from the University of California at San Diego in 1986. He is currently a computer engineer at the NASA Ames Research Center, where his primary research interests are human spatial vision (with emphasis on motion perception and eye movements) and image processing. He is a member of the Optical Society of America, the Association for Research on Vision and Ophthalmology, and the Society for Information Display.
Wednesday, February 23rd, 2005 at Noon
Sponsored and organized by the Pyschology / CSE Seminar
Gaze tracking measures can provide information about the spatial locus of attention of a behaving agent. This talk reviews three technologies I have been developing to allow the collection of gaze data in operational environments. The first involved head-based gaze tracking of a working air traffic controller, using low-quality video data from an overhead camera. Using a combination of automatic and operator-assisted procedures, we constructed a 3-D graphical model of the subject's head, which was subsequently used to match the pose in each frame of an extended sequence, allowing a crude categorization of gaze into regions such as the tower windows and computer displays. I will also present prelimnary results from a 3 camera system designed to accurately track the gaze of a freely-moving workstation user. An active illumination system coupled with a stereo imaging system is used to track the positions of the eyes in 3-D space; the results are then used to control a third, steerable narrow-field camera used for gaze estimation. Finally, I will describe a study examining the looking behavior of helicopter pilots attempting to fly precision routes with the aid of a Global Positioning System (GPS) receiver, illustrating some of the unique challenges which arise in outdoor data collection.
Dr. George Bebis
Dr. Krzysztof Podgorski is an Associate Professor with the Department of Mathematics and Statistics, UNR. In 1991 he received a Ph.D. in Mathematics from Wroclaw Technical University, Poland and in 1993 a Ph.D. in Statistics from Michigan State University. Between 1994 and 2004 he was a faculty at Indiana University - Purdue University, Indianapolis. Dr. Podgorski's main research interests are in Stochastic Modeling and Mathematical Statistics.
Tuesday, February 22nd, 2005 at 4:00p.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
The inverse problem is defined as finding a solution to a system of functional equations that do not have a unique solution. This problem is very common in physics and engineering sciences - for example, the problem of mapping the sea-bottom from various measurements taken from a ship. Image recovery can also be formulated as such a problem. In this seminar, one of the possible non-linear solutions to this problem, called the Monte Carlo Inverse, will be presented. Criteria for the existence of solutions and for convergence of Monte Carlo algorithms to such solutions will also be discussed. The method presented has applications in mathematical finance and machine learning.
Dr. George Bebis
Mr Jeff Helfand is a Business School graduate from San Jose State University. Having spent over three decades growing up and working at several Silicon Valley start-ups, Jeff relocated to Reno, NV in 2001. Mr. Helfand has started up several electronic media companies, was the Project Manager of web development for mega online retailer Fogdog Sports, and served as Vice President of eCommerce, Sales and Marketing for ConsumerReview.com.
Wednesday, February 16th, 2005 at 2:30p.m.
Sponsored and organized by the CSE Seminar
Recently, in an effort to help kick start a lack of non gaming technology ventures in Reno, Mr. Jeff Helfand formed a partnership with his NevadaInteractive.com consultancy business and the local educational community to form an internship program for interactive entertainment software development. The result was a first time ever entry of a PC video game developed primary by UNR students into the global Independent Games Festival student showcase competition.
The game, Squirrel Squabble, was selected as the winner of the 2005 IGF Student Showcase amongst ninety seven other entries from universities and colleges around the world. In addition, Squirrel Squabble will be debuted to the professional development community at the 2005 Game Developers Conference in San Francisco, CA. At this event, the students who created the game will have an opportunity to pursue commercial distribution of the game with showcase sponsors/publishers such as Microsoft, AOL Sony and Atari.
Dr. Sushil Louis
A part of the IGT Distinguished Speaker Series
Tuesday, January 18th, 2005 at 4:00p.m.
Sponsored and organized by the Psychology / CSE Seminar
People identify a human face more accurately following adaptation to a synthetically created "anti-face" with "opposite" features. (Leopold et al., 2001). This opponent "identity adaptation" originates within perceptually salient feature dimensions of faces. Selective adaptation to the global elements of face shape (Webster & MacClin, 1999) and the natural categorical dimensions of gender, ethnicity, and facial expression (Webster et al., 2004) facilitate the perception of faces with opposite values on these feature dimensions. In the present study, we extend the use of adaptation to investigate the nature of the underlying visual representation of facial identity at levels of neural processing that support view-independent recognition. Previous experiments have demonstrated that face adaptation survives two-dimensional scaling and shifts in retinal position, placing the locus of the effect in high-level visual areas, beyond those with strict retinotopic organization. We show here that opponent identity adaptation also survives a change in 3D viewpoint, indicating that it can tap view-independent face encoding mechanisms. To examine the nature of the visual information underlying view-independent face adaptation, we used opponent-based facial identity adaptation, in combination with 3D morphing of laser scans. We show that the three-dimensional shape and the surface reflectance information in faces can be adapted separately. Surprisingly, both types of adaptation transfer across viewpoint. These findings indicate that neural representation of faces includes both shape and reflectance information in a form that generalizes across changes in three-dimensional viewpoint. This suggests a novel theory of the visual information retained in high level face representations. The presentation covers the work of Dr. O'Toole (UTD), Fang Jiang (UTD), and Volker Blanz (Max-Planck-Institut für Informatik).
Dr. George Bebis
University of Nevada, Reno
Allen Brady began his professional life as a physicist with the Ionoshperic Physics Division of the Central Radio Propagation Laboratory of the (then) National Bureau of Standards in Boulder, Colorado. His later experience there applying computers to data collection and analysis led him to refocus his graduate study in mathematics to the budding area of computer science. After a brief start in teaching computer science following graduate school, he became involved in computing center administration for thirteen years before returning to the full time teaching of mathematics and computer science.
In 1990 he was a member of the founding faculty of the Department of Computer Science (now the Department of Computer Science & Engineering) here at the University of Nevada, Reno. He served as chair of the department from 1991 until his retirement in 1994. In addition to the University of Nevada, Reno, he has held teaching positions at the University of Notre Dame and at the American University in Cairo. He has a B.S. degree in Engineering Physics from the University of Colorado, a M.S. in Mathematics from the University of Wyoming, and a Ph.D. in Mathematics from Oregon State University.
Brady's interest in the Busy Beaver Game began with his discovery in 1964 of the "champion" four-state Turing machine using a Scientific Data Systems SDS-920 computer that was located at a research laboratory in Beaverton, Oregon. He finally completed the solution to the four-state problem in 1974 by programming a computer to search heuristically among some 6,000 remaining four-state Turing machines for characteristics of the individual machines which would then lead the computer to carry out proofs by mathematical induction that they would indeed never halt when started on a blank input tape. He also contributed a chapter on the Busy Beaver Game to Rolf Herken's 1988 book celebrating "The Universal Turing Machine A Half Century Survey' (Oxford University Press, 1988). A computer program written in 1986 to generate data for that chapter was used in his recent effort to discover new lower bounds for the three-state by three-symbol case that he announced on the Internet on November 15, 2004.
He recalls giving two previous colloquium lectures on the campus. In 1975, after completing the construction of his own microcomputer from a kit (Altair 8800), having spent more than 70 hours soldering individual parts and wires to printed circuit boards, he gave what was the first lecture on microcomputers at the . It was attended by an overflow audience and had to be moved to a larger room. In 1984 he gave a lecture review of Andrew Hodges' newly published biography "Alan Turing: The Enigma' (Burnett Books,1983) to a very small but intensely interested audience.
Tuesday, November 30th, 2004 at 3:30p.m.
Sponsored and organized by the CSE Seminar
The study of computability began as an obscure area in mathematical logic more than ten years before the advent of the modern computer. It concerns computational universality (what mechanism can do) and computational unsolvability (what mechanism or machines cannot do). The limitations on what cannot be done by any sort of "computing machinery" have immediate consequences that weigh heavily on the success, failure, and reliability of the increasingly complex systems being designed by computer scientists and engineers. These limitations likewise impose great difficulties for our complete understanding of the mechanisms at work in biology, including ecological systems and evolution. In recent years there has also been speculation about simple logical mechanisms of a "computationally universal" nature underlying the behavior of physical matter in the universe.
For students, computability is typically relegated to an advanced "theory" course in Computer Science where its relevance to their real concerns seems to be lost. The subject is in fact completely accessible at a very elementary level where the power of universality can be immediately appreciated and the implications of unsolvability can be made clear. The Busy Beaver Game was invented by Tibor Rado as an instructional device to introduce computability via Turing machines to his mathematics students. The goal of the game was to find the largest number of marks that a Turing machine with a fixed number of states and a two-symbol alphabet (a mark and blank) could leave on an all blank input tape before coming to a halt. The number of marks left by a machine would be its "score", and the machine (or the student discovering it) would be the designated "champion" of the contest. This simple but challenging game turns out to describe a noncomputable function Sigma(k) defined as the maximum score that can possibly be achieved by some Turing machine of k-states. Related to Sigma(k) is another function S(k) defined as the maximum number of steps or "shifts" that can be taken by such a k-state Turing machine before halting. S(k)>=Sigma(k), and Rado showed that these functions must grow more rapidly than any computable function!
The Busy Beaver problem was long ago solved for k=2, 3, and 4 for Turing machines operating with k states and two symbols (the answers being maximum scores of 4, 6 and 13 respectively and correspondingly a maximum of 6, 21, and 107 steps possible before halting). When the number of states is raised from 4 to 5, the problem seems to explode. It is now known (since 1989) that the best possible "score" for a five-state machine must be at least 4,098 achieved by a Turing machine which carries out 47,176,870 steps to achieve that result.
If one steps back to the case for k=3 -- the 3-state Turing machines with two symbols achieving a maximum score of 6 and a maximum number of steps before halting of 21 -- and examines the effect of adding another symbol instead of another state, a complete surprise is encountered. While the problem remained manageable after adding only one state (Sigma(4) = Sigma(4,2) = 13 and S(4) = S(4,2) = 107), a new study shows that Sigma(3,3) >= 5,600 and S(3,3) >= 29,403,894.
The surprising results of this recently completed study will be presented. It involved utilization of programs running concurrently on as many as 17 networked computers each running for as long as 12 hours at night and on weekends for a period of nearly two weeks. More than 28 million 3x3 Turing machines were generated and each machine was allowed to run for up to 50 million steps while confined to work within a tape of 20,000 squares in length. (What began as a quick look for easy answers a month earlier using an old program on a home computer rapidly turned into an exhausting effort.)
The problem is ideally suited for further study on a large parallel cluster where the extreme and unpredictable nature of the load balance using parallel execution might be more easily accommodated. How such an approach might be made will be discussed briefly.
Finally, the Busy Beaver problem is related to the class of problems, including cellular automata, presented by Stephen Wolfram in his book A New Kind of Science (Wolfram Media, 2002). In fact the Busy Beaver Game is discussed in the book as a related problem. Wolfram proposes that this area of study should be treated as a separate discipline ("NKS") that becomes part of the education of all scientists. Wolfram's position will be examined. Likewise, from the computer science perspective the design and use of critical computer systems (including even voting machines) with little appreciation by the designers for unseen consequences will be commented on from the computer science and engineering perspective. Moving slightly away from computers, the question will be raised about what appears to be the "black box" automata approach in "genetic engineering": fiddle with the input a little bit and see what comes out -- never mind that we have no idea what's inside the box or that worse yet we might inject the output into other more complex systems about which we know even less! Finally, a plea will be made for an early introduction of computability issues into the computer science curriculum to encourage a little more humility in the approach to the design of software.
Dr. Fred Harris
Dr. Brian Gerkey is a postdoctoral research fellow in the Artificial Intelligence Lab at Stanford University. Dr. Gerkey received his Ph.D. in Computer Science from the University of Southern California (USC) in 2003, his M.S. in Computer Science from USC in 2000, and his B.S.E. in Computer Engineering, with a secondary major in Mathematics and a minor in Robotics & Automation, from Tulane University in 1998. His primary research interest is the development, evaluation, and analysis of principled (yet practical) coordination algorithms for multi-robot systems. He is also a founding and co-lead developer on the Player/Stage/Gazebo project.
Thursday, October 28th, 2004 at 09:30a.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
Research in robotics requires a significant amount of hardware and software infrastructure. While the rise of commercial robot vendors (e.g., ActivMedia, iRobot, Segway) has standardized the hardware in use in many labs, there is no equivalent standard for the software. As a result, the proverbial wheel has been reinvented many times by many robotics researchers, who have unnecessarily re-implemented everything from device drivers for common hardware to simulations of common robots.
I will present a solution to this problem: the Player/Stage/Gazebo (P/S/G) project. This project produces powerful, flexible, Open Source tools for developing and experimenting with mobile robots and sensors. Player is a network server that provides a clean, abstract interface to a wide variety of robot hardware and software; Stage and Gazebo are simulators that provide populations of virtual Player devices. P/S/G has a world-wide community of users, from undergraduates doing class projects in simulation, through graduate students using teams of robots, to multiple-institution DARPA-funded research teams using Player for systems integration.
I will discuss the key ideas that characterize the P/S/G project: the character device model, the interface/driver model, the client/server model, and the Open Source model. By making effective use of these well-understood ideas, we have created a successful and popular software suite (over 16,000 downloads to date) that has been described as "one of the leading candidates for an open, standardized robot control and simulation interface." I will also discuss future directions and enhancements that are in the works. For more information (and, of course, the software itself), please visit: The Player/Stage Project.
Dr. Monica Nicolescu
Dr. Kenneth W. Tobin is a Corporate Research Fellow and Group Leader of the Image Science and Machine Vision Group at the Oak Ridge National Laboratory, Oak Ridge, Tennessee. The group performs applied computer vision research and development in industrial inspection and metrology, biomedical imaging, and national security. He performs research in non-destructive test and analysis, image processing, and image-based metrology for automation and process characterization. He has authored and co-authored over 120 publications and he currently holds seven U.S. Patents with two additional patents pending in the areas of computer vision, photonics, radiography, and microscopy. Dr. Tobin is a Fellow of the International Society for Optical Engineering (SPIE) and a Senior Member of the Institute of Electrical and Electronics Engineers (IEEE). He has a Ph.D. in Nuclear Engineering from the University of Virginia, Charlottesville, Virginia, and an MS in Nuclear Engineering and a BS in Physics from Virginia Tech., Blacksburg, Virginia.
Monday, October 18th, 2004 at 4:00p.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
The Oak Ridge National Laboratory (ORNL), Oak Ridge, Tennessee, is the U.S. Department of Energy's largest science and energy laboratory. Established in 1943 as part of the Manhattan Project, today ORNL supports the nation with a peacetime mission of scientific competencies including neutron science, energy research, high performance computing, complex biological systems, advanced materials, and national security. The Image Science and Machine Vision Group was established in 1987 to conduct applied research to develop technologies that provide human-like decision making capabilities for computers and robots. Today the group performs research in a variety of areas such as image-based inspection and metrology, scene analysis and comprehension, and archival image indexing and management. In this presentation Dr. Tobin will review several areas of their research including: small animal x-ray computed tomography and SPECT imaging, semiconductor wafer and lithographic mask inspection and metrology by interferometric imaging, and applications of content-based image retrieval for managing large image repositories of industrial, biological, and geographic data.
Dr. George Bebis
Dr. Darko Koracin is a research professor in the Division of Atmospheric Sciences of the Desert Research Institute. He has received B.Sc. and M.S. degrees in Geophysics and Meteorology from the University of Zagreb, Croatia, and a Ph.D. degree in Atmospheric Physics from the University of Nevada, Reno. He investigates the properties and evolution of atmospheric flows over both complex terrain and the ocean through the development and application of high-resolution mesoscale meteorological models. His expertise includes modeling and observational studies of the transport and dispersion of atmospheric pollutants and tracers using and developing dispersion models of various complexities. Dr. Koracin is an instructor at the UNR Atmospheric Sciences department and he is mentoring students in M.S. and Ph.D. programs.
Thursday, September 30th, 2004 at 3:00p.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
The behavior of the atmospheric and dispersion processes can be described as a mathematical formalism by a set of nonlinear differential equations whose solution is yet to be found. Consequently, we design atmospheric and dispersion computer models in which numerical techniques are used to obtain the solution for the set of equations. We have been using atmospheric and dispersion models for a variety of basic and applied research studies focused on real-time weather forecasting, air quality, coastal dynamics, weather modification, wind energy, and tracer experiments. Due to the complexity of the models, significant computer efforts in execution and post-processing are required. This requirement was recently emphasized by the need to execute simultaneously coupled atmospheric and oceanic as well as hydrological models. Some of the issues related to code parallelization, visualization, and computer requirements will be discussed during the presentation.
Dr. George Bebis
School of Computer Science and Information Technology
University of Nottingham
Dr. Graham Kendall is a senior lecturer in the School of Computer Science and Information Technology at the University of Nottingham. He is a member of the Automated Scheduling, Optimization and Planning (ASAP) research group. Before undertaking his academic career, he spent over 15 years in the IT industry where he managed upwards of 50 people and managed a variety of small, medium and large scale IT projects. He is a member of the EPSRC (Engineering and Physical Sciences Research Council) peer college and an associate editor of three international journals. Dr Kendall is the principal investigator on four active awards from and co-investigator on eight other external awards. Dr. Kendall has attracted over £1.6M in external funding in a little over four years. He has published over 40 refereed papers in international journals and conferences, is the editor of six books and has served on over 25 program committees since 2000.
Thursday, June 24th, 2004 at 10:00a.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
We introduce an emerging methodology in search and optimization. The aim of this approach, which has been termed hyper-heuristics, is to raise the level of generality at which optimization systems can operate. The hope is that hyper-heuristics will lead to more general systems that are able to handle a wider range of problem domains than current (meta-) heuristic approaches, which tend to be customized to a particular class of problems or even specific problem instances. Hyper-heuristics are broadly concerned with intelligently choosing the right heuristic (or algorithm) at each decision point to produce solutions which are good enough, soon enough, and cheap enough. In this talk we will give a brief history of this emerging area and discuss the progress made to date.
Dept. of Computer Science
Hanshin University
Friday, April 30th, 2004 at 3:00p.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
The recognition and tracking technology for multiple moving objects in the road is presented, especially for cases where objects cross each other. The technologies developed in this research include:
- Detection of moving objects and distinguishing them from a stationary background
- Tracking multiple objects using 2D and 3D information processing
- Image stabilization and data fusion
In object recognition, background generation process classifies pixels into background and object pixels. For image stabilization, a line-based approach where lines are formed connecting detected corners and matched across frames is developed. For data fusion, image fusion algorithms combining data from multiple sensors are developed. The technology using a traffic characteristics measurement complex is tested during the final experimental stage of the research. The developed technologies allow traffic monitoring without any road modification and will work with all type of roads.
Fuhui Long is currently a research associate at the Center for Cognitive Neuroscience, Duke University. Her research interests include image processing, computer vision, machine learning and human visual perception.
Wednesday, April 21st, 2004 at 4:00p.m.
Sponsored and organized by the CSE Seminar
Psychophysical studies have shown that scene structures play important roles in human vision. For instance, human subjects are able to identify scenes without detailed local information of objects, as long as the global relations among large-scale structures in the scenes are preserved. In addition, human percepts of visual targets are greatly influenced by the spatial organization and complexity of their contexts. Motivated by these evidences in human vision, a scene structure categorization approach is presented here. The gist of the idea is to characterize scene structure by the spatial organizations of the regions of different spatial frequency characteristics, which provides cues on how objects in different distances are organized in the scene.
The approach contains four steps:
- A spatial frequency map is computed to represent the spatial frequency variations in the scene
- The spatial frequency map is segmented into several relatively uniform regions using GMM and EM methods
- Represent the spatial relationships among regions and generate similarity matrices for a group of scenes
- Spectral clustering is applied to categorize the scene images
The preliminary results show that by setting up the association between regions of different spatial frequency and their contexts, this approach appears to produce encouraging results in categorizing scenes into semi-semantic groups.
Excelerate Software
David Loeb is the Founder and President of Excelerate Software. In the 10 years prior to founding Excelerate, Mr. Loeb was Vice President of Professional Services and Chief Technical Officer for IntelliCorp, Inc. in Silicon Valley. As Vice President of Professional Services at IntelliCorp, he managed the delivery of solutions spanning eCommerce, Customer Relationship Management, and Configure-to-Order. Mr. Loeb has held management positions in consulting and development at AICorp and Enterprise Software. He began his career at IBM's Research Lab. Mr. Loeb studied computer science at the University of Illinois, and is the author of two software patents.
Wednesday, April 21st, 2004 at 2:30p.m.
Sponsored and organized by the CSE Seminar
Mr. Loeb will discuss the technology utilized to personalize an application or website to each individual's needs. The application of personalization technology for electronic commerce and electronic marketing will be discussed.
University of Nevada, Reno
Dr. Vert received his undergraduate degree, with specialization in geographic information systems from the University of Washington, a Master's degree from Seattle Pacific University in information systems management and a Ph.D in computer science from the University of Idaho. He has worked in industry for 14 years for companies such as IBM, American Express and Boeing, and has taught computer science at the University of Idaho, Portland State University, and the University of Phoenix. His research interests include database and spatial data management, data visualization, computer security and bioinformatics.
Tuesday, April 20th, 2004 at 2:00p.m.
Sponsored and organized by the CSE / IEEE Seminar
Geographic information systems are becoming more important in decision and analysis processes. It is useful to retrieve all GIS data sets that are related to a given geographic theme. At present there are no known methods for implicitly linking data sets so that all related sets are returned for a given spatial query. A new method is being developed that employs fuzzy logic and a geometric glyph that can be applied to the automatic linking and retrieval of spatially related data sets in a query.
University of Missouri-Rolla
Sanjay Kumar Madria received his Ph.D. in Computer Science from Indian Institute of Technology, Delhi, India in 1995. He is an Assistant Professor, Department of Computer Science, at University of Missouri-Rolla, USA. Earlier, he was a visiting Professor at Purdue University, West Lafayette. He has published papers in leading Journals and conferences in the areas of web warehousing, mobile databases, nested transaction management and performance issues. He is a co-author of a book "Web Data Management: A Warehouse Approach" published by Springer in 2003. He guest-edited WWW Journal and Data and Knowledge Engineering Sp. Issues on Web data management and Data warehousing. He was an invited keynote speaker in Annual Computing Congress in Oct.99 in Canada and an invited speaker in Conference on Information Technology, 2001. He has chaired conferences and workshops in the area of web and internet computing. His research has been supported by NSF, DOE, and UM research board grants. He is an IEEE senior member.
Tuesday, March 30th, 2004 at 3:00p.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
With the role of XML getting more and more important in Web applications, storing XML data in different data models is much more interesting. Most of the solutions use relational model for storing XML data. Users are often not only interested in the current documents on Web but also in changes to learn about the evolution of the Web. The change detection methods presented so far uses tree comparison approaches. In this talk, I introduce a method to map XML files to relational data model. The method parses XML files as DOM trees and stores value and path information for each node in a single relational table. Then I will present an algorithm called "DiffXML" which uses SQL operations to detect changes such as move, insert, delete and updates between two versions of an XML file stored in a relational database. The value and path information for XML files are used to detect differences. I will present the performance results of DiffXML compared with some existing prototypes including a commercial XML change detection tool.
Konstantinos Veropoulos was born in Athens, Greece. He has completed a BSc in Computer Science & Engineering at the American University of Athens in Greece, a MSc in Parallel Computer Systems at the University of the West of England and a Ph.D. in Machine Learning and Machine Vision at the University of Bristol in United Kingdom. He is a young researcher in the theory and applications of Artificial Neural Networks and Support Vector Machines and has published and presented his work in a number of key international conferences and journals in this area. His research interests include:
- Interactive computer graphics
- Image processing, analysis and recognition
- Signal processing
- Medical diagnostics
- Bioinformatics
- Machine learning using Artificial Neural Networks and other learning methods such as Support Vector Machines, Decision Trees, Query Learning and Fuzzy Logic.
Wednesday, March 24th, 2004 at 4:00p.m.
Sponsored and organized by the CSE Seminar
The Automated Diagnosis of Tuberculosis (TB) from photomicrographs of sputum smears is an example of a machine learning and vision application that has shown a very promising performance in a preliminary investigation that took place in the University of Bristol, UK. Image processing and analysis techniques have been used to highlight and extract features of tuberculosis bacteria in photomicrographs. Support Vector Machine (SVM) methods were applied for the identification of these bacteria and the results compared to more conventional machine learning methods such as artificial neural networks with backpropagation and scaled conjugate gradient learning algorithms.
The results and conclusions of this investigation not only show that automated diagnosis of TB is feasible, but also that SVMs have the properties to be successfully applied in similar medical problems and provide a beneficial service to the medical community.
Institute of Software Technology and Programming Languages
University of Luebeck, Germany
Prof. Walter Dosch received a Ph.D. in Computer Science from the Technical University of Munich. Since 1988 he has been Professor of Computer Science and Artificial Intelligence at the University of Augsburg. Since 1996 he is Full Professor and Director of the Institute of Software Technology and Programming Languages at the University of Luebeck. During the term of office 2000-02, he served as Dean of the Faculty of Technology and Sciences.
His research interests comprise software and system development, foundations of software technology, in particular formal methods, specification and transformation. He contributed over 100 publications to conference proceedings and journals. Prof. Dosch served as the program resp. conference chair of several international software engineering conferences and coauthored two introductory textbooks to computer sciences.
Tuesday, March 23rd, 2004 at 09:00a.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
Interactive systems are composed of software and hardware components of different kind. The components communicate asynchronously by exchanging information along connecting channels. Elementary components can be combined into composite components following different composition styles.The specification, systematic design and correct implementation of interactive systems need sound foundations for describing the interface, the behavior and the structure of components.
The behavior of a (non)deterministic component can be characterized by a function (relation) between the communication histories for input and output. A communication history, for short a stream, records the finite or infinite succession of messages of specified type passing through the component's interface. The stream-based description results in a functional model of interactive systems supporting compositional design methods.
The lecture series presents a tutorial on the functional specification, design and implementation of asynchronously communicating components in distributed systems. On the specification level, we concentrate on functional requirements defining the input/output behavior. During validation we are interested in the component's safety and lifeness properties. Among the design issues, we present compositional techniques for the stepwise refinement of the component's behavior, interface and structure. On the implementation level, we discuss the introduction of data states and control states.
The approach is explicated presenting various processing, memory, control and synchronization components. The accompanying examples illustrate different description styles using recursive functions, logical assertions and graphical representations. We also relate the history-based approach to pragmatic engineering techniques based on state transition tables and abstract state machines.
The lecture series addresses computer scientists interested in the foundations of software and systems engineering.
Institute of Software Technology and Programming Languages
University of Luebeck, Germany
Prof. Walter Dosch received a Ph.D. in Computer Science from the Technical University of Munich. Since 1988 he has been Professor of Computer Science and Artificial Intelligence at the University of Augsburg. Since 1996 he is Full Professor and Director of the Institute of Software Technology and Programming Languages at the University of Luebeck. During the term of office 2000-02, he served as Dean of the Faculty of Technology and Sciences.
His research interests comprise software and system development, foundations of software technology, in particular formal methods, specification and transformation. He contributed over 100 publications to conference proceedings and journals. Prof. Dosch served as the program resp. conference chair of several international software engineering conferences and coauthored two introductory textbooks to computer sciences.
Monday, March 22nd, 2004 at 2:30p.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
Software development has matured from heuristic practice to an engineering discipline. Nowadays software engineers can benefit from a solid stock of basic research addressing specification, modelling, design and implementation techniques for sequential, concurrent, distributed and real time systems. A general system model should provide different system views, in particular a data model, a state transition model, an architectural model, and a process model. Software development must safely bridge system views on different levels of abstraction when implementing a specified behaviour.
Against this general background, we present a functional model for communicating components in distributed systems along with refinement transformations relating external and internal views. In the external view, a component forms a black box interacting with the environment by message passing. The internal view discloses the component's state when implementing the specified behaviour by state transition model.
We discuss formal methods for systematically transforming the input/output-oriented external view into a state-based internal view and for further refining these system views. We conclude with a critical assessment of applying formal methods from academics to industrial software engineering.
Ohio State University
Dr. Fengliang Xu received his Bachelors of Science Degree in Electrical Engineering in 1996 from the University of Science and Technology of China, and his PhD from the Ohio State University (OSU). He has been involved with the OSU Mapping and GIS Lab performing work in Mars Mapping using Robot Vision. Also, he is a collaborator to the Computer and Information Science Dept of OSU and Fundamental Research Dept. of Honda R&D America in human recognition.
Tuesday, March 16th, 2004 at 4:00p.m.
Sponsored and organized by the CSE Seminar
Mapping and localization techniques in the current Mars Exploration Rover (MER) mission is to generate digital elevation model (DEM) and orthophoto using stereo images from the Navcam and Pancam as well as descent images and orbital images, and matching of these orthophotos to provide precise locations of the rovers. The pipeline is: automatic feature (interest point) extraction and matching, triangulation, mapping, localization, landmark (rock and hollows) extraction and modeling. In night vision, pedestrians are detected using support vector machines (SVM) as well as motion estimation from stereo images. In Depth vision, human and objects including luggage are detected and modeled from depth and grayscale images.
Tulane University
Mr. Ibrahim Gokcen received his BS in Computer Engineering from Middle East Technical University in Ankara, Turkey in 1999. The same year, he joined the Department of EECS at Tulane University, where he currently is a research assistant in the Image Understanding and Evolutionary Computation lab and a PhD candidate. His research interests include statistical learning, pattern recognition and evolvable hardware.
Monday, March 15th, 2004 at 4:00p.m.
Sponsored and organized by the CSE Seminar
In this talk, we formulate two different problems in statistical learning and image processing as search problems and present search space reduction methods for both.
Supervised learning requires prior labels for all training samples in order to find the decision boundary based on a given criterion of optimality. However, especially in the recent years, there has been an increase of applications generating huge amounts of data, majority of which is unlabeled. In the first part of the talk, we focus on the problem of active learning, which essentially aims at reducing the labeling cost by choosing unlabeled samples intelligently. This choice is made based on geometric, statistical and probabilistic measures employed on two isomorphic vector spaces and their subspaces. Two convex feasible regions of solutions are identified in both the parameter space (space of classifiers) and the input/feature space (space of samples). Estimation of the centroid or the volume of the two regions provide a way to assess search space reduction, thereby facilitating intelligent selection. Two practical applications of active learning on data thinning and image retrieval with relevance feedback are presented.
In the second part of the talk we present a rigid, search space reducing, feature based and adaptive image matching scheme to put images in correspondence without establishing explicit point correspondences. The method estimates the transformation parameters using a feature set, which is constructed via Principal Component Analysis (PCA). A unique aspect of the method is the incorporation of a learning process to learn the parameters incrementally from a training set of images. A nearest-mean matching scheme is used to match the features with transformation parameters. Hence, correct matching is determined within a predetermined error range.
University of Nevada, Reno
Sergiu Dascalu is an Assistant Professor in the Department of Computer Science & Engineering at the University of Nevada, Reno. He has a Master's degree in Automatic Control and Computers from the Polytechnic Institute of Bucharest, Romania (1982), and a Ph.D. degree in Computer Science from Dalhousie University, Halifax, Nova Scotia, Canada (2001). Sergiu has been involved in the engineering of software for more than 15 years. He believes computers are essentially a fine combination of mathematics and arts, and endeavors to explore this combination with an engineer's discipline and dedication. His main research interests are in software engineering, particularly in languages, techniques, and tools for software specification. He has also worked on topics in the areas of real-time systems and human-computer interaction.
Thursday, March 11th, 2004 at 3:00p.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
Stratified Programming (SP) and its Strata-based Software Construction (SSC) extension are novel software development techniques proposed recently by Adrian Pasculescu, from Alpas Solutions, Toronto and Sergiu Dascalu, from the University of Nevada, Reno. In essence, by using strata to organize computer programs, both the design (software model) and the code (program implementation) can be adjusted to various levels of abstraction. Thus, a high level of flexibility is available both to designers who can work with the model at various levels of detail, and to users who can run various configurations of the same program (corresponding to various strata sets) much in the same way a computer game can be played at various skill-levels.
In essence, the strata-based approach allows enabling and disabling functionality and features of a program at both design stage and run-time. In this talk, the main stratified programming concepts are introduced, an example of SP code is shown, the use of strata in various phases of the software development process is discussed, and a number of directions for future work are presented.
Dr. Vanda Grubisic - ACES Project Lead - received her Ph.D. in Atmospheric Science from Yale University in 1995. She is an Assistant Research Professor in the Division of Atmospheric Sciences at the Desert Research Institute with a research program in mesoscale meteorology, and the lead of the UCCSN Advanced Computing in Environmental Sciences (ACES) project. She came to DRI in 1999 from the National Center for Atmospheric Research (NCAR, Boulder, CO). Throughout her career, at both NCAR and DRI, Dr. Grubisic has been involved in high-performance computing projects with applications in atmospheric science. Her research focuses on numerical modeling and theoretical and observational analysis of mesoscale atmospheric flows, in particular airflow in complex terrain. She has extensive experience in development and use of atmospheric numerical models. She has used numerical models and advanced scientific visualization of the model data to investigate physical processes of gravity wave interaction with their critical levels, formation and stability of mountain wakes, evolution of Hawaiian rainbands, momentum transport by clouds in high-latitude cold-air outbreaks, and quantitative precipitation forecasting.
Dr. Shulan Liu - ACES Scientific Applications Programmer - obtained a BS degree in Physics from University of Science and Technology of China in 1997, and a Ph.D degree in computational physics from University of Massachusetts at Amherst in 2003. His Ph.D thesis was on the computer modeling of complex fluid. He joined the ACES program as a scientific application programmer in October 2003. Since then, he has been working on various aspects of the ACES program. In particular, he has been working on developing the ACES grid portal, creating the ACES grid, and porting simulation software to supercomputers.
Mr. Mark Ballew - ACES UNIX System Administrator - is currently working as a UNIX System administrator in the ACES program at the Desert Research Institute in Reno, Nevada to deploy a state wide data grid using Globus, data visualization technology, and Access Grid. With the Globus Toolkit, he is working to integrate idle computational resources state wide to distribute scientific workloads more efficiently. Using cutting edge hardware and software, he is also working on ways to visualize scientific data output in the ACES VisLab. In 2000 he graduated with a BS in Computer Science from the University of Nevada, Reno, and is currently pursuing a Master's degree in Computer Science from the same university.
Thursday, February 26th, 2004 at 2:00p.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
The Advanced Computing in Environmental Sciences (ACES) program's main goals are creation of new capabilities for multidisciplinary research in Nevada, centered on computer modeling, data visualization, and other data-intensive techniques in environmental research, and building a critical mass of expertise and equipment to create a core for future computational science advances beyond the environmental applications. In this talk, we will review recent ACES developments, including new hardware at the ACES core computational facility at DRI, construction of the ACES VisLab at DRI, development of a new communication grid in the state with AccessGrid nodes, new ACES portal, and availability of technical support for computational science projects.
University of Colorado at Denver, Department of Mathematics
Andrew Knyazev has received an MS degree in Computer Sciences from the Moscow State University in 1981 and a Ph.D. in Numerical Mathematics from the Institute of Numerical Mathematics Russian Academy of Sciences in 1985. After being employed as a Software Engineer at the Kurchatov's Institute of Atomic Energy in 1981-83, Andrew Knyazev started his research carrier at the Institute of Numerical Mathematics Russian Academy of Sciences, where he worked for nine years. In 1992, Andrew Knyazev has moved to the USA and became a visiting scientist at the Courant Institute of Mathematical Sciences, New York University for two years. Since 1994, he has been an associate professor at the Department of Mathematics, University of Colorado at Denver. One of the main research topics of Andrew Knyazev is numerical solution of large-scale symmetric eigenvalue problems on highly parallel computer systems and applications of eigenproblems in engineering. He is one of the contributors to the Templates for the Solution of Algebraic Eigenvalue Problems: A Practical Guide. Editors: Zhaojun Bai, James Demmel, Jack Dongarra, Axel Ruhe, and Henk Van der Vorst, SIAM, pp. 337-368, 2000.
Friday, February 20th, 2004 at 1:00p.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
Several computationally efficient approaches to clustering large-scale and high-dimensional data are based on finding several extreme eigenvalues and corresponding eigenvectors of large sparse symmetric matrices. For example, a well-known problem of image segmentation can be mathematically formulated as a problem of minimization of normalized cuts, which leads to an eigenvalue problem.
Numerical solution of eigenvalue problems poses major computational challenges for large size matrices. As even low-end digital cameras produce mega-pixel images nowadays, it is typical to face image segmentation problems that lead to eigenvalue problems with millions unknowns. Eigenvalue problems for matrices so large are difficult to solve numerically at present. Moreover, it might be expected that the demands for the increased resolution and the needs to treat live feed dynamic images will continue to overgrow the increase in the computational power. An efficient choice of a method for numerical solution of the eigenvalue problem becomes crucial. The ultimate goal could be to find a method with a linear complexity, in other words, a method with computational costs that scale linearly with the problem size.
In the talk, we present an overview of numerical eigenvalue solvers used for image segmentation and introduce a locally optimal block preconditioned conjugate gradient (LOBPCG) method recently suggested and studied by the speaker. The LOBPCG is publicly available in MATLAB and in C using MPI and HYPRE libraries for massively parallel computers.
University of Nevada, Reno
Dr. Louis is an associate professor of Computer Science & Engineering at the University of Nevada, Reno. He directs the evolutionary computing systems laboratory and works in the areas of evolutionary computation and machine learning. His current interests are in human behavior modeling and context aware computing. Major application areas within computer science include human computer interfaces, computer gaming, and computer security. More broadly, this work has applications in science, engineering, and business. You can visit his website at http://www.cse.unr.edu/~sushil/ for more information.
Friday, February 13th, 2004 at 3:00p.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
Natural selection has, over time, produced a variety of good designs and can be viewed as a search for higher fitness structures that perform specific functions. Evolutionary computing, also based on the principles of natural selection, views solving design problems as searching for solutions that meet specifications in a space of possible candidate solutions. This talk introduces evolutionary computing in the context of a simple problem and presents an overview of evolutionary computing in design. I use examples from designing combinational logic cicuits, trusses, finding shortest length tours, predicting subsurface structure, and asset allocation to illustrate this view. A short description of research at the Evolutionary Computing System Laboratory at UNR will conclude the talk.
Professor Ian Parmee has several years experience in both the Contracting and Consultancy sectors of the engineering industry. He returned to an academic career in 1991 and played a major role in the establishment and subsequent development of the Plymouth EPSRC Engineering Design Centre at the University of Plymouth investigating the integration of Evolutionary Computing technologies with Engineering Design. Ian was Director of the Centre from 1996 to 2000. He has now taken up a Professorship at the University of the West of England, Bristol where he is currently establishing research in the area of computational intelligence in design and decision-making through the ACDDM Group. His research has resulted in over one hundred publications in journals, conference proceedings and books. His recent book Evolutionary and Adaptive Computing in Engineering Design (Springer Verlag, 2001) describes much of his previous work. In addition, Ian chairs the International Conference on Adaptive Computing in Design and Manufacture which next takes place in April, 2004.
Monday, January 26th, 2004 at 4:00p.m.
Sponsored and organized by the CSE / IEEE / EE Seminar
Ill-definition, uncertainty and multiple objectives are primary characteristics of real-world design and decision-making processes. During the initial stages of such processes little knowledge appertaining to the problem at hand may be available. A primary task relates to improving problem definition in terms of variables, constraints and both quantitative and qualitative objectives. The problem space tends to develop with information gained in a dynamical process where optimization plays a secondary role following the establishment of a well-defined problem domain.
The talk presents an overall strategy involving evolutionary computing and complementary computational intelligence techniques within a human-centred, highly interactive design / decision-making environment. The main aim of this environment is the generation and succinct presentation of information relating to relationships and dependencies within complex multi-variate problem spaces. The intention is that the presentation of differing perspectives relating to complex interactions will contribute to a better overall understanding of prime problem characteristics and subsequent improvement in problem representation and solution identification.