ppxscal/embedding_network huggingface dataset:
Exponential techniques and implicit Runge-Kutta methods for singularly-perturbed volterra integro-differential equations
Authors: J. I. Ramos
Venue: Neural, Parallel Scientific Computations (2008)

Numerical experiments performed with an exponential finite difference method in equally-spaced and piecewise-uniform meshes for both the inner and the outer layers and with an implicit Runge-Kutta-Radau IIA method for the outer layer of singularly-perturbed Volterra integro-differential equations are reported. The exponential finite difference technique is based on piecewise linear approximations and its linear stability has been analyzed. It is shown that the exponential method presented in this paper provides first-order accurate solutions for small values of the perturbation parameter, whereas the same technique in a piecewise-uniform mesh is almost second-order uniformly convergent because it does resolve the inner layer and, most importantly, because the finite difference equations are independent of the perturbation parameter in the inner layer. The implicit Runge-Kutta method for the outer layer yields errors that only depend on the step size if the number of stages is small or the step size is large, but depend on both the small perturbation parameter and the step size, otherwise.
The Essential Elements in a Community of Enquiry --A Study of Computer-supported Collaborative Learning in Higher Education
Authors: Tengku Putri Norishah Tengku Shariman
Venue: Proceeding of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation (2005)

The aim of this research is to design an effective model for the development of a community of enquiry in institutions of higher education in Malaysia. This paper describes how a community of enquiry could simulate, and promote higher order thinking and reasoning skills among students. It is our interest to study the required elements that are essential to develop a community of enquiry within a computer-supported collaborative learning (CSLC) environment, and how the implementation of this model would benefit the students' performance, comprehension, and critical learning skills.
Towards an Agent Based Approach for Verification of OWL-S Process Models
Authors: Alessio Lomuscio, Monika Solanki
Venue: Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications (2009)

In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent systems. We take the view that services can be considered as agents and service compositions as multi agent systems. We illustrate how atomic and composite processes in OWL-S can be encoded into ISPL using the proposed transformation rules for a restricted set of data types. As an illustrative example, we use an extended version of the BravoAir process model. We formalise certain interesting properties of the example in temporal-epistemic logic and present results from their verification using MCMAS.
Regression-based latent factor models
Authors: Deepak Agarwal, Bee-Chung Chen
Venue: Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining (2009)

We propose a novel latent factor model to accurately predict response for large scale dyadic data in the presence of features. Our approach is based on a model that predicts response as a multiplicative function of row and column latent factors that are estimated through separate regressions on known row and column features. In fact, our model provides a single unified framework to address both cold and warm start scenarios that are commonplace in practical applications like recommender systems, online advertising, web search, etc. We provide scalable and accurate model fitting methods based on Iterated Conditional Mode and Monte Carlo EM algorithms. We show our model induces a stochastic process on the dyadic space with kernel (covariance) given by a polynomial function of features. Methods that generalize our procedure to estimate factors in an online fashion for dynamic applications are also considered. Our method is illustrated on benchmark datasets and a novel content recommendation application that arises in the context of Yahoo! Front Page. We report significant improvements over several commonly used methods on all datasets.
Web 2.0: New Tools, New Schools
Authors: Gwen Solomon, Lynne Schrum
Venue:  (2007)

