ppxscal/embedding_network huggingface dataset:
Body sensor calibration and construction of 3d maps for robot navigation using the framework of conformal geometric algebra
Authors: C. López-franco, E. Bayro-corrochano
Venue: Robotica (2008)

The research, described in this paper, concerns the robot indoor navigation, emphasizing the aspects of sensor model and calibration, environment representation, and self-localization. The main point is that combining all of these aspects, an effective navigation system is obtained. We present a model of the catadioptric image formation process. Our model simplifies the operations needed in the catadioptric image process. Once we know the model of the catadioptric sensor, we have to calibrate it with respect to the other sensors of the robot, in order to be able to fuse their information. When the sensors are mounted on a robot arm, we can use the hand-eye calibration algorithm to calibrate them. In our case the sensors are mounted on a mobile robot that moves over a flat floor, thus the sensors have less degrees of freedom. For this reason we develop a calibration algorithm for sensors mounted on a mobile robot. Finally, combining all the previous results and a scan matching algorithm that we develop, we build 3D maps of the environment. These maps are used for the self-localization of the robot and to carry out path following tasks. In this work we present experiments which show the effectiveness of the proposed algorithms.
Signaling Networks Involved in Retinal Degeneration in Mice
Authors: Jayalakshmi Krishnan, Gwang Lee, Sang-Uk Han, Sangdun Choi
Venue: Proceedings of the 2007 Frontiers in the Convergence of Bioscience and Information Technologies (2007)

Knockout mouse forms a great tool in identifying the perturbations in signaling networks. Retinal degeneration and signaling networks involved in it have long been an intriguing question. We ventured out in finding the networks by using rhodopsin kinase (Rhok-/-) or arrestin (Sag-/-) knockout and as well as both the knockouts in mice retina. Our screening analysis revealed that during initial exposure to light many apoptosis inducing transcription factors like p53, ATF4, c-FOS and GADD45 beta up-regulated but later phase of degeneration was accompanied by NF-B and AP1 expression.
Redundancy in logic III: Non-monotonic reasoning
Authors: Paolo Liberatore
Venue: Artificial Intelligence (2008)

Results about the redundancy of certain versions of circumscription and default logic are presented. In particular, propositional circumscription where all variables are minimized and skeptical default logics are considered. This restricted version of circumscription is shown to have the unitary redundancy property: a CNF formula is redundant (it is equivalent to one of its proper subsets) if and only if it contains a redundant clause (it is equivalent to itself minus one clause); default logic does not have this property in general. We also give the complexity of checking redundancy in the considered formalisms.
Modeling Differentiated Services-Based QoS in Wormhole-Routed NoCs
Authors: Mahmoud Moadeli, Aali Shahrabi, Wim Vanderbauwhede, Mohamed Ould-Khaoua
Venue: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications (2008)

The applications running on Networks on-Chip (NoC) typically have to meet a minimum performance requirements to perform successfully. Employing differentiated services is a widely used approach to support QoS (Quality of Service) by relatively prioritizing traffic in the networks employing connection-less communication mechanisms. In this paper we present an analytical evaluation of the average message latency for wormhole-routed interconnect architectures exploiting a traffic prioritization mechanism to achieve differentiated services-based QoS. To verify the validity of the model we apply the method to the Spidergon NoC and compare the model against the results obtained from a discrete-event simulator developed using OMNET.
Query-aware partitioning for monitoring massive network data streams
Authors: Theodore Johnson, Muthu S. Muthukrishnan, Vladislav Shkapenyuk, Oliver Spatscheck
Venue: Proceedings of the 2008 ACM SIGMOD international conference on Management of data (2008)

