Relevant bibliographies by topics / Computing and Mathematical Sciences

Academic literature on the topic 'Computing and Mathematical Sciences'

Author: Grafiati
Published: 10 December 2022
Last updated: 28 January 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Computing and Mathematical Sciences.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Computing and Mathematical Sciences"

1

Wang, Yingxu. "On the Mathematical Theories and Cognitive Foundations of Information." International Journal of Cognitive Informatics and Natural Intelligence 9, no. 3 (July 2015): 42–64. http://dx.doi.org/10.4018/ijcini.2015070103.

Full text
Abstract:
A recent discovery in computer and software sciences is that information in general is a deterministic abstract quantity rather than a probability-based property of the nature. Information is a general form of abstract objects represented by symbolical, mathematical, communication, computing, and cognitive systems. Therefore, information science is one of the contemporary scientific disciplines collectively known as abstract sciences such as system, information, cybernetics, cognition, knowledge, and intelligence sciences. This paper presents the cognitive foundations, mathematical models, and formal properties of information towards an extended theory of information science. From this point of view, information is classified into the categories of classic, computational, and cognitive information in the contexts of communication, computation, and cognition, respectively. Based on the three generations of information theories, a coherent framework of contemporary information is introduced, which reveals the nature of information and the fundamental principles of information science and engineering.
APA, Harvard, Vancouver, ISO, and other styles
2

Bhadane, Mr Sandip, Mrs Megha Kishor Kothawade, Dr Mahendra D. Shinde, and Dr Vishal Sulakhe. "Applications of Mathematical in Computer Science." International Journal for Research in Applied Science and Engineering Technology 11, no. 1 (January 31, 2023): 705–9. http://dx.doi.org/10.22214/ijraset.2023.48667.

Full text
Abstract:
Abstract: Mathematics (The QUEEN’s mother of all Sciences), is the foundation of Computer Science. Mathematics can be perceived in our garden or park from symmetry of leaves, flowers, fruits etc. and by so many examples of Geometry and symmetry can be seen in nature. Scientists and researchers cannot ideally accomplish their work without the inclusion of mathematics. Mathematics is sociable for analytical skills needed in Computer Disciplines like; Concepts of binary number system, Boolean algebra, Calculus, Discrete mathematics, linear algebra, number theory, and graph theory are the most applicable to the subject of computer science with the accessional emergence of new concepts like machine learning, artificial intelligence, virtual reality and augmented reality make the future of mathematics grow endless. Mathematics has been an important intellectual preoccupation of man for a long time. Computer Science as a formal discipline is about seven decades young. Is the almost spontaneous use of computing? In this article, this paper convey to the frontage the many close connections and parallels between the Mother and daughter sciences. The paper underscores the strong interplay and interactions by looking at some exciting contemporary results from number theory and combinatorial mathematics and algorithms of computer science.
APA, Harvard, Vancouver, ISO, and other styles
3

Chiu, Mei-Hung, and Mark Cesa. "Gender Gap in Science." Chemistry International 42, no. 3 (July 1, 2020): 16–21. http://dx.doi.org/10.1515/ci-2020-0306.

Full text
Abstract:
AbstractThere continues to be a persistent gap between women’s and men’s participation, access, rights, pay, and benefits in the natural sciences, mathematics, and computing. The UNESCO Institute of Statistics reports that fewer than 30% of the world’s researchers are women. Many scientists, mathematicians, computing experts, and policy makers are working to reduce this gender gap by way of a wide range of initiatives. The International Science Council (ISC) funded a unique three-year project in 2017-2019 called, “A Global Approach to the Gender Gap in Mathematical, Computing and Natural Sciences: How to measure it, how to reduce it?” that has provided a wide-ranging view of the issues women face in the sciences and how these issues may be overcome.
APA, Harvard, Vancouver, ISO, and other styles
4

Chen, Yiling, Arpita Ghosh, Michael Kearns, Tim Roughgarden, and Jennifer Wortman Vaughan. "Mathematical foundations for social computing." Communications of the ACM 59, no. 12 (December 2016): 102–8. http://dx.doi.org/10.1145/2960403.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Anguelov, Roumen, and Svetoslav Markov. "60th Anniversary of the Seminal Paper on Interval Analysis and Computations by T. Sunaga." Biomath Communications 5, no. 2 (February 24, 2019): 137. http://dx.doi.org/10.11145/bmc.2018.12.315.

