Search results for "transducers"

Hits ?▲	Authors	Title	Venue	Year	Link
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