ppxscal/embedding_network huggingface dataset:
Comparison between Experiment and Process Simulation Results for Converting Enhancement to Depletion Mode NMOS Transistor
Authors: Ahmad Sabirin Zoolfakar, Hashimah Hashim
Venue: Proceedings of the 2008 Second Asia International Conference on Modelling & Simulation (AMS) (2008)

Ion implantation process can be used to convert enhancement to depletion NMOS transistor. This paper describe implantation parameters such as dose and energy, play a key role in lowering down the turn “ON” voltage of transistor to ~-1V compared to 0.7V as a conventional (enhancement) transistor. The conversion is carried out using “Silvaco” process simulator and actual fabrication experiment using 0.5um CMOS process technology. Extensive results are obtained from both actual experimentation as well as simulation of the processes involved. A comparison between experiment and process simulation result deduce that almost 90% of the data are matched.
A Post-processing Method to Lessen k-Anonymity Dissimilarities
Authors: Agusti Solanas, Gloria Pujol, Antoni Martinez-Balleste, Josep M. Mateo-Sanz
Venue: Proceedings of the 2008 Third International Conference on Availability, Reliability and Security (2008)

Protecting personal data is essential to guarantee the rule of law\footnote{We use the term rule of law to referto the \textit{Rechtsstaat} as a concept borrowed from German jurisprudence. It is a state in which the exercise of governmental power is constrained by the law. It is a foundational rule for a country to be a liberal democracy.}.Due to the new Information and Communication Technologies (ICTs) unprecedented amounts of personal datacan be stored and analysed. Thus, if the proper measures are not taken, individual privacy could be in jeopardy. Being the aim to protect individual privacy, a great variety of statistical disclosure control (SDC) techniques has been proposed. Amongst many others, k-anonymity is a promising property that, if properly achieved, can help protect individual privacy. In this paper, we propose a new post-processing method that can be applied after a k-anonymity algorithm, being the aim to lessen the errors resulting from the aggregation of data. We show that our method can be extended to work with many other SDC techniques and we provide some experimental results which emphasise the usefulness of our proposal.
Model-driven configuration of os-level mandatory access control: research abstract
Authors: Berthold Agreiter
Venue: Companion of the 30th international conference on Software engineering (2008)

Trust and assurance of mobile platforms is a prime objective when considering their use in security-critical scenarios like in healthcare or e-government. Currently, several complementary approaches can be found in literature, ranging from purely hardware based to operating system level and application level solutions. Together, they build a "trusted and secured" technology stack. However, the complex policy configuration mechanisms at every single layer also represent the biggest stumbling block for a rapid adoption. We propose a practicable and efficient solution for leveraging operating system level and application level security mechanisms to realize security-critical applications and services.
Cryptographic algorithms to spatial circuit transformation in an active learning module to enhance the information assurance and security curriculum
Authors: Ajantha Herath, Rohitha Goonatilake, Jayantha Herath, Susantha Herath
Venue: Journal of Computing Sciences in Colleges (2008)

Spatial circuit derivation from algorithms and equations is an important concept to introduce in computer and information system security courses. Often students have difficulties mastering cryptographic algorithms. They learn system security concepts more effectively if they know how to transform equations and high level programming language constructs onto spatial circuits or special purpose hardware. This paper describes an active learning module developed to help students understand algorithms related to encryption, decryption, hash and random number generation with function or algorithm into spatial circuit transformations. These course materials can also be used in computer organization and architecture classes to help students understand special purpose circuitry for security.
Graph spectral image smoothing using the heat kernel
Authors: Fan Zhang, Edwin R. Hancock
Venue: Pattern Recognition (2008)

A new method for smoothing both gray-scale and color images is presented that relies on the heat diffusion equation on a graph. We represent the image pixel lattice using a weighted undirected graph. The edge weights of the graph are determined by the Gaussian weighted distances between local neighboring windows. We then compute the associated Laplacian matrix (the degree matrix minus the adjacency matrix). Anisotropic diffusion across this weighted graph-structure with time is captured by the heat equation, and the solution, i.e. the heat kernel, is found by exponentiating the Laplacian eigensystem with time. Image smoothing is accomplished by convolving the heat kernel with the image, and its numerical implementation is realized by using the Krylov subspace technique. The method has the effect of smoothing within regions, but does not blur region boundaries. We also demonstrate the relationship between our method, standard diffusion-based PDEs, Fourier domain signal processing and spectral clustering. Experiments and comparisons on standard images illustrate the effectiveness of the method.
Note: A geometric description of the spin-embedding of symplectic dual polar spaces of rank 3
Authors: Ilaria Cardinali, Guglielmo Lunardon
Venue: Journal of Combinatorial Theory Series A (2008)

