ppxscal/embedding_network huggingface dataset:
Damage detection of truss bridge joints using Artificial Neural Networks
Authors: M. Mehrjoo, N. Khaji, H. Moharrami, A. Bahreininejad
Venue: Expert Systems with Applications: An International Journal (2008)

Recent developments in Artificial Neural Networks (ANNs) have opened up new possibilities in the domain of inverse problems. For inverse problems like structural identification of large structures (such as bridges) where in situ measured data are expected to be imprecise and often incomplete, ANNs may hold greater promise. This study presents a method for estimating the damage intensities of joints for truss bridge structures using a back-propagation based neural network. The technique that was employed to overcome the issues associated with many unknown parameters in a large structural system is the substructural identification. The natural frequencies and mode shapes were used as input parameters to the neural network for damage identification, particularly for the case with incomplete measurements of the mode shapes. Numerical example analyses on truss bridges are presented to demonstrate the accuracy and efficiency of the proposed method.
Range image recognition based on statistical multiresolution approach
Authors: Yulia Kempner
Venue: Proceedings of the 4th WSEAS International Conference on Telecommunications and Informatics (2005)

This paper proposes a robust multiresolution approach to detecting the structure of a noisy range image. It is assumed that the original image, consisting of planar and quadratic surfaces, is corrupted by heavy noise composed of Gaussian background noise and impulse noise. A basic principle of our approach is the exploitation of the structure of scan lines for detecting the image structure. Thus, the main part of our algorithm is essentially one-dimensional, allowing a significant decrease in computational complexity. A new curve recognition technique based on multiresolution hypothesis testing is suggested. This technique allows us to take into account domain knowledge and to improve the efficiency of the method. Finally, a procedure for detection, recognition, and reconstruction of surface patches is introduced.
Unique games on expanding constraint graphs are easy: extended abstract
Authors: Sanjeev Arora, Subhash A. Khot, Alexandra Kolla, David Steurer, Madhur Tulsiani, Nisheeth K. Vishnoi
Venue: Proceedings of the 40th annual ACM symposium on Theory of computing (2008)

We present an efficient algorithm to find a good solution to the Unique Games problem when the constraint graph is an expander. We introduce a new analysis of the standard SDP in this case that involves correlations among distant vertices. It also leads to a parallel repetition theorem for unique games when the graph is an expander.
Model checking transactional memories
Authors: Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh
Venue: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (2008)

Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memory. We show that, under certain conditions, the verification problem can be reduced to a finite-state problem, and we illustrate the use of the method by proving the correctness of several STMs, including two-phase locking, DSTM, TL2, and optimistic concurrency control. The safety properties we consider include strict serializability and opacity; the liveness properties include obstruction freedom, livelock freedom, and wait freedom. Our main contribution lies in the structure of the proofs, which are largely automated and not restricted to the STMs mentioned above. In a first step we show that every STM that enjoys certain structural properties either violates a safety or liveness requirement on some program with two threads and two shared variables, or satisfies the requirement on all programs. In the second step we use a model checker to prove the requirement for the STM applied to a most general program with two threads and two variables. In the safety case, the model checker constructs a simulation relation between two carefully constructed finite-state transition systems, one representing the given STM applied to a most general program, and the other representing a most liberal safe STM applied to the same program. In the liveness case, the model checker analyzes fairness conditions on the given STM transition system.
SUBSTITUTIONAL ADAPTATION IN CASE-BASED REASONING: A GENERAL FRAMEWORK APPLIED TO P-TRUCK CURING
Authors: Sara Manzoni, Fabio Sartori, Giuseppe Vizzari
Venue: Applied Artificial Intelligence (2007)

Adaptation is one of the most problematic steps in the design and development of case-based reasoning (CBR) systems. In fact, it may require considerable domain knowledge and involve complex knowledge engineering tasks, whereas CBR is often adopted when available domain knowledge is not enough to build a problem solution given its description, and thus past experiences are considered and exploited. This paper introduces a general framework for substitutional adaptation, which only requires analogical domain knowledge, which is very similar to the one required to define a similarity function. The approach is formally introduced, and its applicability is discussed with reference to case structure and its variability. A case study focused on the adaptation of cases related to truck tire production processes is also presented.
Scenario selection and prediction for DVS-aware scheduling of multimedia applications
Authors: S. V. Gheorghita, T. Basten, H. Corporaal
Venue: Journal of Signal Processing Systems (2008)

Modern multimedia applications usually have real-time constraints and they are implemented using application-domain specific embedded processors. Dimensioning a system requires accurate estimations of resources needed by the applications. Overestimation leads to over-dimensioning. For a good resource estimation, all the cases in which an application can run must be considered. To avoid an explosion in the number of different cases, those that are similar with respect to required resources are combined into, so called application scenarios. This paper presents a methodology and a tool that can automatically detect the most important variables from an application and use them to select and dynamically predict scenarios, with respect to the necessary time budget, for soft real-time multimedia applications. The tool was tested for three multimedia applications. Using a proactive scenario-based dynamic voltage scheduler based on the scenarios and the runtime predictor generated by our tool, the energy consumption decreases with up to 19%, while guaranteeing a frame deadline miss ratio close to zero.
Multicore design is the challenge! what is the solution?
Authors: Eshel Haritan, Toshihiro Hattori, Hiroyuki Yagi, Pierre Paulin, Wayne Wolf, Achim Nohl, Drew Wingard, Mike Muller
Venue: Proceedings of the 45th annual Design Automation Conference (2008)

Multi Processor SoC (MPSoC) are being designed today. MPSoC design can help achieve aggressive performance and low power targets but it creates new design challenges: How to design the interconnect fabric and memory sub-system to allow the massive data movement required in a multi processor SoC environment? How to develop, debug and verify HW and SW functionality in a MPSoC design? Is MPSoC design an inflection point that will require new design methods including ESL methodologies?
Using Visual Design Experts in Critique-Based Evaluation of 2D Vector Visualization Methods
Authors: Daniel Acevedo, Cullen D. Jackson, Fritz Drury, David H. Laidlaw
Venue: IEEE Transactions on Visualization and Computer Graphics (2008)

We describe an experiment in which art and illustration experts evaluated six 2D vector visualization methods. We found that these expert critiques mirrored previously recorded experimental results; these findings support that using artists, visual designers and illustrators to critique scientific visualizations can be faster and more productive than quantitative user studies. Our participants successfully evaluated how well the given methods would let users complete a given set of tasks. Our results show a statistically significant correlation with a previous objective study: designers' subjective predictions of user performance by these methods match users measured performance. The experts improved the evaluation by providing insights into the reasons for the effectiveness of each visualization method and suggesting specific improvements.
Inversion of perceived direction of motion caused by spatial undersampling in two children with periventricular leukomalacia
Authors: Maria Concetta Morrone, Andrea Guzzetta, Francesca Tinelli, Michela Tosetti, Michela Del Viva, Domenico Montanaro, David Burr, Giovanni Cioni
Venue: Journal of Cognitive Neuroscience (2008)

We report here two cases of two young diplegic patients with cystic periventricular leukomalacia who systematically, and with high sensitivity, perceive translational motion of a random-dot display in the opposite direction. The apparent inversion was specific for translation motion: Rotation and expansion motion were perceived correctly, with normal sensitivity. It was also specific for random-dot patterns, not occurring with gratings. For the one patient that we were able to test extensively, contrast sensitivity for static stimuli was normal, but was very low for direction discrimination at high spatial frequencies and all temporal frequencies. His optokinetic nystagmus movements were normal but he was unable to track a single translating target, indicating a perceptual origin of the tracking deficit. The severe deficit for motion perception was also evident in the seminatural situation of a driving simulation video game. The perceptual deficit for translational motion was reinforced by functional magnetic resonance imaging studies. Translational motion elicited no response in the MT complex, although it did produce a strong response in many visual areas when contrasted with blank stimuli. However, radial and rotational motion produced a normal pattern of activation in a subregion of the MT complex. These data reinforce the existent evidence for independent cortical processing for translational, and circular or radial flow motion, and further suggest that the two systems have different vulnerability and plasticity to prenatal damage. They also highlight the complexity of visual motion perception, and how the delicate balance of neural activity can lead to paradoxical effects such as consistent misperception of the direction of motion. We advance a possible explanation of a reduced spatial sampling of the motion stimuli and report a simple model that simulates well the experimental results.
Workshop on intelligent user interfaces for ambient assisted living
Authors: Kizito Ssamula Mukasa, Andreas Holzinger, Arthur I. Karshmer
Venue: Proceedings of the 13th international conference on Intelligent user interfaces (2008)

The vision of ambient assisted living (AAL) is to provide technologies for supporting these people in their daily lives, allowing them to stay longer within their own home aiming at living independent and self-determined. We believe that intelligent user interfaces (IUI) can play an important role here. Consequently, this workshop addresses the questions related to the role, application, advantages (and also disadvantages) of IUI in the context of AAL. It aims at discussing on challenges, solutions and approaches related to these issues especially for elderly and impaired users.
An Iterative Assessment Approach to Improve Technology Adoption and Implementation Decisions by Healthcare Managers
Authors: Bill Sallas, Sean Lane, Robert Mathews, Thomas Watkins, Sonja Wiley-Patton
Venue: Information Systems Management (2007)

