Search Results - "Nondeterministic algorithm"
-
1
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783030500252
Theory of Computing SystemsSubject Terms: FOS: Computer and information sciences, Combinatorics on Words, Automaton, Formal Languages and Automata Theory (cs.FL), Automata Theory and Formal Languages, Deterministic automaton, Computer Science - Formal Languages and Automata Theory, Synchronizing Automata, Decidability, 0102 computer and information sciences, 02 engineering and technology, Computational Complexity (cs.CC), Mathematical analysis, 01 natural sciences, Binary decision diagram, Theoretical computer science, Engineering, Artificial Intelligence, Quantum finite automata, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Nondeterministic finite automaton, Active Learning in Machine Learning Research, Automata theory, Finite-state machine, Discrete mathematics, Computer science, Algorithm, Computer Science - Computational Complexity, Parameterized complexity, Aerospace engineering, Computational Theory and Mathematics, Combinatorics, Time complexity, Computer Science, Physical Sciences, Deterministic finite automaton, Nondeterministic algorithm, Finite set, Intersection (aeronautics), Mathematics, Formal Methods in Software Verification and Control
File Description: application/pdf
Access URL: http://arxiv.org/pdf/2108.12751
http://arxiv.org/abs/2108.12751
https://arxiv.org/pdf/2108.12751
https://rd.springer.com/chapter/10.1007/978-3-030-50026-9_4
https://dblp.uni-trier.de/db/journals/corr/corr2108.html#abs-2108-12751
https://arxiv.org/abs/2108.12751
https://link.springer.com/chapter/10.1007/978-3-030-50026-9_4
https://doi.org/10.1007/978-3-030-50026-9_4
https://hdl.handle.net/11250/3059255 -
2
Authors: et al.
Source: International Journal on Software Tools for Technology Transfer
Subject Terms: Parallel computing, Model checking, Artificial intelligence, Model-Based Testing, UT-Hybrid-D, 0211 other engineering and technologies, Geometry, 02 engineering and technology, Testing-Effort Dependent Models, Model Checking, Theoretical computer science, Symbolic Model Checker, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Rotation formalisms in three dimensions, Modular design, Automated Software Testing Techniques, Rare events, Statistics, Computer science, Distributed computing, Programming language, Algorithm, Computational Theory and Mathematics, Computer Science, Physical Sciences, Software Reliability Modeling, Nondeterministic algorithm, Software Reliability Assessment and Prediction, Statistical model, Software, Mathematics, Formal Methods in Software Verification and Control
File Description: application/pdf
Access URL: https://link.springer.com/content/pdf/10.1007/s10009-020-00563-2.pdf
https://research.utwente.nl/en/publications/624172e0-c8d7-4c2a-9e3c-467efb96f95a
https://doi.org/10.1007/s10009-020-00563-2
https://hdl.handle.net/11572/314703
https://doi.org/10.1007/s10009-020-00563-2
https://link.springer.com/content/pdf/10.1007/s10009-020-00563-2.pdf -
3
Authors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783030714994
Fundamental Approaches to Software EngineeringSubject Terms: Model checking, Model-Based Testing, Testing-Effort Dependent Models, Mathematical analysis, Article, Model Checking, Bounded function, Theoretical computer science, Symbolic Model Checker, FOS: Mathematics, Guard (computer science), Automated Software Testing Techniques, Computer science, Programming language, Algorithm, Computational Theory and Mathematics, Data structure, Computer Science, Physical Sciences, Heap (data structure), Software Reliability Modeling, Nondeterministic algorithm, Software Reliability Assessment and Prediction, Software, Mathematics, Formal Methods in Software Verification and Control
-
4
Authors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783319899626
24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of SystemsSubject Terms: Parallel computing, Model checking, Model-Based Testing, Geometry, 0102 computer and information sciences, 02 engineering and technology, Testing-Effort Dependent Models, 01 natural sciences, Model Checking, Theoretical computer science, Symbolic Model Checker, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Rotation formalisms in three dimensions, Modular design, Automated Software Testing Techniques, Rare events, Statistics, Computer science, Distributed computing, Programming language, Algorithm, Computational Theory and Mathematics, Computer Science, Physical Sciences, Software Reliability Modeling, Nondeterministic algorithm, Software Reliability Assessment and Prediction, Software, Mathematics, Formal Methods in Software Verification and Control
Access URL: https://ris.utwente.nl/ws/files/28200786/A_statistical_model_checker.pdf
https://research.utwente.nl/en/publications/7addba7a-d54b-4d3e-b8a8-ea77cf23b224
https://doi.org/10.1007/978-3-319-89963-3_20
https://rd.springer.com/chapter/10.1007/978-3-319-89963-3_20
https://www.narcis.nl/publication/RecordID/oai%3Aris.utwente.nl%3Apublications%2F7addba7a-d54b-4d3e-b8a8-ea77cf23b224
https://research.utwente.nl/en/publications/a-statistical-model-checker-for-nondeterminism-and-rare-events
https://core.ac.uk/display/156762618
https://link.springer.com/chapter/10.1007%2F978-3-319-89963-3_20
https://dblp.uni-trier.de/db/conf/tacas/tacas2018-2.html#BuddeDHS18
https://hdl.handle.net/11572/314683
https://doi.org/10.1007/978-3-319-89963-3_20 -
5
Authors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783319893655
21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Foundations of Software Science and Computation StructuresSubject Terms: FOS: Computer and information sciences, Automaton, Computer Science - Logic in Computer Science, Artificial intelligence, Economics, Geometry, 0102 computer and information sciences, 02 engineering and technology, Autonomic Computing and Self-Adaptive Systems, 01 natural sciences, Theoretical computer science, Artificial Intelligence, Hierarchy, Market economy, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Rotation formalisms in three dimensions, Probabilistic logic, Mathematical optimization, Reachability, 16. Peace & justice, Computer science, Logic in Computer Science (cs.LO), Satisfiability Modulo Theories, Computational Theory and Mathematics, Computer Science, Physical Sciences, Nondeterministic algorithm, Software Reliability Assessment and Prediction, Scheduling (production processes), Software, Mathematics, Formal Methods in Software Verification and Control
Access URL: https://link.springer.com/content/pdf/10.1007%2F978-3-319-89366-2_21.pdf
http://arxiv.org/abs/1710.05763
https://dblp.uni-trier.de/db/journals/corr/corr1710.html#abs-1710-05763
https://research.utwente.nl/en/publications/a-hierarchy-of-scheduler-classes-for-stochastic-automata
https://arxiv.org/abs/1710.05763
https://doi.org/10.1007/978-3-319-89366-2_21
https://ui.adsabs.harvard.edu/abs/2017arXiv171005763D/abstract
https://ris.utwente.nl/ws/files/28200320/A_hierarchy_of_scheduler.pdf -
6
Authors:
Source: International Journal of Antennas and Propagation, Vol 2011 (2011)
Subject Terms: Antenna (radio), Aerospace Engineering, FOS: Mechanical engineering, Optimization Techniques for Antenna Arrays, Evolutionary biology, 02 engineering and technology, Multiuser MIMO, Engineering, FOS: Electrical engineering, electronic engineering, information engineering, Coupling (piping), 0202 electrical engineering, electronic engineering, information engineering, Electrical and Electronic Engineering, Biology, Cellular telephone services industry. Wireless telephone industry, Antenna Design and Applications, Next Generation 5G Wireless Networks, Computer science, Mechanical engineering, TK1-9971, Algorithm, MIMO, Mutual Coupling, Function (biology), Channel (broadcasting), Physical Sciences, HE9713-9715, Telecommunications, Nondeterministic algorithm, Electrical engineering. Electronics. Nuclear engineering
File Description: text/xhtml
-
7
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783319675480
Subject Terms: FOS: Computer and information sciences, Model checking, Software Defect Prediction, Set (abstract data type), 02 engineering and technology, Characterization and Detection of Android Malware, Theoretical computer science, State (computer science), Genetics, 0202 electrical engineering, electronic engineering, information engineering, Biology, Dynamic Test Generation, Mutation Testing, Automated Software Testing Techniques, Finite-state machine, Computer science, Programming language, Algorithm, FOS: Biological sciences, Computer Science, Physical Sciences, Signal Processing, Nondeterministic algorithm, Correctness, Software, Empirical Studies in Software Engineering, Information Systems, Sequence (biology)
Access URL: https://hal.inria.fr/hal-01678955/file/449632_1_En_20_Chapter.pdf
https://dblp.uni-trier.de/db/conf/pts/ictss2017.html#PetrenkoS17
https://hal.inria.fr/hal-01678955/document
https://rd.springer.com/chapter/10.1007/978-3-319-67549-7_20
https://hal.inria.fr/IFIP-LNCS-10533/hal-01678955
https://link.springer.com/chapter/10.1007/978-3-319-67549-7_20 -
8
Authors:
Source: Journal on Interactive Systems, Vol 9, Iss 3 (2018)
Subject Terms: Cognitive science, Computer engineering. Computer hardware, Artificial intelligence, Sociology and Political Science, Social Sciences, 02 engineering and technology, 7. Clean energy, Data science, TK7885-7895, QA76.75-76.765, Theoretical computer science, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, Psychology, 0501 psychology and cognitive sciences, Computer software, 2. Zero hunger, Human–computer interaction, 9. Industry and infrastructure, 4. Education, 05 social sciences, Statistical and Nonlinear Physics, 16. Peace & justice, Computer science, FOS: Psychology, Actor-Network Theory, Information Visualization and Visual Data Mining, Physics and Astronomy, Sociomateriality in Information Systems Research, Computer Science, Physical Sciences, Statistical Mechanics of Complex Networks, Nondeterministic algorithm, Computer Vision and Pattern Recognition, Sociotechnical system
Access URL: https://sol.sbc.org.br/journals/index.php/jis/article/download/706/701
https://doaj.org/article/54e627be0ba542b98dd5055404a5dcf5
https://sol.sbc.org.br/journals/index.php/jis/article/view/706/701
https://seer.ufrgs.br/jis/article/view/79971
https://seer.ufrgs.br/jis/article/download/79971/51038 -
9
Authors:
Source: International Journal of Engineering Business Management, Vol 10 (2018)
Subject Terms: Artificial neural network, Artificial intelligence, Electricity Price and Load Forecasting Methods, Social Sciences, 02 engineering and technology, Management Science and Operations Research, Adaptive neuro fuzzy inference system, Decision Sciences, Engineering, Neuro-fuzzy, Management. Industrial management, FOS: Electrical engineering, electronic engineering, information engineering, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Adaptive neuro-fuzzy inference system (ANFIS), Demand Response in Smart Grids, Electrical and Electronic Engineering, Artificial neural network (ANN), Mathematical optimization, Meta-heuristics, Load Forecasting, Nondeterministic input, Predicting Stock Market Trends and Movements, HD28-70, Computer science, Fuzzy logic, Algorithm, Fuzzy control system, Physical Sciences, Fizzy, Nondeterministic algorithm, Transshipment, Mathematics
File Description: application/pdf
Access URL: https://journals.sagepub.com/doi/pdf/10.1177/1847979018768421
https://doaj.org/article/8c6df3921d0948b6b5c7f245a6bfb7e7
https://journals.sagepub.com/doi/pdf/10.1177/1847979018768421
https://journals.sagepub.com/doi/full/10.1177/1847979018768421
http://journals.sagepub.com/doi/full/10.1177/1847979018768421
https://www.repository.up.ac.za/handle/2263/67260 -
10
Authors: Ali Hamlili
Source: New Frontiers in Graph Theory ISBN: 9789535101154
New Frontiers in Graph TheorySubject Terms: Computer Networks and Communications, Line graph, Voltage graph, Statistical Physics of Opinion Dynamics, Statistical and Nonlinear Physics, Random graph, Computer science, Graph property, Exponential random graph models, Graph, Graph theory, Random Graphs, Theoretical computer science, Physics and Astronomy, Combinatorics, Physical Sciences, Delay-Tolerant Networking in Mobile Ad Hoc Networks, Computer Science, FOS: Mathematics, Statistical Mechanics of Complex Networks, Nondeterministic algorithm, Mathematics
Access URL: https://www.intechopen.com/citation-pdf-url/29858
http://www.intechopen.com/articles/show/title/techniques-for-analyzing-random-graph-dynamics-and-their-applications
https://www.intechopen.com/chapters/29858
https://cdn.intechopen.com/pdfs/29858/InTech-Techniques_for_analyzing_random_graph_dynamics_and_their_applications.pdf
http://cdn.intechopen.com/pdfs/29858/InTech-Techniques_for_analyzing_random_graph_dynamics_and_their_applications.pdf -
11
Authors: et al.
Contributors: et al.
Source: Discrete Mathematics & Theoretical Computer Science, Vol DMTCS Proceedings vol. AP,..., Iss Proceedings (2011)
Subject Terms: FOS: Computer and information sciences, Discrete Mathematics (cs.DM), Sand Pile Model, 0211 other engineering and technologies, Social Sciences, [NLIN.NLIN-CG] Nonlinear Sciences [physics]/Cellular Automata and Lattice Gases [nlin.CG], 02 engineering and technology, 01 natural sciences, Successor cardinal, Phase Transitions and Critical Phenomena, [math.math-ds] mathematics [math]/dynamical systems [math.ds], Discrete mathematics, Condensed Matter Physics, Pile, FOS: Philosophy, ethics and religion, Programming language, [MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], Algorithm, [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], Economics, Econometrics and Finance, fixed point, Computational Theory and Mathematics, Physical Sciences, [nlin.nlin-cg] nonlinear sciences [physics]/cellular automata and lattice gases [nlin.cg], Simulations, discrete dynamical system, Economics and Econometrics, Discrete Dynamical System, sand pile model, [info.info-dm] computer science [cs]/discrete mathematics [cs.dm], [MATH.MATH-DS] Mathematics [math]/Dynamical Systems [math.DS], FOS: Physical sciences, Set (abstract data type), Epistemology, 0102 computer and information sciences, Econophysics: Complexity in Financial Markets, Mathematical analysis, QA1-939, Theory and Applications of Cellular Automata, FOS: Mathematics, [math.math-co] mathematics [math]/combinatorics [math.co], Pure mathematics, Fixed point, Computer science, Philosophy, Physics and Astronomy, Combinatorics, Computer Science, Property (philosophy), Nondeterministic algorithm, Mathematics, Computer Science - Discrete Mathematics
File Description: application/pdf
Access URL: https://dmtcs.episciences.org/2974/pdf
http://arxiv.org/abs/1207.0654
https://dmtcs.episciences.org/2974
https://doi.org/10.46298/dmtcs.2974
https://doaj.org/article/9593059484314af38ee73555fcbb550d
https://hal.archives-ouvertes.fr/hal-01196141
https://www.dmtcs.org/dmtcs-ojs/index.php/proceedings/article/view/dmAP0102
http://dmtcs.episciences.org/2974
https://dmtcs.episciences.org/2974/pdf
https://hal.inria.fr/hal-01196141/document
https://dblp.uni-trier.de/db/conf/automata/automata2011.html#PerrotPP11
https://inria.hal.science/hal-01196141v1
https://inria.hal.science/hal-01196141v1/document
https://doi.org/10.46298/dmtcs.2974 -
12
Authors:
Source: Lecture Notes in Computer Science ISBN: 3540167838
Subject Terms: Computational Theory and Mathematics, efficient nondeterministic algorithm, Computer Networks and Communications, Analysis of algorithms and problem complexity, Applied Mathematics, nonemptiness, reversal-bounded multicounter machines, 0102 computer and information sciences, Models of computation (Turing machines, etc.), 0101 mathematics, communicating finite state machines, 01 natural sciences, Theoretical Computer Science
File Description: application/xml
Access URL: https://zbmath.org/4024795
https://doi.org/10.1016/0022-0000(87)90005-5
https://dl.acm.org/doi/abs/10.1016/0022-0000%2887%2990005-5
https://doi.org/10.1016/0022-0000(87)90005-5
https://dblp.uni-trier.de/db/journals/jcss/jcss34.html#HowellR87
https://www.sciencedirect.com/science/article/pii/0022000087900055
https://core.ac.uk/display/82450259
https://link.springer.com/chapter/10.1007/BFb0016267
https://rd.springer.com/chapter/10.1007/BFb0016267
https://link.springer.com/content/pdf/10.1007%2FBFb0016267.pdf
https://dblp.uni-trier.de/db/conf/mfcs/mfcs86.html#HowellR86 -
13
Authors:
Source: ACM Transactions on Programming Languages and Systems. 4:258-282
Subject Terms: Complexity of proofs, Mechanization of proofs and logical operations, nondeterministic algorithm, mechanical theorem proving, unification problem, 0202 electrical engineering, electronic engineering, information engineering, resolution, Classical first-order logic, 0102 computer and information sciences, 02 engineering and technology, complexity of proof procedures, 01 natural sciences, Theorem proving (deduction, resolution, etc.)
File Description: application/xml
Access URL: https://hdl.handle.net/2318/102365
-
14
Authors:
Source: Electrical and Computer Engineering Faculty Publications
Subject Terms: Mobile ad hoc networks, Carrier sense, Medium access control, Capture effect, Nondeterministic algorithm, Digital Communications and Networking, Electrical and Computer Engineering
File Description: application/pdf
Relation: https://engagedscholarship.csuohio.edu/enece_facpub/96; https://engagedscholarship.csuohio.edu/context/enece_facpub/article/1060/viewcontent/Yu_Maximizing_Done.pdf
-
15
Authors: Kopřiva, Jan
Thesis Advisors: Všetička, Martin, Dostál, Petr
Subject Terms: NP-úplné problémy, software MATLAB, algorithm Tabu search, directed and undirected graph, polynomial time, algorithm Backtracking, P-hard, Travel salesman problem, time and space complexity, algoritmus Random search, alogritmus Exhause search, algoritm Particle swarms, algoritmus Backtracking, Genetic algorithm, polynomialní složitost, N-hard, Turingův stroj, algoritmus Ant Colony, deterministic and nondeterministic algorithm, algoritm Greedy, orientovaný a neorientovaný graf, Problém obchodního cestujícího, algorithm Simultal anheling, alogrithm Hill climbing, algoritmus Simultal anheling, algoritmus Hill climbing, časová a prostorová složitost problému, algorithm Exhause search, algoritmus Particle swarms, algoritmus Genetic search, algoritmus Greedy, algoritmus Tabu search, NP-complete problem, algorithm Random search, deterministický a nedeterministický algoritmus, Turing machine, algorithm Ant Colony algorithm, N-těžké problémy, P-těžké problémy
Availability: http://www.nusl.cz/ntk/nusl-222126
-
16
Authors: et al.
Subject Terms: Sociology and Political Science, Internet of Things, Social Sciences, Organic chemistry, 7. Clean energy, Layer (electronics), Theoretical computer science, Sociology, Artificial Intelligence, Computer security, Trust and Reputation Systems in Online Environments, Access control, Key (lock), Reputation, Computer network, Advanced Cryptographic Schemes and Protocols, Access Control, Privacy-Preserving Techniques for Data Analysis and Machine Learning, Social science, Computer science, Distributed computing, FOS: Sociology, Chemistry, Authentication (law), Computer Science, Physical Sciences, Authorization, Nondeterministic algorithm
-
17
Authors: Habasiński, Zbigniew
Subject Terms: logic programming, nondeterministic algorithm, Theory of programming languages, infinite rational trees, solving sets of equations between terms
File Description: application/xml
Access URL: https://zbmath.org/68600
-
18
Authors: et al.
Contributors: et al.
Subject Terms: Church-Rosser, theorem, abstract calculus, tree transformation, term rewriting, functional programming, logic programming, equational programming, production systems, tree, nondeterministic algorithm, normal form, lambda calculus, ELECTRONIC DATA PROCESSING DEPARTMENTS--SECURITY MEASURES
File Description: 15 p.; 28 cm.; application/pdf
Relation: ocn460637431; https://hdl.handle.net/10945/29088
Availability: https://hdl.handle.net/10945/29088
-
19
Authors: et al.
Contributors: et al.
Subject Terms: Boolean function, decision tree, deterministic algorithm, nondeterministic algorithm, probabilistic algorithm, complexity
Time: 410
Relation: http://hdl.handle.net/2433/82644; AN00061013; 数理解析研究所講究録; 790; 242; 248
Availability: http://hdl.handle.net/2433/82644
-
20
Authors:
Contributors:
Subject Terms: Problém obchodního cestujícího, Turingův stroj, časová a prostorová složitost problému, polynomialní složitost, deterministický a nedeterministický algoritmus, orientovaný a neorientovaný graf, software MATLAB, P-těžké problémy, N-těžké problémy, NP-úplné problémy, algoritmus Hill climbing, algoritmus Tabu search, alogritmus Exhause search, algoritmus Random search, algoritmus Greedy, algoritmus Backtracking, algoritmus Simultal anheling, algoritmus Genetic search, algoritmus Ant Colony, algoritmus Particle swarms, Travel salesman problem, Turing machine, time and space complexity, polynomial time, deterministic and nondeterministic algorithm, directed and undirected graph, P-hard, N-hard, NP-complete problem, alogrithm Hill climbing
File Description: application/pdf; application/zip; text/html
Relation: KOPŘIVA, J. Srovnání algoritmů při řešení problému obchodního cestujícího [online]. Brno: Vysoké učení technické v Brně. Fakulta podnikatelská. 2009.; 23246; http://hdl.handle.net/11012/4355
Availability: http://hdl.handle.net/11012/4355
Full Text Finder 
Nájsť tento článok vo Web of Science