Výsledky vyhľadávania - semantics of nondeterministic algorithms

A mathematical semantics for a nondeterministic typed λ-calculus: A mathematical semantics for a nondeterministic typed lambda-calculus

Autori: Matthew Hennessy Edward A. Ashcroft

Zdroj: Theoretical Computer Science. 11:227-245

Predmety: semantics of nondeterministic algorithms, 0202 electrical engineering, electronic engineering, information engineering, Combinatory logic and lambda calculus, lambda calculus, 0102 computer and information sciences, 02 engineering and technology, Algorithms in computer science, 01 natural sciences, Abstract data types, algebraic specification, Theoretical Computer Science, Computer Science(all)

Popis súboru: application/xml

Prístupová URL adresa: https://dblp.uni-trier.de/db/journals/tcs/tcs11.html#HennessyA80
https://core.ac.uk/display/82798565
https://www.sciencedirect.com/science/article/pii/0304397580900158
https://www.sciencedirect.com/science/article/pii/0304397580900158#!

Statistical Synthesis and Analysis of Optimal Radar Imaging Algorithm for LFM-CW SAR.

Autori: Kovalchuk, Danyil Zhyla, Semen Trofymenko, Volodymyr a ďalší

Zdroj: Computation; Nov2025, Vol. 13 Issue 11, p259, 22p

Predmety: MAXIMUM likelihood statistics, MATHEMATICAL optimization, CONTINUOUS wave radar, RADAR antennas, STATISTICS, IMAGE enhancement (Imaging systems), SPECKLE interference, IMAGE quality in imaging systems

A Fast Nonlinear Sparse Model for Blind Image Deblurring.

Autori: Zhang, Zirui Guo, Zheng Xu, Zhenhua a ďalší

Zdroj: Journal of Imaging; Oct2025, Vol. 11 Issue 10, p327, 20p

Modeling the Properties of Magnetostrictive Elements Using Quantum Emulators.

Autori: Karpukhin, Edvard Bormotov, Alexey Manukyan, Luiza

Zdroj: Computation; Jul2024, Vol. 12 Issue 7, p147, 11p

Predmety: INTEGRATED software, ALLOYS, ALGORITHMS, COMPUTERS

Optimizing Distribution Controls for Safe, Affordable, Low‐Carbon Water Supply.

Autori: Musabandesu, E. Mauter, M. S.

Zdroj: Water Resources Research; Sep2025, Vol. 61 Issue 9, p1-19, 19p

Predmety: MULTI-objective optimization, CARBON emissions, MATHEMATICAL optimization, AQUEDUCTS, ENERGY industries, WATER quality

Novel and secure plaintext‐related image encryption algorithm based on compressive sensing and tent‐sine system.

Autori: Huang, Shufeng Huang, Linqing Cai, Shuting a ďalší

Zdroj: IET Image Processing (Wiley-Blackwell); May2022, Vol. 16 Issue 6, p1544-1557, 14p

Predmety: IMAGE encryption, DISCRETE wavelet transforms, ALGORITHMS

Theoretical Foundations, Methods, and Algorithms for Lossless-in-Sense Text Compression.

Autori: Emelyanov, G. M. Mikhaylov, D. V.

Zdroj: Pattern Recognition & Image Analysis; Dec2023, Vol. 33 Issue 4, p1657-1663, 7p

Long-, Medium-, and Short-Term Nested Optimized-Scheduling Model for Cascade Hydropower Plants: Development and Practical Application.

Autori: Shang, Ling Li, Xiaofei Shi, Haifeng a ďalší

Zdroj: Water (20734441); May2022, Vol. 14 Issue 10, p1586-1586, 28p

Predmety: PLANT development, SCHEDULING, GENETIC algorithms, DYNAMIC programming, TELECOMMUNICATION systems, WATER power

Geografický termín: CHINA

A Machine-Learning-Based Approach to Informing Student Admission Decisions.

Autori: Liu, Tuo Schenk, Cosima Braun, Stephan a ďalší

Zdroj: Behavioral Sciences (2076-328X); Mar2025, Vol. 15 Issue 3, p330, 20p

Dynamic Composition of Semantic Pathways for Medical Computational Problem Solving by Means of Semantic Rules.

Autori: Bratsas, Charalampos Bamidis, Panagiotis Kehagias, Dionisis D. a ďalší

Zdroj: IEEE Transactions on Information Technology in Biomedicine; 03/01/2011, Vol. 15 Issue 2, p334-343, 10p