Full text
Abstract:
Sunaga considered all computational procedures, which had been traditionally defined on real numbers, as being too ideal and proposed to replace them by the procedures on real intervals in order to make everything "more realistic". Sunaga studied many different kinds of numerical procedures including the Taylor-series interval solution of the initial-value problem of ordinary differential equations.The purpose of the present note is to mark the 60-th anniversary of the publication of the seminal work by the Japan mathematician Teruo Sunaga. The paper summarizes the results of his Master Thesis \cite{Sunaga1956}. Sunaga's work sets the foundation of the contemporary interval analysis and reliable computing. This is an interdisciplinary field, combining abstract mathematical theories and practical applications related to computer science, numerical analysis and mathematical modeling in the natural, engineering and social-economic sciences.
APA, Harvard, Vancouver, ISO, and other styles
6

Henderson, Peter B. "Mathematical reasoning in computing education II." ACM Inroads 2, no. 1 (February 25, 2011): 23–24. http://dx.doi.org/10.1145/1929887.1929897.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Holden, A. V. "Nonlinear Science — The Impact of Biology." International Journal of Bifurcation and Chaos 07, no. 09 (September 1997): 2075–104. http://dx.doi.org/10.1142/s0218127497001552.

Full text
Abstract:
Nonlinear science has primarily developed from applications of mathematics to physics. The biological sciences are emerging as the dominant growth points of science and technology, and biological systems are characterized by being information dense, spatially extended, organized in interacting hierarchies, and rich in diversity. These characteristics, linked with an increase in available computing power and accessible memory, may lead to a nonlinear science of complicated interacting systems that will link different types of mathematical objects within a framework of algebraic models of computing systems. Examples, drawn from current work on intracellular, cellular, tissue, organ, and integrative physiology of an individual, are outlined within the theory of synchronous concurrent algorithms. Possible directions in population dynamics and applications to ecosystem management are outlined.
APA, Harvard, Vancouver, ISO, and other styles
8

Kumar, Rakesh. "FUTURE FOR SCIENTIFIC COMPUTING USING PYTHON." International Journal of Engineering Technologies and Management Research 2, no. 1 (January 29, 2020): 30–41. http://dx.doi.org/10.29121/ijetmr.v2.i1.2015.28.

Full text
Abstract:
Computational science (scientific computing or scientific computation) is concerned with constructing mathematical models as well as quantitative analysis techniques and using computers to analyze as well as solve scientific problems. In practical use, it is basically the application of computer simulation as well as other forms of computation from numerical analysis and theoretical computer science to problems in different scientific disciplines. The scientific computing approach is to gain understanding, basically through the analysis of mathematical models implemented on computers. Python is frequently used for highperformance scientific applications and widely used in academia as well as scientific projects because it is easy to write and performs well. Due to its high performance nature, scientific computing in Python often utilizes external libraries like NumPy, SciPy and Matplotlib etc.
APA, Harvard, Vancouver, ISO, and other styles
9

Wu, Hualong, Muhammad Kamran Siddiqui, Bo Zhao, Jianhou Gan, and Wei Gao. "Computing the Ediz eccentric connectivity index of discrete dynamic structures." Open Physics 15, no. 1 (June 14, 2017): 354–59. http://dx.doi.org/10.1515/phys-2017-0039.

Full text
Abstract:
AbstractFrom the earlier studies in physical and chemical sciences, it is found that the physico-chemical characteristics of chemical compounds are internally connected with their molecular structures. As a theoretical basis, it provides a new way of thinking by analyzing the molecular structure of the compounds to understand their physical and chemical properties. In our article, we study the physico-chemical properties of certain molecular structures via computing the Ediz eccentric connectivity index from mathematical standpoint. The results we yielded mainly apply to the techniques of distance and degree computation of mathematical derivation, and the conclusions have guiding significance in physical engineering.
APA, Harvard, Vancouver, ISO, and other styles
10

Prykarpatsky, A., and A. Plichko. "MYKHAILO KRAWTCHOUK AND COMPUTING DEVICES. ON ETHIC OF INVESTIGATIONS IN HISTORY OF EXACT SCIENCES." Bukovinian Mathematical Journal 9, no. 1 (2021): 264–72. http://dx.doi.org/10.31861/bmj2021.01.22.

Full text
Abstract:
In this note, we focus on some aspects of the use of virtual ethics in the study of the scientific heritage of the outstanding Ukrainian mathematician Mykhailo Krawtchouk and its involvement in the invention of the first electronic computer by Atanasov and Berry. In particular, the biased and clearly propagandistic activity of the Canadian political scientist I. Kachanovsky is analyzed concerning the contrived contribution of Mykhailo Krawtchouk’s mathematical advice to an allegedly substantial solution of the designer G. Atanasov problems of implanting computational algorithms in his designed first electronic computing device. We also noted the ill-considered popularization of these false as well as harmful statements in scientific and popular science Ukrainian literature. Separately, we focused on the openly anti- Ukrainian propaganda activity of I. Kachanovsky, which concerns his clumsy efforts in investi- gating the activities of Ukrainian nationalists during World War II and the last events on the Maidan, and its aggressive dissemination in the press of insinuations, pseudo-historical and pseudo-scientific anti-Ukrainian insults.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Computing and Mathematical Sciences"

