Eindhoven University of Technology

About: Eindhoven University of Technology is a education organization based out in Eindhoven, Noord-Brabant, Netherlands. It is known for research contribution in the topics: Catalysis & Computer science. The organization has 22309 authors who have published 52936 publications receiving 1584164 citations. The organization is also known as: Technische Hogeschool Eindhoven & TU/e.

A survey of perceptual evaluations and requirements of three-dimensional TV

Abstract: A high-quality three-dimensional (3-D) broadcast service (3-D TV) is becoming increasingly feasible based on various recent technological developments combined with an enhanced understanding of 3-D perception and human factors issues surrounding 3-D TV. In this paper, 3-D technology and perceptually relevant issues, in particular 3-D image quality and visual comfort, in relation to 3-D TV systems are reviewed. The focus is on near-term displays for broadcast-style single- and multiple-viewer systems. We discuss how an image quality model for conventional two-dimensional images needs to be modified to be suitable for image quality research for 3-D TV. In this respect, studies are reviewed that have focused on the relationship between subjective attributes of 3-D image quality and physical system parameters that induce them (e.g., parameter choices in image acquisition, compression, and display). In particular, artifacts that may arise in 3-D TV systems are addressed, such as keystone distortion, depth-plane curvature, puppet theater effect, cross talk, cardboard effect, shear distortion, picket-fence effect, and image flipping. In conclusion, we summarize the perceptual requirements for 3-D TV that can be extracted from the literature and address issues that require further investigation in order for 3-D TV to be a success.

Automatic Floorplan Design

Abstract: The problem of allocating area to modules at the highest level of a top-down decomposition is treated in this paper. A theorem of Schoenberg is applied to obtain a good embedding of the module space into the plane. The dutch metric is introduced to transform netlist information - if available - into a distance matrix. This metric is flexible enough to enable the user to steer the design in an interactive environment, and rigorous enough to yield results satisfying optimality criterions. The embedding is used to derive the topology of the floorplan in the form of the structure tree of a slicing structure. To store the partial structure tree during the construction a concise and convenient data structure, the shorthand tree, is introduced. For any aspect ratio of the chip a minimum area floorplan can be generated. The paper also shows how wiring space predictions can be incorporated, how varying degrees of module flexibility can be accounted for, and how fixing bonding pad macros affects the procedure.

Process mining and verification of properties: an approach based on temporal logic

Abstract: Information systems are facing conflicting requirements. On the one hand, systems need to be adaptive and self-managing to deal with rapidly changing circumstances. On the other hand, legislation such as the Sarbanes-Oxley Act, is putting increasing demands on monitoring activities and processes. As processes and systems become more flexible, both the need for, and the complexity of monitoring increases. Our earlier work on process mining has primarily focused on process discovery, i.e., automatically constructing models describing knowledge extracted from event logs. In this paper, we focus on a different problem complementing process discovery. Given an event log and some property, we want to verify whether the property holds. For this purpose we have developed a new language based on Linear Temporal Logic (LTL) and we combine this with a standard XML format to store event logs. Given an event log and an LTL property, our LTL Checker verifies whether the observed behavior matches the (un)expected/(un)desirable behavior.

Niches in evolutionary theories of technical change: A critical survey of the literature

Abstract: In this article, the use of the niche concept for explaining radical technical change is explored. Contributions of various strands of literatures are elaborated and systematized in a taxonomy. Radical change or technological discontinuity is defined as the establishment of a new sociotechnical regime. Sociotechnical regimes carry and store rules for how to produce, use and regulate specific technologies. They perform the task of genes and define the boundary between technological species. It is proposed that radical change is generated by four different evolutionary mechanisms and patterns: natural selection, punctuated equilibrium, market niche selection, and technological niche selection. In each pattern, a different type of niche is implicated in the change process. The difference between niches results from differentiating between two dimensions: (1) whether niches are internal or external to the prevailing sociotechnical regime; (2) whether rules for design and use of a specific technology are stable or unstable within the niche.