DEVELOPMENT OF ALGORITHMS AND SOFTWARE FOR MODELING CONTROLLED DYMAMIC SYSTEMS USING SYMBOLIC COMPUTATIONS AND STOCHASTIC METHODS: Development of algorithms and software for modeling controlled dynamic systems using symbolic computations and stochastic methods

Συγγραφείς: Anastasiya V. Demidova, Olga V. Druzhinina, Olga N. Masina, Alexey A. Petrov

Πηγή: Программирование. :54-68

Θεματικοί όροι: operating systems, computer Science, general, artificial intelligence, Numerical methods for Hamiltonian systems including symplectic integrators, Software Engineering/Programming and Operating Systems, software engineering

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://zbmath.org/7688640
https://doi.org/10.1134/s036176882302007x

On Implementation of Numerical Methods for Solving Ordinary Differential Equations in Computer Algebra Systems: On implementation of numerical methods for solving ordinary differential equations in computer algebra systems

Συγγραφείς: A. Baddour, M. M. Gambaryan, L. Gonzalez, Mikhail D. Malykh

Πηγή: Программирование. :47-58

Θεματικοί όροι: operating systems, Multistep, Runge-Kutta and extrapolation methods for ordinary differential equations, computer Science, general, 0101 mathematics, artificial intelligence, Symbolic computation and algebraic computation, Software, source code, etc. for problems pertaining to numerical analysis, 01 natural sciences, Software Engineering/Programming and Operating Systems, software engineering

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://zbmath.org/7763715
https://doi.org/10.1134/s0361768823020044

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

Συνεισφορές: Biere, Armin, Parker, David

Πηγή: 2020_Book_ToolsAndAlgorithmsForTheConstr.pdf

Θεματικοί όροι: SAT and SMT solving, Algorithms & data structures, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, system construction and transformation techniques, Expert systems / knowledge-based systems, architecting, static and dynamic program analysis, Control Structures and Microprogramming, software and hardware verification, Software Engineering/Programming and Operating Systems, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design, theorem proving, Computer System Implementation, tool environments and tool architectures, Operating systems, open access, software architecture, mathematics, linguistics, Software Engineering, Maths for computer scientists, specification and verification techniques, Special Purpose and Application-Based Systems, software design, automata theory, model checking, testing, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, Systems analysis & design, embedded systems, Mathematics of Computing, abstraction techniques for modeling and verification, Mathematical theory of computation, compositional and refinement-based methodologies, software engineering

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://library.oapen.org/handle/20.500.12657/37724
https://www.springer.com/9783030452377

Fundamental Approaches to Software Engineering

Συνεισφορές: Guerra, Esther, Stoelinga, Mariëlle

Θεματικοί όροι: Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, Natural Language Processing (NLP), Programming Techniques, Theory of Computation, Software Engineering, architecture verification and validation, artificial intelligence, embedded systems, empirical software validation, formal logic, formal methods, model checking, model-driven software engineering, object-oriented programming, parallel processing systems, program analysis, program compilers, signal processing, software architecture, software performance, software selection and adaptation, software testing and debugging, telecommunication systems, verification, Operating systems, Algorithms & data structures, Information theory, Natural language & machine translation, Computer programming / software engineering, Computer science, Mathematical theory of computation, Artificial intelligence

Περιγραφή αρχείου: image/png; image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/67919
https://library.oapen.org/handle/20.500.12657/48217
https://library.oapen.org/bitstream/20.500.12657/48217/1/9783030715007.pdf

Agile Processes in Software Engineering and Extreme Programming

Συνεισφορές: Gregory, Peggy, Lassenius, Casper, Wang, Xiaofeng, Kruchten, Philippe

Θεματικοί όροι: Software Engineering/Programming and Operating Systems, IT in Business, Management of Computing and Information Systems, Software Engineering, IT Operations, Agile software development, Software creation and management, Scrum, Lean software development, Process management, open access, Test-driven development, Project and people management, Software development techniques, Risk management, Operating systems, Business mathematics & systems, Business applications, Information architecture, Maintenance & repairs, Business mathematics and systems

Περιγραφή αρχείου: image/png; image/jpeg

Relation: Lecture Notes in Business Information Processing

Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/70808
https://library.oapen.org/handle/20.500.12657/49499
https://library.oapen.org/bitstream/20.500.12657/49499/1/9783030780982.pdf

Tools and Algorithms for the Construction and Analysis of Systems