1

Theron, Piet. "Criteria for the evaluation of private cloud computing." Thesis, Stellenbosch : Stellenbosch University, 2013. http://hdl.handle.net/10019.1/85858.

Full text
Abstract:
Thesis (MSc)--Stellenbosch University, 2013.
ENGLISH ABSTRACT: Cloud computing is seen as one of top 10 disruptive changes in IT for the next decade by leading research analysts. Consequently, enterprises are starting to investigate the effect it will have on the strategic direction of their businesses and technology stacks. Because of the disruptive nature of the paradigm shift introduced by it, as well as the strategic impact thereof, it is necessary that a structured approach with regard to risk, value and operational cost is followed with the decision on its relevance, as well as the selection of a platform if needed. The purpose of this thesis is to provide a reference model and its associating framework that can be used to evaluate private cloud management platforms, as well as the technologies associated with it.
AFRIKAANSE OPSOMMING: Wolk berekening word deur vooraanstaande navorsing ontleders as een van die top 10 ontwrigtende veranderings vir IT in die volgende dekade beskou. Gevolglik begin korporatiewe ondernemings met ondersoeke om te bepaal wat die invloed daarvan op hulle strategiese rigting en tegnologië gaan wees. Die ontwrigtende aard van die paradigma skuif, asook die strategiese impak daarvan, noodsaak ’n gestruktureerde ondersoek na die toepaslikheid en keuse van ’n platform, indien nodig, met betrekking tot risiko, waarde en operasionele koste. Die doel van hierdie tesis is om ’n verwysings model, en ’n raamwerk wat dit implementeer, saam te stel wat dan gebruik kan word om privaat wolk berekening platforms te evalueer.
APA, Harvard, Vancouver, ISO, and other styles
2

Nivens, Ryan Andrew. "Computing in STEM." Digital Commons @ East Tennessee State University, 2016. https://dc.etsu.edu/etsu-works/239.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Burlutskiy, Nikolay. "Prediction of user behaviour on the Web." Thesis, University of Brighton, 2017. https://research.brighton.ac.uk/en/studentTheses/7ad2ede5-c7e3-4f99-ba68-ef257dc2387a.

Full text
Abstract:
The Web has become an ubiquitous environment for human interaction, communication, and data sharing. As a result, large amounts of data are produced. This data can be utilised by building predictive models of user behaviour in order to support business decisions. However, the fast pace of modern businesses is creating the pressure on industry to provide faster and better decisions. This thesis addresses this challenge by proposing a novel methodology for an effcient prediction of user behaviour. The problems concerned are: (i) modelling user behaviour on the Web, (ii) choosing and extracting features from data generated by user behaviour, and (iii) choosing a Machine Learning (ML) set-up for an effcient prediction. First, a novel Time-Varying Attributed Graph (TVAG) is introduced and then a TVAG-based model for modelling user behaviour on the Web is proposed. TVAGs capture temporal properties of user behaviour by their time varying component of features of the graph nodes and edges. Second, the proposed model allows to extract features for further ML predictions. However, extracting the features and building the model may be unacceptably hard and long process. Thus, a guideline for an effcient feature extraction from the TVAG-based model is proposed. Third, a method for choosing a ML set-up to build an accurate and fast predictive model is proposed and evaluated. Finally, a deep learning architecture for predicting user behaviour on the Web is proposed and evaluated. To sum up, the main contribution to knowledge of this work is in developing the methodology for fast and effcient predictions of user behaviour on the Web. The methodology is evaluated on datasets from a few Web platforms, namely Stack Exchange, Twitter, and Facebook.
APA, Harvard, Vancouver, ISO, and other styles
4

Akhir, Emelia Akashah Patah. "The implementation of information strategies to support sustainable procurement." Thesis, University of Brighton, 2017. https://research.brighton.ac.uk/en/studentTheses/7d32bc16-2943-4228-8aef-3bbe9d0a58c8.