Web 2.0 has arrived--find out how it can transform teaching and learning!What is Web 2.0? Once upon a time, Web sites were isolated information 'silos'--all content and no functionality. Today, the next generation of Web sites gives power to the end-user, providing visitors with a new level of customization, interaction, and participation. Many Web sites now allow users to upload, categorize, and share content easily. Weblogs and podcasts allow anyone to publish or broadcast on any topic. Wikis provide information that is constantly updated by the end-user. Open-source software is free and customizable. These new technologies are changing our relationship to the Internet.What can Web 2.0 tools offer educators? Web 2.0: New Tools, New Schools provides a comprehensive overview of the emerging Web 2.0 technologies and their use in the classroom and in professional development. Topics include blogging as a natural tool for writing instruction, wikis and their role in project collaboration, podcasting as a useful means of presenting information and ideas, and how to use Web 2.0 tools for professional development. Also included are a discussion of Web 2.0 safety and security issues and a look toward the future of the Web 2.0 movement. Web 2.0: New Tools, New Schools is essential reading for teachers, administrators, technology coordinators, and teacher educators.Also available: Database Magic: Using Databases to Teach Curriculum in Grades 4-12 - ISBN 1564842452 What Works in K-12 Online Learning - ISBN 1564842363 Toys to Tools: Connecting Student Cell Phones to Education - ISBN 1564842479The International Society for Technology in Education (ISTE) is the trusted source for professional development, knowledge generation, advocacy and leadership for innovation. ISTE is the premier membership association for educators and education leaders engaged in improving teaching and learning by advancing the effective use of technology in PK-12 and teacher education. Home of the National Educational Technology Standards (NETS), the Center for Applied Research in Educational Technology (CARET), and ISTE's annual conference (formerly known as the National Educational Computing Conference, or NECC), ISTE represents more than 100,000 professionals worldwide. We support our members with information, networking opportunities, and guidance as they face the challenge of transforming education. Some of the areas in which we publish are: -Web. 2.0 in the classroom-RSS, podcasts, and more -National Educational Technology Standards (NETS) -Professional development for educators and administrators -Integrating technology into the classroom and curriculum -Safe practices for the Internet and technology -Educational technology for parents
Risk management in e-government from the perspective of IT governance
Authors: Konrad Walser, Andreas Kühn, Reinhard Riedl
Venue: Proceedings of the 10th Annual International Conference on Digital Government Research: Social Networks: Making Connections between Citizens, Data and Government (2009)

The complexity of IT management within public administration indicates the need for structuring risks. In this paper, the business IT alignment model by [2] is adapted to risk management in e-government. Risks occur along the boundaries of strategic and operative units of public administration and IT organization. These interfaces challenge the alignment of these units. Questions arise with respect to the IT risk management and its implementation in e-government.
A Scalable Non-blocking Multicast Scheme for Distributed DAG Scheduling
Authors: Fengguang Song, Jack Dongarra, Shirley Moore
Venue: Proceedings of the 9th International Conference on Computational Science: Part I (2009)

This paper presents an application-level non-blocking multicast scheme for dynamic DAG scheduling on large-scale distributed-memory systems. The multicast scheme takes into account both network topology and space requirement of routing tables to achieve scalability. Specifically, we prove that the scheme is deadlock-free and takes at most logN steps to complete. The routing table chooses appropriate neighbors to store based on topology IDs and has a small space of O(logN). Although built upon MPI point-to-point operations, the experimental results show that our scheme is significantly better than the simple flat-tree method and is comparable to vendor's collective MPI operations. 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 Revised Neural Network for Solving Quadratic Programming Problems
Authors: Yinjie Sun
Venue: Proceedings of the 6th International Symposium on Neural Networks: Advances in Neural Networks - Part III (2009)

By selecting an appropriate transformation of the variables in quadratic programming problems with equality constraints , a lower order recurrent neural network for solving higher quadratic programming is presented. The proposed recurrent neural network is globally exponential stability and converges to the optimal solutions of the higher quadratic programming. An op-amp based on the analogue circuit realization of the recurrent neural network is described. The recurrent neural network proposed in the paper is simple in structure, and is more stable and more accuracy for solving the higher quadratic programming than some existed conclusions, especially for the case that the number of decision variables is close to the number of the constraints. An illustrative example is discussed to show us how to design the analogue neural network using the steps proposed in this paper.
An investigation about quality standarts for online education
Authors: Omer Uysal, Abdullah Kuzu
Venue: Proceedings of the international conference on Computational and information science 2009 (2009)

Recently, the number of online education foundations is increasing. Also, the number of students is inevitably increasing in online education foundations. For that reason, the issue of quality assurance occurred in Turkey as in other contries. Experience and infrastructure are very important components of online education. Therefore, experts have to think the increment of online education foundations in terms of experience and infrastructure. The questions must be answered by experts of online education if we need quantities, qualities, or quantities and qualities both together. Academic evaluation, quality control and accreditation are some of the main topics in online education on the agenda of higher education in the world. Research on online education shows us that online education is as powerful as face to face education if infrastructure of online education is prepared functionally. Quality standards have to be determined by comprehensive research in order to constitute functional infrastructure. But, there is some uncertainty about the quality for online education in reality. According to literature scan, there were no quality standards for online education in Turkey. Also, there is no obvious information about whether quality standards developed by other countries have been used for online education in Turkey. For that reason, quality standards must be determined for online education to guide how to constitute functional infrastructure at online education foundations. This study aims at providing opportunity pointed below for online education; • to examine where quality standards developed in the world, • to constitute public opinion about quality standards, • to reason for determining quality standards compatible with our own educational culture.
A fourth-order smoothing scheme for pricing barrier options under stochastic volatility
Authors: M. Yousuf
Venue: International Journal of Computer Mathematics (2009)

