Search results for "transducers"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Loredana Cristaldi, Marco Faifer, Christian Laurano, Roberto Ottoboni, Sergio Toscani, Michele Zanoni	Development of a low-cost generator for the testing of current transducers under non-sinusoidal conditions.	I2MTC	2017	DBLP DOI BibTeX RDF
13	Eric Battenberg, Jitong Chen, Rewon Child, Adam Coates 0002, Yashesh Gaur, Yi Li, Hairong Liu, Sanjeev Satheesh, Anuroop Sriram, Zhenyao Zhu	Exploring neural transducers for end-to-end speech recognition.	ASRU	2017	DBLP DOI BibTeX RDF
13	Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis	Untwisting two-way transducers in elementary time.	LICS	2017	DBLP DOI BibTeX RDF
13	Takaaki Okano, Shintaro Izumi, Takumi Katsuura, Hiroshi Kawaguchi 0001, Masahiko Yoshimoto	Multimodal cardiovascular information monitor using piezoelectric transducers for wearable healthcare.	SiPS	2017	DBLP DOI BibTeX RDF
13	Mikolaj Bojanczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle	Which Classes of Origin Graphs Are Generated by Transducers.	ICALP	2017	DBLP DOI BibTeX RDF
13	Luc Dartois, Paulin Fournier, Ismaël Jecker, Nathan Lhote	On Reversible Transducers.	ICALP	2017	DBLP DOI BibTeX RDF
13	Lukás Mateju, Petr Cerva, Jindrich Zdánský, Jirí Málek	Speech Activity Detection in online broadcast transcription using Deep Neural Networks and Weighted Finite State Transducers.	ICASSP	2017	DBLP DOI BibTeX RDF
13	Sam Buss, Douglas Cenzer, Mia Minnes, Jeffrey B. Remmel	Injection Structures Specified by Finite State Transducers.	Computability and Complexity	2017	DBLP DOI BibTeX RDF
13	Junsu Lee, Jin Ho Chang	Development of intravascular ultrasound transducers to monitor chronic total occlusion treatment by microrobots.	URAI	2017	DBLP DOI BibTeX RDF
13	Stavros Konstantinidis	Applications of Transducers in Independent Languages, Word Distances, Codes.	DCFS	2017	DBLP DOI BibTeX RDF
13	Marco Faifer, Christian Laurano, Roberto Ottoboni, Sergio Toscani, Michele Zanoni	Voltage Transducers Testing Procedure Based on the Best Linear Approximation.	AMPS	2017	DBLP DOI BibTeX RDF
13	Stefan Gerdjikov, Stoyan Mihov, Klaus U. Schulz	A Simple Method for Building Bimachines from Functional Finite-State Transducers.	CIAA	2017	DBLP DOI BibTeX RDF
13	Vincent Hugot, Adrien Boiret, Joachim Niehren	Equivalence of Symbolic Tree Transducers.	DLT	2017	DBLP DOI BibTeX RDF
13	Hans Zantema, Wieb Bosma	Classifying Non-periodic Sequences by Permutation Transducers.	DLT	2017	DBLP DOI BibTeX RDF
13	Anca Muscholl	A Tour of Recent Results on Word Transducers.	FCT	2017	DBLP DOI BibTeX RDF
13	Qinheping Hu, Loris D'Antoni	Automatic program inversion using symbolic transducers.	PLDI	2017	DBLP DOI BibTeX RDF
13	Arturo Argueta, David Chiang 0001	Decoding with Finite-State Transducers on GPUs.	EACL (1)	2017	DBLP DOI BibTeX RDF
13	Francesco Cursi, Jörn Malzahn, Nikolaos G. Tsagarakis, Darwin G. Caldwell	An online interactive method for guided calibration of multi-dimensional force/torque transducers.	Humanoids	2017	DBLP DOI BibTeX RDF
13	Paul Gallot, Anca Muscholl, Gabriele Puppis, Sylvain Salvati	On the Decomposition of Finite-Valued Streaming String Transducers.	STACS	2017	DBLP DOI BibTeX RDF
13	Baki Karaboce, Huseyin Okan Durmus, Emel Cetin, Mithat Ozdingis	Calibration of therapeutic ultrasonic transducers with the modified radiation force balance system.	MeMeA	2017	DBLP DOI BibTeX RDF
13	Zhenhao Wang, Jingfeng Bai	Impedance matching for focused ultrasound transducers.	CISP-BMEI	2017	DBLP DOI BibTeX RDF
13	Lars Hellsten, Brian Roark, Prasoon Goyal, Cyril Allauzen, Françoise Beaufays, Tom Ouyang, Michael Riley 0001, David Rybach	Transliterated Mobile Keyboard Input via Weighted Finite-State Transducers.	FSMNLP	2017	DBLP DOI BibTeX RDF
13	Stoyan Mihov, Klaus U. Schulz	Failure Transducers and Applications in Knowledge-Based Text Processing.	FSMNLP	2017	DBLP DOI BibTeX RDF
13	Robert F. Shepherd, Bryan Peele, Benjamin Mac Murray, Jose A. Barreiros, Omer Shapira, Josef B. Spjut, David Luebke	Stretchable transducers for kinesthetic interactions in virtual reality.	SIGGRAPH Emerging Technologies	2017	DBLP DOI BibTeX RDF
13	Mark Hopkins, Cristian Petrescu-Prahova, Roie Levin, Ronan Le Bras 0001, Alvaro Herrasti, Vidur Joshi	Beyond Sentential Semantic Parsing: Tackling the Math SAT with a Cascade of Tree Transducers.	EMNLP	2017	DBLP DOI BibTeX RDF
13	Emmanuel Filiot, Pierre-Alain Reynier	Copyful Streaming String Transducers.	RP	2017	DBLP DOI BibTeX RDF
13	Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall	Static Analysis of Communicating Processes Using Symbolic Transducers.	VMCAI	2017	DBLP DOI BibTeX RDF
13	Catherine S. Salvador, Mary Charlemaine A. Abas, Jun A. Teresa, Michelle Ederlin Castillo, Kristoffer Dimaano, Jomari Sangalang, Christian Luis Velasco	Development of a Traffic Noise Energy Harvesting Standalone System Using Piezoelectric Transducers and Super-Capacitor.	ICSEng	2017	DBLP DOI BibTeX RDF
13	Olli Saarikivi	Symbolic Methods for Transducers and Testing (Symboliset metodit muuntimille ja testaukseen).		2017	RDF
13	Emmanuel Filiot, Pierre-Alain Reynier	Transducers, logic and algebra for functions of finite words.	ACM SIGLOG News	2016	DBLP DOI BibTeX RDF
13	Oscar H. Ibarra	Visibly Pushdown Automata and Transducers with Counters.	Fundam. Informaticae	2016	DBLP DOI BibTeX RDF
13	Zhengbin Wu, Kui Xi, Banlan Zhu, Hairong Zheng, Yuegang Tan	Theoretical and Experimental Investigation of Ultrasonic Transducers With Dual Oppositely Polarized PMN-PT Layers in Wide Frequency Range.	IEEE Trans. Ind. Electron.	2016	DBLP DOI BibTeX RDF
13	Fujun Wang, Hongjie Zhang 0005, Cunman Liang, Yanling Tian, Xingyu Zhao 0004, Dawei Zhang 0001	Design of High-Frequency Ultrasonic Transducers With Flexure Decoupling Flanges for Thermosonic Bonding.	IEEE Trans. Ind. Electron.	2016	DBLP DOI BibTeX RDF
13	Lluís-F. Hurtado, Joaquin Planells, Encarna Segarra, Emilio Sanchis	Spoken dialog systems based on online generated stochastic finite-state transducers.	Speech Commun.	2016	DBLP DOI BibTeX RDF
13	Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara	Determinacy and Subsumption of Single-Valued Bottom-Up Tree Transducers.	IEICE Trans. Inf. Syst.	2016	DBLP DOI BibTeX RDF
13	Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki	Query Rewriting for Nondeterministic Tree Transducers.	IEICE Trans. Inf. Syst.	2016	DBLP DOI BibTeX RDF
13	Joost Engelfriet, Sebastian Maneth, Helmut Seidl	Look-ahead removal for total deterministic top-down tree transducers.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
13	Zoltán Fülöp 0001, Andreas Maletti	Linking theorems for tree transducers.	J. Comput. Syst. Sci.	2016	DBLP DOI BibTeX RDF
13	Joost Engelfriet	Erratum to: "Top-down Tree Transducers with Regular Look-ahead".	Theory Comput. Syst.	2016	DBLP DOI BibTeX RDF
13	Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot	Two-Way Visibly Pushdown Automata and Transducers.	CoRR	2016	DBLP BibTeX RDF
13	Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall	Static Analysis of Communicating Processes using Symbolic Transducers.	CoRR	2016	DBLP BibTeX RDF
13	Adrien Boiret, Raphaela Palenta	Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time.	CoRR	2016	DBLP BibTeX RDF
13	Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter	On Equivalence and Uniformisation Problems for Finite Transducers.	CoRR	2016	DBLP BibTeX RDF
13	Dmitry Berdinsky	Cayley Automatic Groups and Numerical Characteristics of Turing Transducers.	CoRR	2016	DBLP BibTeX RDF
13	Pierre-Alain Reynier, Jean-Marc Talbot	Visibly Pushdown Transducers with Well-Nested Outputs.	Int. J. Found. Comput. Sci.	2016	DBLP DOI BibTeX RDF
13	Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis	Using finite transducers for describing and synthesising structural time-series constraints.	Constraints An Int. J.	2016	DBLP DOI BibTeX RDF
13	Paloma Yáñez-Sedeño, Susana Campuzano, José M. Pingarrón	Magnetic Particles Coupled to Disposable Screen Printed Transducers for Electrochemical Biosensing.	Sensors	2016	DBLP DOI BibTeX RDF
13	Jihun Jang, Jin Ho Chang	Design and Fabrication of Double-Focused Ultrasound Transducers to Achieve Tight Focusing.	Sensors	2016	DBLP DOI BibTeX RDF
13	Cheng Zou, Zhenguo Sun, Dong Cai, Muhammad Salman, Wenzeng Zhang, Qiang Chen 0009	A Fast Method to Calculate the Spatial Impulse Response for 1-D Linear Ultrasonic Phased Array Transducers.	Sensors	2016	DBLP DOI BibTeX RDF
13	Rayyan Manwar, Sazzadur Chowdhury	Experimental Analysis of Bisbenzocyclobutene Bonded Capacitive Micromachined Ultrasonic Transducers.	Sensors	2016	DBLP DOI BibTeX RDF
13	Gia Thinh Bui, Yu-Tsung Jiang, Da-Chen Pang	Two Capacitive Micro-Machined Ultrasonic Transducers for Wind Speed Measurement.	Sensors	2016	DBLP DOI BibTeX RDF
13	Tobias J. R. Eriksson, Michael Laws, Lei Kang, Yichao Fan, Sivaram Nishal Ramadas, Steve Dixon	Experimental Evaluation of Three Designs of Electrodynamic Flexural Transducers.	Sensors	2016	DBLP DOI BibTeX RDF
13	Tianyong Jiang, Qingzhao Kong, Wenxi Wang, Linsheng Huo, Gangbing Song	Monitoring of Grouting Compactness in a Post-Tensioning Tendon Duct Using Piezoceramic Transducers.	Sensors	2016	DBLP DOI BibTeX RDF
13	Bruno Guillon	Input- or output-unary sweeping transducers are weaker than their 2-way counterparts.	RAIRO Theor. Informatics Appl.	2016	DBLP DOI BibTeX RDF
13	Oluwaseun A. Araromi, Conor J. Walsh, Robert J. Wood	Fabrication of stretchable composites with anisotropic electrical conductivity for compliant pressure transducers.	IEEE SENSORS	2016	DBLP DOI BibTeX RDF
13	Thu Hang Bui, An Tran, Bruno Morana, Jia Wei, Trinh Chu Duc, Pasqualina M. Sarro	Effect of the interruption of the propagation path on the response of surface acoustic wave transducers.	IEEE SENSORS	2016	DBLP DOI BibTeX RDF
13	Simon J. Leigh	Polymer composites for 3D printing of functional sensors and transducers.	IEEE SENSORS	2016	DBLP DOI BibTeX RDF
13	Yuedong Xie, Sergio Rodriguez, Wuliang Yin, Anthony J. Peyton, Zenghua Liu, Jianna Hao, Qian Zhao, Ben Wang	Simulation and experimental verification of a meander-line-coil electromagnetic acoustic transducers (EMATs).	I2MTC	2016	DBLP DOI BibTeX RDF
13	James Robert Coombes, Yong Yan 0001	Experimental investigations into the use of piezoelectric film transducers to determine particle size through impact analysis.	I2MTC	2016	DBLP DOI BibTeX RDF
13	Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot	Two-Way Visibly Pushdown Automata and Transducers.	LICS	2016	DBLP DOI BibTeX RDF
13	Anthony Widjaja Lin, Pablo Barceló	String solving with word equations and transducers: towards a logic for analysing mutation XSS.	POPL	2016	DBLP DOI BibTeX RDF
13	Adrien Boiret, Aurélien Lemay, Joachim Niehren	Learning Top-Down Tree Transducers with Regular Domain Inspection.	ICGI	2016	DBLP BibTeX RDF
13	Yuefeng Li, Keshi He, Xueli Sun, Honghai Liu 0001	Human-machine interface based on multi-channel single-element ultrasound transducers: A preliminary study.	HealthCom	2016	DBLP DOI BibTeX RDF
13	Olamidipupo S. Ajigboye, Konstantinos Danas	Towards semantics in wearable sensors: The role of transducers electronic data sheets (TEDS) ontology in sensor networks.	HealthCom	2016	DBLP DOI BibTeX RDF
13	Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter	On Equivalence and Uniformisation Problems for Finite Transducers.	ICALP	2016	DBLP DOI BibTeX RDF
13	Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis	Minimizing Resources of Sweeping and Streaming String Transducers.	ICALP	2016	DBLP DOI BibTeX RDF
13	Anthony Romano, John S. Ho	Microwave to near-infrared conversion with a millimeter-scale wireless laser for activating molecular transducers.	EMBC	2016	DBLP DOI BibTeX RDF
13	Jeffrey Flanigan, Chris Dyer, Noah A. Smith, Jaime G. Carbonell	Generation from Abstract Meaning Representation using Tree Transducers.	HLT-NAACL	2016	DBLP DOI BibTeX RDF
13	Adrien Boiret	Normal Form on Linear Tree-to-Word Transducers.	LATA	2016	DBLP DOI BibTeX RDF
13	Raphael Polig, Kubilay Atasu, Christoph Hagleitner, Theresa Xu, Akihiro Nakayama	Annotation-based finite-state transducers on reconfigurable devices.	FPL	2016	DBLP DOI BibTeX RDF
13	Christof Löding, Sarah Winter	Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers.	MFCS	2016	DBLP DOI BibTeX RDF
13	Peter Ogden, David B. Thomas, Peter R. Pietzuch	AT-GIS: Highly Parallel Spatial Query Processing with Associative Transducers.	SIGMOD Conference	2016	DBLP DOI BibTeX RDF
13	Suna Bensch, Johanna Björklund, Martin Kutrib	Deterministic Stack Transducers.	CIAA	2016	DBLP DOI BibTeX RDF
13	Stavros Konstantinidis, Casey Meijer, Nelma Moreira, Rogério Reis	Implementation of Code Properties via Transducers.	CIAA	2016	DBLP DOI BibTeX RDF
13	Luc Dartois, Ismaël Jecker, Pierre-Alain Reynier	Aperiodic String Transducers.	DLT	2016	DBLP DOI BibTeX RDF
13	Adrien Boiret, Raphaela Palenta	Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time.	DLT	2016	DBLP DOI BibTeX RDF
13	Dmitry Berdinsky	Cayley Automatic Groups and Numerical Characteristics of Turing Transducers.	DLT	2016	DBLP DOI BibTeX RDF
13	Stavros Konstantinidis, Nelma Moreira, Rogério Reis	Generating error control codes with automata and transducers.	NCMA	2016	DBLP BibTeX RDF
13	Reto Baumgartner	Morphological analysis and lemmatization for Swiss German using weighted transducers.	KONVENS	2016	DBLP BibTeX RDF
13	Borja Bordel Sánchez, Diego Sánchez de Rivera, Ramón Alcarria	Plug-and-Play Transducers in Cyber-Physical Systems for Device-Driven Applications.	IMIS	2016	DBLP DOI BibTeX RDF
13	Salvatore A. Pullano, Antonino S. Fiorillo, Nicola Vanello, Luigi Landini	Obstacle detection system based on low quality factor ultrasonic transducers for medical devices.	MeMeA	2016	DBLP DOI BibTeX RDF
13	Baki Karaboce, Kubra Kilic, Gizem Erdogan	Investigation of ultrasonic fields produced by HIFU transducers used in cancer therapy.	MeMeA	2016	DBLP DOI BibTeX RDF
13	Pascual Martínez-Gómez, Yusuke Miyao	Rule Extraction for Tree-to-Tree Transducers by Cost Minimization.	EMNLP	2016	DBLP DOI BibTeX RDF
13	Siwat Saibua, Sangvorn Seesutas, Pasin Israsena	A Cost-Effective Method for Quality Assessment of Audiometric Bone Conduction Transducers.	i-CREATe	2016	DBLP BibTeX RDF
13	Giuseppe Ferri, Francesca Romana Parente, Vincenzo Stornelli, Gianluca Barile, Giorgio Pennazza, Marco Santonico	Voltage-Mode Analog Interfaces for Differential Capacitance Position Transducers.	Sensors	2016	DBLP DOI BibTeX RDF
13	Alessandro Stuart Savoia, Giosuè Caliano	MEMS-Based Transducers (CMUT) and Integrated Electronics for Medical Ultrasound Imaging.	Sensors	2016	DBLP DOI BibTeX RDF
13	Ziga Golob, Jerneja Zganec-Gros, Vitomir Struc, France Mihelic, Simon Dobrisek	A Composition Algorithm of Compact Finite-State Super Transducers for Grapheme-to-Phoneme Conversion.	TSD	2016	DBLP DOI BibTeX RDF
13	Nina Seemann	Rule extraction for multi bottom-up tree transducers.		2016	RDF
13	Adrien Boiret	Normalization and Learning of Transducers on Trees and Words. (Normalisation et Apprentissage de Transducteurs d'Arbres et de Mots).		2016	RDF
13	Ivone Amorim	Linear Finite Transducers Towards a Public Key Cryptographic System		2016	RDF
13	Klaus Sutner	Iterating Transducers.	Fundam. Informaticae	2015	DBLP DOI BibTeX RDF
13	Clemens Heuberger, Sara Kropf, Helmut Prodinger	Output Sum of Transducers: Limiting Distribution and Periodic Fluctuation.	Electron. J. Comb.	2015	DBLP DOI BibTeX RDF
13	Xiaosen Liu, Adrian Colli-Menchi, James G. R. Gilbert, Daniel A. Friedrichs, Keith Malang, Edgar Sánchez-Sinencio	An Automatic Resonance Tracking Scheme With Maximum Power Transfer for Piezoelectric Transducers.	IEEE Trans. Ind. Electron.	2015	DBLP DOI BibTeX RDF
13	Wojciech Kochanski, Martin Boeff, Zahra Hashemiyan, Wieslaw J. Staszewski, Prashant K. Verma	Modelling and Numerical Simulations of In-Air Reverberation Images for Fault Detection in Medical Ultrasonic Transducers: A Feasibility Study.	J. Sensors	2015	DBLP DOI BibTeX RDF
13	Zahra Hashemiyan, Pawel Packo, Wieslaw J. Staszewski, Tadeus Uhl, Prashant K. Verma	Local Interaction Simulation Approach for Fault Detection in Medical Ultrasonic Transducers.	J. Sensors	2015	DBLP DOI BibTeX RDF
13	Andrea Bulletti, Lorenzo Capineri	Interdigital Piezopolymer Transducers for Time of Flight Measurements with Ultrasonic Lamb Waves on Carbon-Epoxy Composites under Pure Bending Stress.	J. Sensors	2015	DBLP DOI BibTeX RDF
13	Marco Faifer, Roberto Ottoboni, Sergio Toscani, Claudio Cherbaucich, Paolo Mazza	Metrological Characterization of a Signal Generator for the Testing of Medium-Voltage Measurement Transducers.	IEEE Trans. Instrum. Meas.	2015	DBLP DOI BibTeX RDF
13	Gabriella Crotti, Daniele Gallo, Domenico Giordano, Carmine Landi, Mario Luiso	A Characterized Method for the Real-Time Compensation of Power System Measurement Transducers.	IEEE Trans. Instrum. Meas.	2015	DBLP DOI BibTeX RDF
13	Helko E. van den Brom, Gert Rietveld, Eddy So	Sampling Current Ratio Measurement System for Calibration of Current Transducers up to 10 kA With 5·10-6 Uncertainty.	IEEE Trans. Instrum. Meas.	2015	DBLP DOI BibTeX RDF
13	Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki	Node Query Preservation for Deterministic Linear Top-Down Tree Transducers.	IEICE Trans. Inf. Syst.	2015	DBLP DOI BibTeX RDF