Full text
Abstract:
In our research context, sustainable procurement can be seen as a process to reduce damage to the environment by integrating certain aspects into making procurement decisions, such as value for money throughout the whole life cycle and being of benefit to society and the economy. This research has found more than one way of interpreting the ‘sustainable system’, for example, ‘green-friendly’ versus remaining effective in the long term. Sustainable procurement requires specific information to support the procurement process. The study reported in this thesis aimed to investigate the type of information needed in order for organisations to make correct sustainable procurement decisions. From these findings, information architecture for sustainable procurement in UK universities has been derived. While the initial focus has been on the information needed to make informed decisions in purchasing sustainable information technology (IT) equipment, it is believed that the framework would also be more widely applicable to other types of purchases. To ensure that these findings would support the university aspiration in terms of sustainability practices, a goal-context modelling technique called VMOST/B-SCP was chosen to analyse the sustainable procurement strategy in order to evaluate the alignment of IT strategy and its business strategy. A goal-context model using VMOST/B-SCP was produced to evaluate the procurement strategy, with this validated by procurement staff. This research helps to improve the way that goals and context are identified by integrating another technique, namely, social network analysis (SNA) to produce actor network diagrams. The VMOST/B-SCP technique is transferrable to the mapping of action strategies. The findings from goal-context modelling show that a goal-context model is not static: it changes as external circumstances and organisational priorities change. Most changes to the strategy occurred where external entities on which the change programme depended did not act as planned. The actor networks produced in our version of VMOST/B-SCP can be used to identify such risks. This research was pioneering in its use of VMOST/B-SCP in examining a business change while it was actually taking place rather than after it had been completed (and thus needed to accommodate changes in objectives and strategies). In addition, the research analysed a system with some IT support but where human-operated procedures predominated. The original B-SCP framework used Jackson’s problem frames which focus on possible software components: in our scenario, SNA-inspired actor diagrams were found to be more appropriate.
APA, Harvard, Vancouver, ISO, and other styles
5

Webber, Thomas. "Methods for the improvement of power resource prediction and residual range estimation for offroad unmanned ground vehicles." Thesis, University of Brighton, 2017. https://research.brighton.ac.uk/en/studentTheses/0fa4a3b9-bb71-413a-9b0e-ed0e1574225a.

Full text
Abstract:
Unmanned Ground Vehicles (UGVs) are becoming more widespread in their deployment. Advances in technology have improved not only their reliability but also their ability to perform complex tasks. UGVs are particularly attractive for operations that are considered unsuitable for human operatives. These include dangerous operations such as explosive ordnance disarmament, as well as situations where human access is limited including planetary exploration or search and rescue missions involving physically small spaces. As technology advances, UGVs are gaining increased capabilities and consummate increased complexity, allowing them to participate in increasingly wide range of scenarios. UGVs have limited power reserves that can restrict a UGV’s mission duration and also the range of capabilities that it can deploy. As UGVs tend towards increased capabilities and complexity, extra burden is placed on the already stretched power resources. Electric drives and an increasing array of processors, sensors and effectors, all need sufficient power to operate. Accurate prediction of mission power requirements is therefore of utmost importance, especially in safety critical scenarios where the UGV must complete an atomic task or risk the creation of an unsafe environment due to failure caused by depleted power. Live energy prediction for vehicles that traverse typical road surfaces is a wellresearched topic. However, this is not sufficient for modern UGVs as they are required to traverse a wide variety of terrains that may change considerably with prevailing environmental conditions. This thesis addresses the gap by presenting a novel approach to both off and on-line energy prediction that considers the effects of weather conditions on a wide variety of terrains. The prediction is based upon nonlinear polynomial regression using live sensor data to improve upon the accuracy provided by current methods. The new approach is evaluated and compared to existing algorithms using a custom ‘UGV mission power’ simulation tool. The tool allows the user to test the accuracy of various mission energy prediction algorithms over a specified mission routes that include a variety of terrains and prevailing weather conditions. A series of experiments that test and record the ‘real world’ power use of a typical small electric drive UGV are also performed. The tests are conducted for a variety of terrains and weather conditions and the empirical results are used to validate the results of the simulation tool. The new algorithm showed a significant improvement compared with current methods, which will allow for UGVs deployed in real world scenarios where they must contend with a variety of terrains and changeable weather conditions to make accurate energy use predictions. This enables more capabilities to be deployed with a known impact on remaining mission power requirement, more efficient mission durations through avoiding the need to maintain excessive estimated power reserves and increased safety through reduced risk of aborting atomic operations in safety critical scenarios. As supplementary contribution, this work created a power resource usage and prediction test bed UGV and resulting data-sets as well as a novel simulation tool for UGV mission energy prediction. The tool implements a UGV model with accurate power use characteristics, confirmed by an empirical test series. The tool can be used to test a wide variety of scenarios and power prediction algorithms and could be used for the development of further mission energy prediction technology or be used as a mission energy planning tool.
APA, Harvard, Vancouver, ISO, and other styles
6

Peacock, Chloe. "'Double distinction' : an analysis of consumer participation in Apple branding." Thesis, University of Brighton, 2013. https://research.brighton.ac.uk/en/studentTheses/6c41abda-4d97-40c4-8b34-ae18a9655ceb.

