Search Results - acm: g.: mathematics of computing/g.4: matematika software/g.4.3: efficiency~

KREDITRENDSZERŰ KÉPZÉSEK MINTATANTERVEINEK ÉS ELŐTANULMÁNYI HÁLÓINAK ELEMZÉSE A HAZAI MATEMATIKA ALAPSZAKOK PÉLDÁJÁN.

Alternate Title: ANALYZING THE CURRICULA AND PREREQUISITE NETWORKS OF HUNGARIAN MATHEMATICS BSC PROGRAMS. (English)

Authors: JÚLIA, BERGMANN ROLAND, MOLONTAY MIHÁLY, SZABÓ et al.

Source: Alkalmazott matematikai lapok; 2020, Vol. 37 Issue 1, p13-49, 37p

A Shift Selection Strategy for Parallel Shift-invert Spectrum Slicing in Symmetric Self-consistent Eigenvalue Computation

Authors: Williams-Young, David B Beckman, Paul G Yang, Chao

Source: ACM Transactions on Mathematical Software. 46(4)

Subject Terms: 46 Information and Computing Sciences (for-2020), 4601 Applied Computing (for-2020), Eigenvalues, parallel eigenvalue algorithms, self-consistent field, shift-invert spectrum slicing, math.NA, math.NA, cs.DC, cs.NA, physics.comp-ph, 0802 Computation Theory and Mathematics (for), 0806 Information Systems (for), Numerical & Computational Mathematics (science-metrix), 4606 Distributed computing and systems software (for-2020), 4613 Theory of computation (for-2020), 4901 Applied mathematics (for-2020)

Access URL: https://escholarship.org/uc/item/8wq6g5t4

Problems of computer science : Proceedings of the Joint workshop of Computer and Automation Institute of HAS and Computing Centre of Armenian Academy of Sciences : held in Budapest, September, 1987.

Contributors: Marandzhâna, G. B. Uhrin, Béla

Subject Terms: QA Mathematics / matematika, QA75 Electronic computers. Computer science / számítástechnika, QA76 Computer software / programozás

File Description: text

Relation: https://real-eod.mtak.hu/2160/1/SZTAKITanulmanyok_202.pdf; Marandzhâna, G. B. and Uhrin, Béla, eds. (1987) Problems of computer science : Proceedings of the Joint workshop of Computer and Automation Institute of HAS and Computing Centre of Armenian Academy of Sciences : held in Budapest, September, 1987. Tanulmányok (MTA SZTAKI) (202). MTA Számítástechnikai és Automatizálási Kutató Intézet, Budapest. ISBN 963-311-242-7

Availability: https://real-eod.mtak.hu/2160/

Kolmogorov and contemporary mathematics (Moscow, June 16-21, 2003) in commemoration of the centennial of Andrei Nikolaevich Kolmogorov (25.IV.1903-20.X.1987) : abstracts : international conference = Kolmogorov i sovremennaâ matematika (Moskva, 16-21 iûnâ 2003 g.) posvâŝennaâ 100-letiû so dnâ roždeniâ Andreâ Nikolaeviča Kolmogorova (25.IV.1903-20.X.1987) : tezisy dokladov : meždunarodnaâ konferenciâ / Russian Academy of Sciences (RAS), Moscow State University (MSU) = Rossijskaâ Akademiâ Nauk, Moskovskij Gosudarstvennyj Universitet im. M. V. Lomonosova ; organizing and scientific committee: Yu. S. Osipov, V. A. Sadovnichiy, A. N. Shiryaev, V. N. Chubarikov.
Kolmogorov i sovremennaâ matematika (Moskva, 16-21 iûnâ 2003 g.) posvâŝennaâ 100-letiû so dnâ roždeniâ Andreâ Nikolaeviča Kolmogorova (25.IV.1903-20.X.1987) : tezisy dokladov : meždunarodnaâ konferenciâ

Contributors: Osipov, Ûrij Sergeevič. Sadovničij, Viktor Antonovič (1939- ). Širâev, Al'bert Nikolaevič (1934- ). et al.

Source: Bibliografia przy niektórych pracach.

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:4390549&theme=nukat

A Distributed-Memory Package for Dense Hierarchically Semi-Separable Matrix Computations Using Randomization

Authors: Rouet, François-Henry Li, Xiaoye S Ghysels, Pieter et al.

Source: ACM Transactions on Mathematical Software. 42(4)