Data Stream Management Systems (DSMS) are gaining acceptance for applications that need to process very large volumes of data in real time. The load generated by such applications frequently exceeds by far the computation capabilities of a single centralized server. In particular, a single-server instance of our DSMS, Gigascope, cannot keep up with the processing demands of the new OC-786 networks, which can generate more than 100 million packets per second. In this paper, we explore a mechanism for the distributed processing of very high speed data streams. Existing distributed DSMSs employ two mechanisms for distributing the load across the participating machines: partitioning of the query execution plans and partitioning of the input data stream in a query-independent fashion. However, for a large class of queries, both approaches fail to reduce the load as compared to centralized system, and can even lead to an increase in the load. In this paper we present an alternative approach - query-aware data stream partitioning that allows for more efficient scaling. We present methods for analyzing any given query set and choose the optimal partitioning scheme, and show how to reconcile potentially conflicting requirements that different queries might place on partitioning. We conclude with experiments on a small cluster of processing nodes on high-rate network traffic feed that demonstrates with different query sets that our methods effectively distribute the load across all processing nodes and facilitate efficient scaling whenever more processing nodes becomes available.
Generalized fuzzy bi-ideals of semigroups
Authors: Osman Kazanc&#x0131;, Sultan Yamak
Venue: Soft Computing - A Fusion of Foundations, Methodologies and Applications (2008)

After the introduction of fuzzy sets by Zadeh, there have been a number of generalizations of this fundamental concept. The notion of (&#x2208;, &#x2208; &#x2228;q)-fuzzy subgroups introduced by Bhakat is one among them. In this paper, using the relations between fuzzy points and fuzzy sets, the concept of a fuzzy bi-ideal with thresholds is introduced and some interesting properties are investigated. The acceptable nontrivial concepts obtained in this manner are the (&#x2208;, &#x2208; &#x2228;q)-fuzzy bi-ideals and $$(\overline{\in}, \overline{\in} \vee\overline{q})$$-fuzzy bi-ideals, which are extension of the concept of a fuzzy bi-ideal in semigroup.
Composition and electrical characteristics of Al2O3-HfO2-HfTiO nanolaminates on Si
Authors: V. Mikhelashvili, A. Lahav, R. Brener, G. Eisenstein
Venue: Microelectronic Engineering (2008)

A dielectric constant of 27 was demonstrated in the as deposited state of a 5nm thick, seven layer nanolaminate stack comprising Al"2O"3, HfO"2 and HfTiO. It reduces to an effective dielectric constant (k"e"f"f) of ~14 due to a ~0.8nm interfacial layer. This results in a quantum mechanical effective oxide thickness (EOT) of ~1.15nm. After annealing at 950^oC in an oxygen atmosphere k"e"f"f reduces to ~10 and EOT increases to 1.91nm. A small leakage current density of about 8x10^-^7 and 1x10^-^4A/cm^2, respectively at electric field 2 and 5MV/cm and a breakdown electric field of about 11.5MV/cm was achieved after annealing at 950^oC.
Implications of ceiling effects in defect predictors
Authors: Tim Menzies, Burak Turhan, Ayse Bener, Gregory Gay, Bojan Cukic, Yue Jiang
Venue: Proceedings of the 4th international workshop on Predictor models in software engineering (2008)

Context: There are many methods that input static code features and output a predictor for faulty code modules. These data mining methods have hit a "performance ceiling"; i.e., some inherent upper bound on the amount of information offered by, say, static code features when identifying modules which contain faults. Objective: We seek an explanation for this ceiling effect. Perhaps static code features have "limited information content"; i.e. their information can be quickly and completely discovered by even simple learners. Method:An initial literature review documents the ceiling effect in other work. Next, using three sub-sampling techniques (under-, over-, and micro-sampling), we look for the lower useful bound on the number of training instances. Results: Using micro-sampling, we find that as few as 50 instances yield as much information as larger training sets. Conclusions: We have found much evidence for the limited information hypothesis. Further progress in learning defect predictors may not come from better algorithms. Rather, we need to be improving the information content of the training data, perhaps with case-based reasoning methods.
Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets
Authors: Hehua Zhang, Ming Gu, Xiaoyu Song
Venue: Proceedings of the 41st Annual Simulation Symposium (anss-41 2008) (2008)