We give a geometrical description of the spin-embedding e"s"p of the symplectic dual polar space @D@?DW(5,2^r) by showing how the natural embedding of W(5,2^r) into PG(5,2^r) is involved in the Grassmann-embedding e"g"r of @D. We prove that the map sending every quad of @D to its nucleus realizes the natural embedding of W(5,2^r). Taking the quotient of e"g"r over the space spanned by the nuclei of the quadrics corresponding to the quads of @D gives an embedding isomorphic to e"s"p.
A study of methods for negative relevance feedback
Authors: Xuanhui Wang, Hui Fang, ChengXiang Zhai
Venue: Proceedings of the 31st annual international ACM SIGIR conference on Research and development in information retrieval (2008)

Negative relevance feedback is a special case of relevance feedback where we do not have any positive example; this often happens when the topic is difficult and the search results are poor. Although in principle any standard relevance feedback technique can be applied to negative relevance feedback, it may not perform well due to the lack of positive examples. In this paper, we conduct a systematic study of methods for negative relevance feedback. We compare a set of representative negative feedback methods, covering vector-space models and language models, as well as several special heuristics for negative feedback. Evaluating negative feedback methods requires a test set with sufficient difficult topics, but there are not many naturally difficult topics in the existing test collections. We use two sampling strategies to adapt a test collection with easy topics to evaluate negative feedback. Experiment results on several TREC collections show that language model based negative feedback methods are generally more effective than those based on vector-space models, and using multiple negative models is an effective heuristic for negative feedback. Our results also show that it is feasible to adapt test collections with easy topics for evaluating negative feedback methods through sampling.
A typed higher-order calculus for querying XML databases
Authors: Qing Wang, Klaus-Dieter Schewe
Venue: Proceedings of the nineteenth conference on Australasian database - Volume 75 (2008)

As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the relational data model first-order logic, i.e. the Relational Calculus turned out to be an intuitive basic approach to provide these foundations. For XML, however, it is necessary to deal with ordered trees. In this paper the problem is approached by viewing XML as a data model based on complex objects that are arranged in a class hierarchy. This results in the natural development of a higher-order type system for XML data, and henceforth a higher-order predicate typed logic, the XML calculus (XMLC). The paper presents the basics of the XML object model (XOM), the syntacs and semantics of XMLC, and discusses the expressiveness of the language by means of representative important query samples.
About a class of systems preserving the stability property at negative feedbacks
Authors: A. A. Kosov
Venue: Automation and Remote Control (2008)

For linear and nonlinear systems are obtained tests for conserving the property of asymptotic stability at switching arbitrary coordinatewise negative feedbacks.
Trust Region Newton Method for Logistic Regression
Authors: Chih-Jen Lin, Ruby C. Weng, S. Sathiya Keerthi
Venue: The Journal of Machine Learning Research (2008)

Large-scale logistic regression arises in many applications such as document classification and natural language processing. In this paper, we apply a trust region Newton method to maximize the log-likelihood of the logistic regression model. The proposed method uses only approximate Newton steps in the beginning, but achieves fast convergence in the end. Experiments show that it is faster than the commonly used quasi Newton approach for logistic regression. We also extend the proposed method to large-scale L2-loss linear support vector machines (SVM).
A Novel Electrical Field Bioreactor for Wound Healing Study
Authors: Gang Yang, Haiyan Long, Jiang Wu, Hua Huang
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 02 (2008)

Wound healing is essential for maintaining the integrity of multicellular organisms. The disruption of an epithelial layer instantaneously generates endogenous electric fields, which play a key role in wound healing. In vitro, a variety of cells respond to DC electric fields of physiological strength by directional movement. Such experiments involve culturing cells in specially designed galvanotaxis chambers connected to a DC power supply. In this article, we introduce a novel electrical field bioreactor with a specially designed galvanotaxis chamber. The EFs in galvanotaxis chamber are uniform parallel field and the current density distribution are demonstrated by ANSYS 10.0 electrical field simulation software. For testifying the function of the novel galvanotaxis bioreactor, we cultured Hy926 cells for 12 hours under a online time-lapse microscope. Cells migration tracks are recorded and handled by Image-pro plus5.0 analysis software. The experiment results show Hy926 cells have obvious directional migration to the cathode.
Electrode Structure Optimum for Impedance Measurement of Intraoperative Breast Cancer Focus
Authors: Chao Wang, Hong-bin Chen, Da-li Du, Ya-su Xiao, Hong-jun Sun
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 02 (2008)

