As cyber-physical systems become more prevalent, specifications for these systems must be formulated in a more nuanced manner. This paper presents a particular instantiation of such specification by proposing a framew...
详细信息
As cyber-physical systems become more prevalent, specifications for these systems must be formulated in a more nuanced manner. This paper presents a particular instantiation of such specification by proposing a framework that endows robotic motions with a sense of aesthetic style. Drawing inspiration from classical ballet, poses are cast as discrete states and movements as the transitions between these states. Thus, a given movement style is encoded in the availability of transitions at each state, and the dynamics of a complex physical trajectory are abstracted as a system which moves between these states. Using Linear Temporal Logic (LTL), we are able to further constrain the set of possible sequences through the transition system and thus prevent it from evolving through a sequence of states that is physically impossible or aesthetically undesirable. Our overarching objective is to facilitate subtle degrees of control over systems as such subtleties are required, more and more, to interact in a social and aesthetically driven world.
Detection and quantification of rare circulating cells in biological tissues is an important problem and has many applications in biomedical research. Current methods normally involve extraction of blood samples and c...
详细信息
ISBN:
(纸本)9781424441211
Detection and quantification of rare circulating cells in biological tissues is an important problem and has many applications in biomedical research. Current methods normally involve extraction of blood samples and counting of cells ex vivo, or the use of microscopy-based fluorescence in vivo flow cytometry. The goal of this work is to develop an instrument for non-invasively enumerating very rare circulating cells in small animals with diffuse light with several orders of magnitude sensitivity improvement versus current approaches. In this work, we describe the design of our system and show that single, fluorescent microspheres can be detected in limb-mimicking optical flow phantoms with varying optical properties chosen to simulate in vivo conditions. Further, we demonstrate single cell counting capabilities using fluorescently (Vybrant-DiD) labeled Jurkat and Multiple Myeloma cells. Ongoing work includes in vivo testing and characterization of our system in mice.
Real time rendering of three-dimensional scenes in Ray Tracing is a hard problem. However, parallel implementations have been enabling real time performance, as the algorithm can be highly parallelized. Thus, a custom...
详细信息
Real time rendering of three-dimensional scenes in Ray Tracing is a hard problem. However, parallel implementations have been enabling real time performance, as the algorithm can be highly parallelized. Thus, a custom parallel design in hardware is likely to achieve a good performance. In this paper, we further improve the GridRT architecture overall performance by embedding the ray-triangle intersection computation into the precessing elements that form the architecture. Low cost and high rendering performance are the main concerns in this novel design. The results show that the execution time of each intersection computation is reduced by at least 50%, while the area cost is practically unchanged or even reduced when compared to the original GridRT implementation.
This paper describes a design of an educational platform for a mobile learning architecture, which is a state of the an topic in distance education. The product will allow users to interact in an efficient, flexible, ...
详细信息
This paper describes a design of an educational platform for a mobile learning architecture, which is a state of the an topic in distance education. The product will allow users to interact in an efficient, flexible, and transparent fashion with a web-based education environment, in this case Module Object-Oriented Dynamic Learning Environment （Moodle）, using Android mobile devices. In order to provide a strong and lasting architecture, the Service Oriented Architecture （SOA） methodology is used given that it allows easy software re-utilization as well as integration of heterogeneous services. The architecture is based on web services implemented with Representational State Transfer （REST）, as it has been demonstrated to be lighter and less consuming than other protocols, for devices with limited resources such as mobile devices. Web services provide the communication means between the server side and the client side of the architecture, whereas agents are used to deliver the services itself. The authors propose the development of an environment that facilitates the integration of various educational resources to support m-learning. An important aspect of the proposal is the offering of a tool to provide customized alerts for students and teachers, enabling them to remain updated about activities taking place in the courses.
In this paper we explore the design options for the development of a combined physician-parent decision support tool for a neonatal intensive care unit (NICU), known as PPADS or Physician and Parent Decision Support. ...
详细信息
In this paper we explore the design options for the development of a combined physician-parent decision support tool for a neonatal intensive care unit (NICU), known as PPADS or Physician and Parent Decision Support. The work incorporates previous research on the development of a clinical data repository and the development of an NICU clinical decision support system (CDSS) for physicians that predicts mortality and a number of potential complications. In this work, we are combining the physician and parent tools to develop a system designed to facilitate parents' involvement in the shared decision-making process for difficult treatment decisions for their critically ill babies in the NICU. We have described the framework and architectural design for developing the combined physician-parent tool. We identified the design criteria and mode of operation, as well as the standards that apply to this type of decision system. We also explored the existing open-source technologies that would best fit this type of design. Finally, we have developed a prototype of the system that was evaluated by our physician partner and a nurse decision support specialist. Future work will involve a pilot usability study in a tertiary level NICU.
Modern information visualization in focussed on new methods for visual mappings and novel strategies for interaction and navigation through various types of view of a visual form. The paper presents the Bloom platform...
详细信息
The combination of testing techniques is considered an effective strategy to evaluate a software product. However, the selection of which techniques to combine in a software project has been an interesting challenge i...
详细信息
The combination of testing techniques is considered an effective strategy to evaluate a software product. However, the selection of which techniques to combine in a software project has been an interesting challenge in the Software engineering field. This paper presents a proposal extending an approach developed to support the combined selection of model-based testing (MBT) techniques, named Porantim, applying Multiobjective Combinatorial Optimization strategy by determining the smallest dominating set in a bipartite and weighted graph. Thus, a local search strategy algorithm is proposed generating solutions aiming at maximizing the coverage of software project characteristics and skills required by the testing team to use the techniques and minimizing the eventual effort to construct models used for test cases generation. A preliminary evaluation analyzes this new approach when compared to the Porantim's original version, and the results indicate improvements in the MBT techniques selection.
Effective exploitation of the application-specific parallel patterns and computation operations through their direct implementation in hardware is the base for construction of high-quality application-specific (re-)co...
详细信息
Effective exploitation of the application-specific parallel patterns and computation operations through their direct implementation in hardware is the base for construction of high-quality application-specific (re-)configurable application specific instruction set processors (ASIPs) and hardware accelerators for modern highly-demanding applications. Although it receives a lot of attention from the researchers and practitioners, a very important problem of hardware reuse in ASIP and accelerator synthesis is clearly underestimated and does not get enough attention in the published research. This paper is an effect of an industry and academic collaborative research. It analyses the problem of hardware sharing, shows its high practical relevance, as well as a big influence of hardware sharing on the major circuit and system parameters, and its importance for the multi-objective optimization and tradeoff exploitation. It also demonstrates that the state-of-the-art synthesis tools do not sufficiently address this problem and gives several guidelines related to enhancement of the hardware reuse.
The Ray Tracing rendering algorithm can produce high-fidelity images of 3-D scenes, including shadow effects, as well as reflections and transparencies. This is currently done at a processing speed of at most 30 frame...
详细信息
The Ray Tracing rendering algorithm can produce high-fidelity images of 3-D scenes, including shadow effects, as well as reflections and transparencies. This is currently done at a processing speed of at most 30 frames per second. Therefore, actual implementations of the algorithm are not yet suitable for interactive real-time rendering, which is required in games and virtual reality based applications. Fortunately, the algorithm allows for massive parallelization of its computations. In this paper, we present a parallel architecture for ray tracing based on a uniform spatial subdivision of the scene and exploiting an embedded computation of ray-triangle intersections. This approach allows for a significant acceleration of intersection computations, as well as, a reduction of the total number of the required intersections checks. Furthermore, it allows for these checks to be performed in parallel and in advance for each ray. In this paper we discuss and analyze an ASIP-based implementation using FPGAs and a GPGPU-based parallel implementation of the proposed architecture. The performance of both implementations are reported and compared.
We describe the reconstruction of a gene regulatory network involved with the Toll-like Receptor signaling pathways. By applying our recent identification algorithm to a time series gene expression dataset, we identif...
详细信息
ISBN:
(纸本)9781424441211
We describe the reconstruction of a gene regulatory network involved with the Toll-like Receptor signaling pathways. By applying our recent identification algorithm to a time series gene expression dataset, we identify regulatory interactions between genes and construct discrete-time piecewise affine regulatory functions. Our validation shows that our model predicts the expression levels of the genes involved in the network with good accuracy.
暂无评论