Results 121 to 130 of about 34,006 (164)
Some of the next articles are maybe not open access.
A Solver for Arrays with Concatenation
Journal of Automated Reasoning, 2023zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Qinshi Wang, Andrew W. Appel
openaire +1 more source
Fundamenta Informaticae, 2000
Inspired from biochemistry and DNA computing, we introduce several variants of controlled concatenation of strings and languages: a finite set of pairs of strings is given and two arbitrary strings are concatenated only when among their substrings (scattered substrings, of various forms) we can find a pair in this control set.
Jürgen Dassow +3 more
openaire +3 more sources
Inspired from biochemistry and DNA computing, we introduce several variants of controlled concatenation of strings and languages: a finite set of pairs of strings is given and two arbitrary strings are concatenated only when among their substrings (scattered substrings, of various forms) we can find a pair in this control set.
Jürgen Dassow +3 more
openaire +3 more sources
Theoretical Computer Science, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Martin Kutrib, Matthias Wendlandt
exaly +3 more sources
Indian Journal of Thoracic and Cardiovascular Surgery, 2005
Huub Van Helvoort M S E E
exaly +2 more sources
Huub Van Helvoort M S E E
exaly +2 more sources
On Interpretability in the Theory of Concatenation
Notre Dame Journal of Formal Logic, 2009 We prove that a variant of Robinson arithmetic Q with nontotal operations is interpretable in the theory of concatenation TC introduced by A. Grzegorczyk. Since Q is known to be interpretable in that nontotal variant, our result gives a positive answer to the problem whether Q is interpretable in TC .
Vítězslav Švejdar
exaly +3 more sources
The Annals of Thoracic Surgery, 1987
Concatenations, linkings of events and ideas, are demonstrated to show the progress of thoracic surgery. The development of our knowledge of pulmonary anatomy, pleural drainage, and thoracic anesthesia, independently and collectively, has proven invaluable in the current successful surgical treatment of many pulmonary diseases.
openaire +2 more sources
Concatenations, linkings of events and ideas, are demonstrated to show the progress of thoracic surgery. The development of our knowledge of pulmonary anatomy, pleural drainage, and thoracic anesthesia, independently and collectively, has proven invaluable in the current successful surgical treatment of many pulmonary diseases.
openaire +2 more sources
IEEE Communications Letters, 1999
This letter presents a new construction of frequency-hopping (FH) patterns, here designated as concatenated prime codes, for a multilevel frequency-shift-keying/frequency-hopping code-division multiple-access (MFSK/FH-CDMA) system. The concatenated prime codes are constructed by modifying prime codes and they possess ideal autocorrelation and nearly ...
Chi-Fu Hong, Guu-Chang Yang
openaire +1 more source
This letter presents a new construction of frequency-hopping (FH) patterns, here designated as concatenated prime codes, for a multilevel frequency-shift-keying/frequency-hopping code-division multiple-access (MFSK/FH-CDMA) system. The concatenated prime codes are constructed by modifying prime codes and they possess ideal autocorrelation and nearly ...
Chi-Fu Hong, Guu-Chang Yang
openaire +1 more source
Discrete Mathematics, Algorithms and Applications, 2020
Concatenated codes introduced by Forney in 1966 received wide attention due to their extensive usage in space missions. Thereafter, many concatenated codes were constructed on the similar lines and successfully employed in digital communication setup. In this paper, concatenated kernel code is defined.
R. Selvakumar 0001, C. Pavan Kumar 0001
openaire +1 more source
Concatenated codes introduced by Forney in 1966 received wide attention due to their extensive usage in space missions. Thereafter, many concatenated codes were constructed on the similar lines and successfully employed in digital communication setup. In this paper, concatenated kernel code is defined.
R. Selvakumar 0001, C. Pavan Kumar 0001
openaire +1 more source
International Journal of Foundations of Computer Science, 2007
It was recently found that concatenation of formal languages has a logical dual (A. Okhotin, The dual of concatenation, Theoret. Comput. Sci., 345 (2005), 425–447). In this paper, the closure or nonclosure of common language families under dual concatenation with finite, co-finite and regular languages is determined.
openaire +2 more sources
It was recently found that concatenation of formal languages has a logical dual (A. Okhotin, The dual of concatenation, Theoret. Comput. Sci., 345 (2005), 425–447). In this paper, the closure or nonclosure of common language families under dual concatenation with finite, co-finite and regular languages is determined.
openaire +2 more sources
On generalised concatenated codes
1997The Authors investigate a novel application of generalised concatenated coding theory to the E.S.A. Coding standard. The proposed coding and decoding system is compared to the E.S.A. coding standard, with both systems having the same coding rate. A number of RS codes are used in the system, each capable of correcting a different number of errors.
Sonander, Sean, Honary, Bahram
openaire +1 more source