Subject Terms: 46 Information and Computing Sciences (for-2020), 4903 Numerical and Computational Mathematics (for-2020), 49 Mathematical Sciences (for-2020), Design, Algorithms, Performance, HSS matrices, randomized sampling, ULV factorization, parallel algorithms, distributed-memory, cs.MS, cs.MS, 0802 Computation Theory and Mathematics (for), 0806 Information Systems (for), Numerical & Computational Mathematics (science-metrix), 4606 Distributed computing and systems software (for-2020), 4613 Theory of computation (for-2020), 4901 Applied mathematics (for-2020)

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/2c32t3cs
https://escholarship.org/content/qt2c32t3cs/qt2c32t3cs.pdf

Sparse Approximate Multifrontal Factorization with Composite Compression Methods

Authors: Claus, Lisa Ghysels, Pieter Liu, Yang et al.

Source: ACM Transactions on Mathematical Software. 49(3)

Subject Terms: 4613 Theory Of Computation (for-2020), 4606 Distributed Computing and Systems Software (for-2020), 46 Information and Computing Sciences (for-2020), Sparse direct solver, multifrontal method, butterfly algorithm, block low-rank compression, 0802 Computation Theory and Mathematics (for), 0806 Information Systems (for), Numerical & Computational Mathematics (science-metrix), 4606 Distributed computing and systems software (for-2020), 4613 Theory of computation (for-2020), 4901 Applied mathematics (for-2020)

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/4950t8q9
https://escholarship.org/content/qt4950t8q9/qt4950t8q9.pdf

PSelInvA Distributed Memory Parallel Algorithm for Selected Inversion

Authors: Jacquelin, Mathias Lin, Lin Yang, Chao

Source: ACM Transactions on Mathematical Software. 43(3)

Subject Terms: 46 Information and Computing Sciences (for-2020), 4601 Applied Computing (for-2020), Selected inversion, sparse direct method, distributed memory parallel, algorithm, high-performance computation, electronic structure theory, math.NA, math.NA, cs.DC, cs.NA, 0802 Computation Theory and Mathematics (for), 0806 Information Systems (for), Numerical & Computational Mathematics (science-metrix), 4606 Distributed computing and systems software (for-2020), 4613 Theory of computation (for-2020), 4901 Applied mathematics (for-2020)

Access URL: https://escholarship.org/uc/item/0p13r5v0

PENGEMBANGAN SOFTWARE BERHITUNG DALAM PEMBELAJARAN MATEMATIKA PADA MATERI BANGUN DATAR DAN BANGUN RUANG

Authors: SEPTIANI , LIA

Source: EDUTECH : Jurnal Inovasi Pendidikan Berbantuan Teknologi; Vol. 1 No. 3 (2021); 203-208 ; 2797-0140 ; 2797-0590 ; 10.51878/edutech.v1i3

Subject Terms: Mathematics Learning, Computing Software, Development

File Description: application/pdf

Relation: https://jurnalp4i.com/index.php/edutech/article/view/656/681; https://jurnalp4i.com/index.php/edutech/article/view/656

Availability: https://jurnalp4i.com/index.php/edutech/article/view/656

Systematic Literature Review: Analisis Kemampuan Berpikir Komputasi Siswa Menggunakan Software Matematika Geogebra

Authors: Cici Wulandari Sitorus Yahfizham Yahfizham

Source: Pendekar : Jurnal Pendidikan Berkarakter; Vol 2 No 3 (2024): Juni : Jurnal Pendidikan Berkarakter; 107-116 ; 2988-1129 ; 2988-0661 ; 10.51903/pendekar.v2i3

Subject Terms: Geogebra, Computing, Mathematics, Software

File Description: application/pdf

Relation: https://journal.politeknik-pratama.ac.id/index.php/Pendekar/article/view/736/700; https://journal.politeknik-pratama.ac.id/index.php/Pendekar/article/view/736/701

Availability: https://journal.politeknik-pratama.ac.id/index.php/Pendekar/article/view/736
https://doi.org/10.51903/pendekar.v2i3.736

Stiffly Stable Diagonally Implicit Block Backward Differentiation Formula with Adaptive Step Size Strategy for Stiff Ordinary Differential Equations.

Authors: Ijam, Hazizah Mohd Ibrahim, Zarina Bibi Mohd Zawawi, Iskandar Shah

Source: Matematika; Apr2024, Vol. 40 Issue 1, p27-47, 21p

