Investigating the effect of retinal oxygenation abnormalities in the development of common eye diseases requires accurate assessment of oxygen tension in retinal vasculatures. Estimation of oxygen tension in retinal c...
详细信息
ISBN:
(纸本)9781424439317
Investigating the effect of retinal oxygenation abnormalities in the development of common eye diseases requires accurate assessment of oxygen tension in retinal vasculatures. Estimation of oxygen tension in retinal capillaries using phosphorescence lifetime imaging is addressed in this paper. Separation from tissue and oxygen tension estimation is a more challenging task for capillaries when compared with large retinal vessels due to the finer structure and noise predominance in capillaries. An automated segmentation procedure is applied using the EM algorithm and noise contamination is reduced using a regularization method unlike previous approaches to capillary analysis where segmentation was done manually and noise contamination was ignored. We demonstrate the effectiveness of the proposed method by applying it to the retinal image data acquired from rat eyes, and we show that the oxygen tension estimate of retinal capillaries falls in the physiologically expected range.
Our society depend on embedded and ubiquitous computing and the reliability of embedded software becomes more and more important. We have conducted a five years project with industries to develop software for realizin...
详细信息
ISBN:
(纸本)9781424435715
Our society depend on embedded and ubiquitous computing and the reliability of embedded software becomes more and more important. We have conducted a five years project with industries to develop software for realizing highly reliable embedded systems. We have tackled reliability issues from the following aspects. (1)Design environment: we have developed a UML design verification tool that apply model checking techniques to improve the design quality of application software. (2)Operating environment: we have developed operating system supports that realize multiple execution of real-time operating systems and also developed operating systems with enhanced resource management. Both technologies contribute the realization of robust run-time environment. (3) Real-time environment: we have developed real-time garbage collection techniques for Jave. They prevent the suspension of applications that violates the correct behavior of real-time applications. Also, they reduce the effort of application programmers to avoid garbage-collection during important execution timing. We have obtained fruitful results from these three research themes, and some of them are actually used in industries. Furthermore, we have integrated the results to make synergetic effect of them. In order to demonstrate the effectiveness, we have conduct an experiment. In this paper, we introduce the project and its results.
We study a new variant of the graph orientation problem called MAXMINO where the input is an undirected, edge-weighted graph and the objective is to assign a direction to each edge so that the minimum weighted outdegr...
详细信息
We study a new variant of the graph orientation problem called MAXMINO where the input is an undirected, edge-weighted graph and the objective is to assign a direction to each edge so that the minimum weighted outdegree (taken over all vertices in the resulting directed graph) is maximized. All edge weights are assumed to be positive integers. This problem is closely related to the job scheduling on parallel machines, called the machine covering problem, where its goal is to assign jobs to parallel machines such that each machine is covered as much as possible. First, we prove that MAXMINO is strongly NP-hard and cannot be approximated within a ratio of 2 = ¿ for constant ¿ > 0 in polynomial time unless P = NP, even if all edge weights belong to {2}, every vertex has degree at most three, and the input graph is bipartite or planar. Next, we show how to solve MAXMINO exactly in polynomial time for the special case in which all edge weights are equal to 1. This technique gives us a simple polynomial-time w max /w min - approximation algorithm for MAXMINO where w max and w min denote the maximum and minimum weights among all the input edges. Furthermore we also observe that this approach yields an exact algorithm for the general case of MAXMINO whose running time is polynomial whenever the number of edges having weight larger than w min is at most logarithmic in the number of vertices. Finally, we, show that MAXMINO is solvable in polynomial time if the input is a cactus graph.
In New Zealand and Australia, the BRACElet project has been investigating students' acquisition of programming skills in introductory programming courses. The project has explored students' skills in basic syn...
详细信息
In New Zealand and Australia, the BRACElet project has been investigating students' acquisition of programming skills in introductory programming courses. The project has explored students' skills in basic syntax, tracing code, understanding code, and writing code, seeking to establish the relationships between these skills. This ITiCSE working group report presents the most recent step in the BRACElet project, which includes replication of earlier analysis using a far broader pool of naturally occurring data, refinement of the SOLO taxonomy in code-explaining questions, extension of the taxonomy to code-writing questions, extension of some earlier studies on students' 'doodling' while answering exam questions, and exploration of a further theoretical basis for work that until now has been primarily empirical.
This work is motivated by the need to develop decentralized P2P approaches to support learning and teaching activity in virtual universities. In this paper, we present the implementation of the JXTA-based e-learning P...
详细信息
This work is motivated by the need to develop decentralized P2P approaches to support learning and teaching activity in virtual universities. In this paper, we present the implementation of the JXTA-based e-learning P2P system. We also show the design and implementation of a SmartBox environment that will be used for stimulating the learners to increase the learning efficiency. The proposed e-learning P2P system is a useful tool for monitoring and controlling learnerspsila activity. We evaluate the proposed system by experimental results and show that proposed system has a good performance. In the future, we aim to use it in real virtual campus environments.
The main contribution of this paper to develop a mathematical model which describes the movement of a piston of pneumatic cylinder controlled by a proportional valve, keeping the non linear behavior of pneumatic syste...
详细信息
The main contribution of this paper to develop a mathematical model which describes the movement of a piston of pneumatic cylinder controlled by a proportional valve, keeping the non linear behavior of pneumatic system. The linear parameter varying (LPV) representations and linear matrix inequality (LMI) based analysis and system control design are in the focus of modern control theories.
Syllogistic reasoning is a form of deductive reasoning in which a logical conclusion is drawn from premises. Forward-chaining syllogistic reasoning refers to response pattern of figure 1 syllogism (M-P, S-M, S-P with ...
详细信息
Syllogistic reasoning is a form of deductive reasoning in which a logical conclusion is drawn from premises. Forward-chaining syllogistic reasoning refers to response pattern of figure 1 syllogism (M-P, S-M, S-P with response chain of S-M-P) and backward-chaining syllogistic reasoning refers to response pattern of figure 4 syllogism (P-M, S-M, S-P with response chain of P-M-S). Previous psychological studies show that forward-chaining is significantly higher accuracy and less response time, and backward-chaining is significantly lower accuracy and more response time. However, little is known about the underlying neural mechanisms. We carried out a study using event-related fMRI to clarify their neural substrates. Conjunction analysis showed common areas of activations were the bilateral caudate, the left ventral lateral prefrontal cortex (VLPFC), the left superior parietal lobule, and the right lingual gyrus. Direct comparisons showed distinct area of activation for forward-chaining in contrast to backward-chaining involved more activation in the left inferior parietal lobule, whereas backward-chaining in contrast to forward-chaining recruited the left dorsal lateral prefrontal cortex (DLPFC), the left medial frontal gyrus, and the right cerebellum. The results suggested that forward-chaining and backward-chaining syllogistic reasoning engaged distinct neural substrates based on common brain areas.
Today, in production engineering we have already taken into usage complex virtual representations of the manufacturing environment were we can program, simulate, analyse and optimise key performances. Such systems are...
详细信息
Today, in production engineering we have already taken into usage complex virtual representations of the manufacturing environment were we can program, simulate, analyse and optimise key performances. Such systems are mainly working through keyboard/ mouse input while user feedback normally are direct visual through computer screen and text files. Such communication only relays on a limited spectre of our senses and the keyboard/mouse/screen systems cannot be said to be very human friendly, especially when the operator is expected to operate ldquoout of officerdquo in a unstructured, maybe dangerous or dirty, environment. In the near future we expect to see more advanced input/output devices like motion capturing and speech input systems while feedback will not be visual alone but include several other human senses. Combinatorial sensory information, interpreted by the human brain, becomes very handy when a stand alone sense is not enough to interpret the actual situation. Imitation of senses and feedback from virtual reality environments always meant a great problem. Realization of two (sight and hearing) out of the five human senses is indispensable. Simulation of these two senses is not complex issue; on the contrary the other three are quite challenging. This paper describes the development of a vibro-tactile glove which can provide sensory feedback from a virtual environment, either as a stand alone system but most important in combination with sight and audio feedback systems. Instead of implementing real force feedback, the focus is on tactile sensing, as an alternative way of achieving the same feedback. The glove contains six vibration motors on different locations on the hand. These locations include all five fingers, and the palm. Communication with the glove is wireless, enabling free movement for the user. The system is low cost and very small sized which allows for combining it with advanced input devices like a motion capturing suit.
In this paper, we present the implementation and analysis of our implemented testbed considering the Optimized Link State Routing (OLSR) protocol. We investigate the effect of mobility and topology changing in the thr...
详细信息
ISBN:
(纸本)9781424449453;9781424449460
In this paper, we present the implementation and analysis of our implemented testbed considering the Optimized Link State Routing (OLSR) protocol. We investigate the effect of mobility and topology changing in the throughput of a Mobile Ad hoc Network (MANET). The mobile nodes move toward the destination at a regular speed. When the mobile nodes arrive at the corner, they stop for about three seconds. Experimental time is 150 seconds. In this work, we consider 6 models and we assess the performance of our testbed in terms of throughput, round trip time and packet loss. From our experiments, we found that the OLSR protocol has a good performance when the source node is moving. However, the performance is not good when the relay nodes are moving.
The storage and retrieval of digital ECGs in a standard-compliant way has been a key issue during the last decades. The SCP-ECG standard, one of the top efforts in this area, has been recently approved as part of the ...
详细信息
The storage and retrieval of digital ECGs in a standard-compliant way has been a key issue during the last decades. The SCP-ECG standard, one of the top efforts in this area, has been recently approved as part of the ISO/IEEE 11073 (x73) family of standards, a reference standard for medical device interoperability. For the Personal Health Device (PHD) version of the x73 standard several devices have been defined, but an ECG device specialization is not yet available. In this paper, the relationships between the SCP-ECG fields and messages and the particular way of the x73-PHD standard to deal with stored data are investigated and discussed. A proof-of-concept implementation of the x73-PHD storage and retrieval method applied to ECGs is also presented, identifying open issues and potential modifications to be considered for the wider interoperability adoption of x73-PHD standards.
暂无评论