Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Dynamic logic (digital electronics) (view), Dynamic logic (modal logic) (view)

searching for Dynamic logic 22 found (69 total)

Neural modeling fields (3,231 words) [view diff] exact match in snippet view article find links to article

which is solved in NMF by utilizing the idea of dynamic logic. An important aspect of dynamic logic is matching vagueness or fuzziness of similarity

Leonid Perlovsky (371 words) [view diff] no match in snippet view article find links to article

Leonid Perlovsky is an Affiliated Research Professor at Northeastern University. His research involves cognitive algorithms and modeling of evolution of

Intrinsity (698 words) [view diff] exact match in snippet view article find links to article

a set of design tools implemented in custom EDA software, for using dynamic logic and novel signal encodings to permit greater processor speeds in a given

Dense order (744 words) [view diff] exact match in snippet view article find links to article

Cambridge University Press ISBN 978-0-521-76268-7 David Harel, Dexter Kozen, Jerzy Tiuryn, Dynamic logic, MIT Press, 2000, ISBN 0-262-08289-6, p. 6ff

2-EXPTIME (960 words) [view diff] exact match in snippet view article find links to article

is 2-EXPTIME-complete. The satisfiability problem for propositional dynamic logic with intersection (IPDL) is 2-EXPTIME-complete. Generalizations of many

Executable UML (1,782 words) [view diff] case mismatch in snippet view article find links to article

ISBN 0-13-067479-6. Mellor and Balcer 2002 Starr 2002, p. 3. G. O'Keefe (2006) "Dynamic Logic Semantics for UML Consistency" in: Model-Driven Architecture - Foundations

Solomon Passy (1,450 words) [view diff] case mismatch in snippet view article find links to article

papers on mathematical logic and computer sciences. The Combinatory Dynamic Logic (Modal Logic with Nominals) was developed in Bulgaria by Solomon Passy

Formal semantics (natural language) (2,237 words) [view diff] exact match in snippet view article

Johan van Benthem (1995). Language in action: categories, lambdas, and dynamic logic. MIT Press. ISBN 978-0-262-72024-3. Barbara H. Partee. Reflections of

System dynamics (2,984 words) [view diff] exact match in snippet view article find links to article

modeling: the system is now modeled, according to a stock and flow system dynamic logic. The figure below shows the stock and flow diagram Simulation: the behavior

Low-power electronics (2,297 words) [view diff] exact match in snippet view article find links to article

for reduced capacitance in each individual device. Some circuits – dynamic logic, for example – require a minimum clock rate in order to function properly

Boris Bogoslovsky (194 words) [view diff] exact match in snippet view article find links to article

in Charleston, Illinois. The technique of controversy: principles of dynamic logic, 1928. In the series The International Library of Psychology, Philosophy

Quantum logic (4,045 words) [view diff] case mismatch in snippet view article find links to article

Encyclopedia of Philosophy. ‹See TfM›A. Baltag and S. Smets, "LQP: The Dynamic Logic of Quantum Information", Mathematical Structures in Computer Science

Meme (8,551 words) [view diff] case mismatch in snippet view article find links to article

23 January 2023. Deacon, Terrence W. (2004). "Memes as Signs in the Dynamic Logic of Semiosis: Beyond Molecular Science and Computation Theory". Conceptual

Depletion and enhancement modes (827 words) [view diff] exact match in snippet view article find links to article

then take more area). Alternatively, rather than static logic gates, dynamic logic such as four-phase logic was sometimes used in processes that did not

Henry Kautz (659 words) [view diff] case mismatch in snippet view article find links to article

of Toronto in 1980. Kautz completed his master thesis A First-Order Dynamic Logic for Planning under the supervision of C. Raymond Perrault, and then

Cultural evolution (4,854 words) [view diff] case mismatch in snippet view article find links to article

1177/1350507695263002. S2CID 142689036. Deacon, T. W. (1999). "Memes as Signs in the Dynamic Logic of Semiosis: Molecular Science meets Computation Theory". {{cite journal}}:

Quantum programming (4,217 words) [view diff] case mismatch in snippet view article find links to article

quantumket.org. Retrieved May 18, 2023. A. Baltag and S. Smets, "LQP: The Dynamic Logic of Quantum Information", Mathematical Structures in Computer Science

The International Library of Psychology, Philosophy and Scientific Method (1,031 words) [view diff] exact match in snippet view article find links to article

(1933). Bogoslovsky, Boris. The technique of controversy: principles of dynamic logic (1928). Broad, C. D. The mind and its place in nature (1925). Buchanan

Imagination (7,546 words) [view diff] case mismatch in snippet view article find links to article

Emotional Cognitive Neural Algorithms with Engineering Applications: Dynamic Logic: From Vague to Crisp. Volume 371 of Studies in Computational Intelligence

Dynamic random-access memory (11,072 words) [view diff] exact match in snippet view article find links to article

maintain the precharged voltage for a brief time. This is an example of dynamic logic. The desired row's word-line is then driven high to connect a cell's

Logic programming (10,767 words) [view diff] exact match in snippet view article find links to article

Programming. In ICLP (Vol. 93, pp. 257-279). Genesereth, M., 2023. Dynamic logic programming. In Prolog: The Next 50 Years (pp. 197-209). Cham: Springer

Kenneth C. Smith (1,451 words) [view diff] case mismatch in snippet view article find links to article

and year (link) "A 16-Bit Barrel-Shifter Implemented in Data-Driven Dynamic Logic (D3L) see biography section" (PDF). "Publications of Prof. Kenneth C