Výsledky vyhľadávania - acm: f.: theory of computation/f.1: computation by abstrakty devices/f.1.1: models of computation*

Hill Problem Analytical Theory to the Order Four. Application to the Computation of Frozen Orbits around Planetary Satellites

Autori: Lara, Martin Palacian, Jesus F

Zdroj: Proceedings of the 20th International Symposium on Space Flight Dynamics.

Predmety: Spacecraft Design, Testing And Performance

Relation: Proceedings of the 20th International Symposium on Space Flight Dynamics

Prístupová URL adresa: https://ntrs.nasa.gov/citations/20080012689

Significance of models of computation, from Turing model to natural computation

Autori: Dodig-Crnkovic, Gordana, 1955

Zdroj: Minds and Machines. 21(2):301-322

Predmety: Philosophy, Filosofi, Other Computer and Information Science, Annan data- och informationsvetenskap, Computer and Information Sciences, Data- och informationsvetenskap (Datateknik), Computer Sciences, Datavetenskap (datalogi), Hypercomputing, Models of computation, Philosophy of computer science, Philosophy of computing, Philosophy of information, Theory of computation

Prístupová URL adresa: https://gup.ub.gu.se/publication/224931

The Role of Game Theory in Human Computation Systems

Autori: Jain, Shaili Parkes, David

Zdroj: Jain, Shaili, and David C. Parkes. 2009. The role of game theory in human computation systems. In Proceedings of the ACM SIGKDD Workshop on Human Computation : June 28, 2009, Paris, France, ed. P. Bennett, 58-61. New York: ACM Press.

Popis súboru: application/pdf

Relation: http://portal.acm.org/citation.cfm?id=1600171; http://www.eecs.harvard.edu/~shailij/papers/hcomp-position.pdf

Prístupová URL adresa: http://nrs.harvard.edu/urn-3:HUL.InstRepos:3996847

Computation Offloading Scheduling for Periodic Tasks in Mobile Edge Computing

Autori: Josilo, Sladana Dán, György

Zdroj: IEEE/ACM Transactions on Networking. 28(2):667-680

Predmety: computation offloading, edge computing, game theory, decentralized resource management, Electrical Engineering, Elektro- och systemteknik

Popis súboru: electronic

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-272612
https://kth.diva-portal.org/smash/get/diva2:1425996/FULLTEXT01.pdf

