ppxscal/embedding_network huggingface dataset:
On detecting faults for Boolean expressions
Authors: T. Y. Chen, M. F. Lau, K. Y. Sim, C. A. Sun
Venue: Software Quality Control (2009)

Fault based testing aims at detecting hypothesized faults based on specifications or program source. There are some fault based techniques for testing Boolean expressions which are commonly used to model conditions in specifications as well as logical decisions in program source. The MUMCUT strategy has been proposed to generate test cases from Boolean expressions. Moreover, it detects eight common types of hypothesized faults provided that the original expression is in irredundant disjunctive normal form, IDNF. Software practitioners are more likely to write the conditions and logical decisions in general form rather than IDNF. Hence, it is interesting to investigate the fault detecting capability of the MUMCUT strategy with respect to general form Boolean expressions. In this article, we perform empirical studies to investigate the fault detection capability of the MUMCUT strategy with respect to general form Boolean expressions as well as mutated expressions. A mutated expression can be obtained from the original given Boolean expression by making a syntactic change based on a particular type of fault.
Dialect classification for online podcasts fusing acoustic and language based structural and semantic information
Authors: Rahul Chitturi, John H. L. Hansen
Venue: Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics on Human Language Technologies: Short Papers (2008)

The variation in speech due to dialect is a factor which significantly impacts speech system performance. In this study, we investigate effective methods of combining acoustic and language information to take advantage of (i) speaker based acoustic traits as well as (ii) content based word selection across the text sequence. For acoustics, a GMM based system is employed and for text based dialect classification, we proposed n-gram language models combined with Latent Semantic Analysis (LSA) based dialect classifiers. The performance of the individual classifiers is established for the three dialect family case (DC rates vary from 69.1%--72.4%). The final combined system achieved a DC accuracy of 79.5% and significantly outperforms the baseline acoustic classifier with a relative improvement of 30%, confirming that an integrated dialect classification system is effective for American, British and Australian dialects.
Effect of combining Muller-Lyer and horizontal vertical illusions
Authors: Lopamudra Choudhury, Subhrangsu Aditya, Bidyut Baran Chaudhuri
Venue: International Journal of Computational Vision and Robotics (2009)

