A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
The Applied Mathematics and Computer Science Schism
2006
Computer
Preserved Fulltext
At most US universities, separate departments teach applied mathematics and computer science. ...
Their owners regard them as fun gadgets that can happily lure them away from reading
The Applied Mathematics and Computer Science Schism
Janusz Kowalik Isolating applied mathematics from computer science ...
doi:10.1109/mc.2006.106
fatcat:6y2w3xml3rfjrb7z2hb4z4hblq
Editorial: Computational Probability and Mathematical Modeling - A Stochastic Approach in Applied Sciences
2019
Frontiers in Applied Mathematics and Statistics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Likewise, we also express our sincere appreciation to Frontiers and all its team for their kind cooperation and their continuous organizational support, their contribution was key to make possible this ...
ACKNOWLEDGMENTS We want to express our recognition to the Universidad Autónoma de Coahuila and the Universidad Autónoma de Nuevo León for providing all the logistical support to ensure the success of this ...
has been the fundament to develop the Research Topic of "Computational Probability and Mathematical Modeling -A Stochastic Approach in Applied Sciences". ...
doi:10.3389/fams.2019.00045
fatcat:bezwmydx7fhihge5otp7frqtzm
International Conference on Mathematics and Computational Methods Applied to Nuclear Science and Engineering (MC 2011)
2011
Transport theory and statistical physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
and improving computation methodologies is mandatory in order to carry out reliable criticality and isotopic prediction calculations. ...
These preliminary comparisons will suggest what can be generally expected of these codes when applied to real problems. ...
We thank specially Consuelo Alejano and J.M.Conde, who made easy the communication with Germina Has and lan C. ...
doi:10.1080/00411450.2011.610205
fatcat:pa633adp75ac5nhjhctrw63qwu
Applied mathematics and computer science educational program development in the context of the emerging digital economy
2021
The Herald of the Siberian State University of Telecommunications and Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The article analyzes the digital part of the "Applied Mathematics and Computer Science" educational program competence model at different levels of education. ...
The proposals for updating the educational process in applied mathematics and computer science are presented considering the current trends in the development of the digital economy. ...
Kunts The article analyzes the digital part of the "Applied Mathematics and Computer Science" educational program competence model at different levels of education. ...
doi:10.55648/1998-6920-2021-15-4-11-22
fatcat:xcrrrynywnb6hpcatymlbv5d2e
Towards an Applied Mathematics for Computer Science
[chapter]
1997
Current and Future Directions in Applied Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
They should be studied for their intrinsic mathematical interest. The point is that computer science and computer engineering really do give rise to such problems. ...
The kind of problems above are not the same as in classical applied mathematics. ...
doi:10.1007/978-1-4612-2012-1_4
fatcat:ykwu2ji3obhyfo4jvu4gmnbajq
Department of Computer Science
1991
Journal of Computational and Applied Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
In addition we axiomatise the logic of HT 2 -models and prove that it captures the strong equivalence of theories in partial equilibrium logic. ...
approach this problem by identifying the HT 2 frames previously proposed by Cabalar to capture WFS as structures of a kind used by Došen to characterise a family of logics weaker than intuitionistic and ...
Among efforts to capture well-founded reasoning using other mathematical methods, we should mention: • Argumentation theory as applied in (Bondarenko, Dung, Kowalski, & Toni 1997) . ...
doi:10.1016/s0377-0427(91)90073-s
fatcat:is7milsu65bhjnqmhk7ei5nfbq
Department of Computer Science
1993
Journal of Computational and Applied Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
In addition we axiomatise the logic of HT 2 -models and prove that it captures the strong equivalence of theories in partial equilibrium logic. ...
approach this problem by identifying the HT 2 frames previously proposed by Cabalar to capture WFS as structures of a kind used by Došen to characterise a family of logics weaker than intuitionistic and ...
Among efforts to capture well-founded reasoning using other mathematical methods, we should mention: • Argumentation theory as applied in (Bondarenko, Dung, Kowalski, & Toni 1997) . ...
doi:10.1016/0377-0427(93)90083-n
fatcat:e3qojetr5re5rpb2alwd6g7ky4
Logic and computer science
1992
Discrete Applied Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Recursion theory as a theory of computers. Lambda calculus as a theory of functions. Typed theories. Deductions as computations. The Curry-Howard isomorphism. Automazing mathematics. ...
Book Annomcernents methods and computation). Computation and proofs (Standard generalities: to be remembered, but not dwelled upon. Markets for unwinding. ...
doi:10.1016/0166-218x(92)90241-2
fatcat:ytik62gsxvddpcvsqoxm3jfiri
The Big-O of Mathematics and Computer Science
2022
Journal of Applied Mathematics and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
We point out some common Big-O orders that one comes across during the evaluation of the computational complexities of algorithms and functions. ...
We start with the discussion of a very brief chronological history of the various attempts made at understanding and calculating the computational complexities of algorithms. ...
Firdous Ahmad Mala, Rouf Ali DOI: 10.26855/jamc.2022.03.001 2 Journal of Applied Mathematics and Computation ...
doi:10.26855/jamc.2022.03.001
fatcat:szd2lqwuuresld2qjxqx5hpbma
Computational Logic and Continuous Mathematics, Pure and Applied
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Continuous problem domains are of ever-increasing importance in the application of computational logic to problems in systems engineering and to problems in mathematics and theoretical computer science ...
I will outline some recent work both "pure" and "applied" with issues for mechanized reasoning and computer algebra in mind. ...
Continuous problem domains are of ever-increasing importance in the application of computational logic to problems in systems engineering and to problems in mathematics and theoretical computer science ...
doi:10.1007/978-3-642-02614-0_1
fatcat:5orexhoxobcchosfegklqghezq
Variational methods in mathematics, science and engineering
1978
Journal of Computational and Applied Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
GOOVAERTS Journal of Computational and Applied Mathematics, volume 4, no 3, 1978. ...
The direct variational methods represent a powerful tool to solve differential equations as used in engineering and also in other sciences (e.g. physics .... ). ...
doi:10.1016/0771-050x(78)90004-9
fatcat:24eazsumvvasnl553es2hd5jby
The International Conference MATHEMATICAL AND COMPUTATIONAL MODELLING IN SCIENCE AND TECHNOLOGY
2017
Journal of Computational and Applied Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
a mathematical problem describing the frictionless adhesive contact between a electro elastic-viscoplastic material with damage and a foundation. ...
Acknowledgments
A computational study of Host-guest interaction between Benzoxazolinone and β-cyclodextrin Abstract In present work, the inclusion complex of Benzoxazolinone with β-cyclodextrin was investi-gated ...
International Conference Mathematical and Computational Modeling in Science and Technology
ICMCMST'2015 Theorem 4. ...
doi:10.1016/j.cam.2016.08.013
fatcat:mcmx2fnpkbeztpweuwk6ugyluu
Operations Research, Mathematics, Computer Science and Statistics: The Relationships
2020
Data Science: Journal of Computing and Applied Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this work, OR and its applications are being exposed and then compared in order to look into the relationships between OR, Mathematics, Computer Science, Statistics and other fields. ...
Many people have difficulty in seeing any difference between Mathematics, Operations Research, Statistics, Computer Science and other disciplines while others are just plain confused. ...
Computer Science and Operations Research OR and Computer Science have long been related. ...
doi:10.32734/jocai.v4.i1-653
fatcat:luwu4ejklvfytatfpxrzroszhy
Probability-one homotopies in computational science
2002
Journal of Computational and Applied Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
The mathematical software packages HOMPACK90 and POLSYS PLP are also briefly described. ...
Probability-one homotopy algorithms are a class of methods for solving nonlinear systems of equations that, under mild assumptions, are globally convergent for a wide range of problems in science and engineering ...
Acknowledgement This work was supported in part by National Science Foundation Grant DMS-9625968, and Air Force Office of Scientific Research Grant F49620-96-1-0104. ...
doi:10.1016/s0377-0427(01)00473-3
fatcat:dfrlgxv4wfhnhipdnnkjj2pwgq
Mathematical and computer modeling vibration protection system with damper
2015
Applied Mathematical Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The mathematical model of the mechanical system, which is a section of the pipeline with built-in motor pump system and damper for vibration damping, has been developed. ...
The mathematical model is represented by a system of partial differential equations of hydrodynamics for moving fluid in the pipeline and a system of two ordinary differential equations for the damping ...
Fig. 1 . 3877 Fig. 2 . 138772 Scheme vibration protection system.Mathematical and computer modeling vibration protection system Finite
3 damping device. ...
doi:10.12988/ams.2015.53270
fatcat:g7nciqxigjagtl27ittx3cluim
« Previous
Showing results 1 — 15 out of 824,269 results