Register
|
Login
Full Text
Author
Title
Submit manuscript
About
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Filter
Search
Full Text
Author
Title
by Subject
Topic A - General Literature
Topic B - Hardware
Topic C - Computer Systems Organization
Topic D - Software
Topic E - Data
Topic F - Theory of Computation
Topic G - Mathematics of Computing
Topic H - Information Systems
Topic I - Computing Methodologies
Topic J - Computer Applications
Topic K - Computing Milieux
Topic L - Science and Technology of Learning
Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
Research Article
(2635)
Editorial
(399)
by Journal
by Funding Agency
Clear filters
Powered by
422 items matching your criteria
Sort by:
Publication date newest
Publication date oldest
Total views
Unique views
Best match
Citations count
Highly accessed (last month)
Highly accessed (last 3 months)
Highly accessed (last 6 months)
Highly accessed (last year)
Filter By:
Subject: Topic F - Theory of Computation
Clear All
Copy link
RSS Feed
RSS Feed filters articles only by Classification type, Date (from/to), Publication type
1
2
3
4
5
Select:
All
None
Download:
Citation
XML
PDF
Export format
RIS
BIBTEX
Bookends
EasyBib
EndNote (tagged)
EndNote 8 (xml)
Medlars
Mendeley
Papers
RefWorks Tagged
Ref Manager
Zotero
Mods (xml)
Plain text (txt)
Download
Research Article
Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model
Shahrzad Riahi
,
Ramtin Khosravi
,
Fatemeh Ghassemi
10.3897/jucs.103011
28-04-2024
Unique: 61 | Total: 68
| Access Period:
462-501
HTML
XML
PDF
Research Article
Content Modeling in Smart Learning Environments: A systematic literature review
Alberto Jiménez-Macías
,
Pedro J. Muñoz-Merino
,
Margarita Ortiz-Rojas
,
Mario Muñoz-Organero
,
Carlos Delgado Kloos
10.3897/jucs.106023
28-03-2024
Unique: 211 | Total: 285
| Access Period:
333-362
HTML
XML
PDF
Research Article
Synthetic Fracterm Calculus
Jan Bergstra
,
John V. Tucker
10.3897/jucs.107082
28-03-2024
Unique: 186 | Total: 243
| Access Period:
289-307
HTML
XML
PDF
Research Article
Solving Restricted Preemptive Scheduling on Parallel Machines with SAT and PMS
Xiaojuan Liao
,
Hui Zhang
,
Miyuki Koshimura
,
Rong Huang
,
Fagen Li
10.3897/jucs.97743
28-08-2023
Unique: 689 | Total: 911
| Access Period:
911-937
HTML
XML
PDF
Research Article
MODELFY: A Model-driven Solution for Decision Making based on Fuzzy Information
María Castañeda
,
Mercedes G. Merayo
,
Juan Boubeta-Puig
,
Iván Calvo
10.3897/jucs.76030
28-05-2022
Unique: 1293 | Total: 2153
| Access Period:
445-474
HTML
XML
PDF
Research Article
On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic
Ashot Baghdasaryan
,
Hovhannes Bolibekyan
Part of: Challenges for Smart Environments - Human-Centered Computing, Data Science, and Ambient Intelligence I
10.3897/jucs.76563
28-11-2021
Unique: 1093 | Total: 2091
| Access Period:
1193-1202
HTML
XML
PDF
Research Article
A reversible circuit synthesis algorithm with progressive increase of controls in generalized Toffoli gates
Edinelço Dalcumune
,
Luis Antonio Brasil Kowada
,
André da Cunha Ribeiro
,
Celina Miraglia Herrera de Figueiredo
,
Franklin de Lima Marquezino
10.3897/jucs.69617
28-06-2021
Unique: 1781 | Total: 3293
| Access Period:
544-563
HTML
XML
PDF
Research Article
Regular Expressions with Lookahead
Martin Berglund
,
Brink van der Merwe
,
Steyn van Litsenborgh
10.3897/jucs.66330
28-04-2021
Unique: 1669 | Total: 3459
| Access Period:
324-340
HTML
XML
PDF
Research Article
Fuzzy Adaptive Data Packets Control Algorithm for IoT System Protection
Łukasz Apiecionek
,
Matusz Biedziak
Part of: Research on Heuristic Optimization and Operations in IoT
10.3897/jucs.2020.076
28-11-2020
Unique: 704 | Total: 1195
| Access Period:
1435-1454
HTML
XML
PDF
Research Article
Graphic Deduction Based on Set
Xia He
,
Guoping Du
,
Long Hong
10.3897/jucs.2020.069
28-10-2020
Unique: 697 | Total: 1153
| Access Period:
1331-1342
HTML
XML
PDF
Research Article
On the Complexity of Some Variations of Sorting by Transpositions
Alexsandro Alexandrino
,
Andre Oliveira
,
Ulisses Dias
,
Zanoni Dias
10.3897/jucs.2020.057
28-09-2020
Unique: 765 | Total: 1386
| Access Period:
1076-1094
HTML
XML
PDF
Research Article
Knowledge Geometry in Phenomenon Perception and Artificial Intelligence
João Gabriel Lopes De Oliveira
,
Pedro Moreira Menezes Da Costa
,
Flavio De Mello
10.3897/jucs.2020.032
28-05-2020
Unique: 717 | Total: 1293
| Access Period:
604-623
HTML
XML
PDF
1
2
3
4
5
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK