-
1Conference
Συγγραφείς: Wang, Cheng, Zou, Hailei, Yin, Juncheng
Πηγή: 2020 Asia-Pacific Conference on Image Processing, Electronics and Computers (IPEC) Image Processing, Electronics and Computers (IPEC), 2020 Asia-Pacific Conference on. :403-405 Apr, 2020
Relation: 2020 Asia-Pacific Conference on Image Processing, Electronics and Computers (IPEC)
-
2eBook
Συνεισφορές: Bertrand, Nathalie, Milius, Stefan
Θεματικοί όροι: Open Access, Categorical models and logics, Language theory, Automata, And games, Type theory and proof theory, Concurrency theory and process calculi, Modal, Spatial, And temporal logics, Rewriting theory, Semantics of programming languages, Program analysis, Correctness, Transformation, And verification, Logics of programming, Software specification and refinement, Models of concurrent, Reactive, And stochastic systems, Models of distributed, Hybrid, And mobile systems, Emerging models of computation, Logical aspects of computational complexity, Models of software security, Logical foundations of data bases, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures, thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists, thema EDItEUR::U Computing and Information Technology::UY Computer science, thema EDItEUR::U Computing and Information Technology::UN Databases, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science
Σύνδεσμος πρόσβασης: https://library.oapen.org/handle/20.500.12657/117841
-
3Report
Συγγραφείς: Miller, Jared, Schmid, Niklas, Tacchi, Matteo, Henrion, Didier, Smith, Roy S.
Θεματικοί όροι: Mathematics - Optimization and Control, Electrical Engineering and Systems Science - Systems and Control
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2404.06961
-
4eBook
Συγγραφείς: Arnăutu, ViorelAff4, Neittaanmäki, PekkaAff5
Συνεισφορές: Gladwell, G. M. L., editorAff1, Arnăutu, ViorelAff2, Neittaanmäki, PekkaAff3
Πηγή: Optimal Control from Theory to Computer Programs. 111:269-313
-
5Academic Journal
Συγγραφείς: Littlewood, Bev
Πηγή: IEEE Transactions on Reliability IEEE Trans. Rel. Reliability, IEEE Transactions on. R-30(4):313-320 Oct, 1981
-
6Report
Συγγραφείς: Eferina, E. G., Korolkova, A. V., Gevorkyan, M. N., Kulyabov, D. S., Sevastyanov, L. A.
Πηγή: Bulletin of PFUR. Series Mathematics. Information Sciences. Physics (3) (2014) 46-59
Θεματικοί όροι: Computer Science - Symbolic Computation
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1503.07342
-
7Conference
Συγγραφείς: Dorin, Alan
Πηγή: Proceedings of the Virtual Reality International Conference: Laval Virtual. :1-8
Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/2466816.2466837
-
8eBook
Συγγραφείς: Jan Vrbik, Paul Vrbik
Resource Type: eBook.
Categories: MATHEMATICS / Probability & Statistics / General, BUSINESS & ECONOMICS / Management Science, BUSINESS & ECONOMICS / Operations Research, COMPUTERS / Mathematical & Statistical Software
-
9Academic Journal
Συγγραφείς: Della Lunga G; Department of Chemistry, University of Siena, Via Aldo Moro, Siena I-53100, Italy., Pezzato M, Baratto MC, Pogni R, Basosi R
Πηγή: Journal of magnetic resonance (San Diego, Calif. : 1997) [J Magn Reson] 2003 Sep; Vol. 164 (1), pp. 71-7.
Τύπος έκδοσης: Evaluation Study; Journal Article; Research Support, Non-U.S. Gov't
Στοιχεία περιοδικού: Publisher: Elsevier Country of Publication: United States NLM ID: 9707935 Publication Model: Print Cited Medium: Print ISSN: 1090-7807 (Print) Linking ISSN: 10907807 NLM ISO Abbreviation: J Magn Reson Subsets: MEDLINE
Συνδεδεμένο Πλήρες ΚείμενοΙατρικοί όροι (MeSH): Models, Chemical* , Models, Molecular* , Software* , Stochastic Processes*, Copper/*chemistry , Crystallography/*methods , Magnetic Resonance Spectroscopy/*methods, Solutions/chemistry ; Anisotropy ; Computer Simulation ; Models, Statistical ; Motion ; Nitrogen
-
10Academic Journal
Alternate Title: الحل التقريبي للمعادلات التفاضلية الخطية الضبابية العشوائية الاعتيادية باستخدام طريقة لابلاس للتكرار المتغير. (Arabic)
Συγγραφείς: Abdulsahib, Ali Adnan, Fadhel, Fadhel S., Eidi, Jaafer Hmood
Πηγή: Iraqi Journal of Science; 2024, Vol. 65 Issue 2, p804-817, 14p
Θεματικοί όροι: Wiener processes, Lagrange multiplier, Stochastic processes, Ordinary differential equations, Laplace transformation, Computer software, Differential equations
-
11Academic Journal
Συγγραφείς: Arnborg, Stefan
Πηγή: IEEE Transactions on Reliability IEEE Trans. Rel. Reliability, IEEE Transactions on. R-28(5):382-385 Dec, 1979
-
12Periodical
Συγγραφείς: Schkufza, Eric1 (AUTHOR) eschkufz@cs.stanford.edu, Sharma, Rahul1 (AUTHOR) sharmar@cs.stanford.edu, Aiken, Alex1 (AUTHOR) aiken@cs.stanford.edu
Πηγή: Communications of the ACM. Feb2016, Vol. 59 Issue 2, p114-122. 9p. 2 Diagrams, 5 Charts, 4 Graphs.
Θεματικοί όροι: *Optimizers (Computer software), *Stochastic processes, *Markov chain Monte Carlo, Compilers (Computer programs), Program transformation
Συνδεδεμένο Πλήρες Κείμενο -
13Conference
Συγγραφείς: Jarad, Khansaa M., Sahib, Ali A. Abdul
Πηγή: AIP Conference Proceedings; 2026, Vol. 3460 Issue 1, p1-9, 9p
Θεματικοί όροι: Numerical solutions to equations, Stochastic differential equations, Uniqueness (Mathematics), Nonlinear differential equations, Stochastic processes, Wiener processes, Linear differential equations, Iterative methods (Mathematics)
-
14Academic Journal
Συγγραφείς: Pardo-Iguzquiza, Eulogio pardoiguzquiza@yahoo.es, Chica-Olmo, Mario1
Πηγή: Computers & Geosciences. Sep2008, Vol. 34 Issue 9, p1073-1079. 7p.
Συνδεδεμένο Πλήρες ΚείμενοΘεματικοί όροι: *Stochastic processes, *Geological statistics, *Computer software, *Earth sciences, *Environmental sciences, *Remote-sensing images
-
15Report
Συγγραφείς: Abate, Alessandro, Giacobbe, Mirco, Roy, Diptarko
Θεματικοί όροι: Computer Science - Logic in Computer Science, Electrical Engineering and Systems Science - Systems and Control
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2405.17304
-
16Academic Journal
Συγγραφείς: Getz, Wayne M, Gonzalez, Jean-Paul, Salter, Richard, Bangura, James, Carlson, Colin, Coomber, Moinya, Dougherty, Eric, Kargbo, David, Wolfe, Nathan D, Wauquier, Nadia
Πηγή: Computational and Mathematical Methods in Medicine. 2015(1)
Θεματικοί όροι: 4901 Applied Mathematics (for-2020), 40 Engineering (for-2020), 49 Mathematical Sciences (for-2020), 4003 Biomedical Engineering (for-2020), Emerging Infectious Diseases (rcdc), Immunization (rcdc), Vaccine Related (rcdc), Infectious Diseases (rcdc), Prevention (rcdc), Rare Diseases (rcdc), Biodefense (rcdc), 3.4 Vaccines (hrcs-rac), Infection (hrcs-hc), 3 Good Health and Well Being (sdg), Algorithms (mesh), Communicable Disease Control (mesh), Computer Simulation (mesh), Disease Outbreaks (mesh), Ebola Vaccines (mesh), Ebolavirus (mesh), Epidemics (mesh), Guinea (mesh), Hemorrhagic Fever, Ebola (mesh), Humans (mesh), Immunization Programs (mesh), Liberia (mesh), Markov Chains (mesh), Models, Theoretical (mesh), Patient Isolation (mesh), Sierra Leone (mesh), Software (mesh), Stochastic Processes (mesh), Vaccination (mesh), Humans (mesh), Hemorrhagic Fever, Ebola (mesh), Ebola Vaccines (mesh), Vaccination (mesh), Patient Isolation (mesh), Markov Chains (mesh), Stochastic Processes (mesh), Disease Outbreaks (mesh), Communicable Disease Control (mesh), Algorithms (mesh), Models, Theoretical (mesh), Computer Simulation (mesh), Software (mesh), Immunization Programs (mesh), Guinea (mesh), Liberia (mesh), Sierra Leone (mesh), Ebolavirus (mesh), Epidemics (mesh), Algorithms (mesh), Communicable Disease Control (mesh), Computer Simulation (mesh), Disease Outbreaks (mesh), Ebola Vaccines (mesh), Ebolavirus (mesh), Epidemics (mesh), Guinea (mesh), Hemorrhagic Fever, Ebola (mesh), Humans (mesh), Immunization Programs (mesh), Liberia (mesh), Markov Chains (mesh), Models, Theoretical (mesh), Patient Isolation (mesh), Sierra Leone (mesh), Software (mesh), Stochastic Processes (mesh), Vaccination (mesh), Ebola, Managing, simulation mode, 0102 Applied Mathematics (for), 0903 Biomedical Engineering (for), Bioinformatics (science-metrix), 4003 Biomedical engineering (for-2020), 4901 Applied mathematics (for-2020)
Περιγραφή αρχείου: application/pdf
-
17Academic Journal
Συγγραφείς: Pardo-Igúzquiza, E. a, *, Schwarzacher, W. b, Rodriguez-Tovar, F.J. c
Συνδεδεμένο Πλήρες ΚείμενοΠηγή: In Computers and Geosciences 2000 26(7):723-740
-
18Academic Journal
Συγγραφείς: Chen, Dandan a, b, Hu, Jingyuan c, ⁎, Yang, Shaoxiong a, b, He, Xiao a, b, Li, Yang a, b, Ren, Shuai a, b, Bai, He a, b, Wang, Jue d
Συνδεδεμένο Πλήρες ΚείμενοΠηγή: In Computer Physics Communications March 2024 296
-
19Academic Journal
Συγγραφείς: Miller, Jared a, ⁎, Tacchi, Matteo b, Henrion, Didier c, Sznaier, Mario d
Συνδεδεμένο Πλήρες ΚείμενοΠηγή: In Automatica June 2026 188
-
20Academic Journal
Συγγραφείς: Kobus, Julia a, ⁎, 1, Reißl, Stefan b, Lietzow-Sinjen, Moritz a, Bensberg, Alexander a, Petersen, Andreas c, Greiner, Franko c, Wolf, Sebastian a
Συνδεδεμένο Πλήρες ΚείμενοΠηγή: In Computer Physics Communications August 2025 313