Συνεισφορές: Biere, Armin, Parker, David

Θεματικοί όροι: Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Software Engineering, Operating systems, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Mathematical theory of computation, Maths for computer scientists, Systems analysis and design, Algorithms and data structures

Περιγραφή αρχείου: image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/33908
http://library.oapen.org/handle/20.500.12657/37724
https://library.oapen.org/bitstream/20.500.12657/37724/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf

COMPUTER ALGEBRA TOOLS FOR GEOMETRIZATION OF MAXWELL'S EUQATIONS: Computer algebra tools for geometrization of Maxwell's equations

Συγγραφείς: Anna V. Korolkova, Migran N. Gevorkyan, Dmitry S. Kulyabov, Leonid A. Sevast'yanov

Πηγή: Программирование. :33-38

Θεματικοί όροι: operating systems, Software, source code, etc. for problems pertaining to optics and electromagnetic theory, computer algebra tools, artificial intelligence, Symbolic computation and algebraic computation, symbolic computations, Software Engineering/Programming and Operating Systems, computer Science, general, optical devices, Geometric optics, Applications of global differential geometry to the sciences, PDEs in connection with optics and electromagnetic theory, geometrized Maxwell's theory, software engineering

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://zbmath.org/7737137
https://doi.org/10.1134/s0361768823020111

Software, System, and Service Engineering: S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17–20 September 2023, Revised Selected Papers

Συγγραφείς: Jarzębowicz, Aleksander, Editor, Luković, Ivan, Editor, Przybyłek, Adam, Editor, Staroń, Mirosław, Editor, Ahmad, Muhammad Ovais, Editor, Ochodek, Mirosław, Editor

Συνεισφορές: Jarzębowicz, Aleksander, Editor, Luković, Ivan, Editor, Przybyłek, Adam, Editor, Staroń, Mirosław, Editor, Ahmad, Muhammad Ovais, Editor, Ochodek, Mirosław, Editor

Πηγή: NODLA Non-Technical Debt in Large-Scale Agile Software Development KK-foundation Software, System, and Service Engineering.

Θεματικοί όροι: Software Engineering/Programming and Operating Systems, Professional Computing, Programming Techniques, Datavetenskap, Computer Science

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-99079

SYMBOLIC-NUMERICAL IMPLEMENTATION OF THE GALERKIN METHOD FOR APPROXIMATE SOLUTION OF THE WAVEGUIDE DIFFRACTION PROBLEM: Symbolic-numerical implementation of the Galerkin method for approximate solution of the waveguide diffraction problem

Συγγραφείς: Divakov D.V., Tyutyunnik A.A.

Πηγή: Программирование. :46-53

Θεματικοί όροι: operating systems, waveguide diffraction problem, Laplace operator, Helmholtz equation (reduced wave equation), Poisson equation, Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs, artificial intelligence, Symbolic computation and algebraic computation, Antennas, waveguides in optics and electromagnetic theory, Software Engineering/Programming and Operating Systems, Sturm-Liouville theory, symbolic-numerical implementation, computer Science, Finite element, Galerkin and related methods applied to problems in optics and electromagnetic theory, general, Numerical computation of solutions to single equations, Boundary eigenvalue problems for ordinary differential equations, eigenfunctions and eigenvalues of Sturm-Liouville problem, Galerkin method, software engineering, Diffraction, scattering

Περιγραφή αρχείου: application/xml

Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Συνεισφορές: Guerra, Esther, Stoelinga, Mariëlle

Θεματικοί όροι: Algorithms & data structures, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, formal methods, Information theory, program analysis, Computer programming / software engineering, Theory of Computation, Natural Language Processing (NLP), software selection and adaptation, Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, telecommunication systems, Natural language & machine translation, model-driven software engineering, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering, signal processing, Operating systems, thema EDItEUR::U Computing and Information Technology::UY Computer science, Programming Techniques, architecture verification and validation, software architecture, software testing and debugging, parallel processing systems, software performance, Software Engineering, object-oriented programming, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence, program compilers, artificial intelligence, Computer science, model checking, empirical software validation, embedded systems, formal logic, verification, Mathematical theory of computation

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://www.springer.com/9783030715007
https://library.oapen.org/handle/20.500.12657/48217

Agile Processes in Software Engineering and Extreme Programming: 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14–18, 2021, Proceedings

