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

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

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

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

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

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

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

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

Innovative Intelligent Industrial Production and Logistics: First International Conference, IN4PL 2020, Virtual Event, November 2-4, 2020, and Second International Conference, IN4PL 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers

Συγγραφείς: Smirnov, Alexander, Panetto, Hervé, Madani, Kurosh

Συνεισφορές: Panetto, Hervé

Πηγή: Communications in Computer and Information Science ISBN: 9783031372278

Θεματικοί όροι: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Computer Systems Organization and Communication Networks, [SPI] Engineering Sciences [physics], Operating Systems, [INFO.INFO-ET] Computer Science [cs]/Emerging Technologies [cs.ET], [INFO] Computer Science [cs], Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, Computer Applications

Σύνδεσμος πρόσβασης: https://hal.science/hal-04190223v1
https://doi.org/10.1007/978-3-031-37228-5

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

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

Technical, Economic and Societal Effects of Manufacturing 4.0

Συνεισφορές: Collan, Mikael, Michelsen, Karl-Erik

Θεματικοί όροι: Innovation/Technology Management, Knowledge Management, Software Engineering/Programming and Operating Systems, Engineering, general, Business and Management, Management, Software Engineering, Technology and Engineering, additive manufacturing, materials research, automation, robotics, analytics, change management, business models, life-long learning, societal adaption, open access, Research & development management, Industrial applications of scientific research & technological innovation, Knowledge management, Operating systems, Engineering: general, Research and development management

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

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

Digitales Energiemanagement im Milchviehbereich

Συγγραφείς: Bernhardt, Heinz

Θεματικοί όροι: 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/1763759; https://mediatum.ub.tum.de/doc/1763759/document.pdf

Διαθεσιμότητα: https://mediatum.ub.tum.de/1763759
https://mediatum.ub.tum.de/doc/1763759/document.pdf
https://doi.org/10.1007/s00287-023-01525-z

Buzzword ISOBUS

Συγγραφείς: Brodie, Samuel, Oksanen, Timo, Auernhammer, Hermann

Θεματικοί όροι: info:eu-repo/classification/ddc, Aktuelles Schlagwort, 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/1763755; https://mediatum.ub.tum.de/doc/1763755/document.pdf

Διαθεσιμότητα: https://mediatum.ub.tum.de/1763755
https://mediatum.ub.tum.de/doc/1763755/document.pdf
https://doi.org/10.1007/s00287-022-01518-4

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

Nirupam Chakraborti: Data-Driven Evolutionary Modeling in Materials Technology

Συγγραφείς: Kabliman, Evgeniya

Θεματικοί όροι: info:eu-repo/classification/ddc, Article, Artificial Intelligence, Software Engineering/Programming and Operating Systems, Electrical Engineering, Programming Techniques, Programming Languages, Compilers, Interpreters, Biomedical Engineering and Bioengineering

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

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

Διαθεσιμότητα: https://mediatum.ub.tum.de/1763603
https://mediatum.ub.tum.de/doc/1763603/document.pdf
https://doi.org/10.1007/s10710-023-09455-1

FAIRagro: Ein Konsortium in der Nationalen Forschungsdateninfrastruktur (NFDI) für Forschungsdaten in der Agrosystemforschung

Συγγραφείς: Specka, Xenia, Martini, Daniel, Weiland, Claus, Arend, Daniel, Asseng, Senthold, Boehm, Franziska, Feike, Til, Fluck, Juliane, Gackstetter, David, Gonzales-Mellado, Aida, Hartmann, Thomas, Haunert, Jan-Henrik, Hoedt, Florian, Hoffmann, Carsten, König, Patrick, Lange, Matthias, Lesch, Stephan, Lindstädt, Birte, Lischeid, Gunnar, Möller, Markus, Rascher, Uwe, Reif, Jochen Christoph, Schmalzl, Markus, Senft, Matthias, Stahl, Ulrike, Svoboda, Nikolai, Usadel, Björn, Webber, Heidi, Ewert, Frank

Θεματικοί όροι: 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/1761590; https://mediatum.ub.tum.de/doc/1761590/document.pdf

Διαθεσιμότητα: https://mediatum.ub.tum.de/1761590
https://mediatum.ub.tum.de/doc/1761590/document.pdf
https://doi.org/10.1007/s00287-022-01520-w

Developmental Robotics and its Role Towards Artificial General Intelligence

Συγγραφείς: Manfred Eppe, Stefan Wermter, Verena V. Hafner, Yukie Nagai

Πηγή: KI - Künstliche Intelligenz. 35:5-7

Θεματικοί όροι: ddc:004, 0209 industrial biotechnology, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 004 Informatik, Software Engineering/Programming and Operating Systems

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

Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.1007/s13218-021-00706-w.pdf
http://edoc.hu-berlin.de/18452/27412
https://doi.org/10.18452/26721

Open 5G campus networks: key drivers for 6G innovations

Συγγραφείς: Emmelmann, Marc, Corici, Marius, Eichhorn, Fabian, Hauswirth, Manfred, Magedanz, Thomas

Θεματικοί όροι: Electrical Engineering, Computer Hardware, Software Engineering/Programming and Operating Systems

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

Διαθεσιμότητα: https://www.weizenbaum-library.de/handle/id/356
https://doi.org/10.1007/s00502-022-01064-7

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