The User-in-Context Iterative Assessment (UCIA) approach allows decision makers to acquire rich knowledge about their users and the way technology is used in the context of their work. A case study involving the introduction of a handheld medication administration device for nurses on a medical-surgical ward is used to illustrate how a UCIA approach can help provide healthcare IT professionals and hospital administrators with the data that they need to choose and implement IT applications that have the potential to maximize cost savings, while improving the delivery of patient care.
Pressure and resist thickness dependency of resist time evolutions profiles in nanoimprint lithography
Authors: Yoshihiko Hirai, Yuki Onishi, Toshiaki Tanabe, Mayuko Shibata, Takuya Iwasaki, Yasuroh Iriye
Venue: Microelectronic Engineering (2008)

Time evolutions of the resist deformation process in thermal nanoimprint have been investigated by numerical simulation and experiments. The simulation and experiments relatively agree with each other in time evolutions of the resist profiles. Dependencies of the process time on both imprint pressure and initial resist thickness are evaluated. In both simulation and experiments, the process time is in inversely proportional to the imprint pressure. On the other hand, the process time increases as the initial thickness decreases. Also, tiny twin peaks are observed in thick resist process.
Simulation of an Automated Warehouse for Steel Tubes
Authors: Valentina Colla, Gianluca Nastasi, Nicola Matarese, Andrea Ucci
Venue: Proceedings of the Tenth International Conference on Computer Modeling and Simulation (2008)

The paper presents a software which simulates an existing automated warehouse of steel tubes, including all the movements of the tubes packs conveyors as well as the management of all the operations for their storage and recovery for delivery to customers. The reason to develop such simulator lies in the needing to test new stocking strategies, that could overcome the drawback of the ones which are already implemented in the current system. Such strategies and their possible improvements are presented and discussed. As the simulator elaborates as inputs the real data of the tubes production and customer orders exactly in the format in which they are processed by the real automated warehouse management, realistic simulations are possible. Numerical results are shown, which demonstrates that the proposed improvements in the tube packs allocation and reordering successfully increase the warehouse capacity and efficiency through an improved exploitation of the available space.
The Toolbox of a Successful Software Craftsman
Authors: Fabrizio Cannizzo, Gabriela Marcionetti, Paul Moser
Venue: Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (2008)

The authors of this paper are part of a distributed agile team assembled in 2005 to create a software product, adopting agile methodologies and using a set of tools to support the development work. The authors present their experience on working with these tools to effectively improve the adopted agile practices. Three of the most crucial agile practices, given the size of the team and its distributed nature, are discussed: maintain high project status visibility, provide immediate feedback and achieve complete automation for most of the development activities.
ROUSSEAU: A Monitoring System for Inter-domain Routing Security
Authors: Wenping Deng, Peidong Zhu, Xicheng Lu
Venue: Proceedings of the Communication Networks and Services Research Conference (2008)

The current implementation of BGP protocol has a variety of vulnerabilities and weakness. Monitoring BGP’s behavior is an effective way of improving the security of inter-domain routing. In this paper, a monitoring system for inter-domain routing security is presented. As for BGP routing table anomaly detection, an in-depth approach based on anomaly detection rules is designed; As for BGP UPDATE message anomaly detection, a real-time detection method is devised. By applying an improved spring-magnetic topological layout algorithm to the network topology display, our monitoring system provides a successful visualization for the detection results. The feasibility and validity of the monitoring approach are demonstrated by the detailed description of the final results analysis.
u-PC: personal workspace on a portable storage
Authors: Injung Kim, Min Kyung Hwang, Woojoong Lee, Chanik Park
Venue: Proceedings of the 4th international conference on mobile technology, applications, and systems and the 1st international symposium on Computer human interaction in mobile technology (2007)