Real-life job shop scheduling problems are complex due to the needs of considering batches, setup times, transportation and parallel processing all together. This paper presents a method to model this kind of job shop scheduling problems by timed colored Petri nets. Two analysis methods including occurrence graph and simulation analysis for best makespan are proposed. Case studies are given to compare different modeling and analysis methods. Suggestions are proposed to select appropriate method for the scheduling problems in practice.
Exploring potentials and challenges of mobile ICT for learning in Finland and Indonesia
Authors: Eunice Sari, Adi Tedjasaputra
Venue: International Journal of Mobile Learning and Organisation (2008)

In this paper, we introduce our research in the use of Mobile ICT in Finnish and Indonesian education systems for the past three years. Based on the research results, the paper discusses the potentials and challenges in the use of Mobile ICT for learning in Finland and Indonesia. Concluding the paper, several m-learning scenarios will illustrate the viable m-learning applications in both developed and developing countries.
Accurate Temperature Estimation for Efficient Thermal Management
Authors: Shervin Sharifi, ChunChen Liu, Tajana Simunic Rosing
Venue: Proceedings of the 9th international symposium on Quality Electronic Design (2008)

In this work we present a method for accurate estimation of temperature at various locations on a chip considering the inaccuracies in thermal sensor readings due to limitations mainly due to thermal sensor placement and sensor noise. This technique enables accurate estimation of temperature at different locations on the chip with only a limited number of sensors in an efficient way. We utilize Kalman filter (KF) for temperature estimation and for elimination of sensing inaccuracies as well. The computational complexity is reduced by using steady state Kalman filter during normal operation of the chip and reducing the order of the thermal model by a projection based model order reduction method. Our experimental results show that this technique typically reduces the standard deviation and maximum value of temperature estimation errors by about an order of magnitude.
Evaluation of non-photorealistic abstraction techniques in influencing user behaviour
Authors: Niall Redmond, John Dingliana
Venue: Proceedings of the 5th symposium on Applied perception in graphics and visualization (2008)

This poster describes an experiment which was conducted to deterimine how using various levels of artistic abstraction within a scene can influence user gaze behaviour and recognition speeds in a visual search task. Non-Photorealistic rendering (NPR) has become a popular technique for the stylization of images and can also be a useful tool for emphasizing certain parts of an image. We found that when unimportant scene data is abstracted users took significantly less time to complete the task in comparison to normal renderings or when the important scene object was abstracted. We also found that some abstraction styles led to considerably faster recognition times than other types of abstraction. These results strongly indicate that non-photorealistic rendering techniques can be effective at improving object recognition times and at directing the users gaze to specific areas of the scene. In addition we believe that our experimental framework will be useful for comparing the effectiveness of different NPR styles in influencing a users perception of a scene.
A Brief Introduction to Usable Security
Authors: Bryan D. Payne, W. Keith Edwards
Venue: IEEE Internet Computing (2008)

Researchers have studied usable computer security for more than 20 years, and developers have created numerous security interfaces. Here, the authors examine research in this space, starting with a historical look at papers that address two consistent problems: user authentication and email encryption. Drawing from successes and failures within these areas, they study several security systems to determine how important design is to usable security. Their discussion offers guidelines for future system design.
Microwave cylindrical cavity applicators modeling using artificial neural networks
Authors: Zoran Stankovic, Bratislav Milovanovic, Maja Sarevska
Venue: Proceedings of the 9th WSEAS International Conference on Systems (2005)

This paper presents different approaches of microwave cavity applicators modeling using neural networks. These approaches are developed at the laboratory for Microwave Technique at the Faculty of Electronic Engineering - Niš. First, a model of loaded microwave cylindrical metal cavity based on multilayer perceptron neural network (MLP) is introduced. Then, the method for efficiency improvement (reducing the number of training samples required for neural network training) of proposed MLP models is developed. This method is based on indirect incorporation of the existing knowledge from problem domain into the neural network. This knowledge is defined by approximate-empirical cavity model. Finally, high efficient neural models of microwave cylindrical metal cavity with directly incorporated knowledge (hybrid empirical - neural model and KBNN-knowledge based neural network model) are presented.
Codeword Selection for Crosstalk Avoidance and Error Correction on Interconnects
Authors: Ying Zhang, Huawei Li, Xiaowei Li, Yu Hu
Venue: Proceedings of the 26th IEEE VLSI Test Symposium (2008)