Συνεισφορές: Gregory, Peggy, Lassenius, Casper, Wang, Xiaofeng, Kruchten, Philippe

Θεματικοί όροι: open access, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, IT in Business, Lean software development, Software development techniques, Software Engineering, thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture, Software creation and management, Software Engineering/Programming and Operating Systems, Test-driven development, Project and people management, Business mathematics & systems, Risk management, IT Operations, Management of Computing and Information Systems, Maintenance & repairs, Process management, Agile software development, Operating systems, Information architecture, Scrum, Business applications

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://www.springer.com/9783030668914
https://library.oapen.org/handle/20.500.12657/49499

AFID: an automated approach to collecting software faults

Συγγραφείς: Edwards, Alex, Tucker, Sean, Demsky, Brian

Πηγή: Automated Software Engineering: An International Journal. 17(3)

Θεματικοί όροι: Computer Science, Software Engineering/Programming and Operating Systems, Artificial Intelligence (incl. Robotics), Fault collection

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/77q0k329
https://escholarship.org/content/qt77q0k329/qt77q0k329.pdf

Developing control and integration software for flexible manufacturing systems

Συγγραφείς: Nejib Ben Hadj-Alouane, Jarir K. Chaar, Arch W. Naylor

Συνεισφορές: Advanced Technologies Laboratory, The University of Michigan, 1101 Beal Avenue, 48109-2110, Ann Arbor, MI, Ann Arbor

Πηγή: Journal of Systems Integration. 1:7-34

Θεματικοί όροι: Automation, Philosophy, Humanities, Engineering, Models, Computer-integrated Manufacturing Systems, Computer Science, Software Engineering/Programming and Operating Systems, Software Components

Περιγραφή αρχείου: 1657471 bytes; 3115 bytes; application/pdf; text/plain

Σύνδεσμος πρόσβασης: http://deepblue.lib.umich.edu/bitstream/2027.42/43095/1/10952_2005_Article_BF02265064.pdf

A Probabilistic Particle Tracking Framework for Guided and Brownian Motion Systems with High Particle Densities

Συγγραφείς: Herzog, Sebastian, Schiepel, Daniel, Guido, Isabella, Barta, Robin, Wagner, Claus, Third Institute of Physics-Biophysics, Department for Computational Neuroscience, University of Göttingen, Göttingen, Germany, German Aerospace Center, Institute for Aerodynamics and Flow Technology, Göttingen, Germany, Max Planck Institute for Dynamics and Self-Organization, Göttingen, Germany, Technische Universität Ilmenau, Institute for Thermodynamics and Fluid Mechanics, Ilmenau, Germany

Συνεισφορές: Herzog, Sebastian, Schiepel, Daniel, Guido, Isabella, Barta, Robin, Wagner, Claus, Third Institute of Physics-Biophysics, Department for Computational Neuroscience, University of Göttingen, Göttingen, Germany, German Aerospace Center, Institute for Aerodynamics and Flow Technology, Göttingen, Germany, Max Planck Institute for Dynamics and Self-Organization, Göttingen, Germany, Technische Universität Ilmenau, Institute for Thermodynamics and Fluid Mechanics, Ilmenau, Germany

Πηγή: SN Computer Science

Θεματικοί όροι: Computer Systems Organization and Communication Networks, Vision, Pattern Recognition and Graphics, 01 natural sciences, Data Structures and Information Theory, Software Engineering/Programming and Operating Systems, Gaussian Mixture Model, Bodengebundene Fahrzeuge, general, Computer Science, 0103 physical sciences, Information Systems and Communication Service, Computer Imaging, Rayleigh–Bénard convection, Particle Tracking Velocimetry, Original Research

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.1007/s42979-021-00879-z.pdf
https://elib.dlr.de/145086/1/Herzog2021_Article_AProbabilisticParticleTracking.pdf
https://resolver.sub.uni-goettingen.de/purl?gro-2/123479
https://hdl.handle.net/21.11116/0000-0009-9A7D-E
https://openresearch.surrey.ac.uk/esploro/outputs/journalArticle/A-Probabilistic-Particle-Tracking-Framework-for/99729964002346

Software testing in the machine learning era

Συγγραφείς: Stocco, Andrea, Shehory, Onn, Jahangirova, Gunel, Riccio, Vincenzo, Barash, Guy, Farchi, Eitan, Saha, Diptikalyan

Θεματικοί όροι: info:eu-repo/classification/ddc, Article, Special Issue on Software Testing in the Machine Learning Era., Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters

Περιγραφή αρχείου: application/pdf

Relation: https://mediatum.ub.tum.de/1763639; https://mediatum.ub.tum.de/doc/1763639/document.pdf

Διαθεσιμότητα: https://mediatum.ub.tum.de/1763639
https://mediatum.ub.tum.de/doc/1763639/document.pdf
https://doi.org/10.1007/s10664-023-10326-7

IT-gestützte Aus- und Weiterbildung im tertiären Bildungsbereich – Informatik und Wirtschaftsinformatik

Συγγραφείς: Mertens, Peter

Πηγή: Informatik Spektrum. 45:381-388

Θεματικοί όροι: Computer Systems Organization and Communication Networks, 0502 economics and business, 05 social sciences, Computer Science, general, Computer Hardware, Software Engineering/Programming and Operating Systems, Data Structures and Information Theory

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://open.fau.de/handle/openfau/32860

The sum of its parts. Analysis of federated byzantine agreement systems

Συγγραφείς: Florian, Martin, Henningsen, Sebastian, Ndolo, Charmaine, Scheuermann, Björn

Θεματικοί όροι: Computer Communication Networks, Computer Hardware, Computer Systems Organization and Communication Networks, Software Engineering/Programming and Operating Systems, Theory of Computation, 004 Informatik

Περιγραφή αρχείου: application/pdf

Διαθεσιμότητα: https://www.weizenbaum-library.de/handle/id/227
https://doi.org/10.1007/s00446-022-00430-0

The Once-Only Principle

Συνεισφορές: Krimmer, Robert, Prentza, Andriana, Mamrot, Szymon

Θεματικοί όροι: Computer Applications, Special Purpose and Application-Based Systems, Programming Techniques, Software Engineering/Programming and Operating Systems, Computer Application in Administrative Data Processing, Computer and Information Systems Applications, Software Engineering, access control, communication systems, computer systems, cryptography, databases, Field Programmable Gate Array (FPGA), gateways (computer networks), information systems, internet protocols, network protocols, object-oriented design, object-oriented programming, object-oriented programming languages, signal processing, social networks, software architecture, software design, system architectures, Information technology: general issues, Expert systems / knowledge-based systems, Computer programming / software engineering, Operating systems, Information technology: general topics

Περιγραφή αρχείου: image/jpeg

Relation: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI

Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/71287
https://library.oapen.org/handle/20.500.12657/50047
https://library.oapen.org/bitstream/20.500.12657/50047/1/978-3-030-79851-2.pdf

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences

Συνεισφορές: Zhao, Zhiming, Hellström, Margareta

Θεματικοί όροι: Computer Applications, Environment, general, Special Purpose and Application-Based Systems, Information Systems and Communication Service, Software Engineering/Programming and Operating Systems, Geography, general, Computer and Information Systems Applications, Environmental Sciences, Database Management System, Software Engineering, Geography, cloud computing, cloud providers, cloud services, computer networks, computing resource, data communication systems, databases, distributed computer systems, distributed systems, engineering, grid computing, internet, network protocols, open access, parallel processing systems, signal processing, telecommunication networks, wireless telecommunication systems, Information technology: general issues, The environment, Expert systems / knowledge-based systems, Computer networking & communications, Operating systems

Περιγραφή αρχείου: image/jpeg

Relation: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI

Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/34131
https://library.oapen.org/handle/20.500.12657/41292
https://library.oapen.org/bitstream/20.500.12657/41292/1/2020_Book_TowardsInteroperableResearchIn.pdf

Ethik in der agilen Software-Entwicklung

Συγγραφείς: Pretschner, Alexander, Zuber, Niina, Gogoll, Jan, Kacianka, Severin, Nida-Rümelin, Julian

Θεματικοί όροι: info:eu-repo/classification/ddc, Hauptbeitrag, Computer Science, general, Computer Hardware, Computer Systems Organization and Communication Networks, Software Engineering/Programming and Operating Systems, Data Structures and Information Theory

Περιγραφή αρχείου: application/pdf

Relation: https://mediatum.ub.tum.de/1705067; https://mediatum.ub.tum.de/doc/1705067/document.pdf

Διαθεσιμότητα: https://mediatum.ub.tum.de/1705067
https://mediatum.ub.tum.de/doc/1705067/document.pdf
https://doi.org/10.1007/s00287-021-01390-8