In these days, people easily meet a public computer at any place. For instance, when visiting someone's office to take part in a meeting, a user usually faces an unfamiliar workspace on the computers. Even if the user has a Microsoft PowerPoint file on the USB flash device, it is common that the user can not open the file because of different versions or absence of appropriate applications. In order to avoid this situation, people carry on their laptop or try to access e-mail clients. In this paper, we propose a framework called ubiquitous personal computing environment (u-PC) that supports mobility of personal workspace within any portable storage. This framework is specially designed for fast and light-weight switching between carried workspace on the portable storage and native one on the public computers. For supporting the application mobility, we present a mechanism performed by filtering file and registry I/Os in order to extract platform-dependent resources such as system libraries, application settings and registry information, during application installation process. Then, the filtered resources are stored to the portable storage so that the framework can provide the resources for applications by forwarding I/O requests which enable to execute these applications independently when being invoked and requesting the filtered resources. Additionally, the framework includes the module supporting the wireless portable storages that is designed by using iSCSI and UPnP standards for automatic detection and initialization. Finally, we implement a prototype of the framework to prove our concept and to show adaptability in real-world conditions. Some limitations and future works are also presented.
Natural interaction on tabletops
Authors: Stefano Baraldi, Alberto Bimbo, Lea Landucci
Venue: Multimedia Tools and Applications (2008)

We present two different Computer Vision based systems that enable multiple users to concurrently manipulate graphic objects presented over tabletop displays. The two solutions have different hardware layouts and use two different algorithms for gesture analysis and recognition. The first one is a media-handling application that can be used by co-located and remote users. The second is a knowledge-building application where users can manipulate the contents of a wiki as a visual concept map. The performance of both systems is evaluated and expounded. A conceptual framework is introduced, providing the fundamental guidelines for the design of natural interaction languages on tabletops.
Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
Venue: Programming languages and analysis for security (2008)

It is our great pleasure to present the proceedings of the Third ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2008), which was held on June 8, 2008 in Tucson, Arizona, United States of America. PLAS 2008 was co-located with the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2008), and was sponsored by IBM Research and Microsoft Research. The call for papers attracted 24 submissions from leading researchers at locations around the world (compared to 18 submissions in 2006 and 28 in 2007). Overall, the submitted papers were quite strong, and the program committee ultimately accepted 13 papers (compared to 10 papers in 2006 and 14 in 2007), for an acceptance rate of 54% (compared to 56% in 2006 and 50% in 2007). The accepted papers at PLAS 2008 encompass a variety of topics, including: software verification, static and dynamic analysis for security-policy enforcement, information flow, language-based security, and software protection. This year, ACM SIGPLAN offered to publish the two top papers in a special issue of ACM SIGPLAN Notices. The Program Committee chose the papers A Type System for Data-Flow Integrity on Windows Vista, by Avik Chaudhuri, Prasad Naldurg, and Sriram Rajamani, and Verified Enforcement of Stateful Information Release Policies, by Nikhil Swamy and Michael Hicks.
Middleware for automatic dynamic reconfiguration of context-driven services
Authors: Maurelio Boari, Enrico Lodolo, Stefano Monti, Samuele Pasini
Venue: Microprocessors Microsystems (2008)

In the emerging ubiquitous Internet scenario users require to access services and contents from anywhere, at anytime and with any device. Service and content provisioning platforms have to address several ubiquity challenges such as mobility, multimodality, context-awareness and content adaptation. However, current solutions fail to comprehensively face ubiquity challenges as they lack a unified approach and provide only limited sets of features. We claim that an integrated ubiquity support can stem from a simplicity principle: our middleware approach pushes the logic to face ubiquity issues outside the core layer, by keeping only management and coordination responsibilities. That succeeds in making the middleware design clearer and neater. This article presents the key architectural aspects of our platform for ubiquitous dynamic context-driven service provisioning and reconfiguration. To practically show the viability of our approach, we also provide implementation details and description of typical use cases.
QoS-, Queue-, and Channel-Aware Packet Scheduling for Multimedia Services in Multiuser SDMA/TDMA Wireless Systems
Authors: Jaunty T. Y. Ho
Venue: IEEE Transactions on Mobile Computing (2008)

With growing demand for wireless multimedia services and continuing emergence of new multimedia applications, it is necessary for the network to provide various levels of QoS while maximising the utilization of channel resources. This paper presents an adaptive queueing model and a novel cross-layer packet scheduling algorithm for providing differentiated QoS and effective channel utilization in a SDMA/TDMA system. At the MAC layer, we take consideration of the heterogeneous and busty nature of multimedia traffic and provide for QoS requirements. At the PHY layer, we exploit the randomness of the physical channel by incorporating opportunistic scheduling and adopting adaptive modulation and coding (AMC). Performance results obtained by simulations show that by employing the proposed queueing model and packet scheduling algorithm, the system is able to provide for diverse QoS and achieve high throughput.
Remaster knoppix without remastering
Authors: Kyle Rankin
Venue: Linux Journal (2008)

If you have ever wanted to remaster Knoppix but were frustrated with the difficult process, check out how to make custom Knoppix disks while bypassing the full remastering process.