ppxscal/embedding_network huggingface dataset:
Development of integrated system for progressive collapse analysis of building structures considering dynamic effects
Authors: Hyun-Su Kim, Jinkoo Kim, Da-Woon An
Venue: Advances in Engineering Software (2009)

In this study the integrated system for progressive collapse analysis, which can evaluate the damage level of every member and automatically construct the modified structural model for the next analysis step, has been developed. The existing nonlinear analysis program code OpenSees was used as a finite element solver in the integrated system for progressive collapse analysis. The developed integrated system includes a pre-processor with intuitive graphic user interfaces and a post-processor that can simulate the progressive collapse by 3D graphic animation. Using the developed integrated system, example structures subjected to a column failure were analyzed, and the behavior of the structures was investigated in the context of how to model the failed members and whether the dynamic effects are considered or not. The analysis results show that the dynamic amplification can be larger than two which is recommended by the GSA and DoD guidelines and the collapse mechanism depends greatly on the modeling technique for failed members.
Dynamics of Continuous-Time Neural Networks and Their Discrete-Time Analogues with Distributed Delays
Authors: Lingyao Wu, Liang Ju, Lei Guo
Venue: Proceedings of the 4th international symposium on Neural Networks: Advances in Neural Networks (2007)

Discrete-time analogues of continuous-time neural networks with continuously distributed delays and periodic inputs are introduced. The discrete-time analogues are considered to be numerical discretizations of the continuous-time networks and we study their dynamical characteristics. By employing Halanay-type inequality, we obtain easily verifiable sufficient conditions ensuring that every solutions of the discrete-time analogue converge exponentially to the unique periodic solutions. It is shown that the discrete-time analogues preserve the periodicity of the continuous-time networks.
An Examination of Students' Perception of Blended E-Learning in Chinese Higher Education
Authors: Jianhua Zhao
Venue: Proceedings of the 3rd international conference on Technologies for E-Learning and Digital Entertainment (2008)

Blended e-learning is a brand-new approach which is used for technology integration currently in China. Meanwhile, many kinds of Virtual Learning Environments (VLEs), such as WebCT, BlackBoard, and WebCL are emerging in the field of Chinese Higher Education in the past decade for serving this new model. How do Chinese students think about this new approach? There is no much research addressed on it. We design a small-scale research for examining students' perceptions of blended learning, which is based upon an undergraduate course offered at School of Information Technology in Education in South China Normal University. 20 students registered in the course. The findings of this study reveal that students' understandings of blended learning are formed through the course, and their attitudes toward it are positive.
Organizing Security Patterns
Authors: Munawar Hafiz, Paul Adamczyk, Ralph E. Johnson
Venue: IEEE Software (2007)

Every empire, after a period of rapid expansion, needs some time for consolidation or it risks disintegration. The expansion of software patterns has produced a large body of work that now needs organization. This article documents early efforts to consolidate and organize a subset of software patterns in the security domain. Lessons learned through this process can help people trying to organize patterns for other domains. This article is part of the special issue on software patterns.
Mobile Commerce Application Development: Implementing Personalized Services
Authors: Christos K. Georgiadis, Sofia H. Stergiopoulou
Venue: Proceedings of the 2008 7th International Conference on Mobile Business (2008)

M-commerce applications allow users instant access to business-critical communication and information. Personalization technology delivers a new dimension to mobile businesses. Its level of detail and accuracy opens up a broad scope of potential applications, enabling them to tailor their services to the exact interests and expectations of mobile users. We indicate the advantages of a flexible m-commerce application, capable of providing context-specific information to users according their profile and specialty. Our demonstrative .NET application case study illustrates an example of how enterprises can be organised to make use of new technology. The goal is to provide up to date necessary information to their employees (such as delivery drivers and representatives), so as to facilitate their tasks and to obviate potential problems and delays.
Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials
Authors: Norihiro Kamide
Venue: Proceedings of the 11th European conference on Logics in Artificial Intelligence (2008)

It is known that Girard's linear logics can elegantly represent the concept of "resource consumption". The linear exponential operator ! in linear logics can express a specific infinitely reusable resource (i.e., it is reusable not only for any number, but also many times). It is also known that the propositional intuitionistic linear logic with ! and the first-order intuitionistic linear logic without ! (called here ILL) are undecidable and decidable, respectively. In this paper, a new decidable first-order intuitionistic linear logic, called the resource-indexed linear logic RL[l], is introduced by extending and generalizing ILL. The logic RL[l] has an l-bounded exponential operator ! l , and this operator can express a specific finitely usable resource (i.e., it is usable in any positive number less than l + 1, but only once). The embedding theorem of RL[l] into ILL is proved, and by using this theorem, the cut-elimination and decidability theorems for RL[l] are shown.
Precedence constrained scheduling in (2-73p+1)·optimal
Authors: Devdatta Gangal, Abhiram Ranade
Venue: Journal of Computer and System Sciences (2008)

