新規登録 | ログイン | FAQ      [?] 

タグ: arithmetic [98 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
  • Forcing on Bounded Arithmetic II
    The Journal of Symbolic Logic, Vol. 63, No. 3. (1998), pp. 860-868.
    by Gaisi Takeuti, Masahiro Yasumoto
    posted to arithmetic bounded print by yoriyuki on 2007-12-26 10:33:57 as **
  • A New Proof of the Weak Pigeonhole Principle
    Journal of Computer and System Sciences, Vol. 64, No. 4. (June 2002), pp. 843-872.
    by Alexis Maciel, Toniann Pitassi, Alan R Woods
    posted to arithmetic bounded by yoriyuki on 2008-01-24 08:51:03 as **
  • The complexity of the Pigeonhole Principle
    Combinatorica, Vol. 14, No. 4. (1 December 1994), pp. 417-433.
    by M Ajtai
    posted to arithmetic bounded by yoriyuki on 2007-12-26 10:17:18 as ** along with 1 person msakai
  • Counting problems in bounded arithmetic
    Methods in Mathematical Logic (1985), pp. 317-340.
    by J Paris, A Wilkie
    posted to arithmetic bounded by yoriyuki on 2007-12-26 10:14:24 as **
  • Diophantine Equations, Presburger Arithmetic and Finite Automata
    (1996), pp. 30-43.
    by Alexandre Boudet, Hubert Comon
    posted to arithmetic presburger by yoriyuki on 2008-01-09 02:29:11 as ***
  • Online proof-producing decision procedure for mixed-integer linear arithmetic
    (2002)
    by S Berezin, V Ganesh, D Dill
    posted to arithmetic presburger by yoriyuki on 2008-01-09 02:06:52 as ***
  • A certified, corecursive implementation of exact real numbers
    Theoretical Computer Science, Vol. 351, No. 1. (14 February 2006), pp. 39-51.
    by Alberto Ciaffaglione, Pietro Di Gianantonio
    posted to arithmetic exact real by yoriyuki on 2008-04-21 02:16:23 as ** along with 1 person msakai
  • 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
    posted to arithmetic bounded by yoriyuki on 2008-04-17 02:58:39 as ** along with 1 person and 1 group rzach LogicPhilMath
  • Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
    Archive for Mathematical Logic, Vol. 46, No. 3. (23 April 2007), pp. 281-287.
    by Shunsuke Yatabe
    posted to weak print logic in arithmetic by yoriyuki on 2008-06-20 09:33:34 as ** along with 1 person msakai
  • 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
    posted to arithmetic ch2 concept learning mathematics object proccess procepts symbol by yish on 2005-11-03 01:46:03 as read along with 4 groups mathgamespatterns dtl vds-arg eni
  • 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
    posted to algebra arithmetic complexity computational learning mathematics model by yish on 2005-11-02 12:30:43 as ** along with 4 groups mathgamespatterns dtl vds-arg eni
  • 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
    posted to algebra arithmetic colaboration sociocultural by yish on 2005-11-02 01:23:40 as ** along with 4 groups mathgamespatterns dtl vds-arg eni
  • Collaborative Teaching and Making Sense of Symbols: Comment on Lampert's "Knowing, Doing, and Teaching Multiplication"
    by James G Greeno
    posted to arithmetic collaboration learning multiplication symbols by yish on 2005-11-02 12:40:12 as ** along with 4 groups mathgamespatterns dtl vds-arg eni
  • 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.
    by P Barrouillet, M Fayol
    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
  • Godel's Second Incompleteness Theorem for Q
    The Journal of Symbolic Logic, Vol. 41, No. 2. (1976), pp. 503-512.
    by A Bezboruah, JC Shepherdson
    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.
    by D Bjorklund, M Hubertz, A Reubens
    posted to young strategy social playing parental_contribution games development context children arithmetic by Rochelle on 2008-06-17 15:55:26 as ** along with 1 person and 4 groups yish mathgamespatterns dtl vds-arg eni
  • 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
    posted to word-problems realistic modelling arithmetic by rmosvold on 2008-06-06 08:11:35 as ** along with 1 group Mathematics education
  • Numeral Writing Skill and Elementary Arithmetic Mental Calculations
    Scandinavian Journal of Educational Research, Vol. 49, No. 1. (February 2005), 3.
    by Bo Johansson
    posted to writing number children arithmetic by rmosvold on 2008-05-06 13:48:53 as ** along with 1 group Mathematics education
  • Number-word sequence skill and arithmetic performance
    Scandinavian Journal of Psychology, Vol. 46, No. 2. (April 2005), pp. 157-167.
    by S Johansson
    posted to words number children arithmetic by rmosvold on 2008-05-06 13:46:10 as ** along with 1 group Mathematics education
  • 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
    posted to thinking disabilities children arithmetic by rmosvold on 2008-06-03 08:18:26 as ** along with 1 group Mathematics education
  • 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
    posted to altera architecture arithmetic for_thesis fpga fpl_paper multiplier printed xilinx by nathalie on 2005-06-22 06:32:37 as **
  • 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.
    by K Rajagopalan, P Sutton
    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
    posted to altera architecture arithmetic embedded for_thesis fpga fpl_paper image_processing multiplier printed xilinx by nathalie on 2006-01-10 23:48:14 as read
  • 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.
    by E de Angel, E Swartzlander
    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.
    by N Mallios, N Burgess
    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
    posted to adder architecture arithmetic coarse_grained_architectures multiplier power by nathalie on 2005-06-08 19:57:41 as ***
  • 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
    posted to adder arithmetic floating_point fpga integer by nathalie on 2005-06-17 19:19:07 as ***** along with 2 people Melnichenko periodic
  • 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
    posted to adder architecture arithmetic for_thesis fpl_paper multiplier power power_estimation printed by nathalie on 2006-03-05 02:24:58 as read along with 1 person ceegrs2
    • 注: このページを引用する時は次のURLでどうぞ: 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.