Crosstalk effects and soft errors on interconnects have been increasingly serious, which affects normal communication among cores. Therefore, it is desirable to design a reliable bus system without causing unacceptable performance reduction. In this paper, a new bus encoding method based on codeword selection is presented for enduring crosstalk-induced effects, which can avoid crosstalk and provide error correction as well. This method finds a subset from crosstalk avoidance code (CAC) to provide error correction. It can avoid crosstalk induced by late signal transition on checking bits in the previous methods. Extra wires for checking bus are never required in the proposed method. Experiment shows that the method reduces 6% wire overhead compared to the former methods. And it can also improve bus performance and reduce power dissipation.
Taking Your iPod Touch to the Max (Technology in Action)
Authors: Erica Sadun
Venue:  (2008)

Fast and fun to read, Taking Your iPod Touch to the Max gives you all the tips and techniques you could ever think of to make the most of your Apple iPod Touch. Erica Sadun is an expert at hacking devices to discover undocumented tricks, and this book reveals everything and more about the functionality of the iPod Touch. But before that, Sadun will give you the best, most efficient, and funtoread introduction to the basics of using the iPod Touch that you will ever find. What youll learn iPod Touch basics Email using iCal Surfing the Web with iPod Touch using Safari Expanding the main menu using thirdparty software Using iTunes, games, iBooks, etc. Connecting to the TV and ripping DVDs Hacking OS X Leopard to run apps on the iPod Touch Getting contractfree VOIP Saving on accessories and what you really need. Who is this book for? Anyone who has an iPod Touch and wants to get more out of it, learn how to connect to other devices, or tinker with it. Related Titles Taking your iPhone to the Max Mac OS X Leopard: Beyond the Manual Getting StartED with Mac OS X Leopard
Architecture of the DaltOn Data Integration System for Scientific Applications
Authors: Stefan Jablonski, Olivier Curé, M. Abdul Rehman, Bernhard Volz
Venue: Proceedings of the 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (2008)

Data exchange between multiple sources in scientific applications poses significant data management issues which involve the transportation of data from one system to another as well as the syntactic and semantic integration of data, i.e. data come in different formats and have different meanings. In order to deal with these issues in a systematic and well structured way, we propose a sophisticated framework based on process modeling.
Design and evaluation of a hardware/software FPGA-based system for fast image processing
Authors: J. A. Kalomiros, J. Lygouras
Venue: Microprocessors Microsystems (2008)

We evaluate the performance of a hardware/software architecture designed to perform a wide range of fast image processing tasks. The system architecture is based on hardware featuring a Field Programmable Gate Array (FPGA) co-processor and a host computer. A LabVIEW(TM) host application controlling a frame grabber and an industrial camera is used to capture and exchange video data with the hardware co-processor via a high speed USB2.0 channel, implemented with a standard macrocell. The FPGA accelerator is based on a Altera Cyclone II chip and is designed as a system-on-a-programmable-chip (SOPC) with the help of an embedded Nios II software processor. The SOPC system integrates the CPU, external and on chip memory, the communication channel and typical image filters appropriate for the evaluation of the system performance. Measured transfer rates over the communication channel and processing times for the implemented hardware/software logic are presented for various frame sizes. A comparison with other solutions is given and a range of applications is also discussed.
Efficient and scalable statistics gathering for large databases in Oracle 11g
Authors: Sunil Chakkappen, Thierry Cruanes, Benoit Dageville, Linan Jiang, Uri Shaft, Hong Su, Mohamed Zait
Venue: Proceedings of the 2008 ACM SIGMOD international conference on Management of data (2008)

