Results 121 to 130 of about 43,821 (313)
One-Tape Turing Machine Variants and Language Recognition
We present two restricted versions of one-tape Turing machines. Both characterize the class of context-free languages. In the first version, proposed by Hibbard in 1967 and called limited automata, each tape cell can be rewritten only in the first $d ...
Pighizzini, Giovanni
core +1 more source
Forecasting Research Trends Using Knowledge Graphs and Large Language Models
When research trends can be anticipated, academia and industry are able to allocate limited resources more effectively and accelerate innovation. By constructing knowledge graphs using large language models, this study analyzes the time evolution of nuclear materials research concepts and suggests a data‐driven approach of forecasting research trends ...
Maciej Tomczak +7 more
wiley +1 more source
Workshop on Formal Languages, Automata and Petri Nets
This report contains abstracts of the lectures presented at the workshop 'Formal Languages, Automata and Petri-Nets' held at the University of Stuttgart on January 16-17, 1998. The workshop brought together partners of the German-Hungarian project No. 233.6, Forschungszentrum Karlsruhe, Germany, and No. D/102, TeT Foundation, Budapest, Hungary.
openaire +3 more sources
The study presents a prototype novel workflow that utilizes artificial intelligence for the digitization of natural history collections, which would fit within a robotic‐integrated system. The work focuses on a collaborative‐robot (cobot) inspired workflow to digitize one of the largest collections housed at the Natural History Museum UK: pinned ...
Naifeng Zhang +4 more
wiley +1 more source
Dynamic pressure sensing, static pressure sensing, and haptic vibration are implemented on multifunctional piezoelectret devices with the universal structural design, further combined with the customized pressure device to comprehensively simulate and expand the Traditional Chinese Medicine (TCM) three‐finger palpation.
Liuyang Han +9 more
wiley +1 more source
Automata, formal languages abstract switching, and computability in a Ph.D. computer science program [PDF]
Robert McNaughton
openalex +1 more source
R‐APEX is a knowledge graph platform developed to investigate how air pollutants such as particularly fine particulate matter (PM2.5) affect human health. By integrating large‐scale biomedical data and using machine learning, it reveals pollutant–gene–disease associations.
Zhixing Zhu +7 more
wiley +1 more source
Advances and Trends in Automata and Formal Languages A Collection of Papers in Honour of the 60th Birthday of Helmut Juergensen - J.UCS Special Issue [PDF]
Cristian S. Calude +2 more
openalex +1 more source
Adapting Image‐Based Models for 1D Data via Spider Plot Transformation and Transfer Learning
A novel method enables the use of pretrained image‐based neural networks for complex 1D data, including Raman and mid‐infrared spectra, electrocardiograms, and mass spectrometry. 2D spider plots with false‐color fill enable transfer lerning, therefore enhancing data augmentation and model explainability across diverse spectral and time series datasets.
Azadeh Mokari +2 more
wiley +1 more source
Visual formal specification using (N)TLcharts: statechart automata with temporal logic and natural language conditioned transitions [PDF]
Doron Drusinsky
openalex +1 more source