We present a polynomial time approximation algorithm for unit time precedence constrained scheduling. Our algorithm guarantees schedules which are at most (2-73p+1) factor as long as the optimal, where p>3 is the number of processors. This improves upon a long standing bound of (2-2p) due to Coffman and Graham.
Modeling Service Choreographies Using BPMN and BPEL4Chor
Authors: Gero Decker, Oliver Kopp, Frank Leymann, Kerstin Pfitzner, Mathias Weske
Venue: Proceedings of the 20th international conference on Advanced Information Systems Engineering (2008)

Interconnecting information systems of independent business partners requires careful specification of the interaction behavior the different partners have to adhere to. Choreographies define such interaction constraints and obligations and can be used as starting point for process implementation at the partners' sites. This paper presents how the Business Process Modeling Notation (BPMN) and the Business Process Execution Language (BPEL) can be used during choreography design. Step-wise refinement of choreographies to the level of system configuration is supported through different language extensions as well as a mapping from BPMN to BPEL4Chor. A corresponding modeling environment incorporating the language mapping is presented.
Computer Science Teacher Training at the University of Groningen
Authors: Nataša Grgurina
Venue: Proceedings of the 3rd international conference on Informatics in Secondary Schools - Evolution and Perspectives: Informatics Education - Supporting Computational Thinking (2008)

The University Center for Academic Learning and Teaching (UOCG) provides the University of Groningen with an educational program to train fully qualified secondary school teachers in many secondary school subjects including computer science. This two-year Master's in Education Program consists of teacher training that includes a large internship component and teacher training courses, in addition to those courses provided by the faculties. During the internship, the secondary school where the internship takes place is in charge of a substantial part of the teacher training, while the University's role is mainly a supervisory one.
Evaluation of Professional Practices in Transfusion Medicine: Design and Implementation of a Web-Based and Tutored ePortfolio
Authors: Pascal Staccini, Sophie Vessiere, Stéphanie Jullien, Christophe Bordonado, Jean-François Quaranta, Patrice Roussel, Jean-Jacques Cabaud, Philippe Rouger
Venue: Proceedings of the 2008 21st IEEE International Symposium on Computer-Based Medical Systems (2008)

In order to manage a nationwide assessment program for certifying professional competence in blood transfusion throughout France, the National Institute of Blood Transfusion and the University of Nice-Sophia Antipolis developed a web-based and tutored portfolio. The structure of this e-portfolio is based on a matrix of actions defined according to standards of practice. For each action, elements of proof are uploaded by the physician and peer reviewed by an expert before being validated. The electronic portfolio stores all the history of the actions done by users. This tracking feature generates alerts emailed to users according to a list of monitored events. After one year of design and development, the application is used in routine. Based on open-source components, we forecast integration with the CME system in blood transfusion handled by INTS.
Radar HRRP Target Recognition Based on Optimal Transformation of Kernel Space and Cluster Centers
Authors: Feng Zhao, Junying Zhang, Hui Fan
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 4 - Volume 04 (2008)

How to extract effective discriminant features of high-resolution range profile (HRRP) is one of the issues for radar automatic target recognition (RATR). In this paper, a novel method for extracting discriminant features is proposed by using kernel optimal transformation and cluster centers techniques (KOT-CC). In addition, to alleviate the effect of independent noises on the discrimination, we propose a general algorithm for dealing with the singular cases of total scatter matrix, which are often encountered in various kernel methods, such as kernel fisher discriminant analysis (KFDA). Finally, experiment results on the measured radar data are compared and analyzed, which verify that KOT-CC is a powerful technique for extracting nonlinear discriminant features and improving recognition rate.
Optimization of mine machine modes of operation on the basis of fuzzy logic technology
Authors: E. S. Balbino, P. I. Ekel
Venue: Proceedings of the 7th WSEAS International Conference on Artificial intelligence, knowledge engineering and data bases (2008)

The present article has the objective to present the implementation and the simulation of a control system as contribution with improvement of the operation efficiency of rotary blasthole drill machine used in the mining process. This improvement is based on the development of a control model that uses fuzzy logic technology as alternative to conventional PID control from the pulldown system and to the manual speed control from the rotation system of blasthole drill machine. For development the considered model it was used the fuzzyTECH® 5.5 as computational tool from the Software Corporation.
Performance of Synthetic Jet Actuators Based on Hybrid and Double-Acting Principles
Authors: Z. Trávníček, V. Tesař, J. Kordík
Venue: Journal of Visualization (2008)

