Results 41 to 50 of about 10,600,895 (351)
Pure Nash Equilibria in Concurrent Deterministic Games [PDF]
Logical Methods in Computer Science, 2015 We study pure-strategy Nash equilibria in multi-player concurrent deterministic games, for a variety of preference relations. We provide a novel construction, called the suspect game, which transforms a multi-player concurrent game into a two-player turn-
Patricia Bouyer +3 more
doaj +1 more source
, 2021 Hanaa Elsherbiny, Mohamed Kamal Ahmed, Mahmoud A. Elwany "Comparative Evaluation for Torque Control Strategies of Interior Permanent Magnet Synchronous Motor for Electric Vehicles", 65(3), pp. 244–261, 2021.
Electrical Engineering and Computer Science, Periodica Polytechnica
core +4 more sources
Svetlana Cojocaru (in honour of her 60th anniversary) [PDF]
Computer Science Journal of Moldova, 2012 Our colleague, Vice Editor-in-Chief of the Computer Science Journal of Moldova and director of the Institute of Mathematics and Computer Science of Academy of Sciences of Moldova, dr.hab. Svetlana Cojocaru accomplishes in July a beautiful age.
Editorial board of the "Computer Science Journal of Moldova"
doaj
Capturing the polynomial hierarchy by second-order revised Krom logic [PDF]
Logical Methods in Computer Science, 2023 We study the expressive power and complexity of second-order revised Krom logic (SO-KROM$^{r}$). On ordered finite structures, we show that its existential fragment $\Sigma^1_1$-KROM$^r$ equals $\Sigma^1_1$-KROM, and captures NL. On all finite structures,
Kexu Wang, Shiguang Feng, Xishun Zhao
doaj +1 more source
Why The Trans Programmer? [PDF]
arXiv, 2022 Through online anecdotal evidence and online communities, there is an in-group idea of trans people (specifically trans-feminine individuals) disproportionately entering computer science education & fields. Existing data suggests this is a plausible trend, yet no research has been done into exactly why.
arxiv
Decidability of higher-order matching [PDF]
Logical Methods in Computer Science, Volume 5, Issue 3 (July 30,
2009) lmcs:757, 2009 We show that the higher-order matching problem is decidable using a game-theoretic argument.
arxiv +1 more source
The 10th Annual Computer Science Workshop, Submissions, Abstract Template [PDF]
, 2020 This is the abstract template for the 10th Annual Computer Science Graduate Research Workshop (2020). To learn more about this workshop, please visit: https://digitalcommons.unomaha.edu/csworkshop/2020/
Computer Science Department,
core +1 more source
Concrete mathematics - a foundation for computer science
, 1991 From the Publisher: This book introduces the mathematics that supports advanced computer programming and the analysis of algorithms. The primary aim of its well-known authors is to provide a solid and relevant base of mathematical skills - the skills ...
R. Graham, D. Knuth, Oren Patashnik
semanticscholar +1 more source
A Framework for Automated Database Tuning Using Dynamic SGA Parameters and Basic Operating System Utilities [PDF]
Database Systems Journal, 2012 In present scenario the manual work (Done by Human) cost more to an organization than the automatic work ( Done by Machine)and the ratio is increasing day by day as per the tremendous increment in Machine (Hardware + Software) Intelligence. We are moving
Hitesh KUMAR SHARMA +2 more
doaj
Introduction: Cognitive Issues in Natural Language Processing [PDF]
Traitement Automatique des Langues, ATALA, 2014, Traitement
Automatique des Langues et Sciences Cognitives, 55 (3), pp.7-19, 2016 This special issue is dedicated to get a better picture of the relationships between computational linguistics and cognitive science. It specifically raises two questions: "what is the potential contribution of computational language modeling to cognitive science?" and conversely: "what is the influence of cognitive science in contemporary ...
arxiv +1 more source