Academic literature on the topic 'Algebraic system'

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Algebraic system.'

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 "Algebraic system"

1

Kravtsov, H. O., S. M. Hrechko, V. V. Nikitchenko, and A. M. Prymushko. "Cognitive Algebraic System." Èlektronnoe modelirovanie 44, no. 3 (2022): 14–30. http://dx.doi.org/10.15407/emodel.44.03.014.

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

Omarov, A. I. "Orthogonally complete algebraic system." Algebra and Logic 30, no. 2 (1991): 134–39. http://dx.doi.org/10.1007/bf01978833.

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

M. Srividya, D. Vidhya, and G. Jayalalitha. "A STUDY ON QUASI UNIFORM DYNAMICAL SYSTEM." International Journal of Scientific Research in Modern Science and Technology 2, no. 12 (2023): 31–37. http://dx.doi.org/10.59828/ijsrmst.v2i12.167.

Full text
Abstract:
This paper introduces a new concept called fuzzy rough algebraic quasi uniformity on a fuzzy rough TM dynamical system. It is highlighting the properties of fuzzy rough quasi uniform dynamical system space. This paper proves that any finite intersection of fuzzy rough quasi uniform open algebraic is a fuzzy rough quasi uniform open algebraic and any finite union of fuzzy rough quasi uniform closed algebraic is a fuzzy rough quasi uniform closed algebraic.
APA, Harvard, Vancouver, ISO, and other styles
4

Holcombe, M. "Algebraic Techniques of System Specification." Irish Mathematical Society Bulletin 0021 (1988): 13–28. http://dx.doi.org/10.33232/bims.0021.13.28.

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

Cadzow, J., and O. Solomon. "Algebraic approach to system identification." IEEE Transactions on Acoustics, Speech, and Signal Processing 34, no. 3 (1986): 462–69. http://dx.doi.org/10.1109/tassp.1986.1164849.

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

Jang, Youngho. "Algebraic Weyl system and application." Annales mathématiques Blaise Pascal 4, no. 2 (1997): 27–40. http://dx.doi.org/10.5802/ambp.95.

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

HINDMAN, NEIL. "The Topological-Algebraic System(?N, +, ?)." Annals of the New York Academy of Sciences 704, no. 1 Papers on Gen (1993): 155–63. http://dx.doi.org/10.1111/j.1749-6632.1993.tb52519.x.

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

Letichevskii, A. A., and V. G. Marinchenko. "Objects in algebraic programming system." Cybernetics and Systems Analysis 33, no. 2 (1997): 283–99. http://dx.doi.org/10.1007/bf02665902.

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

Fu, Jun, Jinzhao Wu, and Hongyan Tan. "A Deductive Approach towards Reasoning about Algebraic Transition Systems." Mathematical Problems in Engineering 2015 (2015): 1–12. http://dx.doi.org/10.1155/2015/607013.

Full text
Abstract:
Algebraic transition systems are extended from labeled transition systems by allowing transitions labeled by algebraic equations for modeling more complex systems in detail. We present a deductive approach for specifying and verifying algebraic transition systems. We modify the standard dynamic logic by introducing algebraic equations into modalities. Algebraic transition systems are embedded in modalities of logic formulas which specify properties of algebraic transition systems. The semantics of modalities and formulas is defined with solutions of algebraic equations. A proof system for this
APA, Harvard, Vancouver, ISO, and other styles
10

Wampler, Charles W., and Andrew J. Sommese. "Numerical algebraic geometry and algebraic kinematics." Acta Numerica 20 (April 28, 2011): 469–567. http://dx.doi.org/10.1017/s0962492911000067.

Full text
Abstract:
In this article, the basic constructs of algebraic kinematics (links, joints, and mechanism spaces) are introduced. This provides a common schema for many kinds of problems that are of interest in kinematic studies. Once the problems are cast in this algebraic framework, they can be attacked by tools from algebraic geometry. In particular, we review the techniques of numerical algebraic geometry, which are primarily based on homotopy methods. We include a review of the main developments of recent years and outline some of the frontiers where further research is occurring. While numerical algeb
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Algebraic system"

