Filters








205 Hits in 4.0 sec

Resynchronized Uniformization and Definability Problems for Rational Relations [article]

Christof Löding, Sarah Winter
2021 arXiv   pre-print
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

Sarah Winter, Michael Wagner
2018 International Colloquium on Automata, Languages and Programming  
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]

Denis Kuperberg, Jan Martens
2020 arXiv   pre-print
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

Denis Kuperberg, Jan Martens, Daniel Kráľ, Javier Esparza
2020 International Symposium on Mathematical Foundations of Computer Science  
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]

Sarah Winter
2018 arXiv   pre-print
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

Hanno U Klemm, Olaf Franzen, Rodolfo Ventura, Stephan Willems
2007 Indian Pacing and Electrophysiology Journal  
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

R. B. Bennett, W. J. Bitner, M. A. Musa, M. K. Ainsworth
1991 IBM Systems Journal  
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

B. A. Maslak, J. M. Showalter, T. J. Szczygielski
1991 IBM Systems Journal  
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

María Emilia Descotte, Diego Figueira, Santiago Figueira, Michael Wagner
2019 Symposium on Theoretical Aspects of Computer Science  
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

Yakov Naisberg
2018 Journal of Mental Disorders and Treatment  
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]

Rene Carmona, Christy V. Graves
2018 arXiv   pre-print
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  
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

Bin He, Chenguang Liu, Yingchun Zhang
2007 IEEE Transactions on Biomedical Engineering  
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  
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

Thomas Brihaye, Véronique Bruyère, Elaine Render
2010 RAIRO - Theoretical Informatics and Applications  
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