Full text
Abstract:
This thesis aimed to understand the relationship between the Apple brand and Apple consumers. It presents an historical semiotic analysis of a selection of the Apple brand from 1978 to 2009 and in-depth interviews with Apple consumers. The interviews were then analysed thematically, looking at the ways participants employed Apple in the construction of identity. The thesis extends theoretical critical approaches to branding with the inclusion of participant interviews. Approaches to branding consider the role of consumers in brand production and ownership, but this thesis moves focus beyond abstraction to interrogate how much of consumer participation is predetermined by the brand. This was achieved by actually examining the ways in which brand consumers articulate the brand. In doing so findings showed that Apple consumers distinguish themselves from non-Apple consumers, but significantly they made a second distinction. For the first distinction, Apple consumers articulated emotional investment, superior aesthetic taste, and feelings of being part of an exclusive community. The second distinction is an articulation of uniqueness within the Apple community. This is achieved through creating a sense of critical distance from consumption via individual lifestyle and taste.
APA, Harvard, Vancouver, ISO, and other styles
7

Fallahkhair, Sanaz. "Development of a cross platform support system for language learners via interactive television and mobile phone." Thesis, University of Brighton, 2009. https://research.brighton.ac.uk/en/studentTheses/9c5e53bd-2010-4edc-af61-f2e0ba77bda8.

Full text
Abstract:
This thesis explores and develops the potential of interactive television (iTV) technology for language learning. Through a modified form of the socio-cognitive engineering approach (Sharpies et al., 2002a), a range of learner centred design activities were carried out and a system developed to provide cross platform support, blending iTV and mobile phones, for adult language learners.
APA, Harvard, Vancouver, ISO, and other styles
8

Hulshof, Ana Vitoria Joly. "Interactive television for young children : developing design principles." Thesis, University of Brighton, 2010. https://research.brighton.ac.uk/en/studentTheses/c20c561b-b374-460d-b48b-66ec3cc58729.

Full text
Abstract:
The research reported in this thesis investigates preschoolers‟ interactions with interactive television applications. The study involved the development of an electronic programme guide prototype and the empirical evaluation thereof. There were three main aims. The first aim was to analyse children‟s interactions and illustrate them in a framework to further understanding of the way preschoolers interact with the television. The second aim was to contribute design principles for preschool interactive television and the third aim was to refine methods and add to the knowledge of design and evaluation techniques involving young children.
APA, Harvard, Vancouver, ISO, and other styles
9

de, Souza Pereira Candello Heloisa Caroline. "Design for outdoor mobile multimedia : representation, content and interactivity for mobile tourist guides." Thesis, University of Brighton, 2012. https://research.brighton.ac.uk/en/studentTheses/0de623b2-11d7-462b-aa8b-06433c9f78e7.

Full text
Abstract:
The research reported in this thesis explores issues of information design for mobile devices, in particular those relating to selection and presentation of on-screen information and interactive functionality for users of mobile phones. The example domain is that of mobile tour guides for tourists, local people, students and families. Central to the research is the issue of multimodality, particularly the graphic and interaction design issues involved in viewing video, in combination with other media, on a mobile device, in an outdoor context. The study produced three main results: 1. An analytical framework for user-experience concerns in cultural heritage settings, 2. Design recommendations for outdoor mobile multimedia guides and 4. Refinements in methods for collecting and analysing data from fieldwork with visitors in cultural heritage settings. Those results were formulated for the use of mobile guide designers. The methodology used to inform and structure the work was Design Research, involving literature review and empirical work, including user trials of a prototype tourist guide developed in the project. The literature review covered areas of tourism, multimedia design, mobile HCI and existing mobile guides. Outdoor fieldwork exercises were carried out with three different cultural information sources - human tour guide, paper based guide and mobile guide app - in order to identify any problems that visitors might have and to gather requirements for the development of a mobile cultural guide. Qualitative analysis was applied to analyse the video observations and questionnaires completed during the tours. Requirements were grouped and analysed to give substantial information for a conceptual design. Personas and scenarios were created based on real participants and situations that occurred on the tours. A mobile guide prototype was developed and evaluated in the field with visitors. Qualitative analysis and descriptive statistics were used to analyse the data. Visitors were asked about their preferences among various multimedia design elements and answered a questionnaire on their experience. The elements that affect the user experience with outdoor mobile guides were categorised and organised into a framework. It became apparent that users' experience of technology (in this case the mobile tourist guide) and environment are affected by context, content and look and feel elements. This framework of user experience generated a design toolkit with a collection of recommendations for designers of such systems. The recommendations are described in context of usage and have a rating system with strength of evidence and confidence based on how often they appeared in the field works and solutions tested.
APA, Harvard, Vancouver, ISO, and other styles
10

