يعرض 1 - 10 نتائج من 29,799 نتيجة بحث عن '"MATHEMATICAL proofs"', وقت الاستعلام: 2.08s تنقيح النتائج
  1. 1
    دورية أكاديمية
    Identifiability and characterization of transmon qutrits through Bayesian experimental design.

    المؤلفون: Reddy, Sohail1 (AUTHOR) reddy6@llnl.gov

    المصدر: Journal of Applied Physics. 6/14/2024, Vol. 135 Issue 22, p1-14. 14p.

    مصطلحات موضوعية: *EXPERIMENTAL design, *MATHEMATICAL proofs, *DISTRIBUTION (Probability theory), *ROBUST control, *QUANTUM states, *QUANTUM noise, *SCHRODINGER equation, *ONLINE algorithms


    أضف إلى المفضلة
  2. 2
    دورية
    Pondering the Ugly Underbelly, and Whether Images Are Real.

    المؤلفون: Hill, Robin K.1 (AUTHOR), Baquero, Carlos2 (AUTHOR)

    المصدر: Communications of the ACM. Mar2024, Vol. 67 Issue 3, p8-10. 3p.

    مصطلحات موضوعية: *ARTIFICIAL intelligence, MATHEMATICAL proofs, DIGITAL images, COMPUTATIONAL complexity, DIGITAL image watermarking


    أضف إلى المفضلة
  3. 3
    دورية
    Mechanical Mathematicians.

    المؤلفون: BENTKAMP, ALEXANDER1, BLANCHETTE, JASMIN2, NUMMELIN, VISA3, TOURRET, SOPHIE4, VUKMIROVIĆ, PETAR3, WALDMANN, UWE5

    المصدر: Communications of the ACM. Apr2023, Vol. 66 Issue 4, p80-90. 11p. 2 Color Photographs, 2 Diagrams, 1 Chart.

    مصطلحات موضوعية: *MATHEMATICIANS, *COMPUTER systems, MATHEMATICAL proofs, ALGEBRA, LOGICAL prediction


    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    Bioplausible Unsupervised Delay Learning for Extracting Spatiotemporal Features in Spiking Neural Networks.

    المؤلفون: Nadafian, Alireza1 (AUTHOR) alirezanadafian@ut.ac.ir, Ganjtabesh, Mohammad1 (AUTHOR) mgtabesh@ut.ac.ir

    المصدر: Neural Computation. Jul2024, Vol. 36 Issue 7, p1332-1352. 21p.

    مصطلحات موضوعية: *ARTIFICIAL neural networks, *MATHEMATICAL proofs, *VIDEO processing


    أضف إلى المفضلة
  5. 5
    دورية أكاديمية
    Measures of fragmentation of rest activity patterns: mathematical properties and interpretability based on accelerometer real life data.

    المؤلفون: Danilevicz, Ian Meneghel1 (AUTHOR), van Hees, Vincent Theodoor2 (AUTHOR), van der Heide, Frank C. T.1 (AUTHOR), Jacob, Louis1 (AUTHOR), Landré, Benjamin1 (AUTHOR), Benadjaoud, Mohamed Amine3 (AUTHOR), Sabia, Séverine1,4 (AUTHOR) s.sabia@ucl.ac.uk

    المصدر: BMC Medical Research Methodology. 6/7/2024, Vol. 24 Issue 1, p1-15. 15p.

    مصطلحات موضوعية: *PATTERNS (Mathematics), *MATHEMATICAL proofs, *MAXIMUM likelihood statistics, *BODY mass index, *ACCELEROMETERS

    النص الكامل

    أضف إلى المفضلة
  6. 6
    دورية أكاديمية
    ONTOLOGICAL PURITY FOR FORMAL PROOFS.

    المؤلفون: MARTINOT, ROBIN1 (AUTHOR) r.a.martinot@uu.nl

    المصدر: Review of Symbolic Logic. Jun2024, Vol. 17 Issue 2, p395-434. 40p.

    مصطلحات موضوعية: *MATHEMATICAL proofs, *PROOF theory


    أضف إلى المفضلة
  7. 7
    مؤتمر
    The profile of elementary school's prospective teachers on perceiving mathematical proof.

    المؤلفون: Hapipi1 (AUTHOR) hapipimath@unram.ac.id, Kurniati, Nani1 (AUTHOR) nanikurniati@unram.ac.id, Hamdani, Deni1 (AUTHOR) deni.math@unram.ac.id, Salsabila, Nilza Humaira1 (AUTHOR) nilza_hs@unram.ac.id, Kertiyani, Ni Made Intan1 (AUTHOR) intan@unram.ac.id

    المصدر: AIP Conference Proceedings. 2024, Vol. 2622 Issue 1, p1-7. 7p.

    مصطلحات موضوعية: *MATHEMATICAL proofs, *ELEMENTARY schools, *MATHEMATICAL formulas, *TEACHERS


    أضف إلى المفضلة
  8. 8
    مؤتمر
    Mathematical proof in small group: Exploring the APOS theory.

    المؤلفون: Shinariko, Leonardo Jonathan1 (AUTHOR) yesjonathan2@gmail.com, Hartono, Yusuf1 (AUTHOR) yhartono@unsri.ac.id, Darmawijoyo1 (AUTHOR) darmawijoyo@unsri.ac.id, Araiku, Jeri1 (AUTHOR) jeriaraiku@fkip.unsri.ac.id

    المصدر: AIP Conference Proceedings. 2024, Vol. 3052 Issue 1, p1-9. 9p.

    مصطلحات موضوعية: *MATHEMATICAL proofs, *PRIOR learning


    أضف إلى المفضلة
  9. 9
    مؤتمر
    Mean square exponentially convergence for semi-linear stochastic differential equations.

    المؤلفون: Yousif, Vian Q.1 (AUTHOR) vianqudis85@gmail.com, Zaboon, Radhi A.1 (AUTHOR) r.zaboon@edu.iq

    المصدر: AIP Conference Proceedings. 2024, Vol. 3036 Issue 1, p1-11. 11p.

    مصطلحات موضوعية: *STOCHASTIC convergence, *MATHEMATICAL proofs, *STOCHASTIC systems, *STOCHASTIC processes, *EXPONENTIAL stability, *EULER method, *STOCHASTIC differential equations, *QUADRATIC differentials


    أضف إلى المفضلة
  10. 10
    دورية
    Deconstructing the Bakery to Build a Distributed State Machine.

    المؤلفون: LAMPORT, LESLIE1

    المصدر: Communications of the ACM. Sep2022, Vol. 65 Issue 9, p58-66. 9p. 1 Color Photograph, 4 Charts.

    مصطلحات موضوعية: *COMPUTER algorithms, MATHEMATICAL proofs


    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني — حفظ البحث