Three-dimensional simulation of sacrificial etching

Sacrificial etching is one of the most important process steps in micro-electro-mechanical systems technology, since it enables the generation of free-standing structures. These structures are often the main part of micro-mechanical devices, intended to sense or induce a mechanical movement. The etching process transforms an initial multi-segmented geometry and depends on material properties and several process conditions. One of the crucial issues for etching is the etching selectivity on different materials. The major task for the simulation is to give an answer, how sacrificial layer surfaces regress in time under the influence of process parameters and to which magnitude surrounding material segments are affected by the etching process. For this purpose we have developed a fully three-dimensional topography simulation tool, Etcher-Topo3D, which is capable to deal with realistic process conditions. The main concept is demonstrated in this work. During simulation the topography of the initial multi-segment geometry is changed which is handled by a level-set algorithm. After a simulation is finished, the level-set representation has usually to be converted back to a mesh representation to enable further analysis. To illustrate the main features of our simulation tool several examples of MEMS structures with a sacrificial layer are presented.     

Symbolic Cache Analysis for Real-Time Systems

Caches impose a major problem for predicting execution times of real-time systems since the cache behavior depends on the history of previous memory references. Too pessimistic assumptions on cache hits can obtain worst-case execution time estimates that are prohibitive for real-time systems. This paper presents a novel approach for deriving a highly accurate analytical cache hit function for C-programs at compile-time based on the assumption that no external cache interference (e.g. process dispatching or DMA activity) occurs. First, a symbolic tracefile of an instrumented C-program is generated based on symbolic evaluation, which is a static technique to determine the dynamic behavior of programs. All memory references of a program are described by symbolic expressions and recurrences and stored in chronological order in the symbolic tracefile. Second, a cache hit function for several cache architectures is computed based on a cache evaluation technique. Our approach goes beyond previous work by precisely modelling program control flow and program unknowns, modelling large classes of cache architectures, and providing very accurate cache hit predictions. Examples for the SPARC architecture are used to illustrate the accuracy and effectiveness of our symbolic cache prediction.     

Mobilising information systems scholarship for a circular economy: Review,synthesis, and directions for future research

One of today's grand societal challenges is to replace the current ‘take‐make‐waste’ economic model with a circular economic model that allows a gradual decoupling of economic activities from the consumption of finite virgin resources. While circular economy (CE) scholars have long lauded digital technologies such as sensors, distributed ledgers, or platforms as key enablers, our own community has not fully explored the potentials of information systems (IS) for a CE. Considering recent technological advances in software and hardware and our history of helping address wicked challenges, we believe the time is ripe to mobilise IS scholarship for a CE. Our findings from an interdisciplinary literature review show that research has primarily examined IS potentials for increasing efficiency of isolated intra‐organisational processes while neglecting the larger sustainability potential of IS to establish circular material flows—that is, slow down and close material loops across entire product lifecycles. In response, we propose directions for IS research that develop our knowledge of how IS can help understand and enact circular material flows to intensify and extend use of products and components and recycle waste materials. Our directions offer pathways to building and evaluating the problem‐solution pairing that could characterise a prolific CE‐IS relationship.     

Formal testing for separation assurance

In order to address the rapidly increasing load of air traffic operations, innovative algorithms and software systems must be developed for the next generation air traffic control. Extensive verification of such novel algorithms is key for their adoption by industry. Separation assurance algorithms aim at predicting if two aircraft will get closer to each other than a minimum safe distance; if loss of separation is predicted, they also propose a change of course for the aircraft to resolve this potential conflict. In this paper, we report on our work towards developing an advanced testing framework for separation assurance. Our framework supports automated test case generation and testing, and defines test oracles that capture algorithm requirements. We discuss three different approaches to test-case generation, their application to a separation assurance prototype, and their respective strengths and weaknesses. We also present an approach for statistical analysis of the large numbers of test results obtained from our framework.     

Boundaries and roles: Positioning and social location in the Virtual Math Teams (VMT) online community

As research in Computer-Supported Collaborative Learning (CSCL) expands its understanding of joint knowledge building, new perspectives on how social reality is constructed become necessary. Our research concentrates on the longitudinal or diachronic trajectories of Virtual Math Teams (VMT) at The Math Forum, an online community supporting mathematical inquiry. We investigate how these virtual teams constitute themselves while engaged in building collaborative knowledge. We describe as well, through the lens of positioning theory, the interactional activities that allow participants to situate themselves, others, and their collective knowledge resources over time. Our analysis suggests that positioning work is central to constructing a sustained problem space and illustrates how the configurations of positions and resources that co-participants put forward through interaction might change across a team’s trajectory. These changes constitute and are sensitive to the participants’ evolving reasoning routines and other forms of joint participation uniquely related knowledge building. In addition, we show that the VMT activity system affords participants a level of disciplinary engagement which is partly illustrated by active engagement in positioning work. Finally, we suggest that an interactional approach to roles and participation provides a fruitful framework for researchers, designers, and practitioners interested in understanding and creating engaging CSCL interactions.     

TimeLapseAnalyzer: multi-target analysis for live-cell imaging and time-lapse microscopy

The direct observation of cells over time using time-lapse microscopy can provide deep insights into many important biological processes. Reliable analyses of motility, proliferation, invasive potential or mortality of cells are essential to many studies involving live cell imaging and can aid in biomarker discovery and diagnostic decisions. Given the vast amount of image- and time-series data produced by modern microscopes, automated analysis is a key feature to capitalize the potential of time-lapse imaging devices. To provide fast and reproducible analyses of multiple aspects of cell behaviour, we developed TimeLapseAnalyzer. Apart from general purpose image enhancements and segmentation procedures, this extensible, self-contained, modular cross-platform package provides dedicated modalities for fast and reliable analysis of multi-target cell tracking, scratch wound healing analysis, cell counting and tube formation analysis in high throughput screening of live-cell experiments. TimeLapseAnalyzer is freely available (MATLAB, Open Source) at http://www.informatik.uni-ulm.de/ni/mitarbeiter/HKestler/tla.     

Protokollierung im Abrufverfahren

Ohne Zusammenfassung     

An overview of vertical handover techniques: Algorithms, protocols and tools

Wireless technologies, under the “Anywhere, Anytime” paradigm, offer users the promise of being always attached to the network. Mobile devices enabled with multiple wireless technologies make possible to maintain seamless connectivity in highly dynamic scenarios such as vehicular networks (VNs), switching from one wireless network to another by using vertical handover techniques (VHO). In this paper we present an overview of VHO techniques, along with the main algorithms, protocols and tools proposed in the literature. In addition we suggest the most appropriate VHO techniques to efficiently communicate in VN environments considering the particular characteristics of this type of networks.     

Studying Organizational Creativity as Process: Fluidity or Duality?

This paper contributes to process studies on organizational creativity by developing two competing research agendas. The first perspective, the ‘becoming’ view, depicts creativity as a constant flow of activity that crystallizes every once in a while in unpredictable moments of creativity. The second perspective, the ‘practice’ view, understands creativity as a practised social process, in which structures play the important role of both enabling and constraining individual agents in pursuing creativity as a collective phenomenon. We compare and contrast these two theoretical perspectives, which are based on different process ontologies, and discuss their methodological implications. We argue that the practice perspective offers particular promise, because it allows us to address the important yet paradoxical question of how creativity may be organized and managed.