Muller-Lyer (ML) illusion and horizontal-vertical (HV) illusion are two of the most well-known geometrical illusions in simple line drawing. We conducted psychophysical experiments on adult human subjects using geometric shapes consisting of a combination of the components of ML-illusion as well as HV-illusion. Our findings suggest that the arrow (&rarr;) or fork (&minus;&#60;) junctions of ML-illusion and inverted 'T' junction (&perp;) of HV-illusion continue to have their implicit effects on the perceptual judgement of relative length of two line segments in their vicinity even when the task does not explicitly require our subjects to pay attention to such configurations. Cognitive psychologists have proposed perspective or depth cue based theories to explain these illusions. However, our findings seem to reveal inadequacy of these theories. Hence, we have proposed an alternative model for scene analysis that can be tested and implemented using artificial neural network and computer vision systems.
A note on intervals of residuated ℓ-groupoids
Authors: I. Chajda, J. Kühr
Venue: Fuzzy Sets and Systems (2009)

Dvurecenskij and Hycko recently proved that every interval of a bounded integral divisible residuated @?-monoid can be made into a bounded integral residuated @?-monoid. In this note we show that this construction essentially works in the more general setting of integral residuated @?-groupoids, and that divisibility is not only sufficient but also necessary.
Computer studies of molecular air flow around a circular cylinder
Authors: Donald Greenspan
Venue: Computers Mathematics with Applications (2009)

Molecular flow of air around a right circular cylinder is simulated using a molecular mechanics formulation. Flows around right circular sections of different radii are studied as are flows into vacuum and nonvacuum areas. Molecular dispersion is described as the generation of wake vortices.
Hypothesis testing in rank-size rule regression
Authors: Yoko Konishi, Yoshihiko Nishiyama
Venue: Mathematics and Computers in Simulation (2009)

This note examines testing methods for Paretoness in the framework of rank-size rule regression. Rank-size rule regression describes a relationship found in the analysis of various topics such as city population, words in texts, scale of companies and so on. In terms of city population, it is basically an empirical rule that log@?(S"("i")) is approximately a linear function of log@?(i) where S"("i") is the number of population of ith largest city in a country. This is closely related to the so-called Zipf's law. It is known that this kind of empirical observation is found when the city population is a random variable following a Pareto distribution. Thus one may be willing to test if city size has a Pareto distribution or not. Rosen and Resnick [K.T. Rosen, M. Resnick, The size distribution of cities: an explanation of the Pareto law and primacy, Journal of Urban Economics 8 (1980), 165-186] and Soo [K.T. Soo, Zipf's law for cities: a cross country investigation, Regional Science and Urban Economics (35) 2005, 239-263] regress log@?(S"("i")) on log@?(i) and log@?^2(i) and test the null of Paretoness by standard t-test for the latter regressor. It is found that t-statistics take large values and the Paretoness is rejected in many countries. We study the statistical properties of the t-statistic and show that it explodes asymptotically, in fact, by simulation and thus the t-test does not provide a reasonable testing procedure. We propose an alternative test statistic which seems to be asymptotically normally distributed. We also propose a test with the null hypothesis that the city size distribution is Pareto with exponent unity, which is a modification of the F-test.
Automatic recognition system for pejibaye palm DNA using SVM
Authors: Carlos M. Travieso, Juan C. Briceno, Jose L. Vasquez, Javier Vasquez, Elena Castillo
Venue: Proceedings of the 2nd conference on European computing conference (2008)

This paper account for a correct DNA simplified sound, and inexpensive parameterization of pejibaye palm races, and a SVM automatic correct classifier obtaining 100% classes identification. The biochemical proposed parameterization, based on 89 RAPD primer markers applied on haplotypes of pejibaye races, has been proved correct by the classifier rate success. Previous result leads to a substantial description reduction over the DNA total chain description. Finally the interesting combination of this techniques (biochemical and computational), gives rise to a formulation of an inexpensive and handy method of origin denomination plant certification.
Leveraging Drupal: Getting Your Site Done Right
Authors: Victor Kane
Venue:  (2009)

This book is a step-by-step guide and a hands-on co-piloted experience for those trying to make Drupal powered websites work for them, and for their clients. Much more than a "tutorial", what is needed is a nuts-and-bolts living mentor and guide which really shows the reader how to do the things really required for bringing it all together in a site which works. This will be the only book covering all the difficult components of Drupal: views, panels, themes, content creation, etc. The book will cover: * How to upgrade your hopelessly outdated and obsolete-software dependent site and bring it into the Drupal mainstream and future * How to become a great Drupal themer and make "non-Drupal" looking sites * How to really customize Drupal for your real needs * How to start using best practices in Drupal web application development * How to work like the pro Drupal shops and be ready for big projects - and small ones * Learn by example (code samples, theme samples, videos) at every step
Hierarchical Organization of Agents Based on Galois Sub-Hierarchy for Complex Tasks Allocation in Massive MAS
Authors: Zaki Brahmi, Mohamed Mohsen Gammoudi
Venue: Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications (2009)

A major challenge in the field of Multi-Agent Systems is to enable autonomous agents to allocate tasks efficiently. In previous work, we have developed a decentralized and scalable method for complex tasks allocation for Massive Multi-Agent System (MMAS) based on two steps: 1) hierarchical organization of agent groups using Formal Concepts Analysis approach (FCA), 2) computing the optimal allocation. The first step is computed by one agent named global allocator that computes Galois lattice representing the hierarchical structure of agent groups. Then, it simplifies the completed lattices by pruning unnecessary groups. The second step distributes the tasks allocation process among all agent groups. Nevertheless, the hierarchical organization process is still centralized. Moreover, generation of Galois lattice composed by all concepts (2 min(|O|,|A|) concepts in the worst cases. Where 0 and A means, respectively, the set of objects and the set of attributs) and then simplification of the hierarchy of such size are not useful. This paper extends our last approach to distribute the organization process of agent groups among all agents by providing extension to the Pulton algorithm that generates Galois Sub-Hierarchy which is a polynomial size representation of a concept lattice. This decentralized self-organization of agents provides a flexible infrastructure for agents' dynamicity in MMAS.
Probabilistic frequent itemset mining in uncertain databases
Authors: Thomas Bernecker, Hans-Peter Kriegel, Matthias Renz, Florian Verhein, Andreas Zuefle
Venue: Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining (2009)

Probabilistic frequent itemset mining in uncertain transaction databases semantically and computationally differs from traditional techniques applied to standard "certain" transaction databases. The consideration of existential uncertainty of item(sets), indicating the probability that an item(set) occurs in a transaction, makes traditional techniques inapplicable. In this paper, we introduce new probabilistic formulations of frequent itemsets based on possible world semantics. In this probabilistic context, an itemset X is called frequent if the probability that X occurs in at least minSup transactions is above a given threshold τ. To the best of our knowledge, this is the first approach addressing this problem under possible worlds semantics. In consideration of the probabilistic formulations, we present a framework which is able to solve the Probabilistic Frequent Itemset Mining (PFIM) problem efficiently. An extensive experimental evaluation investigates the impact of our proposed techniques and shows that our approach is orders of magnitude faster than straight-forward approaches.
Experimental and computational imaging applications: spectral imaging for brain function, and micromagnetics
Authors: Joseph A. O'Sullivan
Venue:  (2008)

This work describes two imaging applications. The first involves optically measuring brain activity in mice. Neural activity in any mammalian brain can be indirectly mapped by measuring related changes in blood flow, volume and oxygenation. Hemodynamic-based &ldquo;neuroimaging&rdquo; is widely performed non-invasively in humans using magnetic resonance imaging and positron emission tomography. If the brain is exposed, neuroimaging with much higher temporal and spatial resolution can be performed optically with video recording. This approach currently has limited use with humans, but it is frequently applied to characterize cortical activity in animals. The brain surface is typically illuminated with white light and imaged through an optical filter whose spectral profile emphasizes changes in red blood cell (RBC) oxygenation (red profile) or RBC volume (green profile). This work describes the design, characterization and testing of an instrument built to image the brains of mice with greater spectral resolution. It consists of a fixed magnification &ldquo;standard&rdquo; imager, similar to video microscopes used by other researchers, and a type of Fourier transform interferometer called the digital array scanning interferometer (DASI). Both systems view the sample at the same time, permitting direct comparison of the novel DASI approach with techniques typically found in the literature. This instrument was used to measure the response in anesthetized mice to whisker stimulation. The results show that although the DASI is capable of detecting this response, its ability to image the response in two-dimensions is limited. The second imaging application described in this work involves micromagnetics, which refers to modeling the behavior of magnetic recording media. An implementation of a micromagnetic model is used to simulate recording films, and the simulated response of a magnetic force microscope (MFM) to these films is computed. An MFM is a modified atomic force microscope (AFM) that raster scans a magnetic probe over a sample surface in order to measure the sample's stray field. MFM imagery provides limited information about the sample magnetization. This work outlines a new technique for determining sample magnetization from MFM imagery in the context of the micromagnetic recording model.
Making sense of revision-control systems
Authors: Bryan O'Sullivan
Venue: Communications of the ACM (2009)

All revision-control systems come with complicated sets of trade-offs. How do you find the best match between tool and team?
AOEX: An Agent-Based Exception Handling Framework for Building Reliable, Distributed, Open Software Systems
Authors: Susan Entwisle, Seng Loke, Shonali Krishnaswamy, Elizabeth Kendall
Venue: Proceeding of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering (2006)

Motivated by the lack of an exception handling mechanism that is adequate to design and implement reliable, distributed, open software systems we introduce our novel agent-based approach to exception handling. We present the basic concepts and state-of-the-art in exception handling research. Based on this a set of requirements are formulated that define the agent-based exception handling framework, known as AOEX. System architecture is proposed for these requirements.
Novel Tools for Assessing Student Discussions: Modeling threads and participant roles using speech act and course topic analysis
Authors: Jihie Kim, Erin Shaw, Grace Chern, Roshan Herbert
Venue: Proceeding of the 2007 conference on Artificial Intelligence in Education: Building Technology Rich Learning Contexts That Work (2007)

This paper describes new techniques for assessing pedagogical discourse via threaded discussions that are based on an analysis of speech acts and course topics. The context is an undergraduate computer science course. We use speech act analysis to assess the effect of instructor participation on student participation and to create thread profiles that help identify threads characterized by agreement, debate, and unresolved issues, such as threads that may have unanswered questions. For the first time, we integrate an analysis of course topics to help identify discussions of particular interest or confusion.
Evidence elimination in multi-agent justification logic
Authors: Bryan Renne
Venue: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (2009)

This paper presents a logic combining Dynamic Epistemic Logic, a framework for reasoning about multi-agent communication, with a new multi-agent version of Justification Logic, a framework for reasoning about evidence and justification. This novel combination incorporates a new kind of multi-agent evidence elimination that cleanly meshes with the multi-agent communications from Dynamic Epistemic Logic, resulting in a system for reasoning about multi-agent communication and evidence elimination for groups of interacting rational agents.
Patterns, complexity and the lingua democratica; introducing a pattern-oriented approach to complexity
Authors: Kees P. Pieters
Venue: Proceedings of the 10th WSEAS international conference on Automation & information (2009)

Interdisciplinary or trans-disciplinary research is becoming more common and their importance is increasingly being recognized. However, in practice many of these efforts tend to end up in more or less isolated activities around a common theme. Successful forms of cross-domain interactions may be feasible as long as the stakeholders that team up around a certain research theme share a common vocabulary. However, the risk of fragmentation becomes greater when they have little in common and so cross-domain research that involves contributions from the hard sciences and the humanities are relatively rare. Besides a willingness to be open for each other's contributions, one of the biggest challenges for the success of such efforts is to find a common vocabulary that can be recognized and shared by all the parties involved. Such a vocabulary could contribute to a lingua democratica, a consensual and cooperative means of sharing knowledge amongst domains. This paper aims to draw attention to the concept of patterns and pattern libraries as means to create such shared vocabularies. A number of patterns, based on the concept of feedback, will be introduced from the often very abstract research area of computational intelligence and related areas. These patterns aim to transform and condense some essential characteristics of feedback in such a way that, hopefully, they may become more or less accessible for other scientific disciplines. The resulting 'pattern-oriented approach to complexity' (PAC) aims to address the necessarily interdisciplinary nature of complexity, not by cross-domain criticism, but rather by attempting to achieve certain synthesis.
The Development of ClassSim: a Simulated Learning Environment to Support the Practicum Experience for Pre-Service Teachers
Authors: Brian Ferry, Lisa Kervin, John Hedberg, David Jonassen, Brian Cambourne, Jan Turbill, Lisa Carrington
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)

This paper reports on an online simulation designed to support pre-service teachers' practicum experiences in the important area of literacy teaching. The purpose of the simulation was to develop pre-service teacher understanding of complex classroom situations associated with the teaching of literacy by giving them the opportunity to work within a virtual environment. Our trials of this software have revealed that it has provided pre-service teachers with time to think critically about complex teaching situations which relied on the teacher's ability to respond to children's experiences, engage with them in dialogue and negotiation as well as utilise a range of indirect instructions such as questioning, modelling and prompting. Pre-service teachers have acknowledged that their experience with the simulation helped them to make their practicum experience more focused by giving them the knowledge and experience to more fully appreciate the impact of subtle changes that experienced teachers made during lessons.
Realized volatility of index constituent stocks in Hong Kong
Authors: Ying-Foon Chow, James T. K. Lam, Hinson S. Yeung
Venue: Mathematics and Computers in Simulation (2009)

High-frequency financial data are useful for studying the statistical properties of asset returns at lower frequencies, and they have been widely used to study various market microstructure related issues. However, most studies to date have been concentrated on markets in developed economies such as the stock markets in US or UK. This article aims to investigate the statistical properties of stock return volatility in Hong Kong. Using the sample of constituent stocks of Hang Seng Index (HSI) and Hang Seng China Enterprises Index (HSCEI or ''H-shares Index''), we found that the mean daily realized volatilities of HSCEI stocks to be significantly higher than their HSI counterpart, while the correlations between H-shares stay relatively lower than that of HSI stocks. A long-memory effect is also reported for the logarithmic standard deviations of all shares, with most of them showing slow decay over the series.
A Novel Intuitive GUI Method for User-Friendly Operation
Authors: Kohei Sugawara, Rikio Maruta
Venue: Proceeding of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07 (2007)

A novel Push-Pin icon is introduced as an intuitive graphical user interface (GUI) in associations from free layouts of printed paper sheets on a pin-up board. It is shown that necessary commands for GUI implementation can be represented by Push-Pin states. Detailed state transition diagrams for actual GUI implementation based on this icon are given. Superiority of the new GUI method to the conventional one was demonstrated in a typical application. It is firmly believed that use of the proposed method will significantly improve work efficiency of computer users.
Computational study of 1-Butyl-3-methylimidazolium tetrafluoroborate ionic liquid-water system
Authors: Silvia Patachia, Catalin Croitoru, Christian Friedrich
Venue: Proceedings of the 10th WSEAS international conference on Mathematical and computational methods in science and engineering (2008)

Ionic liquids [ILs] are a class of "green" organic solvents with a large pleads of applications. The complex interactions that occur between the water molecules and ions coming from ionic liquids define their behaviour in different situations. In this work, some aspects regarding the behaviour of 1-Butyl-3-Methylimidazolium Tetrafluoroborate ionic liquid in water have been simulated with specialized software and correlated with existent experimental data, in order to understand better the complexity of the ionic liquid-water system and to define future applications.