The design of the discussed fluid jet actuator followed two ideas: a double-acting operation of reciprocating pumps, and a hybrid synthetic jet (HSJ) actuation. The entire actuator consists of two basic parts, namely the front (central) and rear chambers, from which fluid is displaced by the opposite sides of the same diaphragm. The actuator operates in a double-acting (antiphase) regime with air as the working fluid. The central chamber generates the standard (zero-net-mass-flux) axisymmetric synthetic jet (SJ), while the rear chamber generates system of several non-zero-net-mass-flux HSJs arranged around the central SJ. A number of variants of HSJs with different geometry were designed, manufactured and tested. Their behavior was investigated experimentally using the smoke visualization, reaction force measurement, hot-wire anemometry, and naphthalene sublimation technique. The tests confirm the efficiency of the present design.
Universal Quantum Gates Via Yang-Baxterization of Dihedral Quantum Double
Authors: Mario Vélez, Juan Ospina
Venue: Proceedings of the 8th international conference on Adaptive and Natural Computing Algorithms, Part I (2007)

The recently discovered Yang-Baxterization process for the quantum double of the dihedral group algebra, is presented keeping on mind the quantum computation. The products resultant from Yang-Baxterization process are interpreted as universal quantum gates using the Bryslinski's theorem. Results are obtained for two-qubits and two-qutrits gates. Using the Zhang-Kauffman-Ge method (ZKGM), certain Hamiltonians responsible for the quantum evolution of the quantum gates are obtained. Possible physical systems such as anyons systems are mentioned as referents for practical implementation.
Designing optimal PID controller with genetic algorithm in view of controller location in the plant
Authors: Mohsen Seyedkazemi
Venue: Proceedings of the 7th WSEAS International Conference on Signal Processing, Robotics and Automation (2008)

In this paper an optimal PID controller in view of controller location in the plant is proposed. To adjust the parameters of the controller a fitness function in terms of transient and steady state parts of response and control energy of characteristics of system which are function of controller location, is introduced. A genetic algorithm is employed to minimize the fitness function to achieve a satisfactory response for system. The results are validated by some simulations.
QoS-Aware MAP Selection Scheme Based on Average Handover Delay for Multimedia Services in Multi-level HMIPv6 Networks
Authors: Y. -X. Lei, Z. -M. Zeng
Venue: Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007 (2007)

In multi-level HMIPv6 (M-HMIPv6) networks the MN has to select a proper MAP using MAP selection schemes when migrating to the visited ARs. Currently, distance-based MAP Selection (DMS), Mobility-based MAP Selection (MMS) and Adaptive MAP Selection (AMS) schemes have been proposed, and AMS outperforms the other ones in several aspects. However, none of these schemes consider the handover Quality-of-Service (QoS) of mobile multimedia services as the metric for MAP selection. In this paper, we propose a novel QoS-aware MAP selection (QMS) scheme. In this scheme, the optimal MAP is determined according to the average handover delay (AHD) which characterizes the handover QoS for mobile multimedia services. We derive a lemma through theoretical analysis to estimate the AHD and design the procedure of QMS scheme based on this lemma. Through extensive NS-2 simulations, we verify the effectiveness of the proposed scheme and its advantage in AHD than AMS.
Compressed Text Indexes with Fast Locate
Authors: Rodrigo González, Gonzalo Navarro
Venue: Proceedings of the 18th annual symposium on Combinatorial Pattern Matching (2007)

Compressed text (self-)indexes have matured up to a point where they can replace a text by a data structure that requires less space and, in addition to giving access to arbitrary text passages, support indexed text searches. At this point those indexes are competitive with traditional text indexes (which are very large) for counting the number of occurrences of a pattern in the text. Yet, they are still hundreds to thousands of times slower when it comes to locating those occurrences in the text. In this paper we introduce a new compression scheme for suffix arrays which permits locating the occurrences extremely fast, while still being much smaller than classical indexes. In addition, our index permits a very efficient secondary memory implementation, where compression permits reducing the amount of I/O needed to answer queries.
Design of a New Stream Cipher--LEX
Authors: Alex Biryukov
Venue: New Stream Cipher Designs: The eSTREAM Finalists (2008)

In this paper we define a notion of leak extraction from a block cipher. We demonstrate this new concept on an example of AES. A result is LEX: a simple AES-based stream cipher which is at least 2.5 times faster than AES both in software and in hardware.
Language---Independent Speaker Classification over a Far---Field Microphone
Authors: Jerome R. Bellegarda
Venue: Speaker Classification II: Selected Projects (2007)