1

Wilder, A. J. "Algebraic tables : abstract computability and system documentation." Thesis, Swansea University, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.636599.

Full text
Abstract:
This thesis builds on the work of D. Parnas and other collaborators on the Naval Research Laboratory's pilot Software Cost Reduction Scheme for the A-7E aircraft. This thesis incorporates the tabular approach pioneered by this project into an algebraic environment to benefit the writers of algebraic specifications. Using generic techniques from research from the Software Engineering Research Group at McMaster this thesis defines six classes of function tables which may be used to define algebraic operations. Four of the six classes of function tables are: simple (finite non-recursive), nested,
APA, Harvard, Vancouver, ISO, and other styles
2

Pietschker, Andrej. "Automated test generation from algebraic specifications." Thesis, University of Newcastle Upon Tyne, 2002. http://hdl.handle.net/10443/2015.

Full text
Abstract:
This thesis is a contribution to work on the specification-based testing of computing systems. The development of computing systems is a challenging task. A great deal of research has been directed at support for analysis, design and implementation aspects, yielding a wide range of development techniques. However, the crucial area of system testing remains relatively under-explored. Because a project may spend a good part of its budget on testing, even modest improvements to the cost-effectiveness of testing represent substantial improvements in project budgets. Relatively little literature ha
APA, Harvard, Vancouver, ISO, and other styles
3

Weickert, J. "Navier-Stokes equations as a differential-algebraic system." Universitätsbibliothek Chemnitz, 1998. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-199800942.

Full text
Abstract:
Nonsteady Navier-Stokes equations represent a differential-algebraic system of strangeness index one after any spatial discretization. Since such systems are hard to treat in their original form, most approaches use some kind of index reduction. Processing this index reduction it is important to take care of the manifolds contained in the differential-algebraic equation (DAE). We investigate for several discretization schemes for the Navier-Stokes equations how the consideration of the manifolds is taken into account and propose a variant of solving these equations along the
APA, Harvard, Vancouver, ISO, and other styles
4

El, Nabrawy Iman Mohamed Omar. "Algebraic issues in linear multi-dimensional system theory." Thesis, Loughborough University, 2006. https://dspace.lboro.ac.uk/2134/36004.

Full text
Abstract:
1-D Multivariable system theory has been developed richly over the past fifty years using various approaches. The classical approach includes the matrix fraction description (MFD), the state-space approach etc., while the behavioural approach is relatively new. Nowadays, however there is an enormous need to develop this theory for systems where information depends on more than one independent variable i.e. the n-D system theory (n ≥ 2), due to the vast number of applications for these kind of systems. By contrast to the 1-D system theory, the n-D system theory is less developed and its main as
APA, Harvard, Vancouver, ISO, and other styles
5

Hjelmblom, Magnus. "Norm-Regulation of Agent Systems : Instrumentalizing an algebraic approach to agent system norms." Doctoral thesis, Stockholms universitet, Institutionen för data- och systemvetenskap, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-120602.

Full text
Abstract:
An architecture for norm-regulated multi-agent systems based on an algebraic approach to normative systems is instrumentalized and further developed. The core of the instrumentalization is a Prolog module, which together with a Java library can be used for creating client/server-based runtime systems. Norms are represented as conditional sentences, whose normative consequences are formulated by applying normative operators to descriptive conditions. From such general normative conditions follow normative sentences regarding specific states of affairs. These in turn result in permission or proh
APA, Harvard, Vancouver, ISO, and other styles
6

Moyer, Nathan Thomas. "A knapsack-type cryptographic system using algebraic number rings." Pullman, Wash. : Washington State University, 2010. http://www.dissertations.wsu.edu/Dissertations/Spring2010/n_moyer_032610.pdf.

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

Almaghrawi, Ahmed Almaamoun. "The application of an algebraic constraint system in electromagnetics." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape8/PQDD_0021/MQ55016.pdf.

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

Almaghrawi, Ahmed Almaamoun. "The application of an algebraic constraint system in electormagnetics /." Thesis, McGill University, 1999. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=29852.

Full text
Abstract:
Constraint propagation by means of an Algebraic Constraint System (ACS) can be used to assist the designer to explore a design space. Network transformation has been used for two purposes: first to find implicit constraints that can then be used to avoid the Missing Propagation Path problem (MPP). These new constraints can allow local propagation to succeed. Secondly, network transformation has been used to help verify the algebraic integrity of the model.<br>ACS has the ability to solve a set of equations. Also, it is able to answer user queries and reveal the reasoning process used in obtain
APA, Harvard, Vancouver, ISO, and other styles
9

Scott, B. G. O. "A methodology for formal system development using process algebraic techniques." Thesis, University of Oxford, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.294356.

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

Hays, Christopher Thomas. "An algebraic axiom environment for software testing (axenvironment)." Diss., The University of Arizona, 1993. http://hdl.handle.net/10150/186399.

Full text
Abstract:
This dissertation describes the design and implementation of an algebraic axiom support environment for software testing. Since absolute software correctness is undecidable, "approximate" correctness is as good as software engineering can hope to do. The approximately correct behavior of a software system with respect to a specification can only be demonstrated incrementally, beginning with the modules of a system and finishing with the external interface. Software module specification in the form of algebraic axioms provides a base from which we can be complete and concise in developing and t
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Algebraic system"

1

Bidoit, Michel, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, and Donald Sannella, eds. Algebraic system specification and development. Springer-Verlag, 1991. http://dx.doi.org/10.1007/bfb0018512.

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

Moore, Derek. An expert system for linear algebraic equations. The author], 1985.

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

Astesiano, Egidio. Algebraic Foundations of Systems Specification. Springer Berlin Heidelberg, 1999.

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

Ilchmann, Achim. Surveys in Differential-Algebraic Equations I. Springer Berlin Heidelberg, 2013.

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

1946-, Trivedi Kishor Shridharbhai, and Langley Research Center, eds. Phased-mission system analysis using Boolean algebraic methods. National Aeronautics and Space Administration, Langley Research Center, 1993.

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

1946-, Trivedi Kishor Shridharbhai, and Langley Research Center, eds. Phased-mission system analysis using Boolean algebraic methods. National Aeronautics and Space Administration, Langley Research Center, 1993.

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

Chen, Chi-Tsong. Control system design: Conventional, algebraic, and optimal methods. Pond Woods Press, 1987.

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

1946-, Trivedi Kishor Shridharbhai, and Institute for Computer Applications in Science and Engineering., eds. Boolean algebraic methods for phased-mission system analysis. Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1997.

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

1946-, Trivedi Kishor Shridharbhai, and Langley Research Center, eds. Phased-mission system analysis using Boolean algebraic methods. National Aeronautics and Space Administration, Langley Research Center, 1993.

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

Chowdhury, A. R. Lie algebraic methods in integrable systems. Chapman & Hall/CRC, 2000.

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

Book chapters on the topic "Algebraic system"

1

Schmid, Todd, Tobias Kappé, and Alexandra Silva. "A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests." In Programming Languages and Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30044-8_12.

Full text
Abstract:
AbstractGuarded Kleene Algebra with Tests (GKAT) is a fragment of Kleene Algebra with Tests (KAT) that was recently introduced to reason efficiently about imperative programs. In contrast to KAT, GKAT does not have an algebraic axiomatization, but relies on an analogue of Salomaa’s axiomatization of Kleene Algebra. In this paper, we present an algebraic axiomatization and prove two completeness results for a large fragment of GKAT consisting of skip-free programs.
APA, Harvard, Vancouver, ISO, and other styles
2

Forney, G. D. "Algebraic Structure of Convolutional Codes, and Algebraic System Theory." In Mathematical System Theory. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-662-08546-2_31.

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

Baras, J. S. "Algebraic System Theory, Computer Algebra and Controller Synthesis." In Mathematical System Theory. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-662-08546-2_20.

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

Rubin, Karl. "Kolyvagin’s System of Gauss Sums." In Arithmetic Algebraic Geometry. Birkhäuser Boston, 1991. http://dx.doi.org/10.1007/978-1-4612-0457-2_14.

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

Fuhrmann, P. A. "Algebraic Methods in System Theory." In Mathematical System Theory. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-662-08546-2_13.

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

Ferrareso Lona, Liliane Maria. "Solving an Algebraic Equations System." In A Step by Step Approach to the Modeling of Chemical Engineering Processes. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-66047-9_5.

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

Bussieck, Michael R., and Alex Meeraus. "General Algebraic Modeling System (GAMS)." In Applied Optimization. Springer US, 2004. http://dx.doi.org/10.1007/978-1-4613-0215-5_8.

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

Basu, Saugata, Richard Pollack, and Marie-Francoise Roy. "Polynomial System Solving." In Algorithms in Real Algebraic Geometry. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-662-05355-3_12.

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

Cerone, Antonio, Alex J. Cowie, and George J. Milne. "The circal system." In Algebraic Methodology and Software Technology. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0000498.

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

Sahraoui, Houari A. "The METAGEN system." In Algebraic Methodology and Software Technology. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60043-4_84.

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

Conference papers on the topic "Algebraic system"

1

Samalam, Ashok K. "An Algebraic Approach to Systems and Missions." In 2024 19th Annual System of Systems Engineering Conference (SoSE). IEEE, 2024. http://dx.doi.org/10.1109/sose62659.2024.10620924.

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

Gerbet, Daniel, and Klaus Röbenack. "An Algebraic Test for Local Controllability of Input-Linear Polynomial Systems." In 2024 28th International Conference on System Theory, Control and Computing (ICSTCC). IEEE, 2024. http://dx.doi.org/10.1109/icstcc62912.2024.10744670.

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

Wang, Qing-Wen, and K. P. Shum. "The Solvability of a System of Matrix Equations over an Arbitrary Division Ring." In The International Conference on Algebra 2010 - Advances in Algebraic Structures. WORLD SCIENTIFIC, 2011. http://dx.doi.org/10.1142/9789814366311_0052.

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

French, Tim, John McCabe-Dansted, and Mark Reynolds. "An Algebraic System of Temporal Structures." In 2013 20th International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2013. http://dx.doi.org/10.1109/time.2013.18.

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

Letichevsky, A. A., and J. V. Kapitonova. "Algebraic programming in the APS system." In the international symposium. ACM Press, 1990. http://dx.doi.org/10.1145/96877.96896.

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

Abdali, S. Kamal, Guy W. Cherry, and Neil Soffer. "A Smalltalk system for algebraic manipulation." In Conference proceedings. ACM Press, 1986. http://dx.doi.org/10.1145/28697.28724.

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

Grigoraş, Victor, and Carmen Grigoraş. "Nonlinear System with Adaptive Algebraic Function." In 2023 International Symposium on Signals, Circuits and Systems (ISSCS). IEEE, 2023. http://dx.doi.org/10.1109/isscs58449.2023.10190933.

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

wu, Dan, and Bin Wang. "Influence of Load Models on Equilibria, Stability and Algebraic Manifolds of Power System Differential-Algebraic System." In 2019 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton). IEEE, 2019. http://dx.doi.org/10.1109/allerton.2019.8919649.

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

Ghosh, Bijoy. "Algebraic geometric methods in simultaneous system design." In 1985 24th IEEE Conference on Decision and Control. IEEE, 1985. http://dx.doi.org/10.1109/cdc.1985.268660.

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

Nett, Carl. "Algebraic aspects of linear control system stability." In 1985 24th IEEE Conference on Decision and Control. IEEE, 1985. http://dx.doi.org/10.1109/cdc.1985.268848.

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

Reports on the topic "Algebraic system"

1

Bates, Daniel J., Daniel A. Brake, Wenrui Hao, Jonathan D. Hauenstein, Andrew J. Sommese, and Charles W. Wampler. Real Numerical Algebraic Geometry: Finding All Real Solutions of a Polynomial System. Defense Technical Information Center, 2014. http://dx.doi.org/10.21236/ada597283.

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

Holzenthal, Elizabeth, and Bradley Johnson. Comparison of run-up models with field data. Engineer Research and Development Center (U.S.), 2024. https://doi.org/10.21079/11681/49470.

Full text
Abstract:
Run-up predictions are inherently uncertain, owing to ambiguities in phase-averaged models and inherent complexities of surf and swash-zone hydrodynamics. As a result, different approaches, ranging from simple algebraic expressions to computationally intensive phase-resolving models, have been used in attempt to capture the most relevant run-up processes. Studies quantifiably comparing these methods in terms of physical accuracy and computational speed are needed as new observation technologies and models become available. The current study tests the capability of the new swash formulation of
APA, Harvard, Vancouver, ISO, and other styles
3

van der Mensbrugghe, Dominique. The Standard GTAP Model in GAMS, Version 7.1. GTAP Working Paper, 2023. http://dx.doi.org/10.21642/gtap.wp92.

Full text
Abstract:
The purpose of this document is to describe a version of the Global Trade Analysis Project (GTAP) computable general equilibrium (CGE) model implemented in the General Algebraic Modeling System (GAMS) that is a literal implementation of the standard General Economic Modeling Package (GEMPACK) version. It updates and supersedes the model description provided in van der Mensbrugghe (2018), which remains the main reference. The key revision of the new version is that the model is calibrated to initially normalized variables, similar to Rutherford’s GTAPinGams model (Lanz and Rutherford (2016)). O
APA, Harvard, Vancouver, ISO, and other styles
4

Seimanond, Kitipat, Parawinee Tangnanthanakan, Waramporn Pejpichestakul, and Bongkoch Yimyam. An Investigation and Development on Retrofit of Crude Preheat Train under Different Kinds of Crude Oils. Chulalongkorn University, 2014. https://doi.org/10.58837/chula.res.2014.79.

Full text
Abstract:
Crude distillation unit (CDU) is the major energy consuming unit in refineries. Because of the high energy consumption of crude furnace in crude preheat train, heat integration by retrofitting heat exchanger network (HEN) is represented in this research by using a retrofit potential program and stage-model mathematical programming. A retrofit potential program from Kosol (2012) based on pinch technology was used to identify the optimum heat recovery approach temperature (HRAT). A stage model from Yee and Grossman (1990), is a mathematical programming using General Algebraic Modeling System (GA
APA, Harvard, Vancouver, ISO, and other styles
5

McWilliams, J. Algebraic coarsening methods for linear and nonlinear PDE and systems. Office of Scientific and Technical Information (OSTI), 2000. http://dx.doi.org/10.2172/15013125.

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

Brannick, J. Final Report: Subcontract B623868 Algebraic Multigrid solvers for coupled PDE systems. Office of Scientific and Technical Information (OSTI), 2017. http://dx.doi.org/10.2172/1406429.

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

Abhyankar, Shrirang, Mihai Anitescu, Emil Constantinescu, and Hong Zhang. Efficient Adjoint Computation of Hybrid Systems of Differential Algebraic Equations with Applications in Power Systems. Office of Scientific and Technical Information (OSTI), 2016. http://dx.doi.org/10.2172/1245175.

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

Lou, Xi-Cheng, Alan S. Willsky, and George C. Verghese. An Algebraic Approach to Time Scale Analysis of Singularly Perturbed Linear Systems,. Defense Technical Information Center, 1986. http://dx.doi.org/10.21236/ada186040.

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

Petzold, L. R., and J. B. Rosen. Sensitivity analysis and model reduction of nonlinear differential-algebraic systems. Final progress report. Office of Scientific and Technical Information (OSTI), 1997. http://dx.doi.org/10.2172/354988.

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

Fateman, Richard J., and Carl G. Ponder. Speed and Data Structures in Computer Algebra Systems. Defense Technical Information Center, 1987. http://dx.doi.org/10.21236/ada197131.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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!