ppxscal/embedding_network huggingface dataset:
Efficient maximum-likelihood decoding of sphericallattice codes
Authors: Karen Su, Inaki Berenguer, Ian J. Wassell, Xiaodong Wang
Venue: IEEE Transactions on Communications (2009)

A new framework for efficient exact Maximum-Likelihood (ML) decoding of spherical lattice codes is developed. It employs a double-tree structure: The first is that which underlies established tree-search decoders; the second plays the crucial role of guiding the primary search by specifying admissible candidates and is our present focus. Lattice codes have long been of interest due to their rich structure, leading to decoding algorithms for unbounded lattices, as well as those with axis-aligned rectangular shaping regions. Recently, spherical Lattice Space-Time (LAST) codes were proposed to realize the optimal diversity-multiplexing tradeoff of MIMO channels. We address the so-called boundary control problem arising from the spherical shaping region defining these codes. This problem is complicated because of the varying number of candidates to consider at each search stage; it is not obvious how to address it effectively within the frameworks of existing decoders. Our proposed strategy is compatible with all sequential tree-search detectors, as well as auxiliary processing such as the MMSEGDFE and lattice reduction. We demonstrate the superior performance and complexity profiles achieved when applying the proposed boundary control in conjunction with two current efficient ML detectors and show an improvement of 1dB over the state-of-the-art at a comparable complexity.
Interleaver optimization of convolutional turbo code for 802.16 systems
Authors: Sung-Joon Park, Jun-Ho Jeon
Venue: IEEE Communications Letters (2009)

Convolutional turbo code (CTC) has been adopted as an optional channel coding scheme for wireless metropolitan area networks (WMAN) and digital video broadcasting (DVB) owing to its powerful error correction capability and flexibility. In spite of the fact that the internal interleaver of CTC mainly affects the characteristics of the code, interleaving parameters, especially for small and moderate block sizes, have not been fully optimized in terms of performance. In this paper, we investigate structural behavior of interleaving parameters and suggest several optimization methodologies for the CTC interleaver of 802.16 systems. Simulation shows that power gains up to 0.7 dB can be acquired at a target frame error rate of 10-5 by only substituting the newly optimized parameters for the current ones.
Design and analysis of UHF micropower CMOS DTMOST rectifiers
Authors: Ying-Khai Teh, Faisal Mohd-Yasin, Florence Choong, Mamun Ibne Reaz, Albert V. Kordesch
Venue: IEEE Transactions on Circuits and Systems II: Express Briefs (2009)

Design and analysis of ultrahigh-frequency (UHF) micropower rectifiers based on a diode-connected dynamic threshold MOSFET (DTMOST) is discussed. An analytical design model for DTMOST rectifiers is derived based on curve-fitted diode equation parameters. Several DTMOST six-stage charge-pump rectifiers were designed and fabricated using a CMOS 0.18-µm process with deep n-well isolation. Measured results verified the design model with average accuracy of 10.85% for an input power level between -4 and 0 dBm. At the same time, three other rectifiers based on various types of transistors were fabricated on the same chip. The measured results are compared with a Schottky diode solution.
GRANTISM: An ExcelTM model for Greenland and Antarctic ice-sheet response to climate changes
Authors: Frank Pattyn
Venue: Computers Geosciences (2006)

Over the last decades, the response of large ice sheets on Earth, such as the Greenland and Antarctic ice sheets, to changes in climate has been successfully simulated with large-scale numerical ice-sheet models. Since these models are highly sophisticated, they are only applicable on the scientific level as they demand a large amount of CPU time. Based on similar physics, a computationally fast flowline model of the Greenland and Antarctic ice sheet is presented here, primarily designed for educational purposes. Using an over-implicit numerical scheme, the model runs fast and behaves in a similar way to changes in background temperature forcing as major ice-sheet models do. A user-friendly interface and the implementation within a common spreadsheet program (Excel^T^M) make the model suitable for the classroom.
MIRACLE—Model for Integration of Remote Laboratories in Courses that Use Laboratory and e-Learning Systems
Authors: Drago Cmuk, Tarik Mutapcic, Ivan Bilic
Venue: IEEE Transactions on Learning Technologies (2009)

