Suchergebnisse - semantics of deterministic algorithms

Unveiling the Stochasticity of Bank Erosion: A Hybrid Deterministic and Stochastic Modeling Approach.

Autoren: Li, Zhi Langendoen, Eddy J. García, Marcelo H.

Quelle: Water Resources Research; Nov2025, Vol. 61 Issue 11, p1-32, 32p

Schlagwörter: STOCHASTIC models, FLUVIAL geomorphology, HYDRODYNAMICS, ENVIRONMENTAL risk, RIPARIAN areas, DETERMINISTIC algorithms, EROSION

Geografische Kategorien: TIBETAN Plateau

A Deterministic Combinatorial Approach to Investigate Interactions of Soil Hydraulic Parameters on River Flow Modelling.

Autoren: Sales, Dhiego da Silva Costa, David de Andrade Lugon Junior, Jader et al.

Quelle: Water (20734441); Sep2025, Vol. 17 Issue 17, p2627, 25p

Schlagwörter: HYDROLOGIC models, CALIBRATION, STREAMFLOW, SENSITIVITY analysis, DETERMINISTIC algorithms, SOIL moisture measurement

A Deterministic Method to Construct a Common Supercell Between Two Similar Crystalline Surfaces.

Autoren: Lee, Weon‐Gyu Lee, Jung‐Hoon

Quelle: Small Methods; Dec2024, Vol. 8 Issue 12, p1-10, 10p

Schlagwörter: TIME complexity, DETERMINISTIC algorithms, DENSITY functional theory, BIVECTORS, HETEROSTRUCTURES

Rough Sets Non-Deterministic Information Analysis and a NIS-Apriori System – A Rule Generation System Based on Possible World Semantics –

Autoren: Hiroshi SAKAI Junzo WATADA Michinori NAKATA

Quelle: Journal of Japan Society for Fuzzy Theory and Intelligent Informatics. 2020, 32(4):747

Reachability analysis of Hybrid Rebeca models

Autoren: Ghassemi, F. Zhiany, S. Abbasi, N. et al.

Quelle: Journal of systems architecture. 167

Schlagwörter: Continuous Time, Event-based Systems, Hybrid Automaton, Reachability Analysis, Automata Theory, Embedded Systems, Semantics, Asynchronous Event, Continous Time, Cybe-physical Systems, Cyber-physical Systems, Event-based, Event-based System, Hybrid Automatons, Modelling Framework, Non-deterministic Time, Continuous Time Systems

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-72927
https://doi.org/10.1016/j.sysarc.2025.103493

On Coevaluation Behavior and Equivalence.

Autoren: Zúñiga, Angel Bel-Enguix, Gemma

Quelle: Mathematics (2227-7390). Oct2022, Vol. 10 Issue 20, p3800-N.PAG. 32p.

Schlagwörter: *SEMANTICS, *DETERMINISTIC algorithms

SWING, The Score-Weighted Improved NowcastinG Algorithm: Description and Application.

Autoren: Lagasio, Martina Campo, Lorenzo Milelli, Massimo et al.

Quelle: Water (20734441); Jul2022, Vol. 14 Issue 13, p2131-N.PAG, 21p

Schlagwörter: NUMERICAL weather forecasting, ATMOSPHERIC models, RAINFALL frequencies, ALGORITHMS, DETERMINISTIC algorithms

Few-shot diagnosis of chest x-ray images using auxiliary information guided semi-deterministic infinite mixture prototypes.

Autoren: Gayatri PS Maharathy DP Paul A

Quelle: Computers in biology and medicine [Comput Biol Med] 2025 Oct; Vol. 197 (Pt B), pp. 111053. Date of Electronic Publication: 2025 Sep 20.

Publikationsart: Journal Article

Info zur Zeitschrift: Publisher: Elsevier Country of Publication: United States NLM ID: 1250250 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1879-0534 (Electronic) Linking ISSN: 00104825 NLM ISO Abbreviation: Comput Biol Med Subsets: MEDLINE

MeSH-Schlagworte: Radiography, Thoracic*/methods , Radiographic Image Interpretation, Computer-Assisted*/methods , Machine Learning*, Humans ; Algorithms ; Databases, Factual

The difficulty of predicting behavior on stochastic local search algorithms.

Autoren: Loscos, Daniel Martí-Oliet, Narciso Rodríguez, Ismael

Quelle: Swarm & Evolutionary Computation. Aug2025, Vol. 97, pN.PAG-N.PAG. 1p.

Schlagwörter: Evolutionary computation, Search algorithms, Deterministic algorithms, Algorithms, Checks

IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

Autoren: Pereira, Fernando Moutinho, Filipe Gomes, Luís et al.