The impedance measuring method may be used to assess the margin of breast cancer focus in the process of operation. This rapid measurement can shorten the waiting time and lighten patients’ pain in partial mastectomy. In order to satisfy the requirements of margin assessment, the design of electrodes structure is studied in this paper. Through simulation analyses on three types of the electrode structure, namely, strip-shaped electrode, square-shaped electrode and arc-shaped electrode, it is found that the arc-shaped electrode has better performances. The result of tissue experiments shows that the imaginary part of the impedance has more powerful character distinguishing ability.
Location-Based System for Mobile Devices Using RFID
Authors: Seyed Hossein Siadat, Ali Selamat
Venue: Proceedings of the 2008 Second Asia International Conference on Modelling & Simulation (AMS) (2008)

Propagation of wireless technologies, mobile computing devices, and the Internet has provided an opportunity to develop and deliver new types of location-based applications and services to users. This paper presents a prototype application of internal location-based service using passive RFID (Radio Frequency Identification) to determine location. We also address some of the issues, advantages and disadvantages of using RFID technology. The function of the system is based on strategically located passive RFID tags with exclusive identifiers placed around buildings which are identified using a RFID reader attached to a PDA or mobile phone. The phone reads the RFID tag and through the wireless network, sends the request to the server. The server resolves the request and sends the answer which is in different format back to the phone. The users will be able to locate their position by reading the RFID tag and selecting the query or information desired.
A pore creation in a triangular network model membrane
Authors: Krystian Kubica
Venue: Computational Biology and Chemistry (2008)

Membrane electroporation seems to be a useful method for delivery of biological active compounds into the cell. Although it is known that this phenomenon is sensitive to the electric field intensity, duration of the electric pulse and its shape, it is not fully understood. In some theoretical descriptions it is postulated that a hydrophobic pore appears at an early stage of pore creation. Here we show how to construct a hydrophilic pore structure connecting two parallel triangular networks modeling lipid membrane. It would be useful in Monte Carlo simulation studies on electroporation. In our model the pore appearance requires only movement of one lipid molecule. At the same time the chains of the second lipid molecule should occupy two nodes, one in each network to compensate the differences in chain packing densities when electric field is applied. In consequence the hydrated polar head should be placed in a hydrophobic part of the membrane giving rise to the hydrophilic pore. We also discuss the relation between the pore diameter and its shape.
A note on the optimal replacement problem
Authors: Michael N. Katehakis, Kartikeya S. Puranam
Venue: Proceedings of the 10th WSEAS International Conference on APPLIED MATHEMATICS (2006)

We study the following model for a system the state of which is continuously observed. The set of possible states is a finite set {0,...,L}, where larger values represent increased states of deterioration from the "new condition" represented by state 0, to the "totally inoperative condition" of state L. Whenever the system changes state a decision has to be made as to whether it is renovated or it is left unattended. Whenever the system enters a state i < L and the decision to renovate is taken, then a cost c is incurred and its state, immediately, changes to a fixed state l. If the system enters state L then it must be renovated at an increased cost c + A: There is no cost whenever the decision to leave it unattended is taken in a state i < L; in this case the next state will be state j with probability pij and the sojourn time in state i is a random variable with distribution function Fij(ċ). We provide necessary conditions under which optimal policies are of the "control limit" type. The results herein generalize those of Derman [1] when the state sojourn times are distributed according to a general state dependent distribution and a renovation may not result in a "new system" i.e., the renovation state l maybe l > 0.
Fish Disease Diagnosis System Based on Image Processing of Pathogens' Microscopic Images
Authors: Jeong-Seon Park, Myung-Joo Oh, Soonhee Han
Venue: Proceedings of the 2007 Frontiers in the Convergence of Bioscience and Information Technologies (2007)

This paper presents an application of image processing techniques for rapid disease diagnosis from parasites' microscopic images of diseased fishes. An image processing-based fish disease diagnosis system was developed, allowing for earlier treatment of infected fish to prevent the spread of disease. The system is composed of three steps: 1) extracting pathogen area from the microscopic images of infected fish tissue by applying various kinds of image processing such as noise reduction, edge detection, morphological operations, background extraction, and object detection, 2) confirming pathogen and making final diagnosis by feature extraction, correlation matching and statistical pattern matching compared to the registered pathogen database, and 3) sending a message about diagnosed disease and treatment method to the fish farmers on their mobile phones after sorting out appropriate treatment methods by searching drug information database. Experimental results show that the proposed system is more convenient, consistent, and rapid to diagnosis fish disease rather than general diagnosis method.
Reconstructing algebraic functions from mixed data
Authors: S. Ar
Venue: Proceedings of the 33rd Annual Symposium on Foundations of Computer Science (1992)