Emersion of Websites that enable users to easily participate in creation of their content moved individuals on a scale rarely seen before. Web 2.0 transformed the passive reader into an active user and millions of users were drawn into a community previously reserved for professionals only. Users became able to experiment with data, collaborate with other users, and add value to a community of users. A similar revolution is needed in the electrical engineering education. In this field, courses offer a significant amount of theory and generally an unstimulating content to the students. Remote laboratories (RLs) could, however, make a difference. Instead of being passive collectors of the theory, students could become active builders of their own knowledge. At this point, the design of such a laboratory becomes important. Without a detailed user-oriented design, RL could have a counterproductive effect, generating frustration instead of motivation. A team of researchers used the QFD method to translate multidimensional and interdependent user requirements into the RL design model—MIRACLE. The MIRACLE model is based on survey results, instructional design, and good e-learning practice, and as such this model brings satisfaction, raises effectiveness and motivation, and makes electrical engineering courses appealing to students.
Do EU funded projects enable collaboration between scientists? The case of R&D in web-based collaborative learning environments
Authors: Baruch B. Schwarz
Venue: Computers Education (2005)

@?@?@?
A GIS-based borehole data management and 3D visualization system
Authors: James D. McCarthy, Phil A. Graniero
Venue: Computers Geosciences (2006)

The use of subsurface data for problem solving is limited in part by the freedom the user has in their choice of data structures. If a user is allowed to work with the data in a familiar way, they can spend more time performing analysis tasks and less time restructuring data, thus increasing productivity and reducing the risks associated with a series of data modification cycles. Borehole information system (BoreIS) is based upon this principle. Design was guided by interviews with geologists who were targeted as potential users of the software, and BoreIS was developed as an extension to ESRI's ArcScene three-dimensional (3D) GIS environment. BoreIS uses borehole or well data supplied by the user to develop a 3D GIS representation which can be queried, visualized, and analysed. By asking relevant questions about data stored in Excel spreadsheets, BoreIS can automate many high-level GIS functions so that an inexperienced GIS user can still use the system. By matching table elements to spatially and geologically significant terms through the interactive setup, users can work with the data more closely matched to the geological problem domain. This allows the novice user to use powerful GIS functions to discover spatial patterns in their data. BoreIS' interactive manipulation of terms in complex queries, simple addition of contoured surfaces, and masking by lithology or formation helps geologists find spatial patterns in their data, beyond the limits of data tables and flat maps.
New modified Saleh models for memoryless nonlinear power amplifier behavioural modelling
Authors: Máirtín O'Droma, Serban Meza, Yiming Lei
Venue: IEEE Communications Letters (2009)

A new generic modified Saleh (MS) model for use in memoryless nonlinear power amplifier (PA) behavioural modelling is proposed. The model was evolved primarily to overcome some particular weaknesses in the original Saleh model when handling the polar AM-PM envelope modelling. From it new two-parameter MS polar models are derived. By modelling a near-memoryless LDMOS PA amplifying a WCDMA signal, evidence of the improvement in modelling accuracy and performance of the MS over the original Saleh for both polar and quadrature models is provided.
A new minirobotics system for teaching and researching agent-based programming
Authors: Rodrigo da Silva Guerra, Joschka Boedecker, Norbert Michael Mayer, Shinzo Yanagimachi, Hiroshi Ishiguro, Minoru Asada
Venue: Proceedings of the 10th IASTED International Conference on Computers and Advanced Technology in Education (2007)

This work describes a novel minirobotics system which incorporates mature technology proven efficient over the years in multi-agent robotic soccer competitions into a new versatile research and educational platform. We describe the technical aspects supporting this multi-agent robotic framework, and as an example application, we describe a method for introducing agent based programming concepts as a hands-on experience targeted at inexperienced students learning C as their first programming language.
Delude Remote Operating System (OS) Scan by Honeyd
Authors: Xinyuan Zhang, Lianqing Zheng
Venue: Proceedings of the 2009 Second International Workshop on Computer Science and Engineering - Volume 02 (2009)

