Register | Log in | FAQ      [?] 

Tag arithmetic [92 articles]

Recent papers classified by the tag arithmetic.
  • Ordinal Arithmetic with List Structures
    (1992), pp. 117-126.
    by Nachum Dershowitz, Edward M Reingold
    posted to arithmetic ordinals by zednenem on 2007-07-30 06:48:31 as read
  • Duality, Ambiguity, and Flexibility: A "Proceptual" View of Simple Arithmetic
    Journal for Research in Mathematics Education, Vol. 25, No. 2. (1994), pp. 116-140.
    by Eddie M Gray, David O Tall
  • The Cognitive Complexity of Learning and Doing Arithmetic
    Journal for Research in Mathematics Education, Vol. 23, No. 5. (1992), pp. 441-467.
    by Stellan Ohlsson, Andreas M Ernst, Ernest Rees
  • The Adidactic Interaction with the Procedures of Peers in the Transition from Arithmetic to Algebra: A Milieu for the Emergence of New Questions
    Educational Studies in Mathematics, Vol. 59, No. 1-3. (July 2005), pp. 85-112.
    by Patricia Sadovsky, Carmen Sessa
  • Collaborative Teaching and Making Sense of Symbols: Comment on Lampert's "Knowing, Doing, and Teaching Multiplication"
    by James G Greeno
  • How performing a mental arithmetic task modify the regulation of centre of foot pressure displacements during bipedal quiet standing
    (13 Feb 2008)
    by Nicolas Vuillerme, Hervé Vincent
    posted to arithmetic stabilogram by sherdim on 2008-02-20 13:09:50 as *** along with 1 group EPLab
  • Selecting between Competitors in Multiplication Tasks: An Explanation of the Errors Produced by Adolescents with Learning Difficulties
    International Journal of Behavioral Development, Vol. 21, No. 2. (1 August 1997), pp. 253-275.
    by Pierre Barrouillet, Michel Fayol, Eric Lathuliere
    posted to pathology error arithmetic by sherdim on 2008-06-03 18:12:53 as ** along with 1 group EPLab
  • Predicting arithmetical achievement from neuro-psychological performance: a longitudinal study
    Cognition, Vol. 68, No. 2. (August 1998), pp. B63-B70.
    by Michel Fayol, Pierre Barrouillet, Catherine Marinthe
    posted to arithmetic by sherdim on 2008-06-03 18:09:09 as ** along with 1 group EPLab
  • Group differences in adult simple arithmetic: Good retrievers, not-so-good retrievers, and perfectionists
    Memory & Cognition, Vol. 34, No. 1. (January 2006), pp. 207-216.
    by Steven A Hecht
    posted to arithmetic by sherdim on 2008-06-03 18:07:33 as ** along with 1 group EPLab
  • From algorithmic computing to direct retrieval: evidence from number and alphabetic arithmetic in children and adults.
    Memory & cognition, Vol. 26, No. 2. (March 1998), pp. 355-368.
    posted to arithmetic by sherdim on 2008-06-03 18:00:01 as ** along with 1 group EPLab
  • Effect of time of day on arithmetic fact retrieval in a number-matching task
    Acta Psychologica, Vol. 127, No. 2. (February 2008), pp. 485-490.
    by Marco Fabbri, Vincenzo Natale, Ana Adan
    posted to arithmetic circadian regime working_memory by sherdim on 2008-01-24 23:30:03 as **
  • Electrophysiological evidence for notation independence in numerical processing
    Behavioral and Brain Functions, Vol. 3 (10 January 2007), 1.
    by Melissa E Libertus, Marty G Woldorff, Elizabeth M Brannon
    posted to numeric erp arithmetic by sherdim on 2008-05-08 16:03:34 as read along with 1 group EPLab
  • On the scheme of induction for bounded arithmetic formulas
    Annals of Pure and Applied Logic, Vol. 35 (1987), pp. 261-302.
    by A Wilkie, J Paris
  • Godel's Second Incompleteness Theorem for Q
    The Journal of Symbolic Logic, Vol. 41, No. 2. (1976), pp. 503-512.
    posted to arithmetic godel kreisel logic by rzach on 2005-05-30 18:08:33 as read along with 1 group LogicPhilMath
  • Cuts, Consistency Statements and Interpretations
    The Journal of Symbolic Logic, Vol. 50, No. 2. (1985), pp. 423-441.
    by Pavel Pudlak
    posted to arithmetic godel logic by rzach on 2005-05-30 18:05:38 as read along with 1 group LogicPhilMath
  • Young childrens arithmetic strategies in social context: How parents contribute to childrens strategy development while playing games
    International Journal of Behavioral Development, Vol. 28, No. 4. (July 2004), pp. 347-357.
  • Realistic considerations in mathematical modeling of school arithmetic word problems
    Learning and Instruction, Vol. 4, No. 4. (1994), pp. 273-294.
    by Lieven Verschaffel, Erik De Corte, Sabien Lasure
  • Arithmetical thinking in children attending special schools for the intellectually disabled
    The Journal of Mathematical Behavior, Vol. In Press, Corrected Proof
    by Göta Eriksson
  • Numeral Writing Skill and Elementary Arithmetic Mental Calculations
    Scandinavian Journal of Educational Research, Vol. 49, No. 1. (February 2005), 3.
    by Bo Johansson
  • Number-word sequence skill and arithmetic performance
    Scandinavian Journal of Psychology, Vol. 46, No. 2. (April 2005), pp. 157-167.
  • Fast, Accurate Static Analysis for Fixed-Point Finite-Precision Effects in DSP Designs
    (2003)
    by Claire F Fang, Rob A Rutenbar, Tsuhan Chen
    posted to arithmetic by rblake on 2007-12-14 17:58:11 as read
  • Precise computation using range arithmetic, via C++
    ACM Trans. Math. Softw., Vol. 18, No. 4. (December 1992), pp. 481-491.
    by Oliver Aberth, Mark J Schaefer
    posted to arithmetic by rblake on 2007-12-14 17:49:50 as read
  • Deciding Presburger arithmetic by model checking and comparisons with other methods
    (2002)
    by V Ganesh, S Berezin, D Dill
    posted to arithmetic checking model presburger sat by pmatos on 2005-05-11 17:31:26 as ***
  • Counting the solutions of Presburger equations without enumerating them
    Theor. Comput. Sci., Vol. 313, No. 1. (February 2004), pp. 17-29.
    by Bernard Boigelot, Louis Latour
    posted to arithmetic counting enumeration presburger sat by pmatos on 2005-11-29 16:34:26 as *****
  • SUPER-EXPONENTIAL COMPLEXITY OF PRESBURGER ARITHMETIC
    (1974)
    by MJ Fischer, MO Rabin
    posted to algorithms arithmetic presburger sat by pmatos on 2005-11-29 16:29:35 as ****
  • On Solving Presburger and Linear Arithmetic with SAT
    Lecture Notes in Computer Science, Vol. 2517 (January 2002), pp. 160-169.
    by Ofer Strichman
    posted to arithmetic linear presburger sat by pmatos on 2005-04-19 11:34:54 as *****
  • A floating-point FPGA-based self-tuning regulator
    Industrial Electronics, IEEE Transactions on, Vol. 53, No. 2. (2006), pp. 693-704.
    by Z Salcic, Jiaying Cao, Sing K Nguang
    posted to 732 arithmetic floating_point reconfigurable by peskin on 2008-01-29 11:38:49 as **
  • Les Houches Lectures on Strings and Arithmetic
    (8 Dec 2007)
    by Gregory W Moore
    posted to arithmetic les_houches strings by NitinCR on 2007-12-11 22:15:42 as **
  • Flexible reconfigurable multiplier blocks suitable for enhancing the architecture of FPGAs
    Custom Integrated Circuits, 1999. Proceedings of the IEEE 1999 (1999), pp. 191-194.
    by SD Haynes, AB Ferrari, PYK Cheung
  • A flexible multiplication unit for an FPGA logic block
    Circuits and Systems, 2001. ISCAS 2001. The 2001 IEEE International Symposium on, Vol. 4 (2001), pp. 546-549 vol. 4.
    posted to arithmetic fpga multiplier xilinx by nathalie on 2005-06-22 06:18:49 as read
  • Closing the Gap: CPU and FPGA Trends in Sustainable Floating-Point BLAS Performance
    (2004), pp. 219-228.
    by Keith D Underwood, Scott S Hemmert
    posted to arithmetic floating_point fpga matrix printed xilinx by nathalie on 2005-06-16 23:47:04 as read
  • A reconfigurable multiplier array for video image processing tasks, suitable for embedding in an FPGA structure
    FPGAs for Custom Computing Machines, 1998. Proceedings. IEEE Symposium on (1998), pp. 226-234.
    by SD Haynes, PYK Cheung
  • Exploring multiplier architecture and layout for low power
    Custom Integrated Circuits Conference, 1996., Proceedings of the IEEE 1996 (1996), pp. 513-516.
    by P Meier, R Rutenbar, L Carley
    posted to architecture arithmetic multiplier power by nathalie on 2005-06-08 22:21:43 as ****
  • A Library of Parameterized Floating-Point Modules and Their Use
    12th International Conference on Field-Programmable Logic and Applications 2002 (2002), pp. 657-666.
    by Pavle Belanovic, Miriam Leeser
    posted to arithmetic floating_point fpga parametrized xilinx by nathalie on 2005-06-17 23:20:59 as read
  • An FPGA architecture with enhanced datapath functionality
    (2003), pp. 195-204.
    by Katarzyna Leijten-Nowak, Jef L van Meerbergen
    posted to architecture arithmetic dsp for_thesis fpga fpl_paper printed by nathalie on 2006-02-16 21:05:42 as read
  • Low power parallel multipliers
    VLSI Signal Processing, IX, 1996., [Workshop on] (1996), pp. 199-208.
    posted to arithmetic multiplier power printed vlsi by nathalie on 2005-05-16 22:21:23 as **
  • The "quiet" state-a new approach to low-power multiplier design
    Signals, Systems and Computers, 2003. Conference Record of the Thirty-Seventh Asilomar Conference on, Vol. 2 (2003), pp. 2222-2226 Vol.2.
    posted to activity arithmetic for_thesis multiplier power by nathalie on 2006-10-02 05:07:12 as **
  • Reducing transition counts in arithmetic circuits
    Low Power Electronics, 1994. Digest of Technical Papers., IEEE Symposium (1994), pp. 64-65.
    by M Ercegovac, T Lang
    posted to arithmetic power sign_detection by nathalie on 2005-06-08 20:24:11 as **
  • Low-power high-performance arithmetic circuits and architectures
    Solid-State Circuits, IEEE Journal of, Vol. 37, No. 1. (2002), pp. 90-94.
    by A Fahim, M Elmasry
  • Tradeoffs of Designing Floating-Point Division and Square Root on Virtex FPGAs
    (2003)
    by Xiaojun Wang, Brent E Nelson
    posted to arithmetic division floating_point fpga xilinx by nathalie on 2005-06-17 19:22:27 as ****
  • Accelerating pipelined integer and floating-point accumulations in configurable hardware with delayed addition techniques
    Computers, IEEE Transactions on, Vol. 49, No. 3. (2000), pp. 208-218.
    by Z Luo, M Martonosi
  • Architectural power analysis: The dual bit type method
    Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 3, No. 2. (1995), pp. 173-187.
    by PE Landman, JM Rabaey
  • notes Synthesis of low power linear DSP circuits using activity metrics
    VLSI Design, 1994., Proceedings of the Seventh International Conference on (1994), pp. 265-270.
    by A Chatterjee, RK Roy
    posted to adder arithmetic dsp multiplier power power_estimation printed synthesis by nathalie on 2006-03-05 01:39:45 as read
  • Wordlength as an Architectural Parameter for Reconfigurable Computing Devices
    (2002), pp. 667-676.
    by Tony Stansfield
  • Reduced power dissipation through truncated multiplication
    Low-Power Design, 1999. Proceedings. IEEE Alessandro Volta Memorial Workshop on (1999), pp. 61-69.
    by M Schulte, J Stine, J Jansen
    posted to arithmetic multiplier power by nathalie on 2005-06-09 00:46:51 as read
  • Mechanizing Verification of Arithmetic Circuits: SRT Division
    (1997), pp. 103-122.
    by Deepak Kapur, Mahadevan Subramaniam
    posted to arithmetic division by nathalie on 2005-09-11 02:39:23 as **
  • FPGA adders: performance evaluation and optimal design
    Design & Test of Computers, IEEE, Vol. 15, No. 1. (1998), pp. 24-29.
    by Shanzhen Xing, W Yu
    posted to adder arithmetic fpga xilinx by nathalie on 2005-05-18 21:58:54 as read
  • Analysis and comparison on full adder block in submicron technology
    Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 10, No. 6. (2002), pp. 806-823.
    by M Alioto, G Palumbo
    posted to adder arithmetic power vlsi by nathalie on 2005-06-08 23:59:55 as **
  • Overview of the FREEDOM compiler for mapping DSP software to FPGAs
    Field-Programmable Custom Computing Machines, 2004. FCCM 2004. 12th Annual IEEE Symposium on (2004), pp. 37-46.
    by D Zaretsky, M Mittal, Xiaoyong Tang, P Banerjee
    posted to arithmetic dsp for_thesis fpga fpl_paper printed xilinx by nathalie on 2006-02-10 19:29:03 as **
  • Theoretical Analysis of Word-Level Switching Activity in the Presence of Glitching and Correlation
    (1999)
    by Janardhan H Satyanarayana, Keshab K Parhi
    posted to arithmetic dsp for_thesis multiplier power power_estimation by nathalie on 2006-04-18 16:58:07 as **
  • Note: You may cite this page as: http://www.citeulike.org/tag/arithmetic

    Result page: 1 2 Next RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.