NDLI: Higher order regular expressions

Please wait, while we are loading the content...

2015 13th International Conference on Engineering of Modern Electric Systems (EMES)

Table of contents

Electrical diagnostic of high voltage discharges produced by a new spark-plug

Integrated inductive-capacitive component used as a filter for harmonic modulations in the grid

A discussion on variants of stand-alone electric powerplant equipped with transverse flux generators

Transverse flux generators a solution for stand-alone wind mill

A new behavioral model for frequency domain analysis of power BAW filters

Analytical model for a Medium Voltage distribution grid's main elements - Transformers and cables

Optimization of a power system with distributed generation sources

Harmonic filter application for an industrial installation

A novel approach to power flow analysis for grid connected micro grid

Photovoltaic devices based on fullerene derivatives as electron donors. Solubility and other characteristics for these electron donors

Use of geothermal energy to produce electricity at average temperatures

Considerations on the design of a low-power electric plant and analysis of influence factors

The influence of the high frequency electromagnetic field on grape processing

Modelization of electrostatic spraying device

Effectiveness analysis of different screens and frequency influence on electromagnetic attenuation

Adaptive - Robust control a computational efficient real time simulation

Performance control for cascade reservoirs systems

Simulation of a power system with renewable energy sources considering load profiles

Physical-chemical, biological, and sensory analyses in grape processing using the high frequency electromagnetic field

Optimal design of the microwave heating process using Neural Networks and Genetic Algorithms

Temperature variation in the process of heating oak wood using radio frequency

Numerical modelling of the transient regime for a DC electromagnetic relay

LabVIEW modeling and simulation, of the low-pass and high-pass analog filters

LabVIEW modeling and simulation, of the digital filters

Appreciation of the maximum available active power by the power factor definition

Bond-graph modeling of the equivalent RL and RC scheme of the circuits composing an electrical transmission line

Bond-graph modeling of the equivalent scheme of an electrical transmission line

Study on the conversion of geothermal water into electricity

Study on the influence of vibrations on electrical contact resistance

The behaviour of the Direct Methanol Fuel Cell under low frequency acoustic vibrations

The study of the electric field in electroplasmolysis

Equipment for the magnetization characteristic evaluation of a ferromagnetic body

Program comprehension with four-layered mental model

Towards developer-friendly annotation-based code generation

Understanding source code through projectional editor

Haskell clone detection using pattern comparing algorithm

Model-aware language specification with Java

Trend analysis on the metadata of program comprehension papers

The evolution of the machine mind language

Higher order regular expressions

Penetration points method

A new hybrid technique for visualizing unbalanced tree structures

Internet of Things and its role in biometrics technologies and eLearning applications

Acquaintance reminder using Google Glass

Comparative study regarding two implementations of an SEC-DED code with FPGA circuits

A comparative study: MongoDB vs. MySQL

Method for identifying the environmental noise model for city traffic

Face anti-spoofing based on Radon transform

Analysis of two-phase asynchronous motor with non-orthogonal windings in dynamic regime

DC electrical drive control with fuzzy systems

A Software Radio approach for Electric Arc locating

Carbon Monoxide pollution map in the center of Cluj-Napoca City

M2M sensors for Future Internet Of Things monitoring

Access system in restricted areas based on programmable logic controller and GSM modem

Understanding the dynamics of systems through the use of virtual instrumentation

Mathematical model for $^{18}O$ separation column based on chemical exchange between nitric oxides and nitric acid solution operated at total reflux

Mathematical model for $^{18}O$ isotope separation column operated by product extraction regime

Preliminaries in numerical simulation of isotope separation closed-loop processes

Preliminaries in numerical simulation of isotope separation open-loop processes

Study of winding arrangement and material quality effects on the core losses in high speed switched reluctance machines

R-S-T conventional controller design for slow processes

Thermal treatment of ferromagnetic pieces at medium frequency

An inedited solution to increase the energy efficiency of photovoltaic panels for regions with snow

Magnetic sensors thin layer Cu and Co deposited on Silicon Oxide. Construction, characteristics and applications

Path planning based on intermediate targets using Cellular Neural Networks

Numerical modeling of induction heating of paramagnetic billets

Organizing committee

Higher order regular expressions

Content Provider	IEEE Xplore Digital Library
Author	Sicak, M.
Copyright Year	2015
Description	Author affiliation: Dept. of Comput. & Inf., Tech. Univ. of Kosice, Kosice, Slovakia (Sicak, M.)
Abstract	In this paper we explore possibilities of recursive regular expression construction. Such expressions can contain other expressions as a fundamental element, even recursively contain themselves. We call such expressions higher order functions. A recursive automaton can be constructed from it. We present such automata and show, that they may have infinite states and are able to accept context-free grammars. Higher order nondeterminism is explored as a direct result of higher order regular expressions.
Starting Page	1
Ending Page	4
File Size	174072
Page Count	4
File Format	PDF
ISBN	9781479976492
e-ISBN	9781479976508
DOI	10.1109/EMES.2015.7158427
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2015-06-11
Publisher Place	Romania
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Context Recursive state automata Computer languages Formal grammars Automata Optimized production technology Genetic programming Recursive regular expressions Data structures Grammar
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in