Weitere Verfasser: Pereira, Fernando Moutinho, Filipe Gomes, Luís et al.

Schlagwörter: IOPT Petri Net

Dateibeschreibung: application/pdf

Relation: 978-1-4577-0434-5; 1935-4576

Verfügbarkeit: http://hdl.handle.net/10400.21/2208

Semantic-Aware Remote Estimation of Multiple Markov Sources Under Constraints

Autoren: Luo, Jiping Pappas, Nikolaos

Quelle: IEEE Transactions on Communications. 73(11):11093-11105

Schlagwörter: Receivers, Estimation error, Costs, Measurement, Delays, Transmitters, Indexes, Distortion, Stochastic processes, Optimal scheduling, Semantic communications, remote estimation, networked control systems, constrained Markov decision process, Lyapunov optimization, reinforcement learning

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-219811

Algorithmic Correspondence for Relevance Logics I. The Algorithm PEARL

Autoren: Conradie, Willem Goranko, Valentin

Quelle: Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs Outstanding Contributions to Logic. :163-211

Schlagwörter: Algorithmic correspondence, Inductive formulae, Relevance logic, Routley–Meyer relational semantics

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-209868

Enhanced three‐dimensional model reconstruction based on local ternary pattern‐guided fusion of multi‐exposure images.

Autoren: Chan, Kwok‐Leung Li, Liping Leung, Arthur Wing‐Tak et al.

Quelle: IET Image Processing (Wiley-Blackwell); Apr2023, Vol. 17 Issue 5, p1546-1563, 18p

Schlagwörter: IMAGE fusion, COMPUTER vision, IMAGE processing, IMAGE intensifiers, DETERMINISTIC algorithms, DEEP learning, THREE-dimensional modeling

Optimizing Nutritional Decisions: A Particle Swarm Optimization–Simulated Annealing-Enhanced Analytic Hierarchy Process Approach for Personalized Meal Planning.

Autoren: Sarani Rad, Fatemeh Amiri, Maryam Li, Juan

Quelle: Nutrients. Sep2024, Vol. 16 Issue 18, p3117. 18p.

The Mutex Watershed and its Objective: Efficient, Parameter-Free Graph Partitioning.

Autoren: Wolf, Steffen Bailoni, Alberto Pape, Constantin et al.

Quelle: IEEE Transactions on Pattern Analysis & Machine Intelligence; Oct2021, Vol. 43 Issue 10, p3724-3738, 15p

Schlagwörter: ALGORITHMS, IMAGE segmentation, WATERSHEDS, LINEAR programming, DETERMINISTIC algorithms, GRAPH algorithms

Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions.

Autoren: Xu, Zhiwu Lu, Ping Chen, Haiming

Quelle: Computer Journal. Sep2019, Vol. 62 Issue 9, p1322-1341. 20p.

Schlagwörter: *XML (Extensible Markup Language), *DETERMINISTIC algorithms, *GRAMMAR, *BENCHMARKING (Management), *PARSING (Computer grammar)

Deterministic concurrent strategies.

Autoren: Winskel, Glynn¹ gw104@cl.cam.ac.uk

Quelle: Formal Aspects of Computing. Jul2012, Vol. 24 Issue 4-6, p647-660. 14p.

Schlagwörter: *DETERMINISTIC algorithms, *LATTICE theory, *DISTRIBUTIVE law (Mathematics), *DENOTATIONAL semantics, *CONFIGURATIONS (Geometry)

Optimizing genetic programming by exploiting semantic impact of sub trees.

Autoren: Majeed, Hammad Wali, Abdul Beg, Mirza

Quelle: Swarm & Evolutionary Computation. Aug2021, Vol. 65, pN.PAG-N.PAG. 1p.

Schlagwörter: Problem solving, Deterministic algorithms, Art techniques, Trees, Search algorithms, Genetic programming

Raiders of the lost equivalence: Probabilistic branching bisimilarity.

Autoren: Castiglioni, Valentina Tini, Simone

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

Schlagwörter: MATHEMATICAL equivalence, DETERMINISTIC algorithms, SEMANTICS, EVIDENCE

Integrating large‐scale meta‐analysis of genome‐wide association studies improve the genomic prediction accuracy for combined pig populations.

Autoren: Cai, Xiaodian Zhang, Wenjing Gao, Ning et al.

Quelle: Journal of Animal Breeding & Genetics. Mar2025, Vol. 142 Issue 2, p223-236. 14p.

Schlagworte: Genome-wide association studies, Single nucleotide polymorphisms, Heritability, Animal breeding, Swine breeding, Sampling methods, Genomics