Výsledky vyhledávání - acm: g.: mathematics of computing/g.4: matematika software/g.4.8: verification

Message Chains for Distributed System Verification

Autoři: Mora, Federico Desai, Ankush Polgreen, Elizabeth a další

Zdroj: Proceedings of the ACM on Programming Languages. 7(OOPSLA2)

Témata: Theory Of Computation, Distributed Computing and Systems Software, Information and Computing Sciences, Software Engineering, Formal verification, distributed systems, message passing, Software engineering, Theory of computation, Numerical and computational mathematics

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/2053z0bw
https://escholarship.org/content/qt2053z0bw/qt2053z0bw.pdf

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

Autoři: Williams-Young, David B Beckman, Paul G Yang, Chao

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

Témata: 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)

Přístupová URL adresa: https://escholarship.org/uc/item/8wq6g5t4

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)

Autoři: JÚLIA, BERGMANN ROLAND, MOLONTAY MIHÁLY, SZABÓ a další

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

Name Space Analysis: Verification of Named Data Network Data Planes

Autoři: Jahanian, Mohammad Ramakrishnan, KK

Zdroj: IEEE/ACM Transactions on Networking. 29(2)

Témata: Theory Of Computation, Information and Computing Sciences, Tools, Aerospace electronics, Transfer functions, Data models, Analytical models, Topology, Real-time systems, Named data networks, network verification, Distributed Computing, Electrical and Electronic Engineering, Communications Technologies, Networking & Telecommunications, Communications engineering, Distributed computing and systems software

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/9w6426j2
https://escholarship.org/content/qt9w6426j2/qt9w6426j2.pdf

Software composition and verification for sensor networks

Autoři: Völgyesi, Péter Maróti, Miklós Dóra, S. a další

Zdroj: Science of Computer Programming. 56:191-210

Témata: 0209 industrial biotechnology, QA Mathematics / matematika, 0202 electrical engineering, electronic engineering, information engineering, QA72 Algebra / algebra, 02 engineering and technology, Software

Popis souboru: text

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.

Přispěvatelé: Marandzhâna, G. B. Uhrin, Béla

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

Popis souboru: 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

Dostupnost: 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â

Přispěvatelé: Osipov, Ûrij Sergeevič. Sadovničij, Viktor Antonovič (1939- ). Širâev, Al'bert Nikolaevič (1934- ). a další

Zdroj: Bibliografia przy niektórych pracach.

Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:4390549&theme=nukat

Generic Refinement Types

Autoři: Lehmann, Nico Kurashige, Cole Akiti, Nikhil a další

Zdroj: Proceedings of the ACM on Programming Languages. 9(POPL)

Témata: Information and Computing Sciences, Software Engineering, Software engineering, Theory of computation, Numerical and computational mathematics

Přístupová URL adresa: https://escholarship.org/uc/item/22k7q6h5

Analysis of Undergraduate Students' Metacognitive Ability in Mathematical Problemsolving using Cloud Classroom Blended Learning.

Autoři: Anupan, Anuchit Chimmalee, Benjamas

Zdroj: Anatolian Journal of Education; Apr2024, Vol. 9 Issue 1, p1-18, 18p

Témata: UNDERGRADUATES, METACOGNITION, MATHEMATICS, CLOUD computing, PROBLEM solving

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

Autoři: SEPTIANI , LIA

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

Témata: Mathematics Learning, Computing Software, Development

Popis souboru: application/pdf

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

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

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

Autoři: Cici Wulandari Sitorus Yahfizham Yahfizham

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

Témata: Geogebra, Computing, Mathematics, Software

Popis souboru: 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

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

VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems.

Autoři: Adzkiya, Dieky Zhang, Yining Abate, Alessandro

Zdroj: Discrete Event Dynamic Systems; Mar2016, Vol. 26 Issue 1, p109-145, 37p

OBRAZOVNI ALATI U NASTAVI MATEMATIKE. (Bosnian)

Alternate Title: EDUCATIONAL SOFTWARE IN TEACHING MATHEMATICS. (English)

Autoři: Kovačević, Ivana Kostić Lukač, Duško Gavrilović, Jelena a další

Zdroj: Singidunum Journal of Applied Sciences; 2014 Supplement, p340-344, 5p

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

Autoři: Widyaningrum, Nur Aini

Témata: Matematika, Media

Popis souboru: 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.

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

Univariate Ore Polynomial Rings in Computer Algebra.

Autoři: Abramov, S. A. Le, H. Q. Li, Z.

Zdroj: Journal of Mathematical Sciences; Dec2005, Vol. 131 Issue 5, p5885-5903, 19p

Témata: ALGORITHMS, POLYNOMIAL rings, ALGEBRA, MATHEMATICS, COMMUTATIVE rings

Uporaba evolucijskih algoritmov za preverjanje znanja iz matematike ; Using evolutionary algorithms for the verification of knowledge in mathematics

Autoři: Gornik, Boštjan Črepinšek, Matej

Přispěvatelé: Gornik, Boštjan Črepinšek, Matej

Zdroj: Maribor

Témata: igra, matematika, aritmetični operatorji, evolucijski algoritem, libgdx, game, mathematics, arithmetic operators, evolutionary algorithm, info:eu-repo/classification/udc/004.8.021:51(043.2)

Popis souboru: application/pdf

Relation: https://dk.um.si/IzpisGradiva.php?id=41846; https://dk.um.si/Dokument.php?id=58119&dn=; https://plus.si.cobiss.net/opac7/bib/17524758?lang=sl

Dostupnost: https://dk.um.si/IzpisGradiva.php?id=41846
https://dk.um.si/Dokument.php?id=58119&dn=
https://plus.si.cobiss.net/opac7/bib/17524758?lang=sl

A design and verification methodology for secure isolated regions

Autoři: Sinha, Rohit Costa, Manuel Lal, Akash a další

Zdroj: ACM SIGPLAN Notices. 51(6)

Témata: Enclave Programs, Secure Computation, Confidentiality, Formal Verification, Software Engineering

Přístupová URL adresa: https://escholarship.org/uc/item/49f1638t

Hoareova logika ; Hoare's logic

Autoři: Livaja, Petra Perić, Jurica

Přispěvatelé: Livaja, Petra Perić, Jurica

Témata: PRIRODNE ZNANOSTI. Matematika. Matematička logika i računarstvo, NATURAL SCIENCES. Mathematics. Mathematical Logic and Accounting, IMP, provjera ispravnosti računalnog programa, aksiomatska semantika, potpunost i utemeljenost sustava dokaza, tvrdnje parcijalne korektnosti, software verification, axiomatic semantics, soundness and completeness of proof system, partial correctness assertions

Popis souboru: application/pdf

Relation: https://repozitorij.svkst.unist.hr/islandora/object/pmfst:1184; https://urn.nsk.hr/urn:nbn:hr:166:264314; https://repozitorij.svkst.unist.hr/islandora/object/pmfst:1184/datastream/PDF

Dostupnost: https://repozitorij.svkst.unist.hr/islandora/object/pmfst:1184
https://urn.nsk.hr/urn:nbn:hr:166:264314
https://repozitorij.svkst.unist.hr/islandora/object/pmfst:1184/datastream/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

Autoři: Burić, Alan Grbac, Neven

Přispěvatelé: Burić, Alan Grbac, Neven

Témata: 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

Popis souboru: 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

Dostupnost: 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

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

Autoři: Jovanović, Tin Nanndo Grbac, Neven

Přispěvatelé: Jovanović, Tin Nanndo Grbac, Neven

Témata: 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

Popis souboru: 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

Dostupnost: 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