ppxscal/embedding_network huggingface dataset:
Structural Elucidation of Three Anthraquinones from a Marine-Derived Mangrove Endophytic Fungus (Isolate 1850)
Authors: Feng Zhu, Guangying Chen, Xin Chen, Yihua Yuan, Meizhen Huang, Wenzhou Xiang, Huili Sun
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 01 (2008)

Anthracycline antibiotics now were used extensively as clinic medicines, but new anthracyclines with novel bioactivities are still urgently needed because of the drug-resistant problem. During our screening for lead compounds from marine fungi from the South China Sea, three anthraquinones (1-3) were found to be produced by the marine-derived endophytic fungus isolate 1850 from a leaf of Kandelia candel from an estuarine mangrove in Hong Kong. Their structures were elucidated as averufin (1), nidurufin (2) and versicolorin C (3) by analysis of spectroscopic data. These three anthraquinones had also been obtained from another marine fungus (isolate 2526). The results that the same metabolites were produced by two different fungal strains derived from two different species mangrove plants shows the presence of some close connections between the two fungal strains and the two species mangrove plants.
An empirical investigation of virtual Interaction in supporting learning
Authors: Jinwei Cao, Janna M. Crews, Ming Lin, Judee K. Burgoon, Jay F. Nunamaker,  Jr.
Venue: ACM SIGMIS Database (2008)

This research investigates "virtual interaction," a special type of interaction between a learner and a rich media representation of an instructor. Guided by the Technology Mediated Learning (TML) research framework, the research investigates the impacts of different types of virtual interaction on the effectiveness of online learning based on a review of multiple learning theories and technologies, including theories about interactions in learning, types of knowledge, and learning outcomes, as well as technologies about video-based question answering (QA). An exploratory research study, in the form of a field experiment, has been conducted to explain the relationships among the types of interaction, types of knowledge being learned, and learning outcomes. Findings from this study indicate that QA-based virtual interaction increases learner satisfaction with interaction in learning conceptual knowledge; however, the influence of virtual interaction on actual learning performance is limited.
A family of Newton-like methods based on an exponential model
Authors: J. R. Sharma
Venue: International Journal of Computer Mathematics (2007)

We derive a one-parameter family of second-order methods for solving f(x)=0. The approximation process is carried out by fitting the model m(x)=epx(ax+b) to the function f(x) and its derivative f'(x) at a point xi and solving m(x)=0. Numerical examples show that the method works when Newton's method fails. A composite method with cubic convergence, based on the new scheme, is also presented. Error analysis providing the order of convergence is given. Theoretical comparisons of computational efficiency are made and some rules to assist in the selection of an iteration formula are derived.
Spinodal decomposition and isospin in heavy ion collisions
Authors: Armando Barrañón, Jorge Alberto López Gallardo
Venue: Proceedings of the 2nd WSEAS International Conference on Computer Engineering and Applications (2008)

Limit temperatures for nuclear collisions with different isopin values have been obtained with a minimal difference of about 1MeV and in the range of 10MeV. Also, higher order charge correlations show a peak when four fragments of size equal to 6 are produced with an excitation of 4.75 MeV. This can be considered as a signature of a primitive breakup in equal sized fragments with a privileged fragment size. This computational result confirms other experimental and theoretical evidences about spinodal decompostion in HIC.
IT Education and Workforce Participation: A New Era for Women in Kenya?
Authors: Victor W. A. Mbarika, Fay Cobb Payton, Lynette Kvasny, Atieno Amadi
Venue: The Information Society (2006)

While Sub-Saharan African women have historically assumed the roles of both housewives and subsistence farmers, they have had few opportunities to participate in the modern economies of the region. However, this trend is changing with the exponential growth of information and communications technologies (ICT), giving many Sub-Sahara African women access to computers, the Internet, and other related technologies. Based on the work of a four-member research team from Kenya and the United States, this article examines the integration of female college students into the formal ICT work sector in Kenya. We do so by examining major bottlenecks and enablers to such integration from historical and contemporary perspectives. Using an interpretive approach, we conducted 32 interviews with women in an ICT program offered by a university in Kenya. Our findings indicate that women were highly optimistic, embracing ICT as a practical mechanism for achieving entry into the labor market. However, they perceived significant structural barriers, such as public policies that failed to facilitate the development of the ICT sector, gender discrimination by employers, and training that provided them with insufficient technical skills to enable them to effectively perform in the workplace. These findings largely confirm the gendered perspectives found in similar studies conducted in other countries. However, what appear as global perspectives are informed by the local causes.
Optimal Layout of Multicast Groups Using Network Embedded Multicast Security in Ad Hoc Sensor Networks
Authors: R. R. Brooks, Brijesh Pillai, Michele C. Weigle, Matthew Pirretti
Venue: International Journal of Distributed Sensor Networks (2007)

This paper considers the security of sensor network applications. Our approach creates multicast regions that use symmetric key cryptography for communications. Each multicast region contains a single keyserver that is used to perform key management and maintain the integrity of a multicast region. Communications between two multicast regions is performed by nodes that belong to both regions. To ease the network management burden, it is desirable for the networks to self-organize into regions and dynamically select their keyservers. This paper shows how to determine the number of keyservers (k) to use and the size in the number of hops (h) of their multicast regions. We find that power consumption issues provide a natural trade-off that determines optimal values for these parameters. Analysis of one application shows an increase in system security with 70-80% less power overhead than existing security approaches.
A Taylor polynomial approach for solving high-order linear Fredholm integro-differential equations in the most general form
Authors: Aysegül Akyüz-Dascioğlu, Mehmet Sezer
Venue: International Journal of Computer Mathematics (2007)

A Taylor method is developed for finding the approximate solution of high-order linear Fredholm integro-differential equations in the most general form under the mixed conditions. The problem is defined on the interval [-1, 1] and the solution is obtained in terms of Taylor polynomials about the origin. Transforming the interval [a, b] to the interval [-1, 1], a problem defined on [a, b] can also be solved using this method. Numerical examples are presented to illustrate the accuracy of the method.
Near-linear cost sequential and distributed constructions of sparse neighborhood covers
Authors: B. Awerbuch, B. Berger, L. Cowen
Venue: Proceedings of the 1993 IEEE 34th Annual Foundations of Computer Science (1993)

This paper introduces the first near-linear (specifically, O(Elog n+nlog/sup 2/ n)) time algorithm for constructing a sparse neighborhood cover in sequential and distributed environments. This automatically implies analogous improvements (from quadratic to near-linear) to all the results in the literature that rely on network decompositions, both in sequential and distributed domains, including adaptive routing schemes with O/spl tilde/(1) stretch and memory, small edge cuts in planar graphs, sequential algorithms for dynamic approximate shortest paths with O/spl tilde/(E) cost for edge insertion/deletion and O/spl tilde/(1) time to answer shortest-path queries, weight and distance-preserving graph spanners with O/spl tilde/(E) running time and space, and distributed asynchronous "from-scratch" breadth-first-search and network synchronizer constructions with O/spl tilde/(1) message and space overhead (down from O(n)).
A Protocol for Content-Based Communication in Disconnected Mobile Ad Hoc Networks
Authors: Julien Haillot, Frederic Guidec
Venue: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications (2008)

Abstract In content-based communication, information flows towards interested hosts rather than towards specifically set destinations. This new style of communication perfectly fits the needs of applications dedicated to information sharing, news distribution, service advertisement and discovery, etc. In this paper we address the problem of supporting content-based communication in partially or intermittently connected mobile ad hoc networks (MANETs). The protocol we designed leverages on the concepts of opportunistic networking and delay-tolerant networking in order to account for the absence of end-to-end connectivity in disconnected MANETs. The paper provides an overview of the protocol, as well as simulation results that show how this protocol can perform in realistic conditions.
Successive minima profile, lattice profile, and joint linear complexity profile of pseudorandom multisequences
Authors: Li-Ping Wang, Harald Niederreiter
Venue: Journal of Complexity (2008)

In this paper we use the successive minima profile to measure structural properties of pseudorandom multisequences. We show that both the lattice profile and the joint linear complexity profile of a multisequence can be expressed in terms of the successive minima profile.
On differences of zeta values
Authors: Philippe Flajolet, Linas Vepstas
Venue: Journal of Computational and Applied Mathematics (2008)

Finite differences of values of the Riemann zeta function at the integers are explored. Such quantities, which occur as coefficients in Newton series representations, have surfaced in works of Bombieri-Lagarias, Maslanka, Coffey, Baez-Duarte, Voros and others. We apply the theory of Norlund-Rice integrals in conjunction with the saddle-point method and derive precise asymptotic estimates. The method extends to Dirichlet L-functions and our estimates appear to be partly related to earlier investigations surrounding Li's criterion for the Riemann hypothesis.
White and grey-box verification and validation approaches for safety- and security-critical software systems
Authors: Francesca Saglietti, Norbert Oster, Florin Pinte
Venue: Information Security Tech. Report (2008)

In this article, the problem of assessing software trustworthiness is considered from a holistic perspective addressing both safety- and security-critical application domains. In particular, the importance of achieving high structural coverage during component and integration testing phases is stressed. In view of the immense effort required by manual testing activities, the present article suggests novel automatic test case generation techniques, capable of maximizing test coverage and minimizing test amount. The tools developed on the basis of these approaches were successfully applied to achieve high control flow, data flow and interface coverage by means of a low number of test cases.
Attacks on time-of-flight distance bounding channels
Authors: Gerhard P. Hancke, Markus G. Kuhn
Venue: Proceedings of the first ACM conference on Wireless network security (2008)

Cryptographic distance-bounding protocols verify the proximity of two parties by timing a challenge-response exchange. Such protocols rely on the underlying communication channel for accurate and fraud-resistant round- trip-time measurements, therefore the channel's exact timing properties and low-level implementation details become security critical. We practically implement 'late-commit' attacks, against two commercial radio receivers used in RFID and sensor networks, that exploit the latency in the modulation and decoding stages. These allow the attacker to extend the distance to the verifier by several kilometers. We also discuss how 'overclocking' a receiver can make a prover respond early. We practically implement this attack against an ISO 14443A RFID token and manage to get a response 10 µs earlier than normal. We conclude that conventional RF channels can be problematic for secure distance-bounding implementations and discuss the merits and weaknesses of special distance-bounding channels that have been proposed for RFID applications.
Applying Dynamic Buffer Tuning to Help Pervasive Medical Consultation Succeed
Authors: Wilfred Lin, Jackei Wong, Allan Wong
Venue: Proceedings of the 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (2008)

In this paper we propose to apply dynamic buffer tuning to make pervasive medical consultation successful. In pervasive consultation the physician can answer patient requests anytime, anywhere. The physician carries a SFF (small form factor) mobile device such as a mobile phone, which provides the interface to interact with the rest of the distributed Pervasive Digital HealthCare System (PDHD) on the mobile Internet. The PDHD in this paper caters to Traditional Chinese Medicine (TCM) and therefore called TCM-PDHD or simply T-PDHD. The T-PDHD usability relies on various factors such as: a) correct information transfer, and b) fast system response. This paper focuses on the second factor and explores how the dynamic buffer tuning technique can be exploited to quicken system response.
Efficient Proxy Signatures For Ubiquitous Computing
Authors: Santosh Chandrasekhar, Saikat Chakrabarti, Mukesh Singhal
Venue: Proceedings of the 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008) (2008)

Proxy signatures have been extensively used to solve authentication issues in mobile agent applications and authorization problems in distributed systems. However, conventional proxy signatures use traditional public key cryptosystems and are quite heavyweight. Thus, a direct application of these traditional signatures face significant performance challenges when applied to resource constrained ubiquitous computing environments. In this paper, we introduce the use of an efficient cryptographic primitive from linear feedback shift register (LFSR) sequences to build lightweight proxy signatures, suitable for resource constrained devices. We present a novel third-order LFSR sequence-based, 2-party signature scheme, SCLFSR, following a well-known Schnorr signature scheme. Using SCLFSR, we construct an efficient proxy signature, PCLFSR, which can serve as a protocol building block for performance sensitive ubiquitous computing applications. The scheme, PCLFSR, is also the first construction of a proxy signature using primitives from LFSR sequences. We perform extensive theoretical analysis including correctness and security of PCLFSR and also present a performance (computation and communication costs, storage overhead) comparison of the proposed scheme with well-known traditional constructions.
Talking media
Authors: Patrick Nepper, Nikolaus Konrad, Uwe Sandner
Venue: Proceedings of the 9th international conference on Human computer interaction with mobile devices and services (2007)

In this paper we present a prototype for providing media samples of media products such as Audio CDs, DVDs or books on a mobile phone that is equipped with an NFC sensor. The goal is to allow a customer of a retail shop to simply touch a product to receive a preview of the product's content on his mobile phone.
Support vector machines based Arabic language text classification system: feature selection comparative study
Authors: Abdelwadood Mesleh
Venue: Proceedings of the 12th WSEAS International Conference on Applied Mathematics (2007)

Feature selection is essential for effective and accurate text classification systems. This paper investigates the effectiveness of six commonly used feature selection methods, Evaluation used an in-house collected Arabic text classification corpus, and classification is based on Support Vector Machine Classifier. The experimental results are presented in terms of precision, recall and Macroaveraged F1 measure.
Toward ubiquitous searching
Authors: Miaomiao Wang, Jiannong Cao, Yan Sun, Jing Li
Venue: Proceedings of the 13th International Conference on Parallel and Distributed Systems - Volume 01 (2007)

In this paper, we propose a novel concept called &#x201C;ubiquitous searching&#x201D;, which allows people to organize and search the desired information about the objects in the physical world, navigating from one object to others through their contextual links, just like what we do in the web searching. How to realize such an exciting idea poses many challenges, and a new approach is needed to provide scalable system abstractions and infrastructures. We identify the design principles and propose the framework toward ubiquitous search. The system architecture and the key algorithms for the proposed framework are developed. We also describe a proof-of-concept prototype and a simulation study used to experiment with our framework and algorithms.
A novel SLS ELA crystallization process and its effects on polysilicon film defectivity and TFT performance
Authors: Despina C. Moschou, M. A. Exarchos, D. N. Kouvatsos, G. J. Papaioannou, A. T. Voutsas
Venue: Microelectronic Engineering (2008)

Polysilicon TFTs fabricated in films crystallized with a novel SLS ELA technique were investigated. The TFT channels were oriented along the preferential direction and vertical to it, probing both directions' grain quality. DLTS assessment was conducted on unstressed TFTs in order to probe the film's defect nature. DC hot-carrier stress was applied for both channel orientations, in order to elucidate the effect of the crystallization procedure on TFT reliability. A dimensional optimization of the TFTs was found.
Adaptive FEC for 802.11 burst losses reduction
Authors: Gabriella Convertino, Silvio Lucio Oliva
Venue: Proceedings of the 2nd international conference on Mobile multimedia communications (2006)

One of the challenges that video transmission over wireless networks (such as IEEE 802.11) must face is the packet loss that can heavily decrease the received video quality. What makes the challenge more difficult is the bursty nature of wireless losses. Many video decoders can mask the effects of small amounts of random packet loss, however, most are unable to successfully hide the effects of burst losses (periods with high loss data rate). Forward error correction (FEC) is a technique extensively adopted to increase error resilience. In unicast transmission, the FEC redundancy is usually added adaptively on the basis of a loss pattern feedback. In many cases the loss pattern is represented through a very simple statistics: the average packer error rate (PER). This paper proposes a technique to adaptively introduce FEC redundancy that exploits a feedback scheme based on a 4-state Markov model to describe the loss pattern. The model allows us to obtain a description of the loss pattern in terms of burst and gap length and density. The feedback is based on the RTCP eXtended Report - IP Video Metrics Report Blocks that includes statistics on error patterns, such as the average PER, burst length and density. Our simulation results show that the proposed method smoothes out the burst losses and outperforms solutions based on the average PER.
Neural NDT by means of reflected longitudinal and torsional waves modes in long and inaccessible pipes
Authors: Barbara Cannas, Francesca Cau, Alessandra Fanni, Augusto Montisci, Pietro Testoni, Mariangela Usai
Venue: Proceedings of the 5th WSEAS/IASME International Conference on Systems Theory and Scientific Computation (2005)

The design of Non-Destructive Testing systems for fault detection in long and not accessible pipelines is an actual task in the industrial and civil environment. At this purpose the diagnosis based on the propagation of guided ultrasonic waves along the pipes offers an attractive solution for the fault identification and classification. The authors studied this problem by means of suitable Artificial Neural Network models. Numerical techniques have been used to model different kinds of pipes and faults, and to obtain several returning echoes containing the fault information. Two kinds of excitation waves have been used: longitudinal and torsional wave modes. The obtained signals have been processed in order to filter the noise, to reduce the data dimensionality, and to compute suitable features. The features selected from the signals can be further processed in order to limit the size of the Neural Network models without loss of information. At this purpose, the Principal Component Analysis has been investigated. Finally, the selected features have been used as input for the Neural Network models. In this paper, traditional feed-forward, Multi Layer Perceptron networks have been used to classify position, width, and depth of the defects.
Review article: Developments in dynamic and intelligent reconfiguration of industrial automation
Authors: R. W. Brennan, P. Vrba, P. Tichy, A. Zoitl, C. Sünder, T. Strasser, V. Marik
Venue: Computers in Industry (2008)

This paper provides an overview of current techniques to allow the industrial systems to automatically adapt to change while maintaining predictable and stable system behaviour. This is performed along the dimensions of simple, dynamic and intelligent reconfiguration and focuses on the physical device and software component levels of the shop floor and in particular, on automatic reconfiguration of programmable logic controller systems. Through an analysis of recent work by the authors and others in this area, the paper identifies the basic requirements for intelligent reconfiguration and the outstanding issues in this area.
Letters: Neural networks stabilization and disturbance attenuation for nonlinear switched impulsive systems
Authors: Fei Long, Shumin Fei
Venue: Neurocomputing (2008)

In this paper, we address the problem of neural networks (NNs) stabilization and disturbance rejection for a class of nonlinear switched impulsive systems. An adaptive NN feedback control scheme and an impulsive controller for output tracking error disturbance attenuation of nonlinear switched impulsive systems are given under all admissible switched strategy based on NN. The NN is used to compensate for the nonlinear uncertainties of switched impulsive systems, and the approximation error of NN is introduced to the adaptive law in order to improve the tracking attenuation quality of the switched impulsive systems. Impulsive controller is designed to attenuate effect of switching impulse. Under all admissible switching law, impulsive controller and adaptive NN feedback controller can guarantee asymptotic stability of tracking error and improve disturbance attenuation level of tracking error for the overall nonlinear switched impulsive system. Finally, a numerical example is given to demonstrate the effectiveness of the proposed control and stabilization methods.