Arama Sonuçları - "asymptotically"
Önerilen Konular
Önerilen Konular
- Research & information: general 31
- Mathematics & science 28
- History of engineering & technology 7
- Computer science 6
- Technology: general issues 5
- Information technology industries 4
- Physics 3
- Artificial Intelligence 2
- Artificial intelligence 2
- Biology, life sciences 2
- Computing & information technology 2
- Conservation of buildings & building materials 2
- Historical & comparative linguistics 2
- History 2
- Literary studies: from c 1900 - 2
- Nuclear physics 2
- Political structures: democracy 2
- USA 2
- Accelerator Physics 1
- Astronomy, space & time 1
- Coins, banknotes, medals, seals (numismatics) 1
- Compilers (Computer programs) 1
- Compilers and Interpreters 1
- Computer Engineering and Networks 1
- Computer Hardware 1
- Computer Modelling 1
- Computer Science Logic and Foundations of Programming 1
- Computer engineering 1
- Computer networks 1
- Computer simulation 1
-
81
-
82
Bruno Touschek 100 Years Memorial Symposium 2021 /
Baskı/Yayın Bilgisi 2023İçindekiler: “…The path to electron-positron collisions -- AdA at Orsay -- Bruno Touschek and Statistical Mechanics -- Role of Bruno Touschek in the Realization of the Particle-Antiparticle Colliders -- Adone, Asymptotic Freedom and QCD -- The Standard Theory and Theoretical Physics in Roma -- Detectors and Experiments at the Laboratory for Electro-strong Physics: a personal view -- From the hadronic string to quantum gravity and back -- QCD and Supercomputers -- Bruno Touschek and the physics at Frascati at the time of AdA and ADONE -- Accelerators at LNF: From AdA to EuPRAXIA -- Accelerator Physics at IJCLab-ORSAY -- Technical challenges for future accelerators -- The making of AdA: Bruno Touschek's journey from Widerøe's betatron to storage rings -- The Making of ADONE -- Spontaneous symmetry breaking in particle physics -- String Theory -- Multi-Messenger Astronomy -- High Energy Physics and the European Strategy -- Circular Colliders in China -- Linear Colliders -- Remembering Bruno Touschek.…”
Link to Metadata
Elektronik Ekitap -
83
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Baskı/Yayın Bilgisi 2018İçindekiler: “…-- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory.…”
Link to Metadata
Elektronik Ekitap -
84
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Baskı/Yayın Bilgisi 2021İçindekiler: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata
Elektronik Ekitap -
85
Full Analysis of Lung Cancer Mortality/Radon Relationship with Simple Nonlinear Concepts
Baskı/Yayın Bilgisi 2021Connect to this object online.
Kitap -
86
-
87
Interrogation of Silent Features, Creative Reasoning and Function Sense for Graphing Functions
Baskı/Yayın Bilgisi 2020Connect to this object online.
Kitap -
88
-
89
-
90
-
91
-
92
Smoothing, Filtering and Prediction Estimating The Past, Present and Future
Baskı/Yayın Bilgisi 2012DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
93
Numerical simulations in a generalized Liénard's type system
Baskı/Yayın Bilgisi 2023Connect to this object online.
Kitap -
94
-
95
-
96
Analysis of Nonlinear Regression Models: A Cautionary Note
Baskı/Yayın Bilgisi 2005Connect to this object online.
Kitap -
97
-
98
KARAKTERISSAI TES KEMAMPUAN REPRESENTASI SISWA PADA MATERI USAHA-ENERGI BERDASARKAN ANALISIS PARAMETER LOGISTIK
Baskı/Yayın Bilgisi 2019Link Metadata
Kitap -
99
Perturbation Theory
Baskı/Yayın Bilgisi 2017DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
100
An inverse-linear logistic model of the main sequence
Baskı/Yayın Bilgisi 2017Connect to this object online.
Kitap