A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
Resynchronized Uniformization and Definability Problems for Rational Relations
[article]
2021
arXiv
pre-print
Preserved Fulltext
We provide a systematic study of the decidability of uniformization and definability problems for subclasses of rational relations defined in terms of such synchronization languages. ...
Regular synchronization languages can be used to define rational relations of finite words, and to characterize subclasses of rational relations, like automatic or recognizable relations. ...
Introduction In this paper we study uniformization and definability problems for subclasses of rational relations over finite words. ...
arXiv:2104.12508v1
fatcat:d4swue3emnd4vpo2u3vlwweeku
Uniformization Problems for Synchronizations of Automatic Relations on Words
2018
International Colloquium on Automata, Languages and Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The synthesis problem asks for effective uniformization for classes of relations and functions that can be implemented in a specific way. ...
We consider the synthesis problem for automatic relations over finite words (also called regular or synchronized rational relations) by functions implemented by specific classes of sequential transducers ...
Winter 142:13 For future work we want to study other problems of this kind, e.g., study whether the resynchronized uniformization problem is decidable for a given rational relation as source language and ...
doi:10.4230/lipics.icalp.2018.142
dblp:conf/icalp/Winter18
fatcat:l47fmbox6nhb5ls4zbtfouomxu
Regular resynchronizability of origin transducers is undecidable
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
transducers, and for simple classes of resynchronizations. ...
We give a syntactical characterization for containment of two transducers up to resynchronization, and use it to show that this containment relation is undecidable already for one-way non-deterministic ...
For rational resynchronizers, a complete picture is obtained in [4] : the synthesis problem is decidable for k-valued transducers, but undecidable in general. ...
arXiv:2002.07558v3
fatcat:wsi352hkwnfutfoh6yirngwsge
Regular Resynchronizability of Origin Transducers Is Undecidable
2020
International Symposium on Mathematical Foundations of Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
transducers, and for simple classes of resynchronizations. ...
We give a syntactical characterization for containment of two transducers up to resynchronization, and use it to show that this containment relation is undecidable already for one-way non-deterministic ...
Using this tool we proved that the resynchronizer synthesis is undecidable already in the case of 1NTs, while the problem was left open for 2NTs in [4] . ...
doi:10.4230/lipics.mfcs.2020.58
dblp:conf/mfcs/KuperbergM20
fatcat:nmu776dp4ngx5l5g34rssfzpfy
Uniformization Problems for Synchronizations of Automatic Relations on Words
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The synthesis problem asks for effective uniformization for classes of relations and functions that can be implemented in a specific way. ...
We consider the synthesis problem for automatic relations over finite words (also called regular or synchronized rational relations) by functions implemented by specific classes of sequential transducers ...
The author would like to thank her supervisor Christof Löding for suggesting this topic and his helpful comments and thank the anonymous reviewers of this and an earlier version of the paper for their ...
arXiv:1805.02444v1
fatcat:wg2cpxtemzgrnefoy7azddxjcm
Catheter based simultaneous mapping of cardiac activation and motion: a review
2007
Indian Pacing and Electrophysiology Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The fundamental principles of percutaneous catheter based activation and motion assessment are reviewed. Related experimental setups are presented and their main findings discussed. ...
In recent years electrical properties have gained attention as heart failure could be improved by biventricular resynchronization therapy. ...
Lagrangian strain is defined as the change of dimension of a volume element in relation to its original size and usually given in percent. ...
pmid:17684573
pmcid:PMC1939867
fatcat:s6hffcgjmngtbbfrjqqliem7li
Systems management for Coordinated Resource Recovery
1991
IBM Systems Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
It provides a uniform solution for applications to the problem of resource consistency. ...
CRR in VM/ESA provides an integrated, consistent, and uniform solution to this problem and follows an architecture for extension to many other sys- tems as well. ...
doi:10.1147/sj.301.0090
fatcat:pprssk4y55hcbmaq72rl46sdrq
Coordinated Resource Recovery in VM/ESA
1991
IBM Systems Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
For protected resource man- agers, CRR defines a recovery interface and rules for using that interface. ...
If write mode is indicated, CRR coordination processing performs logging for this resource adapter, and if a problem occurs during coordination, recovery will be done. ...
doi:10.1147/sj.301.0072
fatcat:by7vrjzjirckxpfpe7eyy5lzfa
Closure Properties of Synchronized Relations
2019
Symposium on Theoretical Aspects of Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Synchronous, Recognizable, and Length-preserving rational relations are all examples of classes that can be defined in this way. ...
While this formalism defines the well-studied class of rational relations, enforcing restrictions on the reading regime from the tapes, which we call synchronization, yields various sub-classes of relations ...
The paper [27] studies the uniformization problem for synchronized relations. ...
doi:10.4230/lipics.stacs.2019.22
dblp:conf/stacs/DescotteFF19
fatcat:v4fv3tv3jbetjctod6tacr3hua
Macro Biophysical Physiological Neuropsychotherapy: Theory and Practice
2018
Journal of Mental Disorders and Treatment
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The specific content of the problem must first be identified. The training requires a clear understanding of the type of problem and is especially related to simple or complex problems. ...
Rationale for the personal training of mental patients who are required to deal with personal tasks for solving problems It appears that chronic mental health care for many years has not been able to crystallize ...
doi:10.4172/2471-271x.1000156
fatcat:b6d5alz5c5cgthsxjf4jaovhuu
Jet Lag Recovery: Synchronization of Circadian Oscillators as a Mean Field Game
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Numerical results are presented and conjectures are posed. ...
and 2) to understand how the oscillators recover from jet lag when the individual has traveled across time zones. ...
In fact, assuming uniqueness allows us to uniquely define the initial condition for both recovery problems and the control to be used for the Recovery via Ergodic Problem. ...
arXiv:1804.04729v1
fatcat:z37dapqturdczmdqtidhxro7j4
Time Synchronization Algorithm for Distributed Digital Product Collaborative Simulation in Multi-core Environment
2017
Revista Técnica de la Facultad de Ingeniería Universidad del Zulia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In order to improve the efficiency of simulation verification and the self-adaptability of time management for digital prototype products in multi-core cluster environment, a method to automatically adjust ...
performance of the prototype in the simulation verification, to monitor the load imbalance between logical processes, thereby reducing the performance of the prototype to verify the system running time and ...
Basic Research Plan in Shaanxi Province of China (2016KJXX-62).Thanks for the help. ...
doi:10.21311/001.39.10.21
fatcat:jpmjtz2j3rgrhgau5ceaidprue
Three-Dimensional Cardiac Electrical Imaging From Intracavity Recordings
2007
IEEE Transactions on Biomedical Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The application of this inverse method has the potential of enhancing electrocardiographic mapping by catheters in electrophysiology laboratories, aiding cardiac resynchronization therapy, and other clinical ...
The feasibility and performance were evaluated by computer simulation studies, where a 3-D cellular-automaton heart model and a finite-element thorax volume conductor model were utilized. ...
of optimal locations of leads for cardiac resynchronization therapy, and other applications to management of cardiovascular disorders. ...
doi:10.1109/tbme.2007.891932
pmid:17694866
fatcat:3myjhi3uyzgznci2sgw2bzprpu
Subject index
2007
Journal of the American College of Cardiology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Dyssynchrony Quantitated by Time-to-Peak or Temporal Uniformity of Strain at Circumferential and Longitudinal Level: Implication for Resynchronization Therapy## 850-7·113A Cardiac Velocity, Strain and ...
##1028-144·96A
Cardiac Dyssynchrony Quantitated by Time-to-Peak or
Temporal Uniformity of Strain at Circumferential and
Longitudinal Level: Implication for Resynchronization
Therapy## 850-7·113A
Cardiac ...
doi:10.1016/j.jacc.2007.01.047
fatcat:w6ingwinqrckdghdkhndushcfq
Formal language properties of hybrid systems with strong resets
2010
RAIRO - Theoretical Informatics and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
We define a notion of hybrid regular expression and prove a Kleene-like theorem for hybrid systems. We also prove the closure of these systems under determinisation and complementation. ...
Finally, we prove that the reachability problem is undecidable for synchronized products of hybrid systems. ...
This assumption implies that definable subsets of M n (in the sense of M) admit very nice structure theorems like Cell decomposition and uniform finiteness [35] (see also [27] for a good introduction ...
doi:10.1051/ita/2010006
fatcat:g4bukfnwlfarzoek6rfnbcl6wy
« Previous
Showing results 1 — 15 out of 205 results