Large tables are often decomposed into smaller pieces called partitions in order to improve query performance and ease the data management. Query optimizers rely on both the statistics of the entire table and the statistics of the individual partitions to select a good execution plan for a SQL statement. In Oracle 10g, we scan the entire table twice, one pass for gathering the table level statistics and the other pass for gathering the partition level statistics. A consequence of this gathering method is that, when the data in some partitions change, not only do we need to scan the changed partitions to gather the partition level statistics, but also we have to scan the entire table again to gather the table level statistics. Oracle 11g adopts a one-pass distinct sampling based method which can accurately derive the table level statistics from the partition level statistics. When data change, Oracle only re-gathers the statistics for the changed partitions and then derives the table level statistics without touching the unchanged partitions. To the best of our knowledge, although the one-pass distinct sampling has been researched in academia for some years, Oracle is the first commercial database that implements the technique. We have performed extensive experiments on both benchmark data and real customer data. Our experiments illustrate the this new method is highly accurate and has significantly better performance than the old method used in Oracle 10g.
Bisimilarity of Distributionally Equivalent Markov Transition Systems
Authors: Ernst-Erich Doberkat
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2008)

Markov transition systems for interpreting a simple negation free Hennessy-Milner logic are called distributionally equivalent iff for each formula the probability for its extension in one model is matched probabilistically in the other one. This extends in a natural way the notion of logical equivalence which is defined on the states of a transition system to its subprobability distributions. It is known that logical equivalence is equivalent to bisimilarity, i.e., the existence of a span of Borel maps that act as morphisms. We show that distributional equivalence is equivalent to bisimilarity as well, using a characterization of distributional equivalent transition systems through ergodic morphisms. As an aside, we relate bisimilar transition systems to those systems, for which cospans - taken in the category of measurable maps resp. in the Kleisli category associated with the Giry monad - exist.
Enhancing the Testability of RTL Designs Using Efficiently Synthesized Assertions
Authors: Mohammad Reza Kakoee, Mohammad Riazati, Siamak Mohammadi
Venue: Proceedings of the 9th international symposium on Quality Electronic Design (2008)

Assertions are being used more and more in design verification. The next application of assertions seems to be hardware testing. In this paper we propose an efficient approach for selecting and synthesizing OVL assertions in order to use them in online testing domain. First, based on the ATPG results and fault simulation, we find a set of assertions which have a high fault coverage according to their hardware area. Then, instead of synthesizing each assertion separately, we merge similar assertions together and make a unified hardware checker so that we can attain minimal resource usage for assertion circuits and reduce hardware overhead.
Confidence interval for fuzzy process capability index
Authors: A. Parchami, M. Mashinchi, H. R. Maleki
Venue: Proceedings of the 9th WSEAS International Conference on Systems (2005)

Capability indices compare the actual performance of a manufacturing process to the desired performance. In practice these indices are estimated using sample data, often with quite small sample sizes. Thus, it is of interest to obtain confidence limits for actual capability index given a sample estimate. Most of the traditional methods for assessing the capability of manufacturing process are dealt with crisp quality. In this paper we obtain 100(1-α)% fuzzy confidence interval for Cp fuzzy process capability index, where instead of precise quality we have two membership functions for specification limits. A numerical example is given to clarify the method.
Generating security tests in addition to functional tests
Authors: Jacques Julliand, Pierre-Alain Masson, Regis Tissot
Venue: Proceedings of the 3rd international workshop on Automation of software test (2008)

This paper is about generating security tests, in addition to functional tests previously generated by a model-based testing approach. The method that we present re-uses the functional model and the adaptation layer developed for the functional testing, and relies on an additional security model. We propose to compute the tests by using some test purposes as guides for the tests to be extracted from the models. We see a test purpose as the combination of a security property and a test need issued from the know-how of a security engineer. We propose a language based on regular expressions for the expression of such test purposes. We illustrate our approach with experiments on IAS.