Search Results - "computing"

Anti-fragile ICT Systems by Hole, Kjell Jørgen

Subjects: “…Computer engineering.…”
Link to Metadata

Haptics: Science, Technology, Applications 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22-25, 2022, Proceedings /

Subjects: “…User interfaces (Computer systems).…”
Link to Metadata

EVALUASI PENERIMAAN, PENGGUNAAN, DAN KEPUASAN PENGGUNA TERHADAP WEBSITE PEJABAT PENGELOLA INFORMASI DAN DOKUMENTASI UNIVERSITAS PEMBANGUNAN NASIONAL VETERAN JAKARTA MENGGUNAKAN MODEL UTAUT DAN END-USER COMPUTING SATISFACTION (EUCS) by Eliana Rosa Evelyn,

Link Metadata

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

Introduction to Scientific Programming with Python by Sundnes, Joakim

Subjects: “…Computing & information technology bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Introduction to Scientific Programming with Python by Sundnes, Joakim

Subjects: “…Computing & information technology bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Subjects: “…Compilers (Computer programs).…”
Link to Metadata

Cyber Security 15th International Annual Conference, CNCERT 2018, Beijing, China, August 14-16, 2018, Revised Selected Papers

Subjects: “…Computer security bicssc…”
DOAB: download the publication
DOAB: description of the publication

Cyber Security 15th International Annual Conference, CNCERT 2018, Beijing, China, August 14-16, 2018, Revised Selected Papers

Subjects: “…Computer security bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Malware Detection and Defense

Subjects: “…Cloud computing bicssc…”
DOAB: download the publication
DOAB: description of the publication

Biofeedback

Subjects: “…neurofeedback, machine learning, artificial intelligence, pathophysiology, cloud computing, telemedicine…”
DOAB: download the publication
DOAB: description of the publication

New Trends in Industrial Automation

Subjects: “…vibration, distributed computing, inverse problem, dynamic characteristics, oee…”
DOAB: download the publication
DOAB: description of the publication

Cervical Cancer A Global Public Health Treatise

Subjects: “…hpv, human papillomavirus, artificial intelligence, vaccine, mortality, cloud computing…”
DOAB: download the publication
DOAB: description of the publication

Playful Mapping in the Digital Age by Wilmott , Clancy

Subjects: “…Computing & information technology bicssc…”
DOAB: download the publication
DOAB: description of the publication

Dezentrales Lastmanagement zum Ausgleich kurzfristiger Abweichungen im Stromnetz by Kamper, Andreas

Subjects: “…Organic Computing…”
DOAB: download the publication
DOAB: description of the publication

Essential Speech and Language Technology for Dutch: Results by the STEVIN-programme by Peter Spyns, Jan Odijk

Subjects: “…Computational Linguistics…”
DOAB: download the publication
DOAB: description of the publication

Telecommunication Economics: Selected Results of the COST Action IS0605 by Antonis M. Hadjiantonis

Subjects: “…Computers and Society…”
DOAB: download the publication
DOAB: description of the publication

AXMEDIS 2007 Conference Proceedings

Subjects: “…Computing & information technology bicssc…”
DOAB: download the publication
DOAB: description of the publication

Axmedis 2005 Proceedings of the 1st International Conference on Automated Production of Cross Media Content for Multi-channel Distribution. Volume for Workshops, Industrial and App...

Subjects: “…Computing & information technology bicssc…”
DOAB: download the publication
DOAB: description of the publication