Αποτελέσματα για "Symbolic computation"

Αποτελέσματα για "Symbolic computation" Εμφανίζονται 1 - 50 Αποτελέσματα από 149 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Symbolic+computation%22&type=AllFields&lng=el 149 0 50 Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers / Thu, 01 Jan 2015 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-319-22804-4 https://find.library.upatras.gr/Record/978-3-319-22804-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Extreme Ocean Waves Fri, 01 Jan 2016 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-319-21575-4 https://find.library.upatras.gr/Record/978-3-319-21575-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Towards Autonomous Robotic Systems 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings / Fri, 01 Jan 2016 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-319-40379-3 https://find.library.upatras.gr/Record/978-3-319-40379-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / Fri, 01 Jan 2016 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-319-33693-0 https://find.library.upatras.gr/Record/978-3-319-33693-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings / Thu, 01 Jan 2004 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-30210-0 https://find.library.upatras.gr/Record/978-3-540-30210-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers / Mon, 01 Jan 2001 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-44990-4 https://find.library.upatras.gr/Record/978-3-540-44990-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Artificial Intelligence and Symbolic Computation International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings / Thu, 01 Jan 1998 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-49816-2 https://find.library.upatras.gr/Record/978-3-540-49816-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 State-space Realisations of Linear 2-D Systems with Extensions to the General nD (n > 2) case Mon, 01 Jan 2001 16:31:55 +0200 https://find.library.upatras.gr/Record/978-1-84628-573-8 https://find.library.upatras.gr/Record/978-1-84628-573-8 Galkowski, Krzysztof Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 Galkowski, Krzysztof 0 TAPSOFT'97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings / Wed, 01 Jan 1997 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-68517-3 https://find.library.upatras.gr/Record/978-3-540-68517-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Practical Aspects of Declarative Languages 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings / Wed, 01 Jan 2003 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-36388-0 https://find.library.upatras.gr/Record/978-3-540-36388-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Variable Structure Systems, Sliding Mode and Nonlinear Control Fri, 01 Jan 1999 16:31:55 +0200 https://find.library.upatras.gr/Record/978-1-84628-540-0 https://find.library.upatras.gr/Record/978-1-84628-540-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Computational Science - ICCS 2003 International Conference Melbourne, Australia and St. Petersburg, Russia June 2-4, 2003 Proceedings, Part I / Wed, 01 Jan 2003 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-44860-0 https://find.library.upatras.gr/Record/978-3-540-44860-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Recent Advances in Parallel Virtual Machine and Message Passing Interface 7th European PVM/MPI Users' Group Meeting Balatonfüred, Hungary, September 10-13, 2000 Proceedings / Sat, 01 Jan 2000 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-45255-3 https://find.library.upatras.gr/Record/978-3-540-45255-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Computer Science Logic 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings / Wed, 01 Jan 2003 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-45220-1 https://find.library.upatras.gr/Record/978-3-540-45220-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Computer Aided Systems Theory - EUROCAST 2001 A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers / Mon, 01 Jan 2001 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-45654-4 https://find.library.upatras.gr/Record/978-3-540-45654-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Artificial Intelligence, Automated Reasoning, and Symbolic Computation Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings / Tue, 01 Jan 2002 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-45470-0 https://find.library.upatras.gr/Record/978-3-540-45470-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Euro-Par'97 Parallel Processing Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings / Wed, 01 Jan 1997 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-69549-3 https://find.library.upatras.gr/Record/978-3-540-69549-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 CONCUR 2001 - Concurrency Theory 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings / Mon, 01 Jan 2001 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-44685-9 https://find.library.upatras.gr/Record/978-3-540-44685-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Fundamentals of Computation Theory 12th International Symposium, FCT'99 Iasi, Romania, August 30 - September 3, 1999 Proceedings / Fri, 01 Jan 1999 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-48321-2 https://find.library.upatras.gr/Record/978-3-540-48321-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Computer Aided Systems Theory - EUROCAST '97 A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings / Wed, 01 Jan 1997 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-69651-3 https://find.library.upatras.gr/Record/978-3-540-69651-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Frontiers of Combining Systems 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings / Tue, 01 Jan 2002 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-45988-0 https://find.library.upatras.gr/Record/978-3-540-45988-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Frontiers of Combining Systems Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings / Sat, 01 Jan 2000 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-46421-1 https://find.library.upatras.gr/Record/978-3-540-46421-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Algorithms - ESA'99 7th Annual European Symposium, Prague, Czech Republic, July 16-18, 1999 Proceedings / Fri, 01 Jan 1999 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-48481-3 https://find.library.upatras.gr/Record/978-3-540-48481-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Algorithms - ESA 2000 8th Annual European Symposium Saarbrücken, Germany, September 5-8, 2000 Proceedings / Sat, 01 Jan 2000 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-45253-9 https://find.library.upatras.gr/Record/978-3-540-45253-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Numeric Computation and Statistical Data Analysis on the Java Platform Fri, 01 Jan 2016 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-319-28531-3 https://find.library.upatras.gr/Record/978-3-319-28531-3 Chekanov, Sergei V. Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Chekanov, Sergei V. 0 Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements Wed, 01 Jan 2020 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-13518 https://find.library.upatras.gr/Record/nemertes-10889-13518 Ioakimidis, Nikolaos 2020 Ioakimidis, Nikolaos 0 Application of the method of quantifier elimination to the determination of intervals when the uncertain parameters satisfy an ellipsoidal inequality constraint Fri, 01 Jan 2021 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-14403 https://find.library.upatras.gr/Record/nemertes-10889-14403 Ioakimidis, Nikolaos 2021 Ioakimidis, Nikolaos 0 Derivation of feasibility conditions in classical vibration problems by using the method of quantifier elimination Mon, 01 Jan 2018 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11505 https://find.library.upatras.gr/Record/nemertes-10889-11505 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics Mon, 01 Jan 2018 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10917 https://find.library.upatras.gr/Record/nemertes-10889-10917 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Intervals for the resultants of interval forces with existentially and/or universally quantified formulae with the help of the method of quantifier elimination Wed, 01 Jan 2020 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-13205 https://find.library.upatras.gr/Record/nemertes-10889-13205 Ioakimidis, Nikolaos Technical Report 2020 Ioakimidis, Nikolaos 0 Mathematica-based natural language processing in applied mechanics Mon, 01 Jan 2018 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10851 https://find.library.upatras.gr/Record/nemertes-10889-10851 Ioakimidis, Nikolaos Conference (paper) 2018 Ioakimidis, Nikolaos 0 Mathematica-based formula verification in applied mechanics Mon, 01 Jan 2018 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10847 https://find.library.upatras.gr/Record/nemertes-10889-10847 Ioakimidis, Nikolaos Conference (paper) 2018 Ioakimidis, Nikolaos 0 Interval computations in the formulae for the stress intensity factors at crack tips using the method of quantifier elimination Tue, 01 Jan 2019 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-12153 https://find.library.upatras.gr/Record/nemertes-10889-12153 Ioakimidis, Nikolaos Technical Report 2019 Ioakimidis, Nikolaos 0 Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier elimination Wed, 01 Jan 2020 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-13204 https://find.library.upatras.gr/Record/nemertes-10889-13204 Ioakimidis, Nikolaos Technical Report 2020 Ioakimidis, Nikolaos 0 Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination Mon, 01 Jan 2018 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11605 https://find.library.upatras.gr/Record/nemertes-10889-11605 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier elimination Wed, 01 Jan 2020 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-14145 https://find.library.upatras.gr/Record/nemertes-10889-14145 Ioakimidis, Nikolaos 2020 Ioakimidis, Nikolaos 0 REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints Mon, 01 Jan 2018 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11096 https://find.library.upatras.gr/Record/nemertes-10889-11096 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Symbolic computations for the approximate solution of singular integral equations: application to a crack problem Mon, 01 Jan 2018 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10983 https://find.library.upatras.gr/Record/nemertes-10889-10983 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Stress concentration factors: determination of ranges of values by the method of quantifier elimination Mon, 01 Jan 2018 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11736 https://find.library.upatras.gr/Record/nemertes-10889-11736 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination Wed, 01 Jan 2020 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-13297 https://find.library.upatras.gr/Record/nemertes-10889-13297 Ioakimidis, Nikolaos Technical Report 2020 Ioakimidis, Nikolaos 0 Sharp enclosures of the real roots of the classical parametric quadratic equation with one interval coefficient by the method of quantifier elimination Tue, 01 Jan 2019 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-12159 https://find.library.upatras.gr/Record/nemertes-10889-12159 Ioakimidis, Nikolaos Technical Report 2019 Ioakimidis, Nikolaos 0 Application of Mathematica to the Rayleigh–Ritz method for plane elasticity problems Mon, 01 Jan 2018 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10916 https://find.library.upatras.gr/Record/nemertes-10889-10916 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Application of quantifier elimination to inverse free vibration problems for inhomogeneous beams and bars Mon, 01 Jan 2018 16:31:55 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11410 https://find.library.upatras.gr/Record/nemertes-10889-11410 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Numerical Python A Practical Techniques Approach for Industry / Thu, 01 Jan 2015 16:31:55 +0200 https://find.library.upatras.gr/Record/978-1-4842-0553-2 https://find.library.upatras.gr/Record/978-1-4842-0553-2 Johansson, Robert Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Johansson, Robert 0 Project Management and Engineering Selected Papers from the 17th International AEIPRO Congress held in Logroño, Spain, in 2013 / Thu, 01 Jan 2015 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-319-12754-5 https://find.library.upatras.gr/Record/978-3-319-12754-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Correct Software in Web Applications and Web Services Thu, 01 Jan 2015 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-319-17112-8 https://find.library.upatras.gr/Record/978-3-319-17112-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / Thu, 01 Jan 2004 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-24730-2 https://find.library.upatras.gr/Record/978-3-540-24730-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Symmetry and Integration Methods for Differential Equations Tue, 01 Jan 2002 16:31:55 +0200 https://find.library.upatras.gr/Record/978-0-387-21649-2 https://find.library.upatras.gr/Record/978-0-387-21649-2 Bluman, George W. Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 Bluman, George W. 0 Numerical Methods for Elliptic and Parabolic Partial Differential Equations Wed, 01 Jan 2003 16:31:55 +0200 https://find.library.upatras.gr/Record/978-0-387-21762-8 https://find.library.upatras.gr/Record/978-0-387-21762-8 Knabner, Peter Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 Knabner, Peter 0 Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings / Thu, 01 Jan 2004 16:31:55 +0200 https://find.library.upatras.gr/Record/978-3-540-25984-8 https://find.library.upatras.gr/Record/978-3-540-25984-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0