Predmety: COMPUTERS in medicine, PROBLEM solving, SEMANTIC Web, KNOWLEDGE representation (Information theory), DIAGNOSTIC imaging, SIGNAL processing, DECISION support systems, HEURISTIC algorithms

Raiders of the lost equivalence: Probabilistic branching bisimilarity.

Autori: Castiglioni, Valentina Tini, Simone

Zdroj: Information Processing Letters. Jul2020, Vol. 159, pN.PAG-N.PAG. 1p.

Predmety: MATHEMATICAL equivalence, DETERMINISTIC algorithms, SEMANTICS, EVIDENCE

An Algebraic Semantics For Nondeterministic Choice

Autori: Grant Malcolm Joseph A. Goguen The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Grant Malcolm Joseph A. Goguen The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.csc.liv.ac.uk/~grant/PS/nondet.ps.

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.8715; http://www.csc.liv.ac.uk/~grant/PS/nondet.ps

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.8715
http://www.csc.liv.ac.uk/~grant/PS/nondet.ps

Quantifying Causal Path-Specific Importance in Structural Causal Model.

Autori: Wang, Xiaoxiao Zhao, Minda Meng, Fanyu a ďalší

Zdroj: Computation; Jul2023, Vol. 11 Issue 7, p133, 17p

Predmety: CAUSAL models, STRUCTURAL models, CAUSAL inference, SUPPLY chain management

The Cost of Understanding—XAI Algorithms towards Sustainable ML in the View of Computational Cost.

Autori: Jean-Quartier, Claire Bein, Katharina Hejny, Lukas a ďalší

Zdroj: Computation; May2023, Vol. 11 Issue 5, p92, 14p

Predmety: ARTIFICIAL intelligence, COMPUTER vision, ALGORITHMS, ENERGY consumption, CONSUMPTION (Economics), PYTHON programming language

Analysis and Control of Partially Observed Discrete-Event Systems via Positively Constructed Formulas.

Autori: Davydov, Artem Larionov, Aleksandr Nagul, Nadezhda

Zdroj: Computation; May2024, Vol. 12 Issue 5, p95, 25p

Predmety: ROBOT control systems, SUPERVISORY control systems, ROBOTIC path planning, FORMAL languages, DYNAMICAL systems

The Semantic Web : 19th International Conference, ESWC 2022, Hersonissos, Crete, Greece, May 29 – June 2, 2022, Proceedings

Autori: Paul Groth Maria-Esther Vidal Fabian Suchanek a ďalší

Typ zdroja: eBook.

Predmet: Information storage and retrieval systems, Application software, Algorithms, Machine learning, Expert systems (Computer science), Information technology—Management

Kategórie: COMPUTERS / System Administration / Storage & Retrieval, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / Expert Systems, MATHEMATICS / Probability & Statistics / General

Relational semantics of nondeterministic programs
関係代数による非決定的プログラムの意味定義に関する研究

Autori: 徐, 良為 徐良為 [著]

Quantifying Spatial Drought Propagation Potential in North America Using Complex Network Theory.

Autori: Konapala, Goutam Mondal, Somnath Mishra, Ashok

Zdroj: Water Resources Research; Mar2022, Vol. 58 Issue 3, p1-19, 19p

Predmety: DROUGHT management, FLOOD warning systems, OCEAN-atmosphere interaction, PARALLEL algorithms, DROUGHTS, HEAT waves (Meteorology), LEAD time (Supply chain management)

Geografický termín: NORTH America, TEXAS

Residuality and Learning for Nondeterministic Nominal Automata

Autori: Joshua Moerman Matteo Sammartino

Zdroj: Logical Methods in Computer Science, Vol 18, Issue 1 (2022)

Predmety: computer science - formal languages and automata theory, f.4.3, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

Popis súboru: electronic resource

Relation: https://lmcs.episciences.org/7332/pdf; https://doaj.org/toc/1860-5974

Prístupová URL adresa: https://doaj.org/article/26436fac7a904640a23c43b29551924e

Representing and querying validity time in RDF and OWL: A logic-based approach

Autori: Motik, Boris¹ boris.motik@cs.ox.ac.uk

Zdroj: Web Semantics: Science, Services & Agents on the World Wide Web. Apr2012, Vol. 12-13, p3-21. 19p.

Predmety: Querying (Computer science), RDF (Document markup language), Programming languages, Semantic Web, Algorithms, Information technology