Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Joost Engelfriet |
Two-way pebble transducers for partial functions and their composition. |
Acta Informatica |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Loris D'Antoni, Margus Veanes |
Extended symbolic finite automata and transducers. |
Formal Methods Syst. Des. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Nikola Bezanic, Ivan Popovic |
Service-oriented implementation model for smart transducers network. |
Comput. Stand. Interfaces |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Norbert Hundeshagen, Friedrich Otto |
Restarting Transducers, Regular Languages, and Rational Relations. |
Theory Comput. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Anthony W. Lin, Pablo Barceló |
String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version). |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Luc Dartois, Pierre-Alain Reynier |
Aperiodic Transducers. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Helmut Seidl, Sebastian Maneth, Gregor Kemper |
Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Ivone Amorim, António Machiavelo, Rogério Reis |
On the Number of Linear Finite Transducers. |
Int. J. Found. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Sebastian Maneth |
A Survey on Decidable Equivalence Problems for Tree Transducers. |
Int. J. Found. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Oscar H. Ibarra |
On the Ambiguity and Finite-Valuedness Problems in Acceptors and Transducers. |
Int. J. Found. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Maletti |
The Power of Weighted Regularity-Preserving Multi Bottom-Up Tree Transducers. |
Int. J. Found. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Yan-Rui Li, Chih-Chung Su, Wen-Jin Lin, Shuo-Hung Chang |
Piezoelectric Sensor to Measure Soft and Hard Stiffness with High Sensitivity for Ultrasonic Transducers. |
Sensors |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Adit Decharat, Sanat Wagle, Svein K. Jacobsen, Frank Melandsø |
Using Silver Nano-Particle Ink in Electrode Fabrication of High Frequency Copolymer Ultrasonic Transducers: Modeling and Experimental Investigation. |
Sensors |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Dongxu Liu, Qingwen Yue, Ji Deng, Di Lin, Xiaobing Li, Wenning Di, Xi'an Wang, Xiangyong Zhao, Haosu Luo |
Broadband and High Sensitive Time-of-Flight Diffraction Ultrasonic Transducers Based on PMNT/Epoxy 1-3 Piezoelectric Composite. |
Sensors |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Roberto Longo, Steve Vanlanduit, Galid Arroud, Patrick Guillaume |
Underwater Acoustic Wavefront Visualization by Scanning Laser Doppler Vibrometer for the Characterization of Focused Ultrasonic Transducers. |
Sensors |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Jinlong Song, Chenyang Xue, Changde He, Rui Zhang, Linfeng Mu, Juan Cui, Jing Miao, Yuan Liu, Wendong Zhang 0001 |
Capacitive Micromachined Ultrasonic Transducers (CMUTs) for Underwater Imaging Applications. |
Sensors |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Enrique Dorronzoro, Isabel M. Gómez, Ana Verónica Medina, José Antonio Gómez |
Design and Implementation of a Prototype with a Standardized Interface for Transducers in Ambient Assisted Living. |
Sensors |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Ernst Niederleithinger, Julia Wolf, Frank Mielentz, Herbert Wiggenhauser, Stephan Pirskawetz |
Embedded Ultrasonic Transducers for Active and Passive Concrete Monitoring. |
Sensors |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Andrei A. Muchnik, Konstantin Yu. Gorbunov |
Algorithmic aspects of decomposition and equivalence of finite-valued transducers. |
Probl. Inf. Transm. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Carlos D. Martínez-Hinarejos, José-Miguel Benedí, Vicent Tamarit |
Unsegmented Dialogue Act Annotation and Decoding With N-Gram Transducers. |
IEEE ACM Trans. Audio Speech Lang. Process. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Mitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino |
A Polynomial-Time Algorithm for Checking the Equivalence of Deterministic Restricted One-Counter Transducers Which Accept by Final State. |
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Ualsher Tukeyev, Marek Milosz, Zhandos Zhumanov |
Finite-State Transducers with Multivalued Mappings for Processing of Rich Inflectional Languages. |
New Trends in Intelligent Information and Database Systems |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Margus Veanes, Nikolaj S. Bjørner |
Equivalence of Finite-Valued Symbolic Finite Transducers. |
Ershov Memorial Conference |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Anand Sreekumar, V. N. Panchalai, Bineesh P. Chacko, Preethi Thekkath |
Multilevel converter for excitation of underwater transducers. |
ICACCI |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Salvatore Ameduri, Antonio Concilio, Giuseppe Sala, Monica Ciminello, Angela Brindisi, Paolo Bettini 0001 |
FBG based transducers for morphing applications. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Robert Lorenz 0001 |
Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers. |
Petri Nets |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Vladimir A. Zakharov |
Equivalence Checking Problem for Finite State Transducers over Semigroups. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Achille Donida, Diego Barrettino |
A low-power interface circuit for piezoresistive transducers. |
I2MTC |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Peter Bell 0001, Steve Renals |
A system for automatic alignment of broadcast media captions using weighted finite-state transducers. |
ASRU |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Quernheim |
Exact Decoding with Multi Bottom-Up Tree Transducers. |
WMT@EMNLP |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Helmut Seidl, Sebastian Maneth, Gregor Kemper |
Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable. |
FOCS |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot |
Decision Problems of Tree Transducers with Origin. |
ICALP (2) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Leonel F. de Alencar, Philipp B. Costa, Mardonio J. C. França, Alexander Ewart, Katiuscia M. Andrade, Rossana M. C. Andrade |
JCLext: A Java Tool for Compiling Finite-State Transducers from Full-Form Lexicons. |
STIL |
2015 |
DBLP BibTeX RDF |
|
13 | Chao Chen 0019, Zhao Chen 0001, Zu-yao Chang, Michiel A. P. Pertijs |
A compact 0.135-mW/channel LNA array for piezoelectric ultrasound transducers. |
ESSCIRC |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Jiffer Harriman |
Feedback lapsteel : exploring tactile transducers as string actuators. |
NIME |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Bruno Guillon |
Sweeping weakens two-way transducers even with a unary output alphabet. |
NCMA |
2015 |
DBLP BibTeX RDF |
|
13 | Shyh-Jier Huang, Tsong-Shing Lee, Ruei-Yuan Chen, Yun-Hsuan Yeh |
Application of hybrid-loop control approach to inverter design with piezoelectric transducers. |
ICIT |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Yarub Alazzawi, Chunqui Qian, Shantanu Chakrabartty |
Feasibility of non-contact ultrasound generation using implanted metallic surfaces as electromagnetic acoustic transducers. |
BioCAS |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Mariusz Flasinski, Janusz Jurek, Tomasz Peszek |
Fuzzy Transducers as a Tool for Translating Noisy Data in Electrical Load Forecast System. |
PPAM (1) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Bahman Yousefzadeh, Ugur Sonmez, Nandish Mehta, Jonathan Borremans, Michiel A. P. Pertijs, Kofi A. A. Makinwa |
A generic read-out circuit for resistive transducers. |
IWASI |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Hasan Kaya, Gülsen Eryigit |
Using Finite State Transducers for Helping Foreign Language Learning. |
NLP-TEA@ACL/IJCNLP |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Michael Maxwell |
Accounting for Allomorphy in Finite-state Transducers. |
FSMNLP |
2015 |
DBLP BibTeX RDF |
|
13 | Andreas Maletti |
Extended Tree Transducers in Natural Language Processing. |
FSMNLP |
2015 |
DBLP BibTeX RDF |
|
13 | Chun-Kai Chang, Chung-Hsin Su, Yung-Hua Kao, Ming-Hung Yu, Thilo Sauter, Paul C.-P. Chao 0001 |
A new single inductor bipolar multiple output (SIBMO) boost converter using pulse frequency modulation (PFM) control for OLED drivers and optical transducers. |
ISQED |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Carlo Trigona, A. Noto, Bruno Andò, Salvatore Baglio |
Novel mechanical transducers for switched capacitor circuits. |
SAS |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Stéphane Blouin |
Localization error of underwater multistatic scenarios with uncertain transducers' location. |
CCECE |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Artem Lukanin |
Normalization of Non-standard Words with Finite State Transducers for Russian Speech Synthesis. |
AIST |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Olivier Carton, Luc Dartois |
Aperiodic Two-way Transducers and FO-Transductions. |
CSL |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Nina Seemann, Fabienne Braune, Andreas Maletti |
String-to-Tree Multi Bottom-up Tree Transducers. |
ACL (1) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Mayce Ibrahim Ali Al Azawi |
Statistical Language Modeling for Historical Documents using Weighted Finite-State Transducers and Long Short-Term Memory. |
|
2015 |
RDF |
|
13 | Alessandro Caspani |
Micromachined Ultrasound Transducers: from theoretical models to object localization in air. |
|
2015 |
RDF |
|
13 | Baozhi Chen, Dario Pompili |
A QoS-Aware Underwater Optimization Framework for Inter-Vehicle Communication using Acoustic Directional Transducers. |
IEEE Trans. Wirel. Commun. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Horia Balta, Catherine Douillard, Alexandru Isar |
On the Equivalence Between Canonical Forms of Recursive Systematic Convolutional Transducers Based on Single Shift Registers. |
IEEE Access |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Iago Bua-Nunez, Julio E. Posada-Roman, Jesus Rubio-Serrano, Jose A. Garcia-Souto |
Instrumentation System for Location of Partial Discharges Using Acoustic Detection With Piezoelectric Transducers and Optical Fiber Sensors. |
IEEE Trans. Instrum. Meas. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Jun Takeuchi, Akihiko Hirata, Hiroyuki Takahashi, Naoya Kukutsu, Yoshiaki Yamada, Kei Kitamura, Mitsuhiro Teshima |
10-Gbit/s Bidirectional and 20-Gbit/s Unidirectional 2-ch Wireless Data Transmission System Using 120-GHz-Band Finline Orthomode Transducers. |
IEICE Trans. Electron. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Zoltán Fülöp 0001, Heiko Vogler |
Forward and backward application of symbolic tree transducers. |
Acta Informatica |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Sandra Gómez Canaval, Victor Mitrana, Santiago Alonso Villaverde |
Transducers Based on Networks of Evolutionary Processors. |
J. Autom. Lang. Comb. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Alessandro Masi, Alessandro Danisi, Roberto Losito |
Low uncertainty position transducers for the LHC collimators: tutorial 49. |
IEEE Instrum. Meas. Mag. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Federico Barrero, Jean A. Guevara, Enrique A. Vargas Cabral, Sergio L. Toral Marín, Manuel Vargas |
Networked transducers in intelligent transportation systems based on the IEEE 1451 standard. |
Comput. Stand. Interfaces |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Susana O. Catarino, João Mário Miranda, Graça Minas |
Effect of β-PVDF Piezoelectric Transducers' Positioning on the Acoustic Streaming Flows. |
Micromachines |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Hassan A. Sleiman, Rafael Corchuelo |
A class of neural-network-based transducers for web information extraction. |
Neurocomputing |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Sebastian Maneth |
Equivalence Problems for Tree Transducers: A Brief Survey. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Lila Kari, Stavros Konstantinidis, Steffen Kopecki, Meng Yang 0010 |
An efficient algorithm for computing the edit distance of a regular language via input-altering transducers. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
13 | James Belk, Collin Bleak |
Some undecidability results for asynchronous transducers and the Brin-Thompson group 2V. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
13 | Nayan Jyoti Kalita, Navanath Saharia, Smriti Kumar Sinha |
Morphological Analysis of the Bishnupriya Manipuri Language using Finite State Transducers. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
13 | Ivone Amorim, António Machiavelo, Rogério Reis |
Statistical Study On The Number Of Injective Linear Finite Transducers. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
13 | Daniele D'Angeli, Emanuele Rodaro |
A geometric approach to (semi)-groups defined by automata via dual transducers. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
13 | Thomas A. Henzinger, Jan Otop, Roopsha Samanta |
Lipschitz Robustness of Finite-state Transducers. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
13 | Clemens Heuberger, Daniel Krenn, Sara Kropf |
Automata and Transducers in the Computer Algebra System Sage. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
13 | Emmanuel Filiot, Pierre-Alain Reynier |
On Streaming String Transducers and HDT0L Systems. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
13 | Christof Löding, Sarah Winter |
Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations. |
GandALF |
2014 |
DBLP DOI BibTeX RDF |
|
13 | David Rybach, Michael Riley 0001, Chris Alberti |
Direct construction of compact context-dependency transducers from data. |
Comput. Speech Lang. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Hyeong Jae Lee, Shujun Zhang, Yoseph Bar-Cohen, Stewart Sherrit |
High Temperature, High Power Piezoelectric Composite Transducers. |
Sensors |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Jianfei An, Kezhu Song, Shuangxi Zhang, Junfeng Yang, Ping Cao |
Design of a Broadband Electrical Impedance Matching Network for Piezoelectric Ultrasound Transducers Based on a Genetic Algorithm. |
Sensors |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Naoki Miyashita, Kazuhide Watanabe, Kyouhei Irisa, Hiroshi Iwashita, Ryosuke Araki, Akihiro Takita, Takao Yamaguchi, Yusaku Fujii |
Software for Correcting the Dynamic Error of Force Transducers. |
Sensors |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Seon Joo Park, Ohseok Kwon, Ji Eun Lee, Jyongsik Jang, Hyeonseok Yoon |
Conducting Polymer-Based Nanohybrid Transducers: A Potential Route to High Sensitivity and Selectivity Sensors. |
Sensors |
2014 |
DBLP DOI BibTeX RDF |
|
13 | K. Heath Martin, Brooks D. Lindsey, Jianguo Ma, Mike Lee, Sibo Li, F. Stuart Foster, Xiaoning Jiang, Paul A. Dayton |
Dual-Frequency Piezoelectric Transducers for Contrast Enhanced Ultrasound Imaging. |
Sensors |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Ivone Amorim, António Machiavelo, Rogério Reis |
On the invertibility of finite linear transducers. |
RAIRO Theor. Informatics Appl. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Dario Bianchi, Fabio Quaglia, Andrea Mazzanti, Francesco Svelto |
Analysis and Design of a High Voltage Integrated Class-B Amplifier for Ultra-Sound Transducers. |
IEEE Trans. Circuits Syst. I Regul. Pap. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Mayce Ibrahim Ali Al Azawi, Thomas M. Breuel |
Context-Dependent Confusions Rules for Building Error Model Using Weighted Finite State Transducers for OCR Post-Processing. |
Document Analysis Systems |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Ali Bazaei, Ali Mohammadi 0004, S. O. Reza Moheimani |
Sensing bandwidth of electrothermal MEMS transducers in constant voltage and current modes. |
AIM |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Jürgen Maas, Thorben Hoffstadt |
Model-based control of a dual active bridge for bidirectional feeding of DEAP transducers. |
AIM |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Joshua J. Cowan, Gabriel A. Rincón-Mora |
Harvesting the highest power from tiny electrostatic transducers with CMOS circuits. |
MWSCAS |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Ke Wu, Cyril Allauzen, Keith B. Hall, Michael Riley 0001, Brian Roark |
Encoding linear models as weighted finite-state transducers. |
INTERSPEECH |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano 0001, Hideya Iwasaki |
XQuery streaming by Forest Transducers. |
ICDE |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Hourieh Attarzadeh, Trond Ytterdal |
A Low-Noise Variable-Gain Amplifier for in-Probe 3D Imaging Applications Based on CMUT Transducers. |
ISVLSI |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Michael D. Riley |
Keynote 3: Weighted transducers in speech and language processing. |
O-COCOSDA |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Markus Huber 0006, Robert Lorenz 0001 |
Constructing Petri Net Transducers with PNTooL. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
13 | Robert Lorenz 0001, Markus Huber 0006, Günther Wirsching |
On Weighted Petri Net Transducers. |
Petri Nets |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Gabriella Crotti, Daniele Gallo, Domenico Giordano, Carmine Landi, Mario Luiso, Claudio Cherbaucich, Paolo Mazza |
Low cost measurement equipment for the accurate calibration of voltage and current transducers. |
I2MTC |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Slim Naifar, Sonia Bradai, Thomas Keutel, Olfa Kanoun |
Design of a vibration energy harvester by twin lateral magnetoelectric transducers. |
I2MTC |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Felipe Tondo, Luciano Salerno, Ricardo Becker |
Prototype for the estimation and evaluation of walking velocity using acceleration transducers. |
I2MTC |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Ping Li 0015, Yongming Li 0001, Shengling Geng |
The realization problems related to weighted transducers over strong bimonoids. |
FUZZ-IEEE |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Mikolaj Bojanczyk |
Transducers with Origin Information. |
ICALP (2) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Nayan Jyoti Kalita, Navanath Saharia, Smriti Kumar Sinha |
Morphological Analysis of the Bishnupriya Manipuri Language Using Finite State Transducers. |
CICLing (1) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Yuan Guo, Shane K. Fleshman, George K. Lewis Sr., George K. Lewis Jr. |
Ultrasonic modeling and hydrophone measurements of dual divergent transducers for wearable therapeutic ultrasound device. |
EMBC |
2014 |
DBLP DOI BibTeX RDF |
|
13 | P. M. Nabeel, Jayaraj Joseph, Mohanasankar Sivaprakasam |
Magnetic plethysmograph transducers for local blood pulse wave velocity measurement. |
EMBC |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Slawek Staworko, Marc Tommasi |
Learning Sequential Tree-to-Word Transducers. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Chao-Wen Tseng, Chua-Huang Huang |
A uniform EPC scheme design of IEEE 1451 transducers for IoT applications. |
ICUFN |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Christian Choffrut, Bruno Guillon |
An Algebraic Characterization of Unary Two-Way Transducers. |
MFCS (1) |
2014 |
DBLP DOI BibTeX RDF |
|