Delaney, Aidan. "Defining star-free regular languages using diagrammatic logic." Thesis, University of Brighton, 2012. https://research.brighton.ac.uk/en/studentTheses/d1c53bda-f520-4807-9de9-8de12eda3d9e.

Full text
Abstract:
Spider diagrams are a recently developed visual logic that make statements about relationships between sets, their members and their cardinalities. By contrast, the study of regular languages is one of the oldest active branches of computer science research. The work in this thesis examines the previously unstudied relationship between spider diagrams and regular languages. In this thesis, the existing spider diagram logic and the underlying semantic theory is extended to allow direct comparison of spider diagrams and star-free regular languages. Thus it is established that each spider diagram defines a commutative star-free regular language. Moreover, we establish that every com- mutative star-free regular language is definable by a spider diagram. From the study of relationships between spider diagrams and commutative star-free regular languages, an extension of spider diagrams is provided. This logic, called spider diagrams of order, increases the expressiveness of spider di- agrams such that the language of every spider diagram of order is star-free and regular, but not-necessarily commutative. Further results concerning the expres- sive power of spider diagrams of order are gained through the use of a normal form for the diagrams. Sound reasoning rules which take a spider diagram of order and produce a semantically equivalent diagram in the normal form are pro- vided. A proof that spider diagrams of order define precisely the star-free regular languages is subsequently presented. Further insight into the structure and use of spider diagrams of order is demonstrated by restricting the syntax of the logic. Specifically, we remove spiders from spider diagrams of order. We compare the expressiveness of this restricted fragment of spider diagrams of order with the unrestricted logic.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Computing and Mathematical Sciences"

1

P, Rothery, and Brown D, eds. Computing examples supplement to Models in biology--mathematics, statistics, and computing. Chichester, West Sussex, England: Wiley, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Debnath, Pradip, and S. A. Mohiuddine. Soft Computing Techniques in Engineering, Health, Mathematical and Social Sciences. Boca Raton: CRC Press, 2021. http://dx.doi.org/10.1201/9781003161707.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Milton, J. Susan. Probability and statistics in the engineering and computing sciences. New York: McGraw-Hill, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

C, Arnold Jesse, ed. Probability and statistics in the engineering and computing sciences. New York: McGraw-Hill, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Borwein, Jonathan M. An Introduction to Modern Mathematical Computing: With Mathematica®. New York, NY: Springer New York, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Grzegorz, Rozenberg, and Salomaa Arto, eds. DNA computing: New computing paradigms. Berlin: Springer, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