Remote Operating System (OS) detection is an important technique in the network system security and becomes more and more popular these days, because it has close connection with the vulnerability just for an open port. This paper detailedly introduces the techniques of active TCP/IP stack fingerprinting in the remote OS scanning, presents how to simulate the fingerprints of OS which will react to OS detection, uses Honeyd(a software of honeypot) to run some virtual OS to delude remote OS scan.
Sunshading global datasets
Authors: G. R. J. Cooper
Venue: Computers Geosciences (2005)

The proliferation of satellites in the last 30 years has resulted in a similar proliferation of global datasets, not only of the Earth but also of other bodies in the solar system. Measured parameters include topography, temperature, water vapour, electron temperature and density, and the strength of the gravity and magnetic fields, to mention just a few. Directional derivatives and sunshading are powerful tools for enhancing linear features in raster datasets. This paper demonstrates modified directional derivative and sunshading algorithms that take into account the curved geometry on the surface of the sphere, and hence are able to be used with global datasets (assuming the Earth or other body to be a sphere). The algorithms can either be used to enhance any linear features (i.e. great circles) than pass through a chosen point, or to attenuate them. They can also be used to enhance small circles of any radii centred on a given point, or to attenuate them. Source code, in Matlab format, is available from the IAMG server at www.iamg.org.
Improved random redundant iterative HDPC decoding
Authors: Ilan Dimnik, Yair Be'ery
Venue: IEEE Transactions on Communications (2009)

An iterative algorithm for soft-input soft-output (SISO) decoding of classical algebraic cyclic block codes is presented below. Inspired by other approaches for high performance belief propagation (BP) decoding, this algorithm requires up to 10 times less computational complexity than other methods that achieve similar performance. By utilizing multiple BP decoders, and using random permutation taken from the permutation group of the code, this algorithm reaches near maximum likelihood performance. A computational complexity comparison of the proposed algorithm versus other methods is presented as well. This includes complexity versus performance analysis, allowing one to trade between the former and the latter, according to ones needs.
TL-Subalgebras and TL-Ideals of Sub-BCI-Algebras
Authors: Shaoquan Sun, Liu Guozhu
Venue: Proceedings of the 2009 Second International Workshop on Computer Science and Engineering - Volume 02 (2009)

In this paper, the concepts of TL -sub-algebras and TL -ideals of sub-BCI-algebras are introduced, A necessary and sufficient condition for a L- subset of sub-BCI-algebra to be a L -sub-algebra (ideal) is stated, and images and inverse-images of L -sub-algebra under sub-BCI-algebra homomorphism are studied. Where is an arbitrary infinitely V-distributive t-norm on a given complete Brouwerian lattice L .
K Highest Label Path Algorithm Based on MPLS Traffic Engineering
Authors: Na Lin, Tao Yang
Venue: Proceedings of the 2009 International Conference on Multimedia Information Networking and Security - Volume 02 (2009)

K Highest Label Path Algorithm (KHLP) is presented for MPLS-TE. The algorithm first uses generalization of highest-label pre-flow-push algorithm to calculate K-shortest Paths, then chooses the LSP in terms of the link criticality and the residual bandwidth, combines K value to give different links weight, further combines offline with online routing to reduce the computational complexity, simultaneously considers other QoS parameters. The main objective of KHLP is to prevent the neglect of non-critical link which is important, and to avoid choosing the overlong path, then provides an effective guarantee of QoS. The simulation shows the algorithm is improved greatly compared to both CSPF and MIRA in reject ratio, delay, throughput and computation time, is an efficient and quick routing algorithm.
Modeling Robust Hash from Authentication Code Space View
Authors: Guangjie Liu, Yuxin Zhao, Zhiquan Wang, Shiguo Lian
Venue: Proceedings of the 2009 International Conference on Multimedia Information Networking and Security - Volume 01 (2009)

In this paper, we model the robust hash authentication from the authentication code space view. In the authentication code space, the reception domain, authentication domain and near-x domain is defined, and the two error probability is derived. Based on the two error probabilities, the formalized definition of robustness and sensitivity is given and the inherent tradeoff between them is also analyzed in the paper. Finally, from the algorithm design viewpoint, we present an experimental plan used to tuning the authentication threshold.
Automatic transformations between geoscience standards using XML
Authors: Kara L. Nance, Brian Hay
Venue: Computers Geosciences (2005)

As models and analysis tools for geoscience applications become increasingly complex, they allow researchers to manipulate larger, richer, and more finely-grained datasets, often gathered from diverse heterogeneous sources. These complex models and analysis tools provide scientists with opportunities to investigate phenomena in much greater depth, but this additional power is not without cost. Often this cost is expressed in the time required on the part of the researcher to identify, gather, and transform the data necessary to satisfy the demands of their data-intensive computational tools. In addition, it can be difficult to extract all of the meaningful contents of the datasets when metadata is missing, nonstandardized, or in a format unfamiliar to or incompatible with the user application or analysis tool. The evolution of XML standards has simplified this problem by providing domain-specific methodologies for creating self-describing datasets. The evolution of XML standards has also presented the challenge of choosing the best standard for each scientific domain and associated community of interest (COI); however, the process of selecting or creating a domain-specific XML data format standard can be extremely contentious. In addition, many researchers require information compilation from diverse datasets that are stored using differing standards. This research effort presents a mechanism for automating transformations between scientific standards using XML with a focus on the application of the technology to the diverse geoscience XML standards while maintaining the integrity associated with the datasets. This technological capability minimizes the impact of committing to a particular XML standard by providing the flexibility to transform data between standards either to update or change the standard, to bring datasets into conformance for a particular application or data portal, or to transform data to increase its usability for new COIs while maintaining data integrity. ility for new COIs while maintaining data security standards.
A Method of TTCN Test Case Generation Based on TP Description
Authors: Ma Yan, Yan Xuexiong, Zhu Yuefei, Shao Guoliang
Venue: Proceedings of the 2009 Second International Workshop on Computer Science and Engineering - Volume 01 (2009)

So far, most existing protocol test generation methods are concentrated on complete protocol test, when aiming at some specific TP (test purpose),a mount of unnecessary test cases are generated because of the limitation of these methods. In this paper a method of TTCN (Tree and Tabular Combined Notation) test case generation based on TP description is proposed, in which according to non-formal TP, MSC(Message Sequence Charts) is adopted to describe TP, SDL(Specification and Description Language) is adopted to describe protocol specification, and on the basis of MSC description and SDL model, according to MSC description characteristic and communication circumstance depicted in SDL, the TP description is mapped to TTCN test case. In this method, TP is formally described; particular test case can be generated based on formal description purposefully and under the guidance of TP without generating unnecessary test cases. The validity of this method is verified by an illustration of IP Security protocol test.
Geometrical, topological, and hierarchical structuring of overlapping 2-D discrete objects
Authors: Jean-Pierre Braquelaire, Jean-Philippe Domenger
Venue: Computers and Graphics (1997)

A model of scenes composed of 2-D discrete objects is presented. A generalization of the 2 1/2-D positioning features usually implemented in 2 1/2-D environments is given, treating object superimposition. The positioning representation sits on an explicit topological and geometrical encoding of object boundaries. This approach allows structured manipulations of objects (intersection, combination,...) and efficient redisplay of scene, such that every modified pixel is drawn exactly once. Moreover, this model is consistent from a geometrical and topological point of view and allows the construction of a scene from a digital image. Many applications can be considered; graphics editors, paintboxes, image processing environments, etc.
WebVaccine: A Client-Side Realtime Prevention System against Obfuscated Malicious Web Pages
Authors: JungMin Kang, KiWook Sohn, SoonYoung Jung
Venue: Proceedings of the 2009 Fifth International Joint Conference on INC, IMS and IDC (2009)

As a solution for malicious web page attacks, we need a client-side prevention system with deobfuscation mechanism. In this paper we introduce WebVaccine, that is a client-side real-time prevention system against obfuscated malicious web pages. For secure web surfing, before the navigation to be completed, WebVaccine inserts a deobfuscation function call routine prior to the vulnerable script functions in malicious web pages, and makes the inserted function to extract the deobfuscated script string so that the string can be analyzed by a signature based detection subsystem or third party detection tools. We rest assured that the WebVaccine framework does not affect the execution of dynamic script interpretation while running web browsers and is likely to be of success.
A simulation-based approach for dynamic process management at web service platforms
Authors: T. Madhusudan, Young-Jun Son
Venue: Computers and Industrial Engineering (2005)

Web services technology is being adopted as a viable deployment approach for future distributed software systems that enable business-to-business and business-to-consumer interactions across the open and dynamic internet environment. Recent research is focused on developing support technologies for web service discovery, on-demand service composition, and robust execution to facilitate web services based deployment of business processes. Developing techniques to cope with the volatile and open nature of the web during execution of composite services at the service platform is essential for delivering reliable and acceptable performance in this new process delivery framework. In this paper, we propose a simulation-based framework to guide scheduling of composite service execution. Online simulation of the dynamics of the open environment is used for scheduling service requests at the service platform. Comparison of the look-ahead simulation for different scheduling policies with the current execution state provides guidelines for service execution in order to cope with system volatility. We have implemented a prototype of the proposed framework and illustrate the feasibility of our approach with experimental studies.
Effect sizes associated with micro-prolog-based computer-assisted learning
Authors: Barry J. Fraser, George P. L. Teh
Venue: Computers Education (1994)

This study of the efficacy of computer-assisted learning (CAL) is distinctive in that (1) the innovation in CAL made use of micro-PROLOG, (2) traditional achievement and attitude outcomes were complemented by measures of classroom psychosocial environment, and (3) the sample was drawn from the unique educational milieu provided by Singaporean schools. In contrast to past research, the use of micro-PROLOG-based CAL in this study led to massive impact in terms of achievement [effect size of 3.5 SD (standard deviations)], attitudes (1.4 SD) and classroom environment (ranging from 0.1 to 1.9 SD). Students in the CAL group had higher achievement and attitude scores, and they perceived their classroom environments more favourably in terms of greater gender equity, investigation, innovation and resource adequacy.
Learning about earthquakes: volcanoes and safety measures with the use of ICT in primary school
Authors: Apostolos Daropoulos, Christina Solomonidou
Venue: Proceedings of the 10th IASTED International Conference on Computers and Advanced Technology in Education (2007)

This study refers to Greek primary school students' conceptions regarding volcanoes, earthquakes and safety measures, as well as to the evolution of these conceptions after students' participation in a constructivist-collaborative teaching sequence with the use of Information Computer Technology (ICT). We first detected students' initial ideas on the Earth's interior structure by using a pre-test written questionnaire. Then we planned a 3-hour cross-curricular teaching sequence using computer simulations and other ICT tools as well as special worksheets, in order to help students construct appropriate knowledge about the subject. A total of 50 fifth and sixth grade Greek primary school students participated. The qualitative and quantitative analysis of the students' answers in the pre- and post-test questionnaires revealed that the special teaching sequence had positive results. It was clear that the collaborative and constructivist learning environment, with the use of ICT, contributed to the achievement of the goals.
A Benchmark Characterization of the EEMBC Benchmark Suite
Authors: Jason A. Poovey, Thomas M. Conte, Markus Levy, Shay Gal-On
Venue: IEEE Micro (2009)

Benchmark consumers expect benchmark suites to be complete, accurate, and consistent, and benchmark scores serve as relative measures of performance. However, it is important to understand how benchmarks stress the processors that they aim to test. This study explores the stress points of the EEMBC embedded benchmark suite using the benchmark characterization technique.