17,825 Hits in 5.0 sec

An algebraic method for compressing symbolic data tables

Yannis Tzitzikas, Paula Brito, Monique Noirhomme-Fraiture
2006 Intelligent Data Analysis  
This paper proposes a novel technique for compressing a symbolic data table using the recently emerged Compound Term Composition Algebra.  ...  Although symbolic data tables summarize huge sets of data they can still become very large in size.  ...  material for Symbolic Data Analysis.  ... 
doi:10.3233/ida-2006-10404 fatcat:nzvnu2wcg5f4xcdbq6no6n2pdi

Sequencing two DNA templates in five channels by digital compression

M. Nelson, Y. Zhang, D. L. Steffens, R. Grabherr, J. L. Van Etten
1993 Proceedings of the National Academy of Sciences of the United States of America  
By applying algebraic coding methods to the Sanger dideoxynucleotide procedure, DNA sequences of two templates can be determined simultaneousl in only flve reactions and data channels.  ...  A 5:2 data compression is accomplished by instantaneous source coding of nucleotide sequence pairs into one set of 5-bit block codes.  ...  separable (8-10) data channels have been used for each DNA template.  ... 
doi:10.1073/pnas.90.5.1647 pmid:8446578 pmcid:PMC45936 fatcat:4oaqpz4ajbbh5ju2elewc37awi

Symbolic and spatial data analysis: Mining complex data structures

Paula Brito, Monique Noirhomme-Fraiture, Paula Brito, Monique Noirhomme-Fraiture
2006 Intelligent Data Analysis  
Symbolic data analysis There is an increasing need to extend standard exploratory, statistical and graphical data analysis methods to the case of more complex data, that go beyond the classical framework  ...  As a consequence, there is an increasing interest in extracting knowledge from large collections of data.  ...  They helped us in selecting the contributions for the workshop and in reviewing the papers for this special issue and thereby improve their quality.  ... 
doi:10.3233/ida-2006-10401 fatcat:3riethdrknhednuasj5nsmxmmq

AS-Index: A Structure for String Search Using n-Grams and Algebraic Signatures

Camelia Constantin, Cédric du Mouza, Witold Litwin, Philippe Rigaux, Thomas Schwarz
2016 Journal of Computer Science and Technology  
AS-index relies on a classical inverted file structure, its main innovation being a probabilistic search based on the properties of algebraic signatures used both for n-grams hashing and pattern search  ...  complemented by signature calculations, which is at the core of our search method.  ...  Data compression For AS-Index and n-gram index, the entries which are in the memory buckets are compressed before being written to the disk.  ... 
doi:10.1007/s11390-016-1618-6 fatcat:4nc66amurja5xowphvl4icn2zi

Handling identifies as internal symbols in language processors

Francis A. Williams
1959 Communications of the ACM  
Substitution of computer-oriented symbols for pro- grammer-oriented symbols in language processors is examined and a feasible method for doing so is presented.  ...  This general method of table creation is illustrated in the International Algebraic Language. This method has been restricted to handle external identifiers which fit in one word.  ... 
doi:10.1145/368336.368352 fatcat:kordjfbev5g5rh5w7qejvavjja

New model for compressive strength loss of lightweight concrete exposed to elevated temperatures