C, Misra J., Goswami A. Dr, and Kumar Pawan Dr, eds. Computing and information sciences: Recent trends. New Delhi: Narosa Pub. House, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Muhammad, Ali. Practical scientific computing. Oxford: Woodhead Publishing Ltd, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Numerical methods, with applications in the biomedical sciences. Chichester: Ellis Horwood, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Poland) Konferencja Naukowa "Symbioza Techniki i Informatyki" (3rd 2012 Cisna. Computing in science and technology. Rzeszów: Wydawnictwo Uniwersytetu Rzeszowskiego, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Computing and Mathematical Sciences"

1

Kuehn, Christian. "Computing Manifolds." In Applied Mathematical Sciences, 327–57. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-12316-5_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Cottet, Georges-Henri, Emmanuel Maitre, and Thomas Milcent. "Computing Interactions Between Solids by Level Set Methods." In Applied Mathematical Sciences, 143–60. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-08659-5_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Canadell, Marta, and Àlex Haro. "A Newton-like Method for Computing Normally Hyperbolic Invariant Tori." In Applied Mathematical Sciences, 187–238. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-29662-3_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Haro, Àlex, and Josep-Maria Mondelo. "Seminumerical Algorithms for Computing Invariant Manifolds of Vector Fields at Fixed Points." In Applied Mathematical Sciences, 29–73. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-29662-3_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Hauck, Oliver, Andreas Noback, and Lars Grobe. "Computing the “Holy Wisdom”." In Contributions in Mathematical and Computational Sciences, 205–16. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-28021-4_22.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hoare, C. A. R. "Mathematical Models for Computing Science." In Deductive Program Design, 115–64. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/978-3-642-61455-2_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Alama, Jesse, and Reinhard Kahle. "Computing with Mathematical Arguments." In New Challenges to Philosophy of Science, 9–22. Dordrecht: Springer Netherlands, 2013. http://dx.doi.org/10.1007/978-94-007-5845-2_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Loeffler, David. "Computing with Algebraic Automorphic Forms." In Contributions in Mathematical and Computational Sciences, 47–68. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-03847-6_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Landauer, Christopher. "Wrapping Mathematical Tools." In Computing Science and Statistics, 415–19. New York, NY: Springer New York, 1992. http://dx.doi.org/10.1007/978-1-4612-2856-1_66.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ehlen, Stephan, and Nils-Peter Skoruppa. "Computing Invariants of the Weil Representation." In Contributions in Mathematical and Computational Sciences, 81–96. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-69712-3_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Computing and Mathematical Sciences"

1

Jaafar, Jazurainifariza, M. Nordin A. Rahman, M. Fadzil A. Kadir, Syadiah Nor Shamsudin, and Syarilla Iryani A. Saany. "The direction of cloud computing for Malaysian education sector in 21st century." In PROCEEDINGS OF THE 24TH NATIONAL SYMPOSIUM ON MATHEMATICAL SCIENCES: Mathematical Sciences Exploration for the Universal Preservation. Author(s), 2017. http://dx.doi.org/10.1063/1.4995918.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Dougherty, John P., Joseph E. Hollingsworth, Joan Krone, and Murali Sitaraman. "Mathematical Reasoning in Computing Education." In SIGCSE '16: The 47th ACM Technical Symposium on Computing Science Education. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2839509.2850491.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Majeed, Abdul, and Abd Rahni Mt Piah. "Reconstruction of craniofacial image using rational cubic Ball interpolant and soft computing technique." In THE 22ND NATIONAL SYMPOSIUM ON MATHEMATICAL SCIENCES (SKSM22): Strengthening Research and Collaboration of Mathematical Sciences in Malaysia. AIP Publishing LLC, 2015. http://dx.doi.org/10.1063/1.4932464.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Kor, Liew Kee. "Social capital modelling in mathematical literacy." In 2015 International Symposium on Mathematical Sciences and Computing Research (iSMSC). IEEE, 2015. http://dx.doi.org/10.1109/ismsc.2015.7594078.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Cordaro, Andrea, Hoyeong Kwon, Dimitrios Sounas, Albert Polman, and Andrea Alù. "Non-local computing metasurfaces performing mathematical operations." In CLEO: QELS_Fundamental Science. Washington, D.C.: OSA, 2018. http://dx.doi.org/10.1364/cleo_qels.2018.ff3c.4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Saudi, Azali, Zakariah Aris, and Zamhar Iswandono Awg Ismail. "Fast iterative methods for computing the harmonic information potentials in wireless sensor networks." In PROCEEDING OF THE 25TH NATIONAL SYMPOSIUM ON MATHEMATICAL SCIENCES (SKSM25): Mathematical Sciences as the Core of Intellectual Excellence. Author(s), 2018. http://dx.doi.org/10.1063/1.5041554.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Maminov, A. "MONITORING SYSTEM DESIGN IN HIGH PERFOMANCE COMPUTING CENTER FOR SOLVING MATERIAL SCIENCE PROBLEMS." In Mathematical modeling in materials science of electronic component. LCC MAKS Press, 2022. http://dx.doi.org/10.29003/m3063.mmmsec-2022/39-43.

Full text
Abstract:
The paper considers methods for monitoring the workload of resources of a high-performance complex when setting computational problems of materials science in a common execution queue. Since materials science algorithms can be effectively run in parallel and are demanding on computing resources, there is a need to use supercomputer systems. However, inefficient use of resources significantly increases the estimated time of tasks. We propose to implement a monitoring system for subsequent analysis of allocated computing resources.
APA, Harvard, Vancouver, ISO, and other styles
8

Zelenyuk, Yuliya. "Computing symmetric colorings of the dihedral group." In INNOVATIONS THROUGH MATHEMATICAL AND STATISTICAL RESEARCH: Proceedings of the 2nd International Conference on Mathematical Sciences and Statistics (ICMSS2016). Author(s), 2016. http://dx.doi.org/10.1063/1.4952492.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kawata, Shigeo, Takayuki Teramoto, Hideaki Sugiura, Yuichi Saitoh, and Yoshikazu Hayase. "Mathematical Modeling Support in a Distributed Problem Solving Environment for Scientific Computing." In 2006 Second IEEE International Conference on e-Science and Grid Computing (e-Science'06). IEEE, 2006. http://dx.doi.org/10.1109/e-science.2006.261182.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ovsyak, Volodymyr, Oleksandr Ovsyak, Dmytro Bui, and Julia Petruszka. "Research methodology of mathematical support of computing machines and systems." In 2017 12th International Scientific and Technical Conference on Computer Sciences and Information Technologies (CSIT). IEEE, 2017. http://dx.doi.org/10.1109/stc-csit.2017.8098733.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Computing and Mathematical Sciences"

1

Megginson, Robert, and Hugo Rossi. Quantum Computing Program at the Mathematical Sciences Research Institute. Fort Belvoir, VA: Defense Technical Information Center, September 2003. http://dx.doi.org/10.21236/ada417275.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Wachen, John, and Steven McGee. Qubit by Qubit’s Four-Week Quantum Computing Summer School Evaluation Report for 2021. The Learning Partnership, September 2021. http://dx.doi.org/10.51420/report.2021.4.

Full text
Abstract:
Qubit by Qubit’s Quantum Computing Summer School is a four-week summer course for high school and university students in their first or second year of studies. The aim of the summer school is to introduce the field of Quantum Information Sciences and Engineering (QISE), specifically quantum computing. Through the course, students learn about quantum mechanics, quantum computation and information (quantum gates, circuits, and algorithms and protocols, including Grover’s Algorithm and Quantum Key Distribution), applications of quantum computing, and quantum hardware. Students also learn how to program in Qiskit and basic mathematics for quantum, including matrices and vectors. The Quantum Computing Summer School program enrolled a diverse population of high school and undergraduate students with 48% of participants identifying at female or non-binary, 20% of students identifying as Hispanic, 17% identifying as Black, and 38% identifying as Asian. The program substantially increased participants’ knowledge about quantum computing, as exhibited by large gains on a technical assessment that was administered at the beginning and end of the program. On a survey of student motivation, students in the program showed a statistically significant increase in their expectancy of being successful in quantum computing and valuing quantum computing. From the beginning of the program to the end of the program, there was a statistically significant increase in students’ reported sense of belonging in quantum. Participation in the program increased students’ interest in pursuing additional coursework and careers in STEM generally and in quantum specifically.
APA, Harvard, Vancouver, ISO, and other styles
3

Markova, Oksana, Serhiy Semerikov, and Maiia Popel. СoCalc as a Learning Tool for Neural Network Simulation in the Special Course “Foundations of Mathematic Informatics”. Sun SITE Central Europe, May 2018. http://dx.doi.org/10.31812/0564/2250.

Full text
Abstract:
The role of neural network modeling in the learning сontent of special course “Foundations of Mathematic Informatics” was discussed. The course was developed for the students of technical universities – future IT-specialists and directed to breaking the gap between theoretic computer science and it’s applied applications: software, system and computing engineering. CoCalc was justified as a learning tool of mathematical informatics in general and neural network modeling in particular. The elements of technique of using CoCalc at studying topic “Neural network and pattern recognition” of the special course “Foundations of Mathematic Informatics” are shown. The program code was presented in a CofeeScript language, which implements the basic components of artificial neural network: neurons, synaptic connections, functions of activations (tangential, sigmoid, stepped) and their derivatives, methods of calculating the network`s weights, etc. The features of the Kolmogorov–Arnold representation theorem application were discussed for determination the architecture of multilayer neural networks. The implementation of the disjunctive logical element and approximation of an arbitrary function using a three-layer neural network were given as an examples. According to the simulation results, a conclusion was made as for the limits of the use of constructed networks, in which they retain their adequacy. The framework topics of individual research of the artificial neural networks is proposed.
APA, Harvard, Vancouver, ISO, and other styles
4

Cox, Lawrence H. Board on Mathematical Sciences. Fort Belvoir, VA: Defense Technical Information Center, February 1990. http://dx.doi.org/10.21236/ada220292.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Boisvert, Ronald F. Mathematical and Computational Sciences Division :. Gaithersburg, MD: National Institute of Standards and Technology, 2010. http://dx.doi.org/10.6028/nist.ir.7671.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Gerr, Neil L. Mathematical Sciences Division 1992 Programs. Fort Belvoir, VA: Defense Technical Information Center, October 1992. http://dx.doi.org/10.21236/ada268586.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Dunning, T. H. Jr, and J. R. Lewis. Computing & Information Sciences. Office of Scientific and Technical Information (OSTI), June 1993. http://dx.doi.org/10.2172/10168837.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Yelick, Kathy, Deb Agarwal, Debbie Bard, John Shalf, Ann Almgren, Wahid Bhimji, Ben Brown, et al. 2019 Computing Sciences Strategic Plan. Office of Scientific and Technical Information (OSTI), October 2021. http://dx.doi.org/10.2172/1827673.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Sterrett, A. Career Information in the mathematical sciences (CIMS). Office of Scientific and Technical Information (OSTI), May 1993. http://dx.doi.org/10.2172/6543775.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Tucker, John. Core Support of the Board on Mathematical Sciences. Fort Belvoir, VA: Defense Technical Information Center, January 1999. http://dx.doi.org/10.21236/ada395584.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Computing and Mathematical Sciences' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography