Literatura académica sobre el tema "Algebraic system"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Algebraic system".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Algebraic system"
Kravtsov, H. O., S. M. Hrechko, V. V. Nikitchenko y A. M. Prymushko. "Cognitive Algebraic System". Èlektronnoe modelirovanie 44, n.º 3 (10 de junio de 2022): 14–30. http://dx.doi.org/10.15407/emodel.44.03.014.
Texto completoOmarov, A. I. "Orthogonally complete algebraic system". Algebra and Logic 30, n.º 2 (marzo de 1991): 134–39. http://dx.doi.org/10.1007/bf01978833.
Texto completoFu, Jun, Jinzhao Wu y 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.
Texto completoHolcombe, M. "Algebraic Techniques of System Specification". Irish Mathematical Society Bulletin 0021 (1988): 13–28. http://dx.doi.org/10.33232/bims.0021.13.28.
Texto completoCadzow, J. y O. Solomon. "Algebraic approach to system identification". IEEE Transactions on Acoustics, Speech, and Signal Processing 34, n.º 3 (junio de 1986): 462–69. http://dx.doi.org/10.1109/tassp.1986.1164849.
Texto completoJang, Youngho. "Algebraic Weyl system and application". Annales mathématiques Blaise Pascal 4, n.º 2 (1997): 27–40. http://dx.doi.org/10.5802/ambp.95.
Texto completoHINDMAN, NEIL. "The Topological-Algebraic System(?N, +, ?)". Annals of the New York Academy of Sciences 704, n.º 1 Papers on Gen (diciembre de 1993): 155–63. http://dx.doi.org/10.1111/j.1749-6632.1993.tb52519.x.
Texto completoLetichevskii, A. A. y V. G. Marinchenko. "Objects in algebraic programming system". Cybernetics and Systems Analysis 33, n.º 2 (marzo de 1997): 283–99. http://dx.doi.org/10.1007/bf02665902.
Texto completoPhusanga, D. y J. Koppitz. "Some varieties of algebraic systems of type ((n),(m))". Asian-European Journal of Mathematics 12, n.º 01 (febrero de 2019): 1950005. http://dx.doi.org/10.1142/s1793557119500050.
Texto completoŚWIRSZCZ, GRZEGORZ. "AN ALGORITHM FOR FINDING INVARIANT ALGEBRAIC CURVES OF A GIVEN DEGREE FOR POLYNOMIAL PLANAR VECTOR FIELDS". International Journal of Bifurcation and Chaos 15, n.º 03 (marzo de 2005): 1033–44. http://dx.doi.org/10.1142/s0218127405012442.
Texto completoTesis sobre el tema "Algebraic system"
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.
Texto completoPietschker, Andrej. "Automated test generation from algebraic specifications". Thesis, University of Newcastle Upon Tyne, 2002. http://hdl.handle.net/10443/2015.
Texto completoWeickert, J. "Navier-Stokes equations as a differential-algebraic system". Universitätsbibliothek Chemnitz, 1998. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-199800942.
Texto completoEl, Nabrawy Iman Mohamed Omar. "Algebraic issues in linear multi-dimensional system theory". Thesis, Loughborough University, 2006. https://dspace.lboro.ac.uk/2134/36004.
Texto completoHjelmblom, 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.
Texto completoEn arkitektur för normreglerade multiagentsystem baserad på en algebraisk representation av normativa system instrumentaliseras och vidareutvecklas. Kärnan i instrumentaliseringen utgörs av en Prolog-modul som tillsammans med ett Java-bibliotek kan användas för att skapa client/server-baserad körbar kod. Normer representeras som ordnade par av grundvillkor och följdvillkor. De senare konstrueras genom att normativa operatorer appliceras på deskriptiva villkor. Från sådana generella normativa villkor följer normativa satser om specifika sakförhållanden, vilka i sin tur ger upphov till förbud mot eller tillåtelse att utföra enskilda handlingar i olika situationer. Vidare skisseras en metod för att göra körbara multiagentsystem till verktyg för problemlösning genom att använda evolutionära mekanismer för att odla fram normativa system. Konstruktionen av normskapande operatorer på villkor, vilka ligger till grund för representationen av normativa system, betraktas ur två olika synvinklar. (i) En logisk analys, baserad på Kanger-Lindahls teori om normativa positioner. Denna resulterar i två utökade uppsättningar av typer av normativa positioner och utgående från en algebraisk version av ett av dessa utökade system konstrueras sedan en uppsättning operatorer för att skapa agentspecifika normer. (ii) En alternativ analys, som tar sin utgångspunkt i en systematisk undersökning av olika typer av tillståndsövergångar. Denna ger upphov till en uppsättning av normskapande operatorer som är baserade på förbud mot olika typer av övergångar. Argument presenteras vidare för att inom ramen för en klass av övergångssystem, där övergångar är deterministiska och associerade med en agent som utför en handling, så specificerar operatorer baserade på (ii) en meningsfull semantik för operatorer baserade på (i). Teoretiska resultat tillsammans med tillgängliggjord programkod och exempel på tillämpningar bidrar till att underlätta skapandet av teoretiskt sunda, transparent beskrivna och effektivt implementerade normreglerade system av autonoma agenter.
At the time of the doctoral defense, the following papers were unpublished and had a status as follows: Paper 4: Submitted. Paper 5: Forthcoming.
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.
Texto completoAlmaghrawi, 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.
Texto completoAlmaghrawi, 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.
Texto completoACS has the ability to solve a set of equations. Also, it is able to answer user queries and reveal the reasoning process used in obtaining a solution. With respect to inconsistencies, the system is able to verify the data provided by the user. In the case of inconsistencies, the user is notified as to the appropriate course of action to be taken.
The system has the ability to permit the user to investigate other design possibilities and find alternate design paths. Also, the system allows a default design strategy that can be imposed by an expert and invoked by a novice designer. The purpose is to provide assistance and guidelines to a novice designer, thereby allowing him to reach the desired solution.
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.
Texto completoHays, Christopher Thomas. "An algebraic axiom environment for software testing (axenvironment)". Diss., The University of Arizona, 1993. http://hdl.handle.net/10150/186399.
Texto completoLibros sobre el tema "Algebraic system"
Bidoit, Michel, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas y Donald Sannella, eds. Algebraic system specification and development. Berlin/Heidelberg: Springer-Verlag, 1991. http://dx.doi.org/10.1007/bfb0018512.
Texto completoBogdan, Marinescu, ed. Linear time-varying systems: Algebraic-analytic approach. Berlin: Springer-Verlag, 2011.
Buscar texto completoMoore, Derek. An expert system for linear algebraic equations. [S.l: The author], 1985.
Buscar texto completoAstesiano, Egidio. Algebraic Foundations of Systems Specification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999.
Buscar texto completoIlchmann, Achim. Surveys in Differential-Algebraic Equations I. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Buscar texto completoChen, Chi-Tsong. Control system design: Conventional, algebraic, and optimal methods. Stony Brook, NY: Pond Woods Press, 1987.
Buscar texto completo1946-, Trivedi Kishor Shridharbhai y Institute for Computer Applications in Science and Engineering., eds. Boolean algebraic methods for phased-mission system analysis. Hampton, Va: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1997.
Buscar texto completo1946-, Trivedi Kishor Shridharbhai y Langley Research Center, eds. Phased-mission system analysis using Boolean algebraic methods. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1993.
Buscar texto completo1946-, Trivedi Kishor Shridharbhai y Langley Research Center, eds. Phased-mission system analysis using Boolean algebraic methods. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1993.
Buscar texto completo1946-, Trivedi Kishor Shridharbhai y Langley Research Center, eds. Phased-mission system analysis using Boolean algebraic methods. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1993.
Buscar texto completoCapítulos de libros sobre el tema "Algebraic system"
Schmid, Todd, Tobias Kappé y Alexandra Silva. "A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests". En Programming Languages and Systems, 309–36. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30044-8_12.
Texto completoForney, G. D. "Algebraic Structure of Convolutional Codes, and Algebraic System Theory". En Mathematical System Theory, 527–57. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-662-08546-2_31.
Texto completoBaras, J. S. "Algebraic System Theory, Computer Algebra and Controller Synthesis". En Mathematical System Theory, 355–70. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-662-08546-2_20.
Texto completoRubin, Karl. "Kolyvagin’s System of Gauss Sums". En Arithmetic Algebraic Geometry, 309–24. Boston, MA: Birkhäuser Boston, 1991. http://dx.doi.org/10.1007/978-1-4612-0457-2_14.
Texto completoFuhrmann, P. A. "Algebraic Methods in System Theory". En Mathematical System Theory, 233–65. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-662-08546-2_13.
Texto completoFerrareso Lona, Liliane Maria. "Solving an Algebraic Equations System". En A Step by Step Approach to the Modeling of Chemical Engineering Processes, 89–111. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-66047-9_5.
Texto completoBussieck, Michael R. y Alex Meeraus. "General Algebraic Modeling System (GAMS)". En Applied Optimization, 137–57. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/978-1-4613-0215-5_8.
Texto completoBasu, Saugata, Richard Pollack y Marie-Francoise Roy. "Polynomial System Solving". En Algorithms in Real Algebraic Geometry, 365–419. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-662-05355-3_12.
Texto completoCerone, Antonio, Alex J. Cowie y George J. Milne. "The circal system". En Algebraic Methodology and Software Technology, 563–64. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0000498.
Texto completoSahraoui, Houari A. "The METAGEN system". En Algebraic Methodology and Software Technology, 590–91. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60043-4_84.
Texto completoActas de conferencias sobre el tema "Algebraic system"
Wang, Qing-Wen y K. P. Shum. "The Solvability of a System of Matrix Equations over an Arbitrary Division Ring". En The International Conference on Algebra 2010 - Advances in Algebraic Structures. WORLD SCIENTIFIC, 2011. http://dx.doi.org/10.1142/9789814366311_0052.
Texto completoFrench, Tim, John McCabe-Dansted y Mark Reynolds. "An Algebraic System of Temporal Structures". En 2013 20th International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2013. http://dx.doi.org/10.1109/time.2013.18.
Texto completoLetichevsky, A. A. y J. V. Kapitonova. "Algebraic programming in the APS system". En the international symposium. New York, New York, USA: ACM Press, 1990. http://dx.doi.org/10.1145/96877.96896.
Texto completoAbdali, S. Kamal, Guy W. Cherry y Neil Soffer. "A Smalltalk system for algebraic manipulation". En Conference proceedings. New York, New York, USA: ACM Press, 1986. http://dx.doi.org/10.1145/28697.28724.
Texto completowu, Dan y Bin Wang. "Influence of Load Models on Equilibria, Stability and Algebraic Manifolds of Power System Differential-Algebraic System". En 2019 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton). IEEE, 2019. http://dx.doi.org/10.1109/allerton.2019.8919649.
Texto completoGhosh, Bijoy. "Algebraic geometric methods in simultaneous system design". En 1985 24th IEEE Conference on Decision and Control. IEEE, 1985. http://dx.doi.org/10.1109/cdc.1985.268660.
Texto completoNett, Carl. "Algebraic aspects of linear control system stability". En 1985 24th IEEE Conference on Decision and Control. IEEE, 1985. http://dx.doi.org/10.1109/cdc.1985.268848.
Texto completoSCHWARZ, FRITZ. "ALLTYPES: AN ALGEBRAIC LANGUAGE AND TYPE SYSTEM". En Proceedings of the First International Congress of Mathematical Software. WORLD SCIENTIFIC, 2002. http://dx.doi.org/10.1142/9789812777171_0051.
Texto completoMoallem, M. "Attenuation of disturbances for an algebraic system". En Proceedings of American Control Conference. IEEE, 2001. http://dx.doi.org/10.1109/acc.2001.945927.
Texto completoHojjat, H., M. R. Mousavi y M. Sirjani. "Process algebraic verification of SystemC codes". En 2008 8th International Conference on Application of Concurrency to System Design. IEEE, 2008. http://dx.doi.org/10.1109/acsd.2008.4574597.
Texto completoInformes sobre el tema "Algebraic system"
Bates, Daniel J., Daniel A. Brake, Wenrui Hao, Jonathan D. Hauenstein, Andrew J. Sommese y Charles W. Wampler. Real Numerical Algebraic Geometry: Finding All Real Solutions of a Polynomial System. Fort Belvoir, VA: Defense Technical Information Center, febrero de 2014. http://dx.doi.org/10.21236/ada597283.
Texto completoMcWilliams, J. Algebraic coarsening methods for linear and nonlinear PDE and systems. Office of Scientific and Technical Information (OSTI), noviembre de 2000. http://dx.doi.org/10.2172/15013125.
Texto completoBrannick, J. Final Report: Subcontract B623868 Algebraic Multigrid solvers for coupled PDE systems. Office of Scientific and Technical Information (OSTI), octubre de 2017. http://dx.doi.org/10.2172/1406429.
Texto completoAbhyankar, Shrirang, Mihai Anitescu, Emil Constantinescu y Hong Zhang. Efficient Adjoint Computation of Hybrid Systems of Differential Algebraic Equations with Applications in Power Systems. Office of Scientific and Technical Information (OSTI), marzo de 2016. http://dx.doi.org/10.2172/1245175.
Texto completoLou, Xi-Cheng, Alan S. Willsky y George C. Verghese. An Algebraic Approach to Time Scale Analysis of Singularly Perturbed Linear Systems,. Fort Belvoir, VA: Defense Technical Information Center, septiembre de 1986. http://dx.doi.org/10.21236/ada186040.
Texto completoPetzold, L. R. y J. B. Rosen. Sensitivity analysis and model reduction of nonlinear differential-algebraic systems. Final progress report. Office of Scientific and Technical Information (OSTI), diciembre de 1997. http://dx.doi.org/10.2172/354988.
Texto completoFateman, Richard J. y Carl G. Ponder. Speed and Data Structures in Computer Algebra Systems. Fort Belvoir, VA: Defense Technical Information Center, agosto de 1987. http://dx.doi.org/10.21236/ada197131.
Texto completoAnderson, Mitchell J. y Robert Mathews. Algebraic and Topological Structure of QOS (End to End) Within Large Scale Distributed Information Systems. Fort Belvoir, VA: Defense Technical Information Center, enero de 1999. http://dx.doi.org/10.21236/ada359965.
Texto completoChang, P. A Differential Algebraic Integration Algorithm for Symplectic Mappings in Systems with Three-Dimensional Magnetic Field. Office of Scientific and Technical Information (OSTI), septiembre de 2004. http://dx.doi.org/10.2172/833057.
Texto completoBrannick, J. Final Report on Subcontract B601287: Auxiliary Space Preconditioners and Algebraic Multilevel Solvers for Systems of PDEs. Office of Scientific and Technical Information (OSTI), junio de 2013. http://dx.doi.org/10.2172/1088445.
Texto completo