Ahmet Kurtoğlu, Derya Bakbak
2019 Thermal Science  
Database consisted a total number of 289 data points, used for generating training and testing datasets.  ...  For this purpose, a database of residual compressive strengths of fire exposed lightweight concrete was compiled from the literature.  ...  The change of operation type (e. g. mult. to div.) is possible by mutation in symbolic regression method such as changing an operation argument (e. g. change x+1 to x+x), adding an operation (e. g. change  ... 
doi:10.2298/tsci181030042k fatcat:ye7sq5pus5bb7agj7bv5gzvwqi

On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra

Yao Sun, Zhenyu Huang, Dongdai Lin, Dingkang Wang
2015 Journal of Systems Science and Complexity  
To use linear algebra for reductions, an important step is constructing matrices from critical pairs and existing polynomials by the Symbolic Preprocessing function (given in F4).  ...  In this paper, a method of implementing the Symbolic Preprocessing function over boolean polynomial rings is reported. The experimental data show this method is very efficient.  ...  Data structure There are two important data structures will be used: data structures for monomials and for the output of the Symbolic Preprocessing function.  ... 
doi:10.1007/s11424-015-4085-1 fatcat:k6evwnyc7vcjhntrkgbfd5er6q

Procedural embodiment and magic in linear equations

Rosana Nogueira de Lima, David Tall
2007 Educational Studies in Mathematics  
We consider the need for a theoretical framework that includes both embodiment and process-object encapsulation of symbolism and the need for communication of theoretical insights to address the practical  ...  How do students think about algebra?  ...  The data shows: 5. These students operate functionally in an embodied manner, mentally moving symbols around.  ... 
doi:10.1007/s10649-007-9086-0 fatcat:b6fzobm27nepdpuomfbpbjnaqa

Image Compression using Hybrid Method

Kadhim Hashim, Methaq Ali
2018 Journal of College of Education for Pure Science  
The large growth usage of internet rises the need to transfer and save multimedia files, therefore appeared need for compression methods that give better compression results.This paper presents a proposedlossy  ...  From the results of the comparison, the proposed image compression technique is better than other methods.  ...  Image compression includesreducing the typicallyhugeamount of data wanted to represent an image.  ... 
doi:10.32792/utq.jceps.08.03.10 fatcat:odwekxx3pnafndy4milrkxmtem

MFLP: Most Frequent Least Power Encoding [article]

Mehdi Taassori, Meysam Taassori, Sener Uysal
2013 arXiv   pre-print
Not only does this algorithm reduce the power consumption, but also it can compress the data.  ...  This approach dedicates the symbols with less ones to high probability data. MFLP unlike the most low power encoding does not rely on spatial redundancy.  ...  The symbols are produced by an algebraic operand between the previous and current data in algebraic methods such as Bus Invert coding.  ... 
arXiv:1301.6946v2 fatcat:2e23cmhqhfb27lftz77yny7qpu

Secure DNA data compression using algebraic curves

I. Soto, I. Jiron, A. Valencia, R. Carrasco
2015 Electronics Letters  
A system that achieves compression using artificial DNA packaging with the support of two algebraic curves is presented, whereby the Hermitian channel code algorithm introduces gain and safety.  ...  Additionally, performance results are presented with a gain of 7 dB against uncoded quadrature phase shift keying and 1 dB against McEliece, for a bit error rate of 10 −3 .  ...  DNA cryptosystem against McEliece cryptosystem Table 1 : 1 DNA encoder Symbols Code Symbols Code Symbols Code A 0α 2  ... 
doi:10.1049/el.2015.1226 fatcat:3ggbqi6m65e7df2kirr7og7jay

Multi-core and/or Symbolic Model Checking

Tom Van Dijk, Alfons Laarman, Jaco Van De Pol
2012 Electronic Communications of the EASST  
This forms an excellent basis for scalable parallel symbolic model checking.  ...  Our multi-core model checker is based on a scalable hash-table design and parallel random-walk traversal.  ...  Symbolic Reachability for Process Algebras with Recursive Data Types. In Fitzgerald et al. (eds.), Proc. Theoretical Aspects of Com- puting (ICTAC 2008).  ... 
doi:10.14279/tuj.eceasst.53.773 dblp:journals/eceasst/DijkLP12 fatcat:rl5gppktvbdrrnissitxywxpte

The design of an adaptive on-line binary arithmetic-coding chip

Shiann-Rong Kuang, Jer-Min Jou, Yuh-Lin Chen
1998 IEEE Transactions on Circuits and Systems I Fundamental Theory and Applications  
Owing to these novel designs, the designed chip can compress any type of data with an efficient compression ratio.  ...  In this paper, we present a very large scale integration (VLSI) design of the adaptive binary arithmetic coding for lossless data compression and decompression.  ...  ., for fabricating the arithmetic-coding chip and the Computer and Communication Laboratory, Industry Technology Research Institute, R.O.C, for providing the 0.8-m SPDM cell library.  ... 
doi:10.1109/81.703836 fatcat:73hsl6xuzbafhk7n7tvonehzhu

Using symbolic algebra in algorithmic level DSP synthesis

Armita Peymandoust, Giovanni De Micheli
2001 Proceedings of the 38th conference on Design automation - DAC '01  
In this paper, we show how symbolic algebra can be used to construct an arithmetic-level decomposition algorithm.  ...  We also introduce our tool, SymSyn, that performs arithmetic library mapping and optimization of data-flow descriptions into data paths using arithmetic components. c c c c z  ...  This tolerance can be used to approximate non-polynomials data flows to polynomial representations, which are well-suited inputs for our tool SymSyn.  ... 
doi:10.1145/378239.378485 dblp:conf/dac/PeymandoustM01 fatcat:hka2wdzdsfeqbpiwt2qe5ldnty

Pretrained Language Models are Symbolic Mathematics Solvers too! [article]

Kimia Noorbakhsh, Modar Sulaiman, Mahdi Sharifi, Kallol Roy, Pooyan Jamshidi
2021 arXiv   pre-print
These large transformer models need humongous amounts of training data to generalize to unseen symbolic mathematics problems.  ...  Finally, we study the robustness of the fine-tuned model on symbolic math tasks against distribution shift, and our approach generalizes better in distribution shift scenarios for the function integration  ...  In contrast to the other two methods, the IBP approach uses the integration by parts formula to generate samples that do not need an external computer algebra framework, but in terms of the equation lengths  ... 
arXiv:2110.03501v2 fatcat:ubuwafhi7ja2bfbkhdrq7vjrbq
« Previous Showing results 1 — 15 out of 17,825 results