-
1Book
Συγγραφείς: Irons, Micky
Θεματικοί όροι: personal AI, planning brain, pre-commit dry-run, sovereign AI, Mickai, predictive AI, Micky Irons
-
2Report
Συγγραφείς: Partasyuk, Vadym
Θεματικοί όροι: systems engineering, safety-critical systems, reality verification, interpretation cutoff, external admissibility, runtime governance, operational risk, AI governance, decision-bearing systems, autonomous systems, observation validity, AI safety, epistemic applicability, pre-commit failure, high-consequence systems, decision defensibility, evidentiary standing, epistemic fabrication, continuation legitimacy, applicability boundary
-
3Academic Journal
Συγγραφείς: hong seok houn
-
4
-
5
-
6
Συγγραφείς: Arfeen, Bilal Syed
Θεματικοί όροι: BayyinahEnterprise, ONNX, AST analysis, ruff, pre-commit, additive-only API, type checking, status coverage, Go, continuous integration, public surface stability, semantic versioning, GitHubt Actions, Option and Result, linter, Optional types, structural honesty, Furqan programming language, Bayyinah Audit Framework, (T, error), ring-close, static analysis, Rust, AI-assisted code review, mypy, tree-sitter, Python
-
7
-
8
Συγγραφείς: Arfeen, Bilal Syed
Θεματικοί όροι: Computer software - Verification, Software engineering, Computer software - Testing, linter, Programming languages (Electronic computers), structural honesty, pre-commit, furqan-lint, Result, static analysis, Computer software - Quality control, Rust, Go, type system, continuous integration, Optional, Python
-
9
Συγγραφείς: Heilemann, Karsten
Θεματικοί όροι: Holographic Ledger, pre-commit states, coherence, heart-brain synchrony, HRV, electromagnetic field, decoherence, negative dwell time, NEURO-PERSIST, ID360
-
10
Συγγραφείς: Heilemann, Karsten
Θεματικοί όροι: Holographic Ledger, negative dwell time, pre-commit states, bit-commitment, Landauer principle, Quantum Darwinism, heart-brain coherence, HRV, NEURO-PERSIST, coherence integral, quantum tunneling
-
11Conference
Συγγραφείς: Baum, Tobias, Kortum, Fabian, Schneider, Kurt, Brack, Arthur, Schauder, Jens
Πηγή: 2016 IEEE/ACM International Conference on Software and System Processes (ICSSP) ICSSP Software and System Processes (ICSSP), 2016 IEEE/ACM International Conference on. :26-35 May, 2016
Relation: 2016 IEEE/ACM International Conference on Software and System Processes (ICSSP)
-
12Academic Journal
Συγγραφείς: Sanjay Kumar Madria, Bharat K. Bhargava
Πηγή: Distributed and Parallel Databases. 10:127-160
Θεματικοί όροι: Computing methodologies and applications, prewrite, mobile transaction, Database theory, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Distributed systems, data availability, pre-commit
Περιγραφή αρχείου: application/xml
Συνδεδεμένο Πλήρες ΚείμενοΣύνδεσμος πρόσβασης: https://zbmath.org/1869803
https://doi.org/10.1023/a:1019232412740 -
13Electronic Resource
Συγγραφείς: Mohr, Daniel
Θεματικοί όροι: yaml, script, python, linter, pre-commit, pre-commit-hook, developer-tools
Relation: https://gitlab.com/yaml2script/yaml2script/-/releases/0.2.1; https://zenodo.org/records/15850529; oai:zenodo.org:15850529; https://doi.org/10.5281/zenodo.15850529
-
14Academic Journal
Συγγραφείς: Madria, Sanjay Kumar, Embong, A.
Πηγή: Computer Science Faculty Research & Creative Works
Θεματικοί όροι: Database Management Systems, Database Theory, Design Database Concurrency, Design Engineering, Engineering Designs, Locking Protocols, Multiprocessing Programs, Pre-Commit Operation, Prewrite Design, Prewrite Model, Prewrite Operation, Protocols, Read Operations, Read Transaction, User Defined Prewrites, Write Operation, Computer Sciences
Περιγραφή αρχείου: application/pdf
Relation: https://scholarsmine.mst.edu/comsci_facwork/217; https://scholarsmine.mst.edu/context/comsci_facwork/article/1216/viewcontent/User_Defined_Prewrites_for_Increasing_Concurrency_in_Design_Datab.pdf