Subject Terms: TOEPLITZ matrices, CHEMICAL reactions

Pengembangan Mobile Game 'Slime Mathematics' menggunakan G-Develop Software sebagai media latihan soal UN SMA dengan memperhatikan 3 Level Kognitif Soal

Authors: Widyaningrum, Nur Aini

Subject Terms: Matematika, Media

File Description: text

Relation: http://digilib.uinsa.ac.id/30342/3/Nur%20Aini%20Widyaningrum_D74214039.pdf; Widyaningrum, Nur Aini (2019) Pengembangan Mobile Game "Slime Mathematics" menggunakan G-Develop Software sebagai media latihan soal UN SMA dengan memperhatikan 3 Level Kognitif Soal. Undergraduate thesis, UIN Sunan Ampel Surabaya.

Availability: http://digilib.uinsa.ac.id/30342/
http://digilib.uinsa.ac.id/30342/3/Nur%20Aini%20Widyaningrum_D74214039.pdf

Simulacija i topološka analiza vremenskih nizova za modele rasta pouzdanosti softvera – znanstveno istraživački projekt ; Simulation and Topological Analysis of Software Reliability Growth Model Time Series – Research Project

Authors: Burić, Alan Grbac, Neven

Contributors: Burić, Alan Grbac, Neven

Subject Terms: TEHNIČKE ZNANOSTI. Računarstvo. Obradba informacija, TECHNICAL SCIENCES. Computing. Data Processing, TEHNIČKE ZNANOSTI. Računarstvo. Programsko inženjerstvo, TECHNICAL SCIENCES. Computing. Program Engineering, PRIRODNE ZNANOSTI. Matematika. Geometrija i topologija, NATURAL SCIENCES. Mathematics. Geometry and Topology, PRIRODNE ZNANOSTI. Matematika. Matematička logika i računarstvo, NATURAL SCIENCES. Mathematics. Mathematical Logic and Accounting, model rasta pouzdanosti softvera, vremenski nizovi, simulacija, oblak točaka, topološka analiza podataka, topologija, perzistentna homologija, Vietoris-Ripsovi crtični kodovi perzistentnosti, udaljenost uskog grla, t-test, software reliability growth model, time series, simulation, point cloud, topological data analysis, topology, persistent homology, Vietoris-Rips persistence barcodes, bottleneck distance

File Description: application/pdf

Relation: https://zir.nsk.hr/islandora/object/unipu:10779; https://urn.nsk.hr/urn:nbn:hr:137:357274; https://zir.nsk.hr/islandora/object/unipu:10779/datastream/PDF

Availability: https://zir.nsk.hr/islandora/object/unipu:10779
https://urn.nsk.hr/urn:nbn:hr:137:357274
https://zir.nsk.hr/islandora/object/unipu:10779/datastream/PDF

[Is mathematics necessary for psychiatrists?].

Transliterated Title: Nuzhna li psikhiatram matematika?

Authors: Sudakov SA Amosova AM

Source: Zhurnal nevrologii i psikhiatrii imeni S.S. Korsakova [Zh Nevrol Psikhiatr Im S S Korsakova] 1999; Vol. 99 (6), pp. 63-4.

Publication Type: Journal Article

Journal Info: Publisher: Media Sfera Country of Publication: Russia (Federation) NLM ID: 9712194 Publication Model: Print Cited Medium: Print ISSN: 1997-7298 (Print) Linking ISSN: 19977298 NLM ISO Abbreviation: Zh Nevrol Psikhiatr Im S S Korsakova Subsets: MEDLINE

