Results 1 - 10 of 285,395 for General Search
Sorted by:
Sorted by:
PopularityOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
- Peer-reviewed Journals (238)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
On the Approximation of Cooperative Heterogeneous Multi-Agent Reinforcement Learning (MARL) using Mean Field Control (MFC)Washim Uddin Mondal ; Agarwal, Mridul ; Aggarwal, Vaneet ; Ukkusuri, Satish VarXiv.org, 2022-01 [Peer Reviewed Journal]Ithaca: Cornell University Library, arXiv.orgFull text available |
| 2 |
Material Type: Article
|
|
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time SpectroscopyBisping, Benjamin ; Jansen, David N ; Nestmann, UwearXiv.org, 2022-08 [Peer Reviewed Journal]Ithaca: Cornell University Library, arXiv.orgFull text available |
| 3 |
Material Type: Article
|
|
Life is Random, Time is Not: Markov Decision Processes with Window ObjectivesThomas Brihaye ; Florent Delgrange ; Youssouf Oualhadj ; Mickael RandourLogical methods in computer science, 2020-01, Vol.16, Issue 4 [Peer Reviewed Journal]Logical Methods in Computer Science e.VFull text available |
| 4 |
Material Type: Article
|
|
Kernel Operations on the GPU, with Autodiff, without Memory OverflowsCharlier, Benjamin ; Feydy, Jean ; Glaunès, Joan Alexis ; François-David, Collin ; Durif, GhislainJournal of machine learning research, 2021-01, Vol.22 (74), p.1-6 [Peer Reviewed Journal]Ithaca: Cornell University Library, arXiv.orgFull text available |
| 5 |
Material Type: Article
|
|
Interface Modeling for Quality and Resource ManagementMartijn Hendriks ; Marc Geilen ; Kees Goossens ; Rob de Jong ; Twan BastenLogical methods in computer science, 2021-05, Vol.17, Issue 2 [Peer Reviewed Journal]Logical Methods in Computer Science e.VFull text available |
| 6 |
Material Type: Article
|
|
Shrub-depth: Capturing Height of Dense GraphsOssona de Mendez, Patrice ; Ganian, Robert ; Hliněný, Petr ; Nešetřil, Jaroslav ; Obdrzalek, JanLogical methods in computer science, 2019, Vol.15 (1) [Peer Reviewed Journal]Logical Methods in Computer Science AssociationFull text available |
| 7 |
Material Type: Article
|
|
Field-based Coordination with the Share OperatorGiorgio Audrito ; Jacob Beal ; Ferruccio Damiani ; Danilo Pianini ; Mirko ViroliLogical methods in computer science, 2020-01, Vol.16, Issue 4 [Peer Reviewed Journal]Logical Methods in Computer Science e.VFull text available |
| 8 |
Material Type: Article
|
|
Reconfiguration and Message Losses in Parameterized Broadcast NetworksBertrand, Nathalie ; Bouyer, Patricia ; Majumdar, AnirbanLogical methods in computer science, 2021-01, Vol.17 (1), p.1-18 [Peer Reviewed Journal]Logical Methods in Computer Science AssociationFull text available |
| 9 |
Material Type: Article
|
|
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis ProblemsAlexander Semenov ; Ilya Otpuschennikov ; Irina Gribanova ; Oleg Zaikin ; Stepan KochemazovLogical methods in computer science, 2020-01, Vol.16, Issue 1 [Peer Reviewed Journal]Logical Methods in Computer Science e.VFull text available |
| 10 |
Material Type: Article
|
|
PROBABILISTIC LOGICS BASED ON RIESZ SPACESFurber, Robert ; Mardare, Radu ; Mio, MatteoLogical methods in computer science, 2020, Vol.16 [Peer Reviewed Journal]Logical Methods in Computer Science AssociationFull text available |
Results 1 - 10 of 285,395 for General Search
Sorted by:
Sorted by:
PopularityOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Show only
- Peer-reviewed Journals (238)
Subject
- Computer Science - Learning (81,521)
- Algorithms (69,630)
- Computer Science - Computer Vision And Pattern Recognition (60,952)
- Machine Learning (42,526)
- Computer Science - Artificial Intelligence (36,319)
- Optimization (30,224)
- Computer Science - Computation And Language (28,631)
- Neural Networks (28,028)
- Statistics - Machine Learning (27,977)
- Mathematics - Information Theory (23,294)
- Computer Science - Information Theory (23,294)
- Datasets (20,246)
- Training (19,169)
- Artificial Neural Networks (19,144)
- Computer Science - Systems And Control (15,190)
- Computer Science - Robotics (14,756)
- Mathematical Analysis (14,709)
- Learning (14,515)
- Computer Science - Cryptography And Security (14,223)
- Computer Simulation (14,051)
-
More options
Creation Date
- Before1998 (156)
- 1998To2003 (237)
- 2004To2009 (840)
- 2010To2016 (44,407)
- After 2016 (239,756)
-
More options
Database/Library
- arXiv.org (284,906)
- ROAD: Directory of Open Access Scholarly Resources (277,961)
- Free E- Journals (277,491)
- EZB Electronic Journals Library (497)
- DOAJ Directory of Open Access Journals (484)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (193)
- Science Citation Index Expanded (Web of Science) (157)
- EBSCOhost Computers and Applied Sciences Complete (45)
- EBSCOhost Academic Search Premier (44)
- Gale Academic OneFile Select (38)
- Emis (35)
- ACM Digital Library Complete (22)
- EBSCOhost Business Source Complete (11)
- ScienceDirect (6)
- Springer Nature - Springer Journals All 2022 (3)
- SpringerLink (Online service) (3)
- JSTOR All Journals (3)
- JSTOR Arts and Sciences X (2)
- Aerospace Database (2)
- RCN full-text journals@Ovid (2)
-
More options
Journal Title
- arXiv.org (277,483)
- Electronic Proceedings In Theoretical Computer Science (283)
- Electronic Proceedings In Theoretical Computer Science, Eptcs (203)
- Logical Methods In Computer Science (152)
- Discrete Mathematics And Theoretical Computer Science (35)
- Journal Of Machine Learning Research (9)
- Acm Transactions On Graphics (7)
- The Journal Of Artificial Intelligence Research (6)
- Hal (3)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 