Please note that to save paper some of the appendices have been omitted from this version of the text. For that reason, there will be some undeened references (?) in the text.

Pour améliorer l'efficacité des algorithmes de classification, il existe plusieurs algorithmes de préparation des données, dont la désuffixation. Cependant, le langage médical, et les comptes rendus hospitaliers sont rédigés dans un langage très technique, avec peu de formes flexionnelles. Nous nous sommes demandés si l'implémentation d'un algorithme de désuffixation dans ce contexte pouvait am...

A modern microelectronic systems undergraduate program which incorporates electronic design automation software throughout the curriculum faces many challenges at an urban non-residential campus. This paper describes both the challenges facing small non-residential departments offering microelectronic systems education and the approach used at the University of Colorado at Denver to begin to ov...

Adaptive automation systems allow the user to complete a task seamlessly with a computer performing tasks at which the human operator struggles. Unlike traditional systems that allocate functions to either the human or the machine, adaptive automation varies the allocation of functions during system operation. Creating these systems requires designers to consider issues not present during stati...

This paper develops a uniform definition of control system design problems using a vector space. Design difficulties by conventional analytical and numerical means are discussed. Associated problem-classification is presented, together with a possible automation technique that transforms unsolvable design problems to solvable analysis and non-NP design problems. Practically realisable design au...

With development of mechanical and electronic technology, mechanical automation technology plays an important role in many areas. Because of high demand for food safety, mechanical automation technology in food factory is used widely. But there still is gap with advanced countries, mainly in automation software design. Through designing the automation monitoring system of food packaging product...

This research note highlights salient findings from a web survey conducted during 2004 as part of a multi-year effort to better understand the views of diverse stakeholders in the development of a government-wide electronic rulemaking system. We report both quantitative and qualitative results that indicate a rough consensus about the desired scope and nature of electronic rulemaking tools and ...

Representing large boolean sets has many important application areas, including hardware verification. There are two main approaches: the characteristic and parametric representation. This note describes the approaches and briefly compares them

Whistle-blowing is a core topic for any ”ethics” or ”professionalism” course offered for IS/CS/CE/EE majors. This paper documents a real whistle-blowing case that is ideal for use in teaching. The incident is set in the computing industry, specifically in the supply of micro-electronic chips for use in safety-critical systems. The incident is well documented, with decisions in both a criminal c...

ion-Based Livelock/Deadlock Checking for Hardware Verification In-Ho Moon and Kevin Harer Synopsys Inc. {mooni, kevinh}@synopsys.com