MeSH Terms: Mathematics*, Psychiatry/*statistics & numerical data, Humans ; Mathematical Computing ; Psychiatry/methods

Performanse alata za računanje perzistentne homologije u primjenama na pouzdanost softvera – znanstveno istraživački projekt ; Performance of Persistent Homology Tools in Software Reliability Applications – Research Project

Authors: Jovanović, Tin Nanndo Grbac, Neven

Contributors: Jovanović, Tin Nanndo Grbac, Neven

Subject Terms: TEHNIČKE ZNANOSTI. Računarstvo. Programsko inženjerstvo, TECHNICAL SCIENCES. Computing. Program Engineering, TEHNIČKE ZNANOSTI. Računarstvo. Obradba informacija, TECHNICAL SCIENCES. Computing. Data Processing, PRIRODNE ZNANOSTI. Matematika. Geometrija i topologija, NATURAL SCIENCES. Mathematics. Geometry and Topology, PRIRODNE ZNANOSTI. Matematika. Matematička logika i računarstvo, NATURAL SCIENCES. Mathematics. Mathematical Logic and Accounting, pouzdanost softvera, topološka analiza podataka, perzistentna homologija, pogreške i kvarovi softvera, vremenski nizovi, modeli rasta pouzdanosti softvera, software reliability, topological data analysis, persistent homology, software faults and failures, time series, software reliability growth models

File Description: application/pdf

Relation: https://zir.nsk.hr/islandora/object/unipu:10674; https://urn.nsk.hr/urn:nbn:hr:137:685202; https://zir.nsk.hr/islandora/object/unipu:10674/datastream/PDF

Availability: https://zir.nsk.hr/islandora/object/unipu:10674
https://urn.nsk.hr/urn:nbn:hr:137:685202
https://zir.nsk.hr/islandora/object/unipu:10674/datastream/PDF

Category-Theoretic Approach to Software Systems Design.

Authors: Kovalyov, S.

Source: Journal of Mathematical Sciences; May2016, Vol. 214 Issue 6, p814-853, 40p

Subject Terms: SOFTWARE engineering, MATHEMATICAL category theory, ASPECT-oriented programming, SEMANTIC computing, MATHEMATICAL models

On the Extension of Sarrus’ Rule to n×n  (n>3) Matrices: Development of New Method for the Computation of the Determinant of 4×4 Matrix.

Authors: Sobamowo, M. G.

Source: International Journal of Engineering Mathematics; 12/5/2016, p1-14, 14p

Subject Terms: MATRICES (Mathematics), DETERMINANTAL varieties, MATHEMATICAL models, ENGINEERING mathematics, NUMERICAL calculations, COMPUTATIONAL mathematics

Graph isomorphism in quasipolynomial time: [Extended abstract]

Authors: Babai, László Mansour, Y. Wichs, D.

Contributors: Babai, László Mansour, Y. Wichs, D.

Subject Terms: QA Mathematics / matematika

File Description: text

Relation: https://real.mtak.hu/44377/1/1512.03547.pdf; Babai, László (2016) Graph isomorphism in quasipolynomial time: [Extended abstract]. In: 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2016. Proceedings of the Annual ACM Symposium on Theory of Computing (19-21-). Association for Computing Machinery, Cambridge (MA), pp. 684-697. ISBN 9781450341325

Availability: https://real.mtak.hu/44377/
https://real.mtak.hu/44377/1/1512.03547.pdf

Pengembangan Bahan Ajar Interaktif Berbantuan Canva Terintegrasi Pembelajaran Matematika Berbasis Masalah Untuk Meningkatkan Kemampuan Berpikir Kritis Siswa Sekolah Dasar. (Indonesian)

Authors: Nurhalimah Amprasto Nirmala, Sri Dewi

Source: Jurnal Pendidikan Indonesia; Oct2025, Vol. 6 Issue 10, p4646-4670, 25p

Subject Terms: CRITICAL thinking, PROBLEM-based learning, MATHEMATICS education, TEACHING aids, RESEARCH & development, DESIGN software, EFFECTIVE teaching, SCHOOL children

Hambatan Guru dalam Pengajuan Soal Literasi Matematika Bertema Word Problem. (Indonesian)

Authors: Syafrudin, Tomy Vitantri, Ciptianingsari Ayu

Source: Jurnal Tadris Matematika; Nov2024, Vol. 7 Issue 2, p207-220, 14p

Subject Terms: MATHEMATICS teachers, MATHEMATICAL notation, MATHEMATICAL forms, TEACHERS, ACQUISITION of data

Pengaruh Penggunaan Media Komputer dengan Memanfaatkan Sofware Presentasi terhadap Hasil Belajar Matematika Siswa Ditinjau dari Aktivitas Belajar Siswa

Authors: Nugroho, A. G. (Arif)

Source: Jurnal Pendidikan Matematika UIN Antasari

Subject Terms: Indonesia, Mathematics Education, media komputer, software presentasi, hasil belajar, aktivitas belajar

File Description: application/pdf

Relation: https://www.neliti.com/publications/477454/pengaruh-penggunaan-media-komputer-dengan-memanfaatkan-sofware-presentasi-terhad

Availability: https://www.neliti.com/publications/477454/pengaruh-penggunaan-media-komputer-dengan-memanfaatkan-sofware-presentasi-terhad