Searches , social queries for SYMBOLIC SIMULATION
Search references for SYMBOLIC SIMULATION. Phrases containing SYMBOLIC SIMULATION
See searches and references containing SYMBOLIC SIMULATION!
Search references for SYMBOLIC SIMULATION. Phrases containing SYMBOLIC SIMULATION
See searches and references containing SYMBOLIC SIMULATION!SYMBOLIC SIMULATION
Type of simultaneous simulation
as symbolic trajectory evaluation (STE) and generalized symbolic trajectory evaluation (GSTE) are based on this idea of symbolic simulation. Symbolic execution
Symbolic_simulation
Technique for program analysis
branch can be determined by solving the constraints. The field of symbolic simulation applies the same concept to hardware. Consider the program below
Symbolic_execution
Scientific area at the interface between computer science and mathematics
Differential analyser Proof checker Model checker Symbolic-numeric computation Symbolic simulation Symbolic artificial intelligence "ACM Association in computer
Computer_algebra
Imitation of the operation of a real-world process or system over time
A simulation is an imitative representation of a process or system that could exist in the real world. In this broad sense, simulation can often be used
Simulation
1981 book by Jean Baudrillard
Simulacra and Simulation (French: Simulacres et Simulation) is a 1981 philosophical essay by the philosopher and cultural theorist Jean Baudrillard, in
Simulacra_and_Simulation
Symbolic trajectory evaluation (STE) is a lattice-based model checking technology that uses a form of symbolic simulation. STE is essentially used for
Symbolic trajectory evaluation
Symbolic_trajectory_evaluation
Proving or disproving the correctness of certain intended algorithms
techniques include state space enumeration, symbolic state space enumeration, abstract interpretation, symbolic simulation, abstraction refinement.[citation needed]
Formal_verification
Probabilistic problem-solving algorithm
Carlo methods, also called the Monte Carlo experiments or Monte Carlo simulations, are a broad class of computational algorithms based on repeated random
Monte_Carlo_method
Methods in artificial intelligence research
In artificial intelligence (AI), symbolic artificial intelligence (also known as classical artificial intelligence or logic-based artificial intelligence)
Symbolic artificial intelligence
Symbolic_artificial_intelligence
American computer scientist (born 1952)
computer science. He continued his research on VLSI simulation, VLSI circuit verification, symbolic manipulation, and parallel computation. He was a visiting
Randal_Bryant
various fields of computer science, including static program analysis, symbolic simulation, model checking, abstract interpretation, SAT solving and automated
Extended_static_checking
Defunct American computer manufacturer (1980–1996)
Line Cinema's The Lord of the Rings), video games, and military simulations. Symbolics' 3600-series computers were also used as the first front end controller
Symbolics
Approach to static program analysis
domains can be combined using the reduced product. Model checking Symbolic simulation Symbolic execution List of tools for static code analysis — contains both
Abstract_interpretation
Modeling a dynamical system's states as infinite sequences of symbols
"Symbolic dynamics". Scholarpedia. ChaosBook.org Chapter "Transition graphs" A simulation of the three-bumper billiard system and its symbolic dynamics
Symbolic_dynamics
Numerical computing environment and programming language
MuPAD symbolic engine allowing access to symbolic computing abilities. An additional package, Simulink, adds graphical multi-domain simulation and model-based
MATLAB
Study of the computational basis of learning and inference
or cognitive simulation) is the study of the computational basis of learning and inference by mathematical modeling, computer simulation, and behavioral
Computational_cognition
Programming language
to write ELLA. ELLA has tools to perform: Design transformation Symbolic simulations Formal verification ELLA is a winner of the 1989 Queen's Award for
ELLA_(programming_language)
of notable computer simulation software. Advanced Simulation Library - open-source hardware accelerated multiphysics simulation software. ASCEND - open-source
List of computer simulation software
List_of_computer_simulation_software
Type of AI with wide-ranging abilities
brain emulation can serve as an alternative approach. With whole brain simulation, a brain model is built by scanning and mapping a biological brain in
Artificial general intelligence
Artificial_general_intelligence
French sociologist and philosopher (1929–2007)
game of the symbolic. By 'symbolic' I do not mean the Lacanian symbolic but the universe of mental simulation. . . . For me the symbolic order is the
Jean_Baudrillard
Undertaking combative actions without intent to harm
performance reasons. The nature of mock combat can vary from realistic to symbolic. Mock combat can be classified into choreographed and unchoreographed forms
Mock_combat
Computer science field
systems Prism: a probabilistic symbolic model checker Roméo: an integrated tool environment for modelling, simulation, and verification of real-time systems
Model_checking
Software user interface
model requiring human interaction. HITL is associated with modeling and simulation (M&S) in the live, virtual, and constructive taxonomy. HITL, along with
Human-in-the-loop
Mathematical formula involving a given set of operations
deciding whether a particular polynomial equation can be solved in radicals. Symbolic integration consists essentially of the search of closed forms for antiderivatives
Closed-form_expression
Electrical circuit simulator
Symbolic Analysis Program for Windows (SAPWIN) is a proprietary symbolic circuit simulator written in C++ for the Microsoft Windows operating systems Vista
SapWin
by its owner in 2021 and is now in a read-only state. List of computer simulation software LunaSim (PDF), System Dynamics Society, 2025-10-01, retrieved
Comparison of system dynamics software
Comparison_of_system_dynamics_software
Mathematical computing environment
Maple is a symbolic and numeric computing environment as well as a multi-paradigm programming language. It covers several areas of technical computing
Maple_(software)
Processing of natural language by a computer
automated interpretation and generation of natural language. The premise of symbolic NLP is often illustrated using John Searle's Chinese room thought experiment:
Natural_language_processing
Thought experiment on artificial intelligence
an information-processing system operating on formal symbols, and that simulation of a given mental state is sufficient for its presence. Specifically,
Chinese_room
Replication of aspects of building performance
performance simulation has various sub-domains. Most prominent are thermal simulation, lighting simulation, acoustical simulation and air flow simulation. Most
Building performance simulation
Building_performance_simulation
Subfield of artificial intelligence
further details. Multi-Agent Based Simulation (MABS): a branch of DAI that builds the foundation for simulations that need to analyze not only phenomena
Distributed artificial intelligence
Distributed_artificial_intelligence
Low-level programming language family
In computing, assembly language (alternatively assembler language or symbolic machine code), often referred to simply as assembly and commonly abbreviated
Assembly_language
physics, and Monte Carlo simulations. High-performance computing List of computational chemistry software List of computer simulation software List of computer
List of computational physics software
List_of_computational_physics_software
Branch of psychology
on-site hands-on tests, off-site hands-on tests, high-fidelity simulations, symbolic simulations, task ratings and global ratings. These various tools are
Industrial and organizational psychology
Industrial_and_organizational_psychology
Software for debugging a computer program
breakpoints, and reporting and modifying memory. A source-level debugger (a.k.a. symbolic debugger) provides a user experience that integrates the program's source
Debugger
Assemblage of connected electrical elements
or estimation techniques such as the piecewise-linear model. Circuit simulation software, such as HSPICE (an analog circuit simulator), and languages
Electrical_network
MRI software
Jemris is an open source MRI sequence design and simulation framework written in C++. It was designed to most generally and numerically integrate the Bloch
Jemris
Concept within modeling and systems analysis
while the simulation time evolves. G-DEVS, parallel DEVS, dynamic structuring DEVS, cell-DEVS, dynDEVS, fuzzy-DEVS, GK-DEVS, ml-DEVS, symbolic DEVS, real-time
DEVS
Specialist field of computer science
science In practical use, it is typically the application of computer simulation and other forms of computation from numerical analysis and theoretical
Computational_science
Intelligence in machines
These models can produce incorrect outputs or "hallucinations," unlike symbolic reasoning systems. AI programs use knowledge to answer questions intelligently
Artificial_intelligence
Term for cultural process of shifting ideas of reality
hyperreality was contentiously coined by Baudrillard in Simulacra and Simulation (1981). Baudrillard defined "hyperreality" as "the generation by models
Hyperreality
System manipulating symbols as expressions
both experimental psychology and computer models, was called "cognitive simulation" by Hubert Dreyfus. Their work was profoundly influential: it contributed
Physical_symbol_system
Symbolic cognitive architecture
spatial/visual memory) are represented as symbolic, relational structures. The hypothesis that a symbolic system is necessary for general intelligence
Soar_(cognitive_architecture)
Open-source numerical computation software
analysis, image enhancement, fluid dynamics simulations, numerical optimization, and modeling, simulation of explicit and implicit dynamical systems and
Scilab
Software used in mathematical applications
Mathematical software is software used to model, analyze or calculate numeric, symbolic or geometric data. Mathematical knowledge of techniques such as algorisms
Mathematical_software
Topological Art Proprietary Houdini Procedural & simulation-based art Proprietary MATLAB Procedural, simulation-based art Proprietary Shadertoy, GLSL Procedural
List of mathematical art software
List_of_mathematical_art_software
Software
usually ascribed to either the "symbolic" or the "connectionist" approach to cognition. ACT-R clearly belongs to the "symbolic" field and is classified as
ACT-R
System allowing a device to imitate another
hardware. Functional simulation is the use of a computer program to simulate the execution of a second computer program written in symbolic assembly language
Emulator
Family of probability distributions
simulation tool. Tamara – project risk analysis simulation tool. Wolfram Mathematica – mathematical symbolic computation program. R (programming language):
PERT_distribution
Edition". edu.3ds.com. Retrieved 2022-08-25. "Student Products - Free Simulation Software". Ansys.com. Retrieved 2017-05-28. "Packages --QuickField FEA
List of finite element software packages
List_of_finite_element_software_packages
Computer scientist
creator of the popular GPSS simulation system language. In the early 1950s, Gordon began using analog computers for simulation in England. A few years later
Geoffrey Gordon (computer scientist)
Geoffrey_Gordon_(computer_scientist)
Computational software program
areas of technical computing that allows machine learning, statistics, symbolic computation, data manipulation, network analysis, time series analysis
Wolfram_Mathematica
Computer algebra system
mini-FAQ". Retrieved 1 February 2024. "Octave 'symbolic' package". Retrieved 2011-10-05. "JEMRIS – MRI simulations software". Archived from the original on
GiNaC
digital or analog circuit design. Waveform viewers comes in two varieties: simulation waveform viewers for displaying signal levels of simulated design models
Waveform_viewer
US artificial intelligence company
Venado supercomputer at the Nicholas C. Metropolis Center for Modeling and Simulation. The supercomputer is used for nuclear stockpile stewardship. In June
OpenAI
software Mathematical software Web-based simulation "Computer Algebra Software". Special Interest Group on Symbolic and Algebraic Manipulation. Association
List of computer algebra systems
List_of_computer_algebra_systems
General form of the GENERIC equation
Thermodynamics. Wiley, Hoboken. M. Kröger and M. Hütter (2010). "Automated symbolic calculations in nonequilibrium thermodynamics". Comput. Phys. Commun. 181
GENERIC_formalism
Test of a machine's ability to imitate human intelligence
requires the resourcefulness associated with intelligence and not merely "simulation of human conversational behaviour". The general structure of the OIG test
Turing_test
Simulation language & graphical notation
a system (SIMPLE - "Simulation of Industrial Management Problems with Lots of Equations") that took coded equations as symbolic input and computed solutions
DYNAMO_(programming_language)
Principle in AI development
accordance with its specification - whether by processes such as testing or simulation. 'Verification' is typically contrasted with 'validation', the latter
Agent_verification
AI that generates content
actions to reach a specified goal. Generative AI planning systems used symbolic AI methods such as state space search and constraint satisfaction and were
Generative_AI
Relationship between an object and a representation of that object
map-territory distinction. In Simulacra and Simulation, Baudrillard argues that in the modern age, simulations precede and even replace reality, leading
Map–territory_relation
American multinational company
life-science modeling and simulation based on the Modelica language. It provides an interactive graphical modeling and simulation environment and a customizable
Wolfram_Research
and said: "There are contributions from many countries, but they remain symbolic. The US still the largest armament supplier."[citation needed] Later on
List of equipment of the Lebanese Armed Forces
List_of_equipment_of_the_Lebanese_Armed_Forces
Software testing tool
An instruction set simulator (ISS) is a simulation model, usually coded in a high-level programming language, which mimics the behavior of a mainframe
Instruction_set_simulator
modeling and simulation tool developed by Maplesoft. MapleSim generates model equations, runs simulations, and performs analyses using the symbolic and numeric
MapleSim
2009 video game by Nintendo
Tomodachi Collection is a 2009 social simulation video game developed and published by Nintendo for the Nintendo DS. It follows the daily interactions
Tomodachi_Collection
Explicit material produced by generative AI
remains an evolving issue. In some countries, laws concerning digital simulation may apply indirectly, particularly when the generated content features
Generative_AI_pornography
Matrix decomposition method
which is useful for efficient numerical solutions, e.g., Monte Carlo simulations. It was discovered by André-Louis Cholesky for real matrices, and posthumously
Cholesky_decomposition
hardware, rather than simulation on digital computers. However, partly due to lack of results and partly due to competition from symbolic AI research, the
History of artificial intelligence
History_of_artificial_intelligence
Global system of connected computer networks
Joachim (June 2019). "Malware propagation in smart grid networks: metrics, simulation and comparison of three malware types". Journal of Computer Virology and
Internet
Portrayal of sexual subject matter
reality technology. It typically involves immersive, interactive videos or simulations that users view using virtual reality headsets. These experiences often
Pornography
Study of mental functions and behaviors
variables. Some, but not all, clinical and counseling psychologists rely on symbolic interpretation. While psychological knowledge is often applied to the assessment
Psychology
Museum in Milton Keynes, United Kingdom
use in industrial process control. The machine was usually programmed in symbolic assembly code, ALGOL or FORTRAN II. The machine on display was donated
The National Museum of Computing
The_National_Museum_of_Computing
Hypothesis that knowing is inseparable from doing
the role of simulations and embodiment in cognition, encompasses Cognitive Linguistics, Situated Action, Simulation and Social Simulation theories. Research
Situated_cognition
2026 video game
I Am Jesus Christ is a 2026 simulation video game developed by SimulaM and published by PlayWay. The player takes the role of Jesus Christ during the events
I_Am_Jesus_Christ
Playable AI-generated Minecraft clone
was released by Decart to the public on October 31, 2024. The AI-driven simulation uses "next-frame prediction" to anticipate player actions based on keyboard
Oasis_(Minecraft_clone)
virtual reality simulation to see how they deal with their greatest fears (for Tris, it is being attacked by crows, which is symbolic of not having power
List_of_Divergent_characters
Academic fields of study or professions
Demography Computational statistics Data mining Regression (outline) Simulation Bootstrap (statistics) Design of experiments Block design and Analysis
Outline of academic disciplines
Outline_of_academic_disciplines
French artificial intelligence company
the Austrian company Emmi AI, which develops artificial intelligence simulation models for industrial engineering. In June 2023, the start-up carried
Mistral_AI
2002 philosophy book by Slavoj Žižek
from The Matrix refer to a phrase in Jean Baudrillard's Simulacra and Simulation. Part of this phrase appears in the following context of the book: If
Welcome to the Desert of the Real
Welcome_to_the_Desert_of_the_Real
Projecting human traits onto computers
comprehension or empathy—onto rudimentary computer programs. ELIZA was a symbolic AI chatbot developed in 1966 by Joseph Weizenbaum that imitated a psychotherapist
ELIZA_effect
Calculator as a computer program
of time, e.g. a year. Astronomical calculators can be also a part of a simulation software, displaying the sky at a certain time. There are also types of
Software_calculator
Term; displaying fortitude in the face of adversity
managed to crash land the aircraft at Sioux Gateway Airport in Iowa. In simulation scenarios, no crew has ever been able to make it to the airport, and the
Stiff_upper_lip
Connectionist Learning with Adaptive Rule Induction On-line, hybrid connectionist/symbolic cognitive architecture. OpenCog – project that aims to build an open source
Lists of open-source artificial intelligence software
Lists_of_open-source_artificial_intelligence_software
Hypothetical consciousness in artificial systems
combines Baars's idea of a global workspace with a mechanism for internal simulation ("imagination"). Hod Lipson defines "self-modeling" as a necessary component
Artificial_consciousness
Hypothesis that human replicas elicit revulsion
displaying short descriptions of redirect targets Virtual human – Computer simulation of a person VTuber – Streamers that use virtual avatars Babiniku – Japanese
Uncanny_valley
Simulation software
EcosimPro is a simulation tool developed by Empresarios Agrupados A.I.E for modelling simple and complex physical processes that can be expressed in terms
EcosimPro
Academic journal
aims to disseminate the latest findings of note in the field of numeric, symbolic, algebraic, and geometric computing applications. The journal publishes
ACM Transactions on Mathematical Software
ACM_Transactions_on_Mathematical_Software
Artificial intelligence systems that perceive and act in the physical world
requirements, energy constraints and transferring behavior learned in simulation to physical machines. Because failures can cause physical damage or injury
Physical artificial intelligence
Physical_artificial_intelligence
Specialized computer language used to describe electronic circuits
description of an electronic circuit that allows for the automated analysis and simulation of the circuit. It also allows for the synthesis of an HDL description
Hardware_description_language
length of y, |y| is at most p(|x|). (Some authors use the words p-simulation and simulation interchangeably for either of these two concepts, usually the
Propositional_proof_system
Artificial production of human speech
system converts normal language text into speech; other systems render symbolic linguistic representations like phonetic transcriptions into speech. The
Speech_synthesis
Game theory
03484. Cooper, E.; Oesterheld, C.; Conitzer, V. (2025). "Characterising Simulation-Based Program Equilibria". Proceedings of the AAAI Conference on Artificial
Program_equilibrium
British-American scientist (born 1959)
investigations into cellular automata,[citation needed] mainly with computer simulations. He produced a series of papers investigating the class of elementary
Stephen_Wolfram
Type of pale building stone
stone is frequently used in contemporary synagogue design, to create a simulation of the Western Wall or as a backdrop for the Holy Ark. A Pentecostal church
Jerusalem_stone
parametric modeler with simple mechanical simulation abilities Sweet Home 3D Wings 3D Advanced Simulation Library ASCEND DWSIM Elmer FEM solver Gmsh
List of free and open-source software packages
List_of_free_and_open-source_software_packages
American computer scientist
architectures, human reasoning and learning, cognitive social simulation, and hybrid connectionist-symbolic models. Over the years, his work has been wide-ranging
Ron_Sun
Computer Language for System Modeling
have no pre-defined causality. The simulation engine may (and usually must) manipulate the equations symbolically to determine their order of execution
Modelica
Doll used in art and clothing display
Also referred to as mannequins are the human figures used in computer simulation to model the behavior of the human body. Mannequin comes from the French
Mannequin
travel, tourism, insurance
SYMBOLIC SIMULATION
SYMBOLIC SIMULATION
SYMBOLIC SIMULATION
SYMBOLIC SIMULATION
SYMBOLIC SIMULATION
SYMBOLIC SIMULATION
SYMBOLIC SIMULATION
SYMBOLIC SIMULATION
SYMBOLIC SIMULATION
travel, tourism, insurance