ppxscal/embedding_network huggingface dataset:
Automating rendezvous and proxy selection in sensornets
Authors: David Chu, Joseph M. Hellerstein
Venue: Proceedings of the 2009 International Conference on Information Processing in Sensor Networks (2009)

As the diversity of sensornet use cases increases, the combinations of environments and applications that will coexist will make custom engineering increasingly impractical. We investigate an approach that focuses on replacing custom engineering with automated optimization of declarative protocol specifications. Specifically, we automate network rendezvous and proxy selection from program source. These optimizations perform program transformations that are grounded in recursive query optimization, an area of database theory. Our prototype system implementation can automatically choose program executions that are as much as three, and usually one order of magnitude better than original source programs.
Active Zipfian sampling for statistical parser training
Authors: Onur Çobanoǧlu
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics, Companion Volume: Short Papers (2009)

Active learning has proven to be a successful strategy in quick development of corpora to be used in training of statistical natural language parsers. A vast majority of studies in this field has focused on estimating informativeness of samples; however, representativeness of samples is another important criterion to be considered in active learning. We present a novel metric for estimating representativeness of sentences, based on a modification of Zipf's Principle of Least Effort. Experiments on WSJ corpus with a wide-coverage parser show that our method performs always at least as good as and generally significantly better than alternative representativeness-based methods.
Knowledge exchange in the shrines of knowledge: The "how's" and "where's" of knowledge sharing processes
Authors: Iris Reychav, Dov Te'eni
Venue: Computers Education (2009)

Academic conferences are places of situated learning dedicated to the exchange of knowledge. Knowledge is exchanged between colleagues who are looking to enhance their future research by taking part in several formal and informal settings (lectures, discussions and social events). We studied the processes of knowledge sharing and the influence of the use of IT at the International Conference of Information Systems (ICIS2007) held in Montreal. We describe the categories of knowledge content shared at the conference. Two forms of knowledge sharing were analyzed: formal, guided, planned knowledge sharing in lectures or discussions, and informal knowledge exchange during social events. Data were collected from 274 participants at the conference. The intensity of knowledge sharing in the formal settings was higher compared to the informal settings and was perceived as contributing to future research and to the creation of social relationships. In contrast, informal knowledge sharing contributed mainly to job enhancement and to the initiation of meetings. The discussion centers on planning and evaluating conferences in terms of seeking, creating and sustaining knowledge sharing.
Power optimization for application-specific networks-on-chips: A topology-based approach
Authors: Haytham Elmiligi, Ahmed A. Morgan, M. Watheq El-Kharashi, Fayez Gebali
Venue: Microprocessors Microsystems (2009)

This paper analyzes the main sources of power consumption in Networks-on-Chip (NoC)-based systems. Analytical power models of global interconnection links are studied at different levels of abstraction. Additionally, power measurement experiments are performed for different types of routers. Based on this study, we propose a new topology-based methodology to optimize the power consumption of complex NoC-based systems at early design phases. The efficiency of the proposed methodology is verified through a case study of an MPEG4 video application. Experimental results show a promising improvement in power consumption (8.55%), average number of hops (10.80%), and number of global links (56.25%) compared to the best known related work.
A New Algorithm for Optimal Path Finding in Complex Networks Based on the Quotient Space
Authors: Ling Zhang, Fu-Gui He, Yan-Ping Zhang, Shu Zhao
Venue: Fundamenta Informaticae (2009)

The optimal path finding problem in weighted edge networks is an old and interesting one in many fields. There were many well-known algorithms to deal with that issue. But they were confronted with the high computational complexity while the network becoming larger. We present a hierarchical quotient space model based algorithm that reduces the computational complexity. The basic idea is the following. The nodes of a given network are partitioned with respect to the weights of their adjacent edges. We construct a variety of coarser versions of the given network with new nodes corresponding to the blocks of partitions at various levels of granularity. They are called the quotient spaces (networks) of the original network. The construction of the (sub- )optimal path is then done incrementally, throughout the hierarchy of quotient networks. Since each version of the network is much simpler than the original one, especially of the coarsest spaces, the computational complexity is reduced. In this paper, we present the basic principles of the algorithm and its experimental comparison to other well-known algorithms.
Research of Network Engineering Curriculum Architecture and Teaching Design
Authors: Du Genyuan, Miao Fang
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