A Taxonomy of Computation and Information Architecture: ECSA 2015 ASDS Workshop. In Proceedings of the 2015 European Conference on Software Architecture Workshops (ECSAW '15). ACM, New York, NY, USA.

Autori: Burgin, Mark Dodig-Crnkovic, Gordana

Zdroj: PICO - Philosophy of Information and Computing ITS-EASY Post Graduate School for Embedded Software and Systems 9th European Conference on Software Architecture Workshops ECSAW 2015.

Popis súboru: print

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-30449

Automatic Generation of Sizing Static Models Based on Reluctance Networks for the Optimization of Electromagnetic Devices.

Autori: Du Peloux, B. Gerbaud, L. Wurtz, F. a ďalší

Zdroj: IEEE Transactions on Magnetics. Apr2006, Vol. 42 Issue 4, p715-718. 4p.

Predmety: *APPROXIMATION theory, *FUNCTIONAL analysis, ELECTROMAGNETIC devices, ELECTROMAGNETISM, ELECTROMAGNETIC induction, MAGNETIC devices

Teaching language theory and automata: a compiler generation oriented approach using AtoCC ; Języki formalne a abstrakcja automatów nauczania: udostępnienie drogi tworzenia kompilatora – generowanie z AtoCC ; Formální jazyky a abstrakty automatické výuky: zpřístupnění cesty vytváření kompilátoru – generování s AtoCC ; Formale Sprachen und Abstrakte automaten lehren: ein Zugang via Compiler-Generierung mit AtoCC

Autori: Hielscher,Michael Wagenknecht, Christian

Popis súboru: text; 9 stran; application/pdf

Relation: Hielscher M.: AtoCC Website, March 2009.; Hielscher M., Wagenknecht C.: AtoCC: learning environment for teaching theory of automata and formal languages. In ITICSE '06: Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education, page 306, New York, NY, USA, 2006. ACM.; McKeeman W., Wortman D., Horning J.: Compiler Generator (Automatic Computation). Prentice-Hall Englewood Cliffs, N.J., USA, 1970.; T. J. T. F. on Computing Curricula: Computing Curricula 2001 Computer Science, Final Report. IEEE Computer Society, Association for Computing Machinery, 2001.; Rodger S.: Learning automata and formal languages interactively with jflap.; In ITICSE '06: Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education, page 360, New York, NY, USA, 2006. ACM.; ACC Journal; true; ACC_2009_1_01; https://dspace.tul.cz/handle/15240/21339

Dostupnosť: https://dspace.tul.cz/handle/15240/21339

Advances in Magnetics Roadmap on Spin-Wave Computing

Autori: Chumak, A. V. Kabos, P. Wu, M. a ďalší

Zdroj: IEEE Transactions on Magnetics. 58(6)

Predmety: Physical Sciences, Fysik, computing, data processing, Logic gates, Magnetic domains, magnon, magnonics, Nanoscale devices, Physics, Quantum computing, Spin wave, Three-dimensional displays, Computation theory, Data handling, Nanomagnetics, Quantum computers, Spin waves, Three dimensional displays, Magna, Magnonic, Nanoscale device, Roadmap, Sub-sections, Three-dimensional display, Wave computing

Prístupová URL adresa: https://gup.ub.gu.se/publication/314390

Computation of oscillating airfoil flows with one- and two-equation turbulence models

Autori: Ekaterinaris, J. A Menter, F. R

Zdroj: AIAA Journal. 32(12)

Predmety: Fluid Mechanics And Heat Transfer

Prístupová URL adresa: https://ntrs.nasa.gov/citations/19950055604

Macroscopic Models of Radiative Transfer as Applied to Computation of the Radiation Field in the Solar Atmosphere

Autori: Ripoll, J.-F Wray, A. A

Zdroj: Center for Turbulence Research Annual Research Briefs 2003.

Predmety: Solar Physics

Prístupová URL adresa: https://ntrs.nasa.gov/citations/20040031713

Complex functionality with minimal computation: Promise and pitfalls of reduced‐tracer ocean biogeochemistry models

Autori: Eric D. Galbraith John P. Dunne Anand Gnanadesikan a ďalší

Zdroj: Journal of Advances in Modeling Earth Systems. 7(4):2012-2028

Prístupová URL adresa: https://ntrs.nasa.gov/citations/26582879356689

History of Logo

Autori: Solomon, Cynthia Harvey, Brian Kahn, Ken a ďalší

Zdroj: Proceedings of the ACM on Programming Languages. 4(HOPL)

Predmety: 4613 Theory Of Computation (for-2020), 46 Information and Computing Sciences (for-2020), 4612 Software Engineering (for-2020), 4 Quality Education (sdg), Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education-Interactive learning environments, History of computingsHistory of programming languages, Computing educations- Computational thinking, Computing education programsDComputer science education, Informal education, Computing literacy, K-12 education (ages 5-18), Software notations and tools- General programming languages, Imperative languages, Functional languages, Language featuressControl structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computations-Models of computation-computabilitys-, Lambda calculus, Recursive functions, Interactive computation., Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education– Interactive learning environments, History of computing–History of programming languages, Computing education– Computational thinking, Computing education programs—Computer science education, Informal education, Computing literacy, K-12 education (ages 5-18), Software notations and tools–General programming languages, Imperative languages, Functional languages, Language features–Control structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computation–Models of computation— Computability–Lambda calculus, Recursive functions, Interactive computation., 4612 Software engineering (for-2020), 4613 Theory of computation (for-2020), 4903 Numerical and computational mathematics (for-2020)

Popis súboru: application/pdf

Prístupová URL adresa: https://escholarship.org/uc/item/1623m1p3
https://escholarship.org/content/qt1623m1p3/qt1623m1p3.pdf

Mutual Understanding in Situated Interactions with Conversational User Interfaces: Theory, Studies, and Computation

Autori: Kontogiorgos, Dimosthenis Gustafsson, Joakim, Professor Skantze, Gabriel, Professor a ďalší

Prispievatelia: Kontogiorgos, Dimosthenis Gustafsson, Joakim, Professor Skantze, Gabriel, Professor a ďalší

Zdroj: TRITA-EECS-AVL.

Predmety: human-computer interaction, social robots, smart-speakers, multimodal behaviours, social signal processing, common ground, dialogue and discourse, joint-construction tasks, embodiment, conversational failures, Computer Science, Datalogi

Popis súboru: electronic

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-308927
https://kth.diva-portal.org/smash/get/diva2:1638035/FULLTEXT01.pdf

Detail-Preserving Explicit Mesh Projection and Topology Matching for Particle-Based Fluids.

Autori: Dagenais, F. Gagnon, J. Paquette, E.

Zdroj: Computer Graphics Forum. Dec2017, Vol. 36 Issue 8, p444-457. 14p.

Predmety: *SIMULATION methods & models, FLUIDS, ANIMATION (Cinematography), COMPUTER graphics, COMPUTATIONAL geometry

A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation: Or, the Theory of MetaML is Non-trivial (Extended Abstract)

Autori: Taha, Walid, 1971

Zdroj: PEPM '00 ACM / SIGPLAN Notices. :34-43

Popis súboru: print

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20991

Efficient Join Order for Constraint Automata Through LLM-Generated Heuristics

Autori: Mehrani, A. Ghassemi, F. Sirjani, Marjan a ďalší

Zdroj: Lecture Notes in Computer Science. :342-359

Predmety: Component-based systems, Constraint Automata, Coordination languages, Large Language Models, Reo, Computation theory, Computational efficiency, Constraint theory, Semantics, Component based systems, Constraint automaton, Coordination language, Join algorithm, Join orderings, Language model, Large language model, Operational semantics, Reo circuits, Joining

Popis súboru: print

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-73985

SHA 3 and Keccak variants computation speeds on constrained devices.

Autori: Vandervelden, Thibaut De Smet, Ruben Steenhaut, Kris a ďalší

Zdroj: Future Generation Computer Systems. Mar2022, Vol. 128, p28-35. 8p.

Predmety: *MATHEMATICAL models, INTERNET of things, SPEED, PERMUTATIONS, TECHNICAL institutes

Korporácia: NATIONAL Institute of Standards & Technology (U.S.)

Probabilistic ω-Automata.

Autori: BAIER, CHRISTEL GRÖSSER, MARCUS BERTRAND, NATHALIE

Zdroj: Journal of the ACM. Feb2012, Vol. 59 Issue 1, p1-1:52. 52p.

Predmety: *MARKOV processes, *MACHINE theory, *SOFTWARE engineering, PROBABILISTIC automata, SOFTWARE verification, FORMAL languages, COMPUTER logic

Computation and Control - Preface: HSCC'10 - Proceedings of the 13th ACM International Conference on Hybrid Systems

Autori: Johansson, Karl H. Yi, Wang

Popis súboru: print

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-304899

Development of an adaptive response surface method for optimization of computation-intensive models

Autori: Steenackers, G. Presezniak, F. Guillaume, P.

Zdroj: Computers & Industrial Engineering. Oct2009, Vol. 57 Issue 3, p847-855. 9p.

Predmety: *MATHEMATICAL optimization, *ADAPTIVE control systems, *FINITE element method, *MATHEMATICAL models, *APPROXIMATION theory, RESPONSE surfaces (Statistics), EXPERIMENTAL design, MULTIDISCIPLINARY design optimization