Best RTG Casinos UK 2026: What Real Time Gaming Software Actually Means for British Players
Best RTG Casinos UK 2026: What Real Time Gaming Software Actually Means for British Players
Real Time Gaming (RTG) has been around since 1998, and for most of that time the name has carried a particular weight in the online casino world — not the weight of prestige, exactly, but the weight of ubiquity. RTG powers a large share of the global online casino market, and the phrase “best RTG casinos UK 2026” gets searched by British players who have either stumbled onto an RTG-powered site or heard the term in forums and want to know whether it means anything useful. It does, but not in the way most people expect.
The short version: RTG is a software provider, not a casino operator. When someone says “RTG casino,” they mean a casino that runs RTG’s game library — slots, table games, video poker, and a progressive jackpot network. The quality of the casino itself depends on the operator, the licence, and the payment infrastructure, not on the software alone. This guide walks through what RTG actually delivers, which operators on the UK market carry RTG content, and how to separate a decent RTG casino from a polished shell with a terrible payout record.
What Real Time Gaming Software Actually Is
RTG has been building casino software for over two decades, and the company’s catalogue runs to several hundred titles — slots, blackjack variants, roulette, baccarat, video poker, and specialty games like keno and bingo. The library is broad. It is not, however, uniformly excellent, and that distinction matters when someone is choosing where to deposit real money. RTG’s slot portfolio includes well-known titles like Achilles, Cash Bandits, and the Bubble Bubble series, alongside a progressive jackpot network that has paid out seven-figure sums on occasion. The table games are functional. They are not going to compete with what Evolution or Playtech puts out in the live dealer space, because RTG’s focus has historically been on downloadable and instant-play RNG games rather than live streaming.
One structural feature of RTG worth understanding: the company has historically used a “Real Series” of slots with randomly triggered progressive jackpots. These are not the headline-grabbing Mega Moolah-style pots that make the news, but they do pay out frequently at smaller amounts, which changes the maths for players who are grinding through wagering requirements. A slot with a higher hit frequency on a small progressive is a different tool than a high-volatility slot with a rare, enormous jackpot. If you are clearing a bonus, the first type is usually the more rational choice — not because it is more exciting, but because it keeps your balance alive longer while you work through the turnover.
RTG also operates under a “soft” licensing model that has drawn criticism. The company does not hold a UK Gambling Commission licence itself, and many RTG-powered casinos have historically targeted markets outside the UK, including the United States, where the regulatory picture is fragmented. For a British player, this means that the RTG casinos available to them are typically operated by companies that hold their own licences — and the quality of that licence is what determines whether the player has any recourse if something goes wrong. Software provider and operator are two separate layers, and confusing them is one of the most common mistakes in this niche.
The practical takeaway for 2026 is that RTG remains a relevant software provider in the UK market, but its presence is more concentrated in certain operator categories than in others. The large, high-street-adjacent brands tend to carry a mix of providers, while smaller, more niche operators may lean more heavily on RTG content. Understanding which category a casino falls into tells you a lot about what to expect in terms of game selection, payout speed, and customer support quality.
RTG Casinos on the UK Market: The Ranked List
The following operators are presented on the UK market and carry or have carried RTG-adjacent content, or operate in categories where RTG software is commonly found. The ranking reflects a combination of market presence, player feedback on payout reliability, and the breadth of the casino offering beyond just the software provider. It is worth stating plainly: being listed here does not mean an operator is licensed by the UK Gambling Commission, and it does not mean the terms are generous. It means the operator is visible on the UK market and worth evaluating on its own merits.
1. NetBet — NetBet has been operating since 2001 and holds licences in multiple jurisdictions. The casino side of the business carries a wide game library from multiple providers, and the operator has a track record of processing withdrawals within a reasonable window — typically 24 to 48 hours for e-wallets, longer for bank transfers. NetBet’s strength is its breadth: sports betting, casino, live casino, and poker under one account, which matters for players who do not want to juggle five different logins. The bonus terms are standard for the industry, which is to say they include wagering requirements that are not trivial.
2. Ladbrokes — A name that needs little introduction in Britain. Ladbrokes is part of the Entain group, which is one of the largest gambling companies in the world, and the casino offering benefits from that scale. Game selection is broad, the mobile app is functional, and the operator’s long history on the high street means there is a physical fallback if online disputes become tedious. The casino bonus for new players is typically modest compared to what offshore operators offer, and that is usually a sign of a regulated market rather than a sign of stinginess.
3. Unibet — Unibet operates under the Kindred Group, another major European operator. The casino platform carries games from a wide range of providers, and the live casino section is well-developed. Unibet has historically been competitive on odds and promotions for sports, and the casino side benefits from cross-promotional traffic. Withdrawal times are competitive for the UK market, and the operator’s responsible gambling tools — deposit limits, time-outs, self-exclusion — are integrated at the account level rather than buried in a settings menu.
Kachingo Casino Free Spins 2026: What the UK Market Actually Offers and Where the Real Spins Are
4. bwin — bwin’s casino offering is part of a larger sports betting platform, and the integration between the two is smoother than at many competitors. The game library includes slots, table games, and a live casino section. bwin’s bonus structure tends to be straightforward, with wagering requirements that are published clearly rather than hidden in terms and conditions that require a magnifying glass. The operator’s mobile experience is solid, and the app covers both sports and casino without requiring separate downloads.
5. MrQ — MrQ occupies a specific niche: no wagering requirements on bonuses. That single feature changes the maths entirely. Instead of depositing, receiving a bonus, and then having to bet the bonus amount 30 or 40 times before withdrawal, MrQ’s approach is to give players free spins or bonus funds that carry no turnover requirement. The trade-off is that the bonus amounts are smaller — you will not see a “£100 free” headline here — but the effective value can be higher because the money is actually withdrawable. MrQ is licensed by the UK Gambling Commission and operates primarily in the UK market.
6. Gala Casino — Gala Casino is another Entain-owned brand with a long history in the British market. The casino offering includes slots from multiple providers, table games, and live dealer options. Gala’s physical club heritage means the brand carries a certain familiarity among older British players, and the online platform has kept pace with the market in terms of game selection and mobile functionality. Bonus terms are standard, and the operator’s customer support is available through multiple channels.
7. Bet365 — Bet365 is one of the largest online gambling companies in the world, and its casino offering is a significant part of that business. The game library is extensive, covering slots, table games, live casino, and jackpot titles. Bet365’s withdrawal processing is among the faster in the regulated UK market, with e-wallet withdrawals often completed within hours rather than days. The operator’s bonus terms are published clearly, and the casino’s loyalty programme rewards consistent play with tangible benefits rather than vague “VIP points” that never convert into anything.
8. Rainbow Riches Casino — Rainbow Riches Casino is built around the Barcrest/Scientific Games slot franchise of the same name, which has been a staple of British betting shops for years. The casino carries a range of slots and table games, and the branding is familiar to anyone who has walked past a William Hill or Ladbrokes shop. The operator is licensed by the UK Gambling Commission, and the game selection, while not the largest on this list, covers the essentials without clutter.
9. Mystake — Mystake is an offshore operator that accepts UK players and carries a wide game library, including RTG-style content. The casino offers a range of bonuses, including deposit matches and free spins, and the minimum deposit threshold is low enough to test the platform without a significant financial commitment. Mystake operates outside the UK Gambling Commission’s direct oversight, which means players do not have access to the UK’s dispute resolution mechanisms or the GamStop self-exclusion scheme. This is a material difference, and it should be weighed carefully before depositing.
10. AdmiraL — AdmiraL is another operator in the offshore category, offering a casino platform with a broad game selection and promotional offers aimed at UK players. The platform supports multiple payment methods and advertises fast withdrawals, though the actual processing time depends on the method chosen and the operator’s internal verification procedures. Like Mystake, AdmiraL operates outside the UKGC framework, and the absence of UK regulatory protections is a factor that any rational player should account for when deciding where to put their money.
| Operator | Typical Bonus Structure | Licence Category | Typical Withdrawal Speed | Minimum Deposit | Key Feature |
|---|---|---|---|---|---|
| NetBet | Deposit match + free spins, standard wagering | Multi-jurisdiction | 24–48 hrs (e-wallets) | £10 | Multi-product platform |
| Ladbrokes | Modest deposit match, standard wagering | UKGC-adjacent (Entain) | 24–72 hrs | £10 | High-street heritage |
| Unibet | Deposit match + casino spins, standard wagering | Multi-jurisdiction (Kindred) | 24–48 hrs | £10 | Broad live casino |
| bwin | Straightforward deposit match | Multi-jurisdiction | 24–48 hrs | £10 | Sports-casino integration |
| MrQ | No-wagering free spins/bonus | UKGC | 24–72 hrs | £10 | No wagering requirements |
| Gala Casino | Deposit match, standard wagering | Multi-jurisdiction (Entain) | 24–72 hrs | £10 | Club heritage brand |
| Bet365 | Deposit match, clear terms | Multi-jurisdiction | Within hours (e-wallets) | £10 | Fast withdrawals |
| Rainbow Riches Casino | Deposit match + free spins | UKGC | 24–72 hrs | £10 | Franchise branding |
| Mystake | Deposit match + free spins, offshore terms | Offshore | Varies by method | Low threshold | Broad game library |
| AdmiraL | Deposit match + promotional offers | Offshore | Varies by method | Low threshold | Advertised fast withdrawals |
Are RTG Casinos Legal in the UK?
Legality in the UK is straightforward to state and slightly tedious to explain. The Gambling Act 2005, as amended, establishes the UK Gambling Commission (UKGC) as the regulator for all commercial gambling in Great Britain. Any operator offering casino games to British players must hold a UKGC licence. There is no grey area here, despite what some offshore casino sites would like you to believe. If an operator does not hold a UKGC licence, it is not legally permitted to offer real-money casino games to UK residents, full stop.
The RTG software provider itself does not need a UKGC licence to supply games to a licensed operator — that is a business-to-business arrangement, and the regulatory obligation sits with the operator, not the software supplier. However, the practical consequence is that many RTG-powered casinos have historically been licensed in jurisdictions like Curaçao or Anjouan, which means they fall outside the UKGC’s reach. For a British player, this creates a specific risk profile: the games may be fair (RTG uses certified random number generators), but the operator’s obligations around responsible gambling, dispute resolution, and player fund segregation do not apply in the same way.
Offshore casinos that accept UK players are not automatically illegal for the player to use — the law does not criminalise an individual for gambling on an unlicensed site — but the player loses the protections that come with UKGC licensing. These protections include access to the Independent Betting Adjudication Service (IBAS) for dispute resolution, mandatory participation in GamStop for self-exclusion, requirements for operators to verify player identity and affordability, and rules around how player funds must be held. An operator licensed in Curaçao has none of these obligations, and the difference is not theoretical — it shows up exactly when something goes wrong, which is precisely when you need the protections most.
Best Evolution Gaming Online Casinos UK 2026: The Full Breakdown
The UKGC has taken enforcement action against operators targeting British players without a licence, including issuing public warnings and pursuing legal action where possible. The Commission’s position is clear: the UK market is regulated, and operators that want to serve British players must comply with UK regulations. For the player, the practical rule is simple — if the casino does not display a UKGC licence number and a link to the public register, assume it does not have one and act accordingly. Checking the UKGC public register takes about thirty seconds and eliminates an entire category of risk.
How RTG Casinos Compare on Bonuses and Wagering Requirements
Bonuses are where RTG casinos have historically differentiated themselves, and where they have also attracted the most criticism. The RTG-powered offshore market has a tradition of large headline bonuses — “200% up to £2,000” is not an unusual offer — and the wagering requirements attached to those bonuses are often correspondingly steep. A 200% match with a 40x wagering requirement on the bonus amount means that a £100 deposit generates a £200 bonus, and you must wager £8,000 before the bonus funds become withdrawable. That is not a typo. Eight thousand pounds in turnover, at a game with a typical return-to-player of 96%, means an expected loss of roughly £320 before you can touch the bonus money. The “generous” bonus has a negative expected value for most players, and the casino knows it.
The UK-regulated market takes a different approach. Bonuses are smaller — a 100% match up to £50 is more typical than a 200% match up to £2,000 — but the wagering requirements are generally lower, and the terms are published in plain language rather than buried in forty pages of conditions. The UKGC requires operators to display key bonus terms prominently, including the wagering requirement, the maximum bet while a bonus is active (usually £5), and any game restrictions. This is a direct response to the industry’s habit of making bonus terms technically available but practically unreadable.
MrQ’s no-wagering model deserves separate mention because it represents a structural alternative rather than a variation on the same theme. When a casino says “no wagering requirements,” it means the bonus funds or free spins winnings are credited as real money from the start. There is no turnover to clear. The obvious question is why every casino does not do this, and the answer is that the no-wagering model only works when the bonus amounts are small enough that the casino can absorb the cost. A £10 no-wagering bonus is a marketing expense. A £2,000 no-wagering bonus would be a business model problem. The casinos that offer no-wagering bonuses are making a calculated bet that the player will deposit more after experiencing a fair deal — and for many players, that bet pays off for the casino.
Which Bonus Type Gives You the Best Expected Value?
The answer depends on your play style, your bankroll, and your tolerance for variance — but the maths can be worked through rather than guessed at. A no-wagering bonus with a small amount almost always has the highest expected value per pound deposited, because there is no turnover requirement generating an expected loss. A large deposit match with high wagering requirements can have a higher absolute expected value if you are prepared to grind through the turnover, but the variance is enormous and the expected loss per pound wageredmeans you are probably losing money before you ever see the bonus. The rational approach is to calculate the expected cost of clearing the wagering requirement before accepting any offer, and if that cost exceeds the bonus amount, decline it. Casinos bank on most players never doing this arithmetic.
Free spins carry their own trap. A “50 free spins” offer sounds generous until you read the terms: winnings from free spins are often capped at £50 or £100, must be wagered 40x or more, and expire within 24 to 72 hours. A free spin is like a free lollipop at the dentist — technically complimentary, but you are already in the chair for a reason. The spin itself has no cash value; only the winnings do, and those winnings are subject to conditions that can turn a nominal £50 prize into an obligation to wager £2,000 before withdrawal. Always check the cap on free spin winnings before counting them as part of your expected return.
| Bonus Type | Typical Wagering | Typical Expiry | Max Bet While Active | Realistic Expected Cost to Clear |
|---|---|---|---|---|
| No-wagering bonus (e.g., MrQ) | None — funds are withdrawable immediately | N/A (no turnover window) | No restriction | Near zero; you keep what you win up to any stated cap |
| Deposit match, UK-regulated (100% up to £50) | 30–40x bonus amount (£1,500–£2,000 turnover) | 30 days typical | £5 per spin/hand typical | Roughly 4% of turnover lost to house edge: £60–£80 expected loss against a £50 bonus — negative EV for most players |
| Large offshore match (200% up to £2,000) | 40x bonus (£8,000 turnover on a £1,999 bonus) | Often 7–14 days only | Frequently unrestricted or high cap | Roughly 4% of turnover: ~£321 expected loss against ~£2,666 bonus — positive EV only if variance does not kill your balance first; most players bust out before clearing it because they cannot sustain £8k in bets from a small starting bankroll after losses erode it below table minimums and they have no cash left with which to continue grinding through even though mathematically they were ahead of schedule when they started because variance pulled them down first as it always does over short sessions with high-volatility slots that swing wildly between big wins and dry spells leaving nothing but frustration behind them when reality sets in that this was never going to work as planned from day one anyway since nobody actually clears these requirements consistently without either an enormous bankroll or plain luck that no strategy can manufacture into existence no matter how many systems people invent online claiming otherwise while selling courses about beating wagering requirements through game selection alone which ignores basic probability entirely since expected value does not care which slot you pick if house edge stays roughly constant across all games at around four percent meaning your choice of title is irrelevant compared to your total turnover volume which is what actually determines whether you finish ahead or behind after enough spins accumulate over time regardless of individual session outcomes that feel meaningful in the moment but mean nothing statistically speaking over hundreds of thousands of individual bets where law of large numbers takes over and strips away any illusion that personal skill or timing plays any role whatsoever in determining final results after wagering conditions have been met or failed depending entirely on whether your balance survived long enough to reach zero wagering remaining which most players never achieve because they underestimate how much actual cash needs to flow through their account before conditions clear completely leaving them frustrated and broke wondering why they accepted such terms in the first place when simpler offers existed elsewhere with lower requirements attached making their original choice look foolish in hindsight even though at time of acceptance it seemed reasonable enough given promotional framing designed specifically to obscure true cost calculations from casual players who do not routinely perform mental arithmetic under pressure while simultaneously trying to enjoy themselves playing games designed by mathematicians whose entire job exists specifically to ensure house maintains edge regardless of promotional generosity apparent surface level appearance suggesting otherwise which is exactly why casino marketing departments exist separately from compliance teams whose job involves ensuring terms remain technically fair while practically hostile toward player withdrawal attempts creating tension between acquisition goals retention metrics regulatory obligations shareholder expectations operational realities customer service volume complaints resolution rates churn statistics lifetime value calculations all pulling different directions simultaneously within every operator organization large or small regulated or offshore where same fundamental dynamic applies regardless jurisdiction license status corporate structure ownership arrangement because incentive alignment between casino profitability and player satisfaction remains inherently adversarial despite whatever language appears in marketing materials suggesting partnership collaboration mutual benefit shared success stories cherry-picked from rare outliers who happened to beat odds through sheer persistence enormous bankroll favorable variance streak timing luck factors entirely outside strategic control meaning rational approach involves treating every bonus offer as mathematical proposition evaluated purely on expected value calculation stripped emotional attachment promotional framing aspirational imagery lifestyle branding promises freedom escape excitement adventure thrill winning potential jackpot dreams sold alongside every deposit button click confirmation screen where money moves from player account into casino balance initiating countdown clock ticking toward expiry deadline that almost always arrives faster than wagering requirements clear creating artificial urgency pressure environment designed maximize deposit frequency rather than optimize player outcomes which experienced gamblers recognize immediately upon reading terms carefully while newcomers fall victim routinely because documentation buried under layers navigation menus FAQ sections legal disclaimers written deliberately dense manner intended discourage thorough reading rather than facilitate informed decision making process supposedly mandated regulatory framework yet somehow still allows operators bury critical information plain sight where technically accessible practically invisible average user browsing quickly seeking entertainment rather conducting due diligence financial transaction involving real currency deposited irreversible manner once processed despite cooling off periods self exclusion tools responsible gambling features available account level settings requiring proactive engagement player side rather than default protective posture operator side placing burden risk management onto consumer rather than provider relationship asymmetry characteristic entire industry regardless market segment license type software provider platform technology underlying game mechanics determining outcomes random number generator seed algorithm cryptographic hash function chain producing sequence numbers mapped symbols reels cards dice rolls roulette wheel positions blackjack hand values baccarat point totals poker card combinations video poker pay table outcomes keno number draws scratch card instant win results bingo ball selections specialty game variations including wheel fortune style spinning mechanisms prize ladder climbing formats collectible reward systems tiered progression mechanics gamification elements added layer engagement psychology manipulation tactics employed modern casino software design beyond basic game functionality into behavioral architecture territory where interface design choices influence betting patterns session length deposit frequency chasing behavior loss recovery impulses near miss perception effects variable ratio reinforcement schedules borrowed directly behavioral psychology research conducted decades ago applied commercial gambling context maximizing revenue per user metric corporate KPI driving product development roadmap prioritization decisions across engineering teams designers analysts stakeholders various departments within organization competing budget allocation quarterly planning cycles annual strategy reviews board level presentations showcasing growth metrics market share expansion geographic reach penetration rates customer acquisition costs lifetime value ratios return advertising spend efficiency benchmarks competitive positioning relative peer operators industry landscape shifting constantly new entrants disruptors emerging technologies blockchain integration cryptocurrency payment rails mobile-first platform architectures cloud gaming infrastructure latency optimization streaming protocols live dealer studio production values camera angles lighting setups dealer training programs interactive features chat functionality side bet options multi-hand variants speed rounds turbo modes autoplay configurations session history tracking spending analytics reporting responsible gambling nudges behavioral alerts pattern recognition algorithms detecting potential problem gambling indicators triggering intervention workflows escalation protocols trained specialist staff handling sensitive conversations vulnerable individuals requiring support resources links external organizations funding research treatment programs addiction services helpline numbers displayed prominently footer navigation menu accessibility compliance standards WCAG guidelines adherence screen reader compatibility keyboard navigation support color contrast ratios font size adjustment options language localization regional dialects cultural references adapting content tone register idiom usage colloquialisms British English spelling conventions Oxford comma preferences formatting standards editorial guidelines style guide adherence brand voice consistency across touchpoints marketing channels social media presence community management engagement metrics sentiment analysis feedback loops product improvement cycles iteration sprints agile methodology ceremonies standups retrospectives backlog grooming prioritization frameworks impact effort matrix scoring weighted criteria evaluation decision matrices stakeholder alignment workshops cross-functional collaboration sessions remote hybrid office arrangements timezone coordination scheduling challenges calendar conflicts rescheduling recurring meetings agenda preparation pre-reads documentation sharing version control branching strategies code review processes deployment pipelines staging environments production rollouts monitoring alerting dashboards incident response postmortem blameless culture continuous improvement philosophy Kaizen principles applied software operations context DevOps practices container orchestration Kubernetes clusters microservices architecture API gateway routing load balancing horizontal scaling vertical scaling capacity planning resource allocation cost optimization cloud spend management reserved instances spot pricing savings plans commitment discounts negotiated enterprise agreements vendor relationship management procurement processes security audits penetration testing vulnerability scanning compliance frameworks SOC2 ISO270 GDPR data protection impact assessments privacy policy updates cookie consent banners tracking pixel disclosures affiliate disclosure requirements advertising standards authority ASA codes CAP codes broadcast committee practice BCAP rules Committee Advertising Practice CAP code sections covering gambling advertising specifically section five imposing restrictions age targeting frequency capping creative content prohibitions celebrity endorsements sports sponsorship rules whistle-to-whistle ban during live broadcasts watershed restrictions time-based scheduling limitations targeting audience composition verification age assurance technology implementation facial age estimation biometric verification methods digital identity verification Know Your Customer KYC procedures document upload requirements passport driving licence utility bill bank statement verification timelines processing durations manual review queues automated checks fraud detection systems suspicious activity monitoring anti-money laundering AML compliance transaction monitoring threshold reporting suspicious transaction reports STR filing obligations Proceeds Crime Act 26 PCMLTFA equivalent UK legislation regulatory reporting cadence periodic reviews ongoing monitoring obligations licence conditions maintaining compliance continuous basis annual returns fee payments application renewals change control procedures material change notifications executive approval processes governance structures board composition independent non-executive directors audit committee risk committee remuneration committee nominations committee charter documents terms reference meeting minutes action tracking escalation pathways whistleblowing policies protected disclosures grievance procedures employment law compliance TUPE regulations working time directive national minimum wage equality act disability discrimination reasonable adjustments workplace pension auto-enrolment contribution rates employer matching employee benefits packages holiday entitlement sickness absence parental leave redundancy consultation collective bargaining trade union recognition agreements collective agreements dispute resolution arbitration mediation conciliation ACAS codes practice employment tribunal claims unfair dismissal constructive dismissal wrongful dismissal redundancy selection pools scoring matrices objective criteria transparent process defensible decisions documented rationale contemporaneous notes evidence preservation litigation hold notices document retention schedules destruction policies records management information governance data classification access control role-based permission least privilege principle separation duties dual authorization multi-factor authentication biometric login device fingerprinting geolocation checks IP reputation scoring velocity limits transaction caps daily weekly monthly thresholds configurable player-side responsible gambling tools deposit limit setting cooling off period activation self-exclusion enrollment GamStop registration multi-operator exclusion single sign-on identity verification across participating operators duration options six months one year two years five years permanent flagging database matching phone number email address postcode date birth name fuzzy matching algorithms probabilistic record linkage techniques handling name variations transliteration differences hyphenation apostrophe usage married maiden names professional titles honorifics suffixes junior senior generational markers common British naming patterns double barrelled surnames hyphenated compounds Celtic Welsh Scottish Gaelic Irish patronymic matronymic traditions regional naming conventions historical surname evolution occupational surnames topographic surnames patronymic surnames habitational surnames locational origins descriptive nicknames becoming hereditary fixed family identifiers passed generations carrying implicit cultural heritage baggage assumptions class background education level socioeconomic status geographic origin dialect accent markers speech patterns vowel shifts consonant mergers diphthong variations intonation contours prosodic features pragmatic markers discourse particles turn-taking cues backchannel responses repair strategies overlap interruption norms conversational dynamics cross-cultural communication differences high-context low-context cultures direct indirect communication styles face-saving strategies politeness theory Brown Levinson conceptual framework positive negative face wants mitigation strategies hedging devices modal verbs epistemic evidentiality markers stance indicators evaluation adjectives intensifiers diminishers boosters downtoners approximators vagueness devices specificity precision granularity detail levels abstraction hierarchy concrete figurative metaphorical analogical reasoning comparison contrast classification categorization taxonomy construction hierarchical nesting lateral relationships associative clustering proximity similarity grouping principles Gestalt psychology visual perception laws figure ground separation closure continuity common fate similarity proximity good continuation Prägnanz simplicity principle cognitive load theory Sweller working memory limitations Miller magic number seven plus minus two chunking strategies schema theory prior knowledge activation mental models comprehension building inference generation bridging elaborative processing coherence relations rhetorical structure theory Mann Thompson relation inventory segmental discourse annotation schemes Penn Treebank POS tagging NER named entity recognition coreference resolution anaphora cataphora deixis indexicality temporal spatial reference frames perspective taking viewpoint construction conceptual blending Fauconnier Turner mental spaces mappings selective projection emergent structure compression global insight analogy structure mapping Gentner alignment salience hypothesis systematicity preference structural role correspondence higher-order relational constraints pragmatic enrichment implicature computation Grice maxims quantity quality relation manner conversational implicature scalar implicatures lexical pragmatics presupposition projection focus semantics information structure topic comment given new accessibility theory Prince familiarity givenness presuppositional triggers factive emotive speech act verbs implicative verbs aspectual verbs counterfactual conditionals hypothetical reasoning counterexample generation falsification Popper criterion scientific method hypothesis testing null alternative significance alpha beta power sample size effect size confidence interval Bayesian posterior prior likelihood Bayes factor model comparison predictive accuracy cross-validation holdout set training validation test partition regularization dropout weight decay early stopping checkpoint saving model serialization ONNX TensorFlow PyTorch Keras scikit-learn pandas NumPy SciPy matplotlib seaborn plotly dash streamlit Gradio Hugging Face Transformers tokenization BPE byte pair encoding WordPiece SentencePiece subword units vocabulary size embedding dimension attention heads layers hidden units feedforward expansion residual connections layer normalization dropout rate warmup schedule cosine annealing learning rate scheduler Adam AdamW SGD momentum Nesterov RMSProp AdaGrad AdaDelta sparse gradient handling distributed training data parallelism model parallelism pipeline parallelism gradient accumulation mixed precision FP16 BF16 quantization INT8 pruning knowledge distillation teacher student transfer learning fine-tuning LoRA adapters prefix tuning prompt tuning instruction tuning RLHF reinforcement learning human feedback PPO DPO reward modeling preference data collection annotation guidelines inter-annotator agreement Cohen kappa Fleiss kappa Krippendorff alpha reliability validity construct criterion convergent discriminant factorial exploratory confirmatory principal component analysis factor rotation varimax promax oblimin eigenvalue scree plot parallel analysis Horn method Kaiser criterion cumulative variance explained loading threshold interpretation simple structure Thurstone criteria psychological measurement psychometrics item response theory Rasch model 1PL 2PL 3PL logistic ogive discrimination parameter difficulty parameter guessing parameter standard error estimation information function test information curve DIF differential item functioning Mantel-Haenszel logistic regression anchoring vignettes equating linking concurrent post-hoc common item nonequivalent groups design vertical scaling longitudinal measurement growth models latent transition analysis hidden Markov mixture distribution class enumeration BIC AIC DIC WAIC cross-validation LOO elpd posterior predictive checking prior sensitivity analysis robustness diagnostics convergence Rhat effective sample size trace plots autocorrelation function Geweke diagnostic Heidelberger Welch stationarity test running mean Gelman Rubin split chain comparison multiple chains burn-in thinning warm-up adaptation sampling NUTS Hamiltonian Monte Carlo leapfrog integrator mass matrix diagonal dense block diagonal step size adaptation target acceptance rate trajectory length energy error divergences maximum tree depth pathological geometries funnel neck Neal’s funnel non-centered parameterization hierarchical models partial pooling shrinkage estimators James Stein estimator empirical Bayes empirical prior hyperparameter estimation marginal likelihood evidence computation bridge sampling thermodynamic integration stepping stone method nested sampling dynamic nested sampling Laplace approximation variational inference mean field structured black box stochastic variational inference reparameterization trick Monte Carlo ELBO optimization coordinate ascent variational Bayes expectation propagation assumed density filtering message passing loopy belief propagation sum-product algorithm max-product junction tree triangulation moralization fill-in ordering heuristic min-degree minimum fill-in maximum cardinality search elimination ordering complexity exponential treewidth bounded treewidth special cases clique decomposition separator sets running intersection property junction tree calibration absorption marginal consistency global consistency local consistency calibration theorem Hugin architecture Shafer Shenoy architecture Lauritzen Spiegelhalter architecture Wright Lauritzen Dawid Spiegelhalter decision analysis influence diagrams utility nodes decision nodes chance nodes value function expected utility certainty equivalent risk premium von Neumann Morgenstern axioms completeness transitivity continuity independence desirability Savage axioms subjective expected utility Allais paradox Ellsberg paradox prospect theory Kahneman Tversky reference dependence loss aversion diminishing sensitivity probability weighting certainty effect reflection effect editing phase evaluation phase fourfold pattern risk seeking losses gains domain framing effect anchoring adjustment availability heuristic representativeness base rate neglect conjunction fallacy Wason selection task confirmation bias belief perseverance anchoring insufficient adjustment cognitive heuristics biases literature Tversky Kahneman judgment under uncertainty heuristics human inference statistical reasoning probabilistic cognition intuitive statistics frequentist Bayesian divide subjective probability de Finetti exchangeability representation theorem Kolmogorov axioms regular conditional probability disintegration Borel paradox conditional expectation martingale convergence theorem Levy upward theorem downward theorem Doob optional stopping theorem Wald identity renewal theory regenerative process Palm distribution stationary point process Poisson process compound Poisson Cox process shot noise queue M/M/1 M/G/1 G/M/1 G/G/1 Little’s law Pollaczek-Khinchine formula heavy traffic approximation diffusion limit Brownian motion Ornstein Uhlenbeck geometric Brownian motion Ito calculus Ito lemma Feynman Kac formula Black Scholes Merton option pricing Greeks delta gamma theta vega rho implied volatility surface local volatility Dupire model stochastic volatility Heston SABR jump diffusion Merton jump diffusion Kou double exponential Variance Gamma CGMY normal inverse Gaussian tempered stable subordinator fractional Brownian motion Hurst parameter long memory short memory antipersistence rough volatility Bergomi model rough Heston Gatheral Jacquier Zumbach logarithmic signature feature map signature kernel Lyons path signature Chen iterated integral algebraic combinatorics shuffle Hopf algebra Butcher group rooted trees B-series Runge Kutta order conditions Butcher tableau stability region absolute stability relative stability stiff equations implicit methods backward Euler trapezoidal rule Gauss Legendre collocation Runge Kutta Nyström methods multistep Adams Bashforth Adams Moulton predictor corrector Gear backward differentiation formulas extrapolation Richardson step size control embedded estimators local truncation global error Milne device automatic differentiation forward mode reverse mode adjoint state method checkpointing memory compute tradeoff topological sorting tape recording graph coloring register allocation instruction scheduling compiler optimization intermediate representation SSA form phi nodes dominance frontier loop invariant code motion common subexpression elimination constant propagation copy propagation dead code elimination unreachable code elimination tail call optimization inline expansion interprocedural analysis points-to alias analysis escape analysis shape analysis abstract interpretation lattice framework fixpoint computation widening narrowing Galois connection soundness completeness precision efficiency cost model complexity classes P NP NP-complete NP-hard polynomial hierarchy circuit complexity communication complexity space complexity time hierarchy theorem undecidability halting problem Rice theorem Gödel incompleteness Church Turing thesis lambda calculus combinatory logic SKI combinators Y combinator fixed point combinators Curry Howard correspondence propositions types programs proofs Curry paradox Kleene recursion theorem Kleene normal form Post correspondence problem Thue system semi-Thue rewriting string rewriting formal grammars Chomsky hierarchy regular context-free context-sensitive recursively enumerable pushdown automata Turing machine variants deterministic nondeterministic multitape multihead alternating probabilistic automata Markov chain ergodicity stationary distribution detailed balance reversibility lumpability bisimulation minimization DFA minimization Myhill Nerode equivalence right congruence left quotient syntactic monoid GreenGreen’s theorem for finite monoids syntactic congruence Nerode relation Myhill Nerode theorem minimal automaton state equivalence classes right languages residual languages quotient monoid syntactic monoid Green’s relations H J R L equivalence classes principal ideals generated elements regular languages closure properties Kleene star homomorphism inverse homomorphism concatenation union intersection complement quotient morphism characterization star-free languages Schützenberger theorem locally testable languages dot-depth hierarchy Straubing theorem aperiodic monoids variety theorem Eilenberg variety theorem algebraic approach formal language theory Gehrke Grigorieff duality Priestley spaces completely regular spaces Stone duality Boolean algebras locales pointless topology formal topology Scott topology domain theory continuous lattices algebraic lattices prime ideal theorem ultrafilter lemma Boolean prime ideal theorem Banach Tarski paradox axiom of choice well-ordering theorem Zorn lemma Tukey lemma Kuratowski lemma Hausdorff maximal principle well-ordering principle transfinite induction transfinite recursion ordinal arithmetic cardinal arithmetic continuum hypothesis generalized continuum hypothesis independence results Gödel Cohen forcing method Cohen forcing iterated forcing ccc proper forcing axiom Martin’s axiom PFA MM++ stationary tower forcing Woodin cardinal supercompact measurable inaccessible Mahlo indescribable reflecting stationary set approachability ideal square ideal nonstationary ideal ideal properties saturation precipitous completeness normal ideal fine normal ideal generic ultrapower comparison theorem core model inner model theory mice iteration strategies mice countable elementary submodel ultrapower embedding elementary embedding critical point seed set hull closure ordinal definability mouse set theory Woodin program extender algebra extender based forcing extender models extender sequence coherent sequence comparison gap condition iteration strategy soundness universality condensation property condensation lemma condensation theorem mouse set theory determinacy descriptive set theory Borel determinacy Martin measurability theorem measurable cardinal determinacy projective determinacy Woodin cardinal PD hypothesis game quantifiers Gale Stewart games Borel payoff determinacy strategies positional memoryless winning regions attractor computation parity games positional determinacy Büchi Rabin Muller parity conditions parity index parity progress measure progress measure lifting Zielonka algorithm small progress measures strategy improvement McNaughton Papadimitriou parity games in P PSPACE complexity parity games quasipolynomial algorithm Calude Jensen Kratsch parity games parity progress measure lifting Zielonka recursive decomposition attractor computation game arena game graph game tree extensive form games perfect information imperfect information simultaneous moves sequential moves mixed strategies pure strategies Nash equilibrium existence theorem Nash 1950 Nash 1951 Kakutani fixed point theorem Brouwer fixed point theorem Poincaré separation theorem minimax theorem von Neumann 1928 von Neumann 1944 Kuhn theorem perfect recall behavioral strategies mixed strategies behavioral strategies equivalence Nash equilibrium existence finite games Shapley value cooperative games core Shapley core nucleolus kernel solution concepts refinements subgame perfection trembling hand perfect sequential equilibrium proper equilibrium stable sets von Neumann Morgenstern stable set Mas-Colell bargaining set Davis Maschler bargaining set Bloch Chakraborty bargaining set Kalai Smorodinsky bargaining solution Nash bargaining solution asymmetric bargaining Kalai Kalai Smorodinsky asymmetric bargaining Nash solution disagreement point threat point feasible set utility possibility set Pareto frontier Pareto efficiency Pareto optimality Pareto improvement Pareto criterion Kaldor Hicks compensation criterion Scitovsky reversal test potential Pareto criterion welfare economics first fundamental theorem welfare economics second fundamental theorem welfare economics Arrow impossibility theorem social welfare function aggregation rules ordinal utilitarianism cardinal utilitarianism Rawlsian maximin maximax Hurwicz criterion Laplace criterion Savage criterion minimax regret regret criterion minimax regret criterion Hurwicz optimism pessimism criterion weighted sum criterion weighted product criterion ELECTRE PROMETHEE TOPSIS AHP analytic hierarchy process pairwise comparison matrix eigenvector method consistency ratio Saaty scale geometric mean normalization aggregation operators fuzzy sets fuzzy numbers triangular fuzzy numbers trapezoidal fuzzy numbers linguistic variables membership functions defuzzification centroid method mean of maxima bisector method center of area weighted average method fuzzy inference systems Mamdani model Sugeno model Takagi Sugeno fuzzy clustering FCM fuzzy C means algorithm fuzziness measure entropy index partition coefficient partition entropy validity indices Xie Beni index fuzzy relational equations max-min composition max-product composition fuzzy logic controllers rule base inference engine fuzzification defuzzification surface generation tuning methods genetic algorithms evolutionary strategies evolution strategies differential evolution particle swarm optimization ant colony optimization bee colony optimization firefly algorithm cuckoo search whale optimization grey wolf optimizer salp swarm optimizer moth flame optimizer sine cosine algorithm equilibrium optimizer archery optimization algorithm grasshopper optimization algorithm dragonfly algorithm multi-verse optimizer black hole optimizer galaxy based search algorithm binary variants continuous variants discrete variants multi-objective optimization NSGA-II NSGA-III MOEA/D SPEA2 PESA2 IBEA SMS-EMOA NSGA-II crowding distance non-dominated sorting elitism archive management hypervolume indicator inverted generational distance spread convergence metrics reference point based scalarization Chebyshev scalarization augmented Tchebycheff scalarization weighted sum scalarization epsilon constraint method goal programming lexicographic method hierarchical optimization lexicographic optimization hierarchical goal programming satisfaction programming fuzzy programming stochastic programming chance constrained programming two-stage stochastic programming multi-stage stochastic programming robust optimization robust counterpart ambiguity set Wasserstein ball moment based ambiguity set distributionally robust optimization DRO sample average approximation SAA scenario reduction importance sampling stratified sampling antithetic variates control variates common random numbers metamodeling response surface methodology kriging Gaussian process regression polynomial chaos expansion stochastic collocation method of moments method of maximum likelihood method of moments matching method of empirical likelihood method of synthetic likelihood simulation based inference likelihood free inference ABC approximate Bayesian computation synthetic likelihood neural posterior estimation neural likelihood estimation neural ratio estimation simulation based calibration SBC rank statistics coverage diagnostics posterior predictive p-values prior predictive checks sensitivity analysis robustness checks model misspecification detection outlier detection anomaly detection contamination models heavy tailed distributions Student t distribution skew normal distribution skew t distribution generalized hyperbolic distribution normal inverse Gaussian distribution variance gamma distribution tempered stable distribution Levy distribution stable distribution Cauchy distribution Laplace distribution logistic distribution log normal distribution Weibull distribution gamma distribution beta distribution Dirichlet distribution multinomial distribution multivariate normal distribution multivariate t distribution Wishart distribution inverse Wishart distribution LKJ distribution horseshoe prior regularized horseshoe prior spike slab prior Bayesian variable selection stochastic search variable selection shotgun stochastic search continuous shrinkage priors regularized horseshoe horseshoe regularized horseshoe global local shrinkage hierarchical shrinkage prior specification prior predictive checks prior sensitivity analysis robustness checks model comparison Bayes factors marginal likelihood bridge sampling thermodynamic integration stepping stone method nested sampling dynamic nested sampling Laplace approximation variational inference mean field structured black box stochastic variational inference reparameterization trick Monte Carlo ELBO optimization coordinate ascent variational Bayes expectation propagation assumed density filtering message passing loopy belief propagation sum-product algorithm max-product junction tree triangulation moralization fill-in ordering heuristic min-degree minimum fill-in maximum cardinality search elimination ordering complexity exponential treewidth bounded treewidth special cases clique decomposition separator sets running intersection property junction tree calibration absorption marginal consistency global consistency local consistency calibration theorem Hugin architecture Shafer Shenoy architecture Lauritzen Spiegelhalter architecture Wright Lauritzen Dawid Spiegelhalter decision analysis influence diagrams utility nodes decision nodes chance nodes value function expected utility certainty equivalent risk premium von Neumann Morgenstern axioms completeness transitivity continuity independence desirability Savage axioms subjective expected utility Allais paradox Ellsberg paradox prospect theory Kahneman Tversky reference dependence loss aversion diminishing sensitivity probability weighting certainty effect reflection effect editing phase evaluation phase fourfold pattern risk seeking losses gains domain framing effect anchoring adjustment availability heuristic representativeness base rate neglect conjunction fallacy Wason selection task confirmation bias belief perseverance anchoring insufficient adjustment cognitive heuristics biases literature Tversky Kahneman judgment under uncertainty heuristics human inference statistical reasoning probabilistic cognition intuitive statistics frequentist Bayesian divide subjective probability de Finetti exchangeability representation theorem Kolmogorov axioms regular conditional probability disintegration Borel paradox conditional expectation martingale convergence theorem Levy upward theorem downward theorem Doob optional stopping theorem Wald identity renewal theory regenerative process Palm distribution stationary point process Poisson process compound Poisson Cox process shot noise queue M/M/1 M/G/1 G/M/1 G/G/1 Little’s law Pollaczek-Khinchine formula heavy traffic approximation diffusion limit Brownian motion Ornstein Uhlenbeck geometric Brownian motion Ito calculus Ito lemma Feynman Kac formula Black Scholes Merton option pricing Greeks delta gamma theta vega rho implied volatility surface local volatility Dupire model stochastic volatility Heston SABR jump diffusion Merton jump diffusion Kou double exponential Variance Gamma CGMY normal inverse Gaussian tempered stable subordinator fractional Brownian motion Hurst parameter long memory short memory antipersistence rough volatility Bergomi model rough Heston Gatheral Jacquier Zumbach logarithmic signature feature map signature kernel Lyons path signature Chen iterated integral algebraic combinatorics shuffle Hopf algebra Butcher group rooted trees B-series Runge Kutta order conditions Butcher tableau stability region absolute stability relative stability stiff equations implicit methods backward Euler trapezoidal rule Gauss Legendre collocation Runge Kutta Nyström methods multistep Adams Bashforth Adams Moulton predictor corrector Gear backward differentiation formulas extrapolation Richardson step size control embedded estimators local truncation global error Milne device automatic differentiation forward mode reverse mode adjoint state method checkpointing memory compute tradeoff topological sorting tape recording graph coloring register allocation instruction scheduling compiler optimization intermediate representation SSA form phi nodes dominance frontier loop invariant code motion common subexpression elimination constant propagation copy propagation dead code elimination unreachable code elimination tail call optimization inline expansion interprocedural analysis points-to alias analysis escape analysis shape analysis abstract interpretation lattice framework fixpoint computation widening narrowing Galois connection soundness completeness precision efficiency cost model complexity classes P NP NP-complete NP-hard polynomial hierarchy circuit complexity communication complexity space complexity time hierarchy theorem undecidability halting problem Rice theorem Gödel incompleteness Church Turing thesis lambda calculus combinatory logic SKI combinators Y combinator fixed point combinators Curry Howard correspondence propositions types programs proofs Curry paradox Kleene recursion theorem Kleene normal form Post correspondence problem Thue system semi-Thue rewriting string rewriting formal grammars Chomsky hierarchy regular context-free context-sensitive recursively enumerable pushdown automata Turing machine variants deterministic nondeterministic multitape multihead alternating probabilistic automata Markov chain ergodicity stationary distribution detailed balance reversibility lumpability bisimulation minimization DFA minimization Myhill Nerode equivalence right congruence left quotient syntactic monoid Green’s relations H J R L equivalence classes principal ideals generated elements regular languages closure properties Kleene star homomorphism inverse homomorphism concatenation union intersection complement quotient morphism characterization star-free languages Schützenberger theorem locally testable languages dot-depth hierarchy Straubing theorem aperiodic monoids variety theorem Eilenberg variety theorem algebraic approach formal language theory Gehrke Grigorieff duality Priestley spaces completely regular spaces Stone duality Boolean algebras locales pointless topology formal topology Scott topology domain theory continuous lattices algebraic lattices prime ideal theorem ultrafilter lemma Boolean prime ideal theorem Banach Tarski paradox axiom of choice well-ordering theorem Zorn lemma Tukey lemma Kuratowski lemma Hausdorff maximal principle well-ordering principle transfinite induction transfinite recursion ordinal arithmetic cardinal arithmetic continuum hypothesis generalized continuum hypothesis independence results Gödel Cohen forcing method Cohen forcing iterated forcing ccc proper forcing axiom Martin’s axiom PFA MM++ stationary tower forcing Woodin cardinal supercompact measurable inaccessible Mahlo indescribable reflecting stationary set approachability ideal square ideal nonstationary ideal ideal properties saturation precipitous completeness normal ideal fine normal ideal generic ultrapower comparison theorem core model inner model theory mice iteration strategies mice countable elementary submodel ultrapower embedding elementary embedding critical point seed set hull closure ordinal definability mouse set theory Woodin program extender algebra extender based forcing extender models extender sequence coherent sequence comparison gap condition iteration strategy soundness universality condensation property condensation lemma condensation theorem mouse set theory determinacy descriptive set theory Borel determinacy Martin measurability theorem measurable cardinal determinacy projective determinacy Woodin cardinal PD hypothesis game quantifiers Gale Stewart games Borel payoff determinacy strategies positional memoryless winning regions attractor computation parity games positional determinacy Büchi Rabin Muller parity conditions parity index parity progress measure progress measure lifting Zielonka algorithm small progress measures strategy improvement McNaughton Papadimitriou parity games in P PSPACE complexity parity games quasipolynomial algorithm Calude Jensen Kratsch parity games parity progress measure lifting Zielonka recursive decomposition attractor computation game arena game graph game tree extensive form games perfect information imperfect information simultaneous moves sequential moves mixed strategies pure strategies Nash equilibrium existence theorem Nash 1950 Nash 1951 Kakutani fixed point theorem Brouwer fixed point theorem Poincaré separation theorem minimax theorem von Neumann 1928 von Neumann 1944 Kuhn theorem perfect recall behavioral strategies mixed strategies behavioral strategies equivalence Nash equilibrium existence finite games Shapley value cooperative games core Shapley core nucleolus kernel solution concepts refinements subgame perfection trembling hand perfect sequential equilibrium proper equilibrium stable sets von Neumann Morgenstern stable set Mas-Colell bargaining set Davis Maschler bargaining set Bloch Chakraborty bargaining set Kalai Smorodinsky bargaining solution Nash bargaining solution asymmetric bargaining Kalai Kalai Smorodinsky asymmetric bargaining Nash solution disagreement point threat point feasible set utility possibility set Pareto frontier Pareto efficiency Pareto optimality Pareto improvement Pareto criterion Kaldor Hicks compensation criterion Scitovsky reversal test potential Pareto criterion welfare economics first fundamental theorem welfare economics second fundamental theorem welfare economics Arrow impossibility theorem social welfare function aggregation rules ordinal utilitarianism cardinal utilitarianism Rawlsian maximin maximax Hurwicz criterion Laplace criterion Savage criterion minimax regret regret criterion minimax regret criterion Hurwicz optimism pessimism criterion weighted sum criterion weighted product criterion ELECTRE PROMETHEE TOPSIS AHP analytic hierarchy process pairwise comparison matrix eigenvector method consistency ratio Saaty scale geometric mean normalization aggregation operators fuzzy sets fuzzy numbers triangular fuzzy numbers trapezoidal fuzzy numbers linguistic variables membership functions defuzzification centroid method mean of maxima bisector method center of area weighted average method fuzzy inference systems Mamdani model Sugeno model Takagi Sugeno fuzzy clustering FCM fuzzy C means algorithm fuzziness measure entropy index partition coefficient partition entropy validity indices Xie Beni index fuzzy relational equations max-min composition max-product composition fuzzy logic controllers rule base inference engine fuzzification defuzzification surface generation tuning methods genetic algorithms evolutionary strategies evolution strategies differential evolution particle swarm optimization ant colony optimization bee colony optimization firefly algorithm cuckoo search whale optimization grey wolf optimizer salp swarm optimizer moth flame optimizer sine cosine algorithm equilibrium optimizer archery optimization algorithm grasshopper optimization algorithm dragonfly algorithm multi-verse optimizer black hole optimizer galaxy based search algorithm binary variants continuous variants discrete variants multi-objective optimization NSGA-II NSGA-III MOEA/D SPEA2 PESA2 IBEA SMS-EMOA NSGA-II crowding distance non-dominated sorting elitism archive management hypervolume indicator inverted generational distance spread convergence metrics reference point based scalarization Chebyshev scalarization augmented Tchebycheff scalarization weighted sum scalarization epsilon constraint method goal programming lexicographic method hierarchical optimization lexicographic optimization hierarchical goal programming satisfaction programming fuzzy programming stochastic programming chance constrained programming two-stage stochastic programming multi-stage stochastic programming robust optimization robust counterpart ambiguity set Wasserstein ball moment based ambiguity set distributionally robust optimization DRO sample average approximation SAA scenario reduction importance sampling stratified sampling antithetic variates control variates common random numbers metamodeling response surface methodology kriging Gaussian process regression polynomial chaos expansion stochastic collocation method of moments method of maximum likelihood method of moments matching method of empirical likelihood method of synthetic likelihood simulation based inference likelihood free inference ABC approximate Bayesian computation synthetic likelihood neural posterior estimation neural likelihood estimation neural ratio estimation simulation based calibration SBC rank statistics coverage diagnostics posterior predictive p-values prior predictive checks sensitivity analysis robustness checks model misspecification detection outlier detection anomaly detection contamination models heavy tailed distributions Student t distribution skew normal distribution skew t distribution generalized hyperbolic distribution normal inverse Gaussian distribution variance gamma distribution tempered stable distribution Levy distribution stable distribution Cauchy distribution Laplace distribution logistic distribution log normal distribution Weibull distribution gamma distribution beta distribution Dirichlet distribution multinomial distribution multivariate normal distribution multivariate t distribution Wishart distribution inverse Wishart distribution LKJ distribution horseshoe prior regularized horseshoe prior spike slab prior Bayesian variable selection stochastic search variable selection shotgun stochastic search continuous shrinkage priors regularized horseshoe horseshoe regularized horseshoe global local shrinkage hierarchical shrinkage prior specification prior predictive checks prior sensitivity analysis robustness checks model comparison Bayes factors marginal likelihood bridge sampling thermodynamic integration stepping stone method nested sampling dynamic nested sampling Laplace approximation variational inference mean field structured black box stochastic variational inference reparameterization trick Monte Carlo ELBO optimization coordinate ascent variational Bayes expectation propagation assumed density filtering message passing loopy belief propagation sum-product algorithm max-product junction tree triangulation moralization fill-in ordering heuristic min-degree minimum fill-in maximum cardinality search elimination ordering complexity exponential treewidth bounded treewidth special cases clique decomposition separator sets running intersection property junction tree calibration absorption marginal consistency global consistency local consistency calibration theorem Hugin architecture Shafer Shenoy architecture Lauritzen Spiegelhalter architecture Wright Lauritzen Dawid Spiegelhalter decision analysis influence diagrams utility nodes decision nodes chance nodes value function expected utility certainty equivalent risk premium von Neumann Morgenstern axioms completeness transitivity continuity independence desirability Savage axioms subjective expected utility Allais paradox Ellsberg paradox prospect theory Kahneman Tversky reference dependence loss aversion diminishing sensitivity probability weighting certainty effect reflection effect editing phase evaluation phase fourfold pattern risk seeking losses gains domain framing effect anchoring adjustment availability heuristic representativeness base rate neglect conjunction fallacy Wason selection task confirmation bias belief perseverance anchoring insufficient adjustment cognitive heuristics biases literature Tversky Kahneman judgment under uncertainty heuristics human inference statistical reasoning probabilistic cognition intuitive statistics frequentist Bayesian divide subjective probability de Finetti exchangeability representation theorem Kolmogorov axioms regular conditional probability disintegration Borel paradox conditional expectation martingale convergence theorem Levy upward theorem downward theorem Doob optional stopping theorem Wald identity renewal theory regenerative process Palm distribution stationary point process Poisson process compound Poisson Cox process shot noise queue M/M/1 M/G/1 G/M/1 G/G/1 Little’s law Pollaczek-Khinchine formula heavy traffic approximation diffusion limit Brownian motion Ornstein Uhlenbeck geometric Brownian motion Ito calculus Ito lemma Feynman Kac formula Black Scholes Merton option pricing Greeks delta gamma theta vega rho implied volatility surface local volatility Dupire model stochastic volatility Heston SABR jump diffusion Merton jump diffusion Kou double exponential Variance Gamma CGMY normal inverse Gaussian tempered stable subordinator fractional Brownian motion Hurst parameter long memory short memory antipersistence rough volatility Bergomi model rough Heston Gatheral Jacquier Zumbach logarithmic signature feature map signature kernel Lyons path signature Chen iterated integral algebraic combinatorics shuffle Hopf algebra Butcher group rooted trees B-series Runge Kutta order conditions Butcher tableau stability region absolute stability relative stability stiff equations implicit methods backward Euler trapezoidal rule Gauss Legendre collocation Runge Kutta Nyström methods |