At present, network engineering is a new specialty and not fully developed. The experimental conditions are faultiness and the teachers' potency is weakness. There are no standard of specialty building, curriculum construction, teaching design and so on. Based on the analysis of the domestic current status and content of network engineering specialty, this paper studies the disadvantages in content and form of teaching, and provides the structure of the curriculum system of network engineering. At the same time, according to the actual situation, the studying team made some reforms in teaching methods, curriculum content, the practice link and practice base, which have a practical significance and are worth being promoted.
English- and Mandarin-speaking infants' discrimination of persons, actions, and objects in a dynamic event without audio inputs
Authors: Jie Chen, Cheri Chan, Rachel Pulverman, Twila Tardif, Marianella Casasola, Xiaobei Zheng, Xiangzhi Meng
Venue: Proceedings of the 2009 IEEE 8th International Conference on Development and Learning (2009)

English learners typically have vocabularies that are dominated by nouns, whereas naturalistic observations, parental checklists and word mapping experiments reveal that verbs, primarily action words, are acquired early and in large quantities by learners of Mandarin Chinese. However, little research has examined whether English and Mandarin learners' early comprehension and production of nouns and verbs could be attributed to attentional patterns. In this study, we use a habituation paradigm to explore English- and Mandarin-learning infants' abilities to discriminate between Persons, Actions, and Objects presented without accompanying linguistic cues. The results revealed that English- and Mandarin-exposed 6–8 and 17–19 month-old infants showed similar patterns of attention. The younger infants showed significant increases to Person and Action changes only, whereas the older infants showed increased looking times to Person, Action, and Object changes, suggesting that the differential ease of acquiring verbs across languages might be attributed to cultural processes specific to word learning, rather than differences in early attentional preferences across cultures.
Supporting Learners in Adaptive Learning Environments through the Enhancement of the Student Model
Authors: Luca Mazzola, Riccardo Mazza
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part IV: Interacting in Various Application Domains (2009)

This positional paper presents our research aimed at finding some possible research directions towards the enhancement of the use of open student models in the field of Technology Enhanced Learning and Adaptive Systems. Starting from the historical evolution of the learner model, we will describe some possible uses of learner models and propose some possible directions of enhancement. We will present 6 possible directions of research, and 11 dimensions on analysis. The 6 directions have been evaluated against the dimensions, and tentative ranking has been proposed. The result of this analysis will guide the work on open learner models which will be undertaken in the context of the European Union funded project GRAPPLE [1] aimed at building an infrastructure for adaptive learning systems that will adopt the strategy of opening learner models to the course learners and instructors.
Synchronism Control System of Heavy Hydraulic Press
Authors: Min Chen, Minghui Huang, Yucai Zhou, Lihua Zhan
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

The precise synchronism control system of heavy hydraulic press is studied and the factors that result in the decline of the synchronism control precision are analyzed through building the mathematic model. In order to eliminate the influences of the stochastic disturbances, a sliding mode controller without steady-state error is presented.
Game Experience May Vary: Understanding Play
Authors: Gonzalo Frasca
Venue: Proceedings of the 8th International Conference on Entertainment Computing (2009)

Why do we call it game research and not play research? For the last decade of videogame studies, most of the attention has been paid to games as formal entities. At first, games seem easier to understand: they generally have clear rules and goals. They would be perfect machineries with formal mechanics if it was not for one factor: humans and their stubborn love for misbehaving. This talk provides an ontological approach to play and games and will analyze the relationship between the two concepts by taking into account the player's mindset. If this sounds too theoretical and abstract, there's no need to worry. It holds the key to better understanding the differences between casual and hardcore games.The Author. Gonzalo Frasca (1972) is a game developer researcher. He's co-founder of Powerful Robot Games, a game studio based in Uruguay with clients including Cartoon Network, Lucasfilm, Mattel and BBC. His latest hit game for Cartoon Network, AwesomeHouseParty.com, gathered over 22 million player accounts. Frasca obtained his PhD on games at the Center for Computer Games Research in Denmark. His research focuses on game design and rhetoric, particularly educational and political games. In 2003, he co-developed the first official videogame ever created for a US Presidential campaign. In a previous life, he blogged at Ludology.org The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Semantic caching for pervasive grids
Authors: Laurent d'Orazio, Mamadou Kaba Traoré
Venue: Proceedings of the 2009 International Database Engineering & Applications Symposium (2009)

Recently, grids and pervasive systems have been drawing increasing attention in order to coordinate large-scale resources enabling access to small and smart devices. In this paper, we propose a caching approach enabling to improve querying on pervasive grids. Our proposal, called semantic pervasive dual cache, follows a semantics oriented approach. It is based on the one hand on a clear separation between the analysis and the evaluation process, and on the other hand on the cooperation between client caches considering light analysis and proxy caches including evaluation capabilities. Such an approach helps load balancing, making the system more scalable. We have validated semantic pervasive dual cache using analytic models and simulations. Results obtained show that our approach is quite promising.
Conjunctive Broadcast and Attribute-Based Encryption
Authors: Nuttapong Attrapadung, Hideki Imai
Venue: Proceedings of the 3rd International Conference Palo Alto on Pairing-Based Cryptography (2009)

Attribute-based encryption (ABE) system enables an access control mechanism over encrypted data by specifying access policies among private keys and ciphertexts. There are two flavors of ABE, namely key-policy and ciphertext-policy, depending on which of private keys or ciphertexts that access policies are associated with. In this paper we propose a new cryptosystem called Broadcast ABE for both flavors. Broadcast ABE can be used to construct ABE systems with direct revocation mechanism. Direct revocation has a useful property that revocation can be done without affecting any non-revoked users; in particular, it does not require users to update keys periodically. For key-policy variant, our systems appear to be the first fully-functional directly revocable schemes. For ciphertext-policy variant, our systems improve the efficiency from the previously best revocable schemes; in particular, one of our schemes admits ciphertext and private key sizes roughly the same as the currently best (non-revocable) ciphertext-policy ABE. Broadcast ABE can also be utilized to construct multi-authority ABE in the disjunctive setting.
Modelling the propagation of turbid density inflows into a stratified lake: Daecheong Reservoir, Korea
Authors: S. W. Chung, M. R. Hipsey, J. Imberger
Venue: Environmental Modelling Software (2009)

Many reservoirs and associated downstream ecosystems located in the Asian monsoon climate region are under increased pressure from the long-term negative effects of turbid flood runoff. Despite the ubiquitous use of turbidity (C"T) as a barometer of water quality and environmental ''health'', C"T modelling studies have been rare due to lack of detailed experimental data required for validation. This study explored the fate and transport of a turbid density flow entering a stratified reservoir (Daecheong Reservoir, Korea) through application of a coupled three-dimensional (3D) hydrodynamic and particle dynamics model and subsequent validation of the predictions against an extensive data-set collected during the flood season of 2004. The turbidity model simulated multiple size groups of suspended sediment (SS) and used site-specific SS-C"T relationships to convert between field measurements (C"T) and model state variables (SS). The model showed good performance in reproducing the reservoir thermal structure, flood propagation dynamics and the magnitude and distribution of turbidity in the reservoir. The turbidity modelling framework developed in this study can be adopted within a real-time management system for forecasting of turbidity and to support adaptive control of withdrawal facilities in reservoirs that suffer from turbid flood runoff.
Understanding and Auditing IT Systems, Volume 2
Authors: Young-Woon Min
Venue:  (2009)

This book discusses a variety of issues relevant to the development of the application systems in the context of the traditional structured approaches, the relational database systems and the ERP systems for an understanding of the optimized functionality of the applications in the diversified IT systems environment. The fourth generation languages for the ERP systems are introduced in-depth, along with the other ERP system features, for the understanding of the application development and processing features in the ERP systems environment. The development environments of the SAP R/3, JD Edwards and PeopleSoft Enterprise systems are discussed. This book addresses most of the major business cycle processes in the IT systems environment for an in-depth understanding and audits of the operational as well as the financial processes. By introducing the key information and application processing requirements in the respective cycle processes, the discussions enable the identification of the critical processes and the major exposures and hence the effective control and audits of the business and financial reporting processes. This book presents a new paradigm for categorization of the control objectives in the IT systems environment for both the general operational and financial control perspectives for the effective coverage of the vulnerability exposures in these two areas. These discussions are particularly useful in the implementation of the regulatory requirements such as the Sarbanes-Oxley Act in the US and for compliance with GAAP in the IT systems environment. Key Highlight Areas in This Book; The extensive coverage of the application development issues including the traditional structured development approach, the relational database systems and the development of the ERP system applications. The extensive coverage of the internal control issues and SOA requirements in both the manual and IT systems environment with particular stresses on the financial controls for external reporting. The extensive coverage of major business cycle processes in the IT systems environment in terms of the key information and application processing requirements incl. the revenue, purchasing, conversion, payroll, treasury and general accounting cycles. The references to the major ERP system features for discussions on the major business cycle processes incl. SAP R/3, JD Edwards and PeopleSoft Enterprise systems. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
A Novel Lightpath Establishment Scheme with Intermediate-Node Help in WDM Networks
Authors: Guan Lian, Wang Binqiang, Zhu Xuanyong, Wang Bin
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

In this paper, we analyze two classical methods of lightpath establishment which have same time consuming to establish a lightpath and propose a novel lightpath establishment method with intermediate-node help. In this scheme, network information in intermediate-node is used to established direct lightpath between destination node and intermediate-node which sends out messages back to the source node without confirming message propagation delay of destination node. This method consumes less time than classical methods. Simulation results show that it can greatly shorten the time of lightpath establishment and the wavelength-confirmed delays.
Using Datalog and Boolean Equation Systems for Program Analysis
Authors: María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
Venue: Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (2009)

This paper describes a powerful, fully automated method to evaluate Datalog queries by using Boolean Equation Systems (Bess), and its application to object-oriented program analysis. Datalog is used as a specification language for expressing complex interprocedural program analyses involving dynamically created objects. In our methodology, Datalog rules encoding a particular analysis together with a set of constraints (Datalog facts that are automatically extracted from program source code) are dynamically transformed into a Bes, whose local resolution corresponds to the demand-driven evaluation of the program analysis. This approach allows us to reuse existing general purpose verification toolboxes, such as Cadp, providing local Bes resolutions with linear-time complexity. Our evaluation technique has been implemented and successfully tested on several Java programs and Datalog analyses that demonstrate the feasibility of our approach.
Computational Aesthetics 2008: Improving scans of black and white photographs by recovering the print maker's artistic intent
Authors: Daniel M. German, Jaume Rigau
Venue: Computers and Graphics (2009)

In this paper we propose a method that reverse engineers the aesthetic decisions made by a print maker to produce a print from a negative, namely cropping, contrast selection, and dodging-and-burning. It then re-applies this process to the electronic negative in order to achieve an electronic version of such print with better tonal range and detail than one produced by scanning the print. We then extend this method to restore a print by combining scans of different versions of the same image.
Nonlinear Control Strategies of Three-Phase Boost-Type PWM Rectifiers
Authors: Jiuhe Wang, Peirong Xia, Jinlong Zhang
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

In order to improve the properties of three-phase boost-type PWM rectifiers, scholars in different countries have began to apply nonlinear control theory to study PWM rectifiers. For this purpose, this paper introduces the nonlinear controlstrategies of three-phase boost-type PWM rectifiers, whichincludesfeedbacklinearization, passivitycontrolbasedon Euler-Lagrange( EL) model, active disturbance rejection control (ADRC) strategy. Meanwhile this paper reviewsnonlinear control strategies above and points to further research.
Partial Parallel Interference Cancellation Employing Fuzzy Theory
Authors: Yongbo Zhang, Tingting Shao, Yanping Li
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

Multiple access interference (MAI) is inevitable in all kinds of CDMA mobile communication systems. In order to decrease MAI efficiently parallel interference cancellation (PIC) was proposed, however, it would be injured by mistake decision. Thus a wide variety of partial parallel interference cancellation (PPIC) algorithms have been constructed so as to solve this problem. Under such background this paper applied basic fuzzy theory to PIC and generated a new PPIC algorithm — fuzzy parallel interference cancellation based on estimated signal-to-interference ratio (SIR-FPIC). Matlab simulation results showed that SIR-FPIC algorithm was able to lower the system bit error rate compared with conventional PIC and improve the reception capability.
Supervisory control of the structured dynamic discrete-event systems
Authors: A. A. Ambartsumyan
Venue: Automation and Remote Control (2009)

A new model is developed and studied in this paper--structured dynamic discrete event systems as a theoretical foundation for designing the supervisory control over the set of autonomous components. The composition of the model is defined and the question of a supervisor's existence (the controllability of the given specification)is studied. Besides, there were stated the basic stages of the design technology in the framework of the introduced controllability analysis model and the supervisors synthesis method.
Time-delay neural networks and independent component analysis for EEG-based prediction of epileptic seizures propagation
Authors: Piotr W. Mirowski, Deepak Madhavan, Yann LeCun
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

This research focuses on the development of a machine learning technique based on Time-Delay Neural Networks (TDNN) and Independent Component Analysis (ICA), to analyze EEG signal dynamics related to the initiation and propagation of epileptic seizures. We aim at designing a generative model to simulate EEG time-series after alteration of specific localized channels (electrodes) in order to explore the effects of brain surgery ex-vivo.