The speaker classification approach described in this contribution leverages the analysis of both speaker and verbal content information, so as to use two light-weight components for classification: a spectral matching component based on a global representation of the entire utterance, and a temporal alignment component based on more conventional frame-level evidence. The paradigm behind the spectral matching component is related to latent semantic mapping, which postulates that the underlying structure in the data is partially obscured by the randomness of local phenomena with respect to information extraction. Uncovering this latent structure results in a parsimonious continuous parameter description of feature frames and spectral bands, which then replaces the original parameterization in clustering and identification. Such global analysis can then be advantageously combined with elementary temporal alignment. This approach has been commercially deployed for the purpose of language-independent desktop voice login over a far-field microphone.
PivotPoint: Clockless Crossbar Switch for High-Performance Embedded Systems
Authors: Uri Cummings
Venue: IEEE Micro (2004)

Fulcrum Microsystems developed this blade-level switch and leveraged the advantages of both asynchronous and synchronous logic. The author describes the device architecture and explains why the design team decided to implement certain circuits either synchronously or asynchronously.
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
Authors: César Domínguez
Venue: Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics (2008)

This work is an attempt to formalize, using the Coq proof assistant, the algebraic specification of the data structures appearing in two symbolic computation systems for algebraic topology called EAT and Kenzo. The specification of these structures have been obtained through an operation, called imp operation, between different specification frameworks as standard algebraic specifications and hidden specifications. Reusing previous Coq implementations of universal algebra and category theory we have proposed a Coq formalization of the imp operation, extending the representation to the particular hidden algebras which take part in this operation.
Detecting Intrusions in Agent System by Means of Exception Handling
Authors: Eric Platon, Martin Rehák, Nicolas Sabouret, Michal Pĕchouček, Shinichi Honiden
Venue: Proceedings of the 3rd international conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing (2007)

We present a formal approach to conception of a dedicated security infrastructure based on the exception handling in the protected agents. Security-related exceptions are identified and handled by a dedicated reflective layer of the protected agent, or delegated to specialized intrusion management agents in the system if the local reflective layer fails to address the problem. Incidents are handled either directly, if a known remedy exists or indirectly, when an appropriate solution must be identified before response execution. The cooperation between the intrusion management agents and aggregation of their observations can make the system more resilient to misclassification than a solution based purely on signature matching.
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Authors: K. Venkatesh Prasad, Thomas J. Giuli, David Watson
Venue: Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers (2006)

During the past few years, there has been considerable growth in the practice of modeling automotive software requirements. Much of this growth has been centered on software requirements and its value in the context of specific functional areas of an automobile, such as powertrain, chassis, body, safety and infotainment systems. This paper makes a case for modeling four cross-functional attributes of software, namely security, privacy, usability, and reliability, or SPUR. These attributes are becoming increasingly important as automobiles become information conduits. We outline why these SPUR attributes are important in creating specifications for embedded in-vehicle automotive software.Several real-world use-cases are reviewed to illustrate both consumer needs and system requirements -- functional and non-functional system requirements. From these requirements the underlying architectural elements of automotive SPUR are also derived. Broadly speaking these elements span three software service domains: the off-board enterprise software domain, the nomadic (device or service) software domain and the embedded (in-vehicle) software domain, all of which need to work in tandem for the complete lifecycle management of automotive software.
Some Progress of Supervised Learning
Authors: Chunyang Su, Shifei Ding, Weikuan Jia, Xin Wang, Xinzheng Xu
Venue: Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Artificial Intelligence (2008)

Supervised learning is very important in machine learning. In this paper we discuss some progress of supervised learning. At first, we introduce the basic concept and methods of supervised learning; then explain several typical algorithms of supervised learning in details, the algorithms covered are Bayesian networks, decision tree, k-nearest neighbor, supervised manifold learning and support vector machines; at last we point out several developing directions of supervised learning.
Neural mechanisms, temporal dynamics, and individual differences in interference control
Authors: Birte U. Forstmann, Wery P. M. van den Wildenberg, K. Richard Ridderinkhof
Venue: Journal of Cognitive Neuroscience (2008)

Functional magnetic resonance imaging (fMRI) methods may help in understanding processes of response capture and response inhibition in conflict tasks, such as the Simon task. However, data-driven approaches thus far have not yielded consistent insights into these processes. Here, a theory-driven approach is introduced that capitalizes on individual differences in the processes of central interest. Based on the so-called activation-suppression model, specific behavioral parameters for each individual derived from reaction time (RT) distribution analysis were computed and entered into model-based fMRI analyses. These parameters correspond closely to the processes of inappropriate location-driven response activation (capture) and the subsequent inhibition of this activation as detailed by the model. Data from 24 participants revealed activation in the pre-supplementary motor area, which covaried with the RT distribution measure of response capture. Activation in the right inferior frontal cortex was found to covary with the RT distribution measure of response inhibition. These results, which are consistent against the backdrop of the larger literature on cognitive control, could have been derived neither from the standard data-driven fMRI approach, nor from inspecting overall mean RT alone.