A discontinuity is introduced each time a barrier is applied, and standard smoothing schemes do not work well when used to solve problems with non-smooth payoff. An improved smoothing strategy was introduced in [M. Yousuf, Efficient Smoothing of Crank-Nicolson Method for Pricing Barrier Options Under Stochastic Volatility, Published Online: Jul 10, 2008, DOI: 10.1002/pamm.200700249, 1081101-1081102.] for smoothing A-stable Cranck-Nicolson scheme at each time a barrier is applied. In the present work, we are extending the results to develop a fourth order smoothing scheme for pricing barrier options under stochastic volatility. Partial differential equation approach is utilized for the valuation of complex option pricing models under stochastic volatility which brings major mathematical and computational challenges for estimation of stability of the estimates. Efficient parallel version of the scheme is constructed using splitting technique. Convergence table and graphs are given to demonstrate the performance of the smoothing scheme.
Apple Pro Training Series: Logic Pro 8 and Logic Express 8, 1st edition
Authors: David Nahmani
Venue:  (2007)

This brand-new Apple-certified guide, reconceived for Logic's new interface, uses all-new projects and media files to show you how to record, produce, and polish your musical creations with Apple's professional audio software. Veteran audio producer David Nahmani uses step-by-step, project-based instruction and straightforward explanations to teach everything from basic music creation to advanced production techniques.Using the book's DVD files and either Logic Pro 8 or Logic Express 8, you'll begin making music in the first lesson. From there, you'll learn to record audio and MIDI, edit sequences, master mixing techniques, and use Logic's software synthesizers, sampler, and digital signal processors to put the perfect aural polish on your audio creations. A special troubleshooting section helps you set up and optimize your studio and Logic system effectively. Whether you're looking to use your computer as a digital recording studio, create musical compositions and cutting-edge surround-sound mixes, or transfer that song in your head into living music, this comprehensive book/DVD combo will show you how. 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
ViewpointRetrospective: an axiomatic basis for computer programming
Authors: C.A.R. Hoare
Venue: Communications of the ACM (2009)

C.A.R. Hoare revisits his past Communications article on the axiomatic approach to programming and uses it as a touchstone for the future.
Situational maturity models as instrumental artifacts for organizational design
Authors: Tobias Mettler, Peter Rohner
Venue: Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology (2009)

In order to identify and explore the strength and weaknesses of particular organizational designs, a wide range of maturity models have been developed by both, practitioners and academics over the past years. However, a systematization and generalization of the procedure on how to design maturity models as well as a synthesis of design science research with the rather behavioural field of organization theory is still lacking. Trying to combine the best of both fields, a first design proposition of a situational maturity model is presented in this paper. The proposed maturity model design is illustrated with the help of an instantiation for the healthcare domain.
Golden annealing method for job shop scheduling problem
Authors: Juan Frausto-Solis, Felix Martinez-Rios
Venue: Proceedings of the 10th WSEAS international conference on Mathematical and computational methods in science and engineering (2008)

The representation of Job Shop Scheduling Problem (JSSP) as the well known Satisfiabilty Problem (SAT) is useful to find feasible schedules in an efficient way. One of the most efficient SAT codifications of JSSP is RSF (Reduced Sat Codification) which transforms any JSSP instance to a 3-SAT problem. In this paper a new method called GASAT (Golden Annealing with SAT codification) is presented. Starting with a random JSSP solution, GASAT finds its 1-SAT representation and evaluates whether it is feasible or not. Experimentation presented in the paper shows that both, the new codification and algorithm are more efficient than the ones previously reported.
Performance comparison of a single and multiband power amplifiers using IHP 0.25 &mu;m SIGe HBT technology
Authors: Mehmet Kaynak, Mehmet Uzunkol, Ibrahim Tekin, Yasar Gurbuz
Venue: International Journal of RF and Microwave Computer-Aided Engineering (2009)

In this work, a single-band power amplifier (PA) with a fixed-frequency-band output matching network and multiband PA with a switch-tuned output matching network is designed, using IHP (Innovations for High Performance), 0.25 &mu;m-SiGe HBT process. The behavior of the amplifiers has been optimized for 2.4 GHz (WLAN), 3.6 GHz (UWB-WiMAX), and 5.4 GHz (WLAN) frequency bands for a higher 1-dB compression point and efficiency. Multiband characteristics of the amplifier were obtained by using a MOS-based switching network. Two MOS switches were used for tuning the band of the output matching network. Postlayout simulations of the multiband-PA provided the following performance parameters: 1-dB compression point of 25.2 dBm, gain value of 36 dB, efficiency value of 12.8&percnt; operation and maximum output power of 26.8 dBm for the 2.4 GHz WLAN band, 1-dB compression point of 25.5 dBm, gain value of 32 dB, efficiency value of 13.3&percnt; and maximum output power of 26.6 dBm for the 3.6 GHz UWB-WiMAX band and 1-dB compression point of 24.8 dBm, gain value of 23 dB, efficiency value of 12.5&percnt; and maximum output power of 26.3 dBm for the 5.4 GHz WLAN band. For the fixed-band, at 3.6 GHz, the postlayout simulations resulted the following parameters: 1-dB compression point of 25.5 dBm, gain value of 32 dB, efficiency value of 18&percnt; and maximum output power value of 26.8 dBm. Measurement results of the single-band PA provided the following performance parameters: 1-dB compression point of 20.5 dBm, gain value of 23 dB and efficiency value of 7&percnt; operation for the 2.4 GHz band; 1-dB compression point of 25.5 dBm, gain value of 31.5 dB and efficiency value of 17.5&percnt; for the 3.6 GHz band; 1-dB compression point of 22.4 dBm, gain value of 24.4 dB and efficiency value of 9.5&percnt; for the 5.4 GHz band. Measurement results show that using multistage topologies and implementing each parasitic as part of the matching network component has provided a wider-band operation with higher output power levels, above 25 dBm, with SiGe:C process. These results proved that the PA, with switching-tunable output matching network, provides compatible performance parameters, when compared with the fixed-band PA. The ability of being capable of operation in different frequency bands with compatible performance parameters, when compared with fixed-band PA, multiband PA can be realized with additional less parasitics, area, and cost advantages. &copy; 2009 Wiley Periodicals, Inc. Int J RF and Microwave CAE, 2009.
Comparing spatial hypertext collections
Authors: J. Nathan Matias, David P. Williams
Venue: Proceedings of the 20th ACM conference on Hypertext and hypermedia (2009)

This paper proposes an approach to comparison of spatial hypertext collections which avoids becoming entangled in complexities of version management and merging. We also propose and illustrate principles for presenting comparisons of spatial hypertext without losing important implicit information. We argue that multiple view options, distinct areas for different collections, and dependency lists are all necessary if comparison is to retain the kinds of meaning fundamentally important to spatial hypertext.
Cmol crossnets as defect-tolerant classifiers
Authors: Jung Hoon Lee
Venue:  (2007)

Hybrid circuits consisting of a CMOS chip and add-on nanowire crossbar have gained much attention recently since this concept can compensate for the limited functionality of nanodevices fabricated with the reproducibility necessary for integrated circuits. In this concept, two perpendicular layers of nanowire of crossbar are connected with two-terminal latching switches formed at every cross point. In the 'CMOL' variety of hybrid circuits, each individual nanowire can be addressed individually from the CMOS subsystem through an interconnect pin. As a result, each latching switch can be turned on or off independently. The main advantage of such systems comes from the unprecedented density of the nanowire crossbar. According to our estimates, CrossNets-mixed-signal neuromorphic architectures, based on CMOL-may outperform the cerebral cortex in terms of areal density. This fact encouraged us to explore these CrossNets. This dissertation describes CrossNet-based Multi-Layer Perceptrons (MLP) with discrete and defective synapses, and in particular various options of their supervised training as pattern classifiers. The simplest training option here is "weight import"; after training a precursor network, synaptic weights are copied to the discrete synapses of CrossNets. This rule has been applied successfully to a large-scale benchmark task MNIST. However, weight import training with a precursor network may become impracticably slow when the required network size is too large. In order to train such large networks, weights should be computed inside a CrossNet without a precursor network. Our idea of such in-situ training algorithms is based on the stochastic multiplication, implemented with Cross-Net synapses. We have shown that the in-situ algorithm can be used to train CrossNet-based MLP to perform handwritten digit recognition. Moreover, the trained CrossNets have demonstrated high defect tolerance. We believe our research will help to design, in future, more complex (hierarchical/modular) systems working similarly to our brain. 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