The authors consider the task of reconstructing algebraic functions given by black boxes. Unlike traditional settings, they are interested in black boxes which represent several algebraic functions-f/sub 1/, . . ., f/sub k/, where at each input x, the box arbitarrily chooses a subset of f/sub 1/(x), . . ., f/sub k/(x) to output. They show how to reconstruct the functions f/sub 1/,. . ., f/sub k/ from the black box. This allows them to group the same points into sets, such that for each set, all outputs to points in the set are from the same algebraic function. The methods are robust in the presence of errors in the black box. The model and techniques can be applied in the areas of computer vision, machine learning, curve fitting and polynomial approximation, self-correcting programs and bivariate polynomial factorization.
On the development of a IEEE 802.11s mesh point prototype
Authors: Rosario G. Garroppo, Stefano Giordano, Davide Iacono, Luca Tavanti
Venue: Proceedings of the 4th International Conference on Testbeds and research infrastructures for the development of networks & communities (2008)

Wireless Mesh Networks are a new, flexible and cost effective access technology that is gaining wide popularity replacing the traditional sets of wired IEEE 802.11 Access Points. Vendors and network operators have developed and deployed their own proprietary solutions, which are not compatible. The IEEE set off Task Group 802.11s to harmonize these equipments around a common standard. The draft however is far from its final version, and, though the major features are defined, work is still in progress. To support the test and evaluation of the features of this upcoming standard, we have built a prototype 802.11s Mesh Access Point. Starting from common off-the-shelf technology, we developed a modular software framework that can easily and quickly embed new features. In its current state, the prototype allowed us to experimentally evaluate the basic 802.11s characteristics, pointing out some shortcomings, such as the path instability due to the airtime metric, and suggesting possible improvements.
Itrustpage: a user-assisted anti-phishing tool
Authors: Troy Ronda, Stefan Saroiu, Alec Wolman
Venue: Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008 (2008)

Despite the many solutions proposed by industry and the research community to address phishing attacks, this problem continues to cause enormous damage. Because of our inability to deter phishing attacks, the research community needs to develop new approaches to anti-phishing solutions. Most of today's anti-phishing technologies focus on automatically detecting and preventing phishing attacks. While automation makes anti-phishing tools user-friendly, automation also makes them suffer from false positives, false negatives, and various practical hurdles. As a result, attackers often find simple ways to escape automatic detection. This paper presents iTrustPage - an anti-phishing tool that does not rely completely on automation to detect phishing. Instead, iTrustPage relies on user input and external repositories of information to prevent users from filling out phishing Web forms. With iTrustPage, users help to decide whether or not a Web page is legitimate. Because iTrustPage is user-assisted, iTrustPage avoids the false positives and the false negatives associated with automatic phishing detection. We implemented iTrustPage as a downloadable extension to FireFox. After being featured on the Mozilla website for FireFox extensions, iTrustPage was downloaded by more than 5,000 users in a two week period. We present an analysis of our tool's effectiveness and ease of use based on our examination of usage logs collected from the 2,050 users who used iTrustPage for more than two weeks. Based on these logs, we find that iTrustPage disrupts users on fewer than 2% of the pages they visit, and the number of disruptions decreases over time.
Verification of color vegetation indices for automated crop imaging applications
Authors: George E. Meyer, João Camargo Neto
Venue: Computers and Electronics in Agriculture (2008)

An accurate vegetation index is required to identify plant biomass versus soil and residue backgrounds for automated remote sensing and machine vision applications, plant ecological assessments, precision crop management, and weed control. An improved vegetation index, Excess Green minus Excess Red (ExG-ExR) was compared to the commonly used Excess Green (ExG), and the normalized difference (NDI) indices. The latter two indices used an Otsu threshold value to convert the index near-binary to a full-binary image. The indices were tested with digital color image sets of single plants grown and taken in a greenhouse and field images of young soybean plants. Vegetative index accuracies using a separation quality factor algorithm were compared to hand-extracted plant regions of interest. A quality factor of one represented a near perfect binary match of the computer extracted plant target compared to the hand-extracted plant region. The ExG-ExR index had the highest quality factor of 0.88+/-0.12 for all three weeks and soil-residue backgrounds for the greenhouse set. The ExG+Otsu and NDI-Otsu indices had similar but lower quality factors of 0.53+/-0.39 and 0.54+/-0.33 for the same sets, respectively. Field images of young soybeans against bare soil gave quality factors for both ExG-ExR and ExG+Otsu around 0.88+/-0.07. The quality factor of NDI+Otsu using the same field images was 0.25+/-0.08. The ExG-ExR index has a fixed, built-in zero threshold, so it does not need Otsu or any user selected threshold value. The ExG-ExR index worked especially well for fresh wheat straw backgrounds, where it was generally 55% more accurate than the ExG+Otsu and NDI+Otsu indices. Once a binary plant region of interest is identified with a vegetation index, other advanced image processing operations may be applied, such as identification of plant species for strategic weed control.