Search results for "RICA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
81	Zong Wang, Tughrul Arslan, Ahmet T. Erdogan	Implementation of Hardware Encryption Engine for Wireless Communication on a Reconfigurable Instruction Cell Architecture.	DELTA	2008	DBLP DOI BibTeX RDF	Hardware Encryption, RICA, AES, RC4
72	Sami Khawam, Ioannis Nousias, Mark Milward, Ying Yi, Mark Muir, Tughrul Arslan	The Reconfigurable Instruction Cell Array.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
72	Juan Manuel Serrano, Sascha Ossowski, Sergio Saugar	Engineering agent interactions from ACL-based reusable connectors.	AAMAS	2005	DBLP DOI BibTeX RDF	multi-agent programming frameworks, JADE, agent communication languages and protocols
45		THE 19TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC OF THE ASSOCIATION FOR SYMBOLIC LOGIC XIX SIMPOSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA Universidad de Costa Rica San José, Costa Rica July 26-31, 2022.	Bull. Symb. Log.	2023	DBLP DOI BibTeX RDF
45	Alicia García-Holgado, María Estrada, Gabriela Marín, Francisco José García-Peñalvo	Gender gap perception of computer science students in Costa Rica: a case study in two public universities.	LAWCC@CLEI	2021	DBLP BibTeX RDF
45	María Isabel Murillo, Alexia Pacheco, Gustavo López 0001, Gabriela Marín, Julio C. Guzmán	Common Causes and Effects of Technical Debt in Costa Rica: InsighTD Survey Replication.	CLEI	2021	DBLP DOI BibTeX RDF
45	Sandra Cabrera Alzate, Ariella Quesada R.	Motivaciones de la Población Femenina en la Elección de la Carrera de Informática: Universidad Nacional de Costa Rica (Motivations of the Female Population in the Election of the Computer Science Career: Universidad Nacional de Costa Rica).	LAWCC@CLEI	2020	DBLP BibTeX RDF
45	Beatriz Coto-Solano	Challenges in the incorporation of rehabilitation technology to public health in Costa Rica.	LASCAS	2020	DBLP DOI BibTeX RDF
45	Francisco J. Mata, Ariella Quesada, Gabriela Mata-Marín	Can E-Commerce Provide a Solution to the Coffee Paradox? - The Case of Costa Rica.	WITFOR	2016	DBLP DOI BibTeX RDF
45	César Garita, Giannina Ortiz	e-Bridge 3.0: A Strategic Approach to Structural Health Monitoring of Bridges in Costa Rica.	WITFOR	2016	DBLP DOI BibTeX RDF
33	Santiago Nunez, Gustavo Barrantes, Eduardo Malavassi, José Brenes, José Castro	On the Structure of Parametric Sweeps in Large-Scale, Grid-Enabled Ash Deposition Simulations for the Irazu Volcano in the PRAGMA Grid.	FCST	2010	DBLP DOI BibTeX RDF	ash fall, Costa Rica, volcanology, geosciences, simulation and modeling, earth sciences
29	Porferio Almerino Jr., Marilou Martinez, Rogelio Sala Jr., Kent Maningo, Lourdes Garciano, Christine Catyong, Marvin Guinocor, Gerly Alcantara, John de Vera, Veronica Calasang, Randy Mangubat, Larry Peconcillo Jr., Emerson Peteros, Charldy Wenceslao, Rica Villarosa, Lanndon A. Ocampo	Constructing an Interpretive Structural Model to Unravel the Interconnected Drivers of Teaching Quality in Higher Education.	Int. J. Knowl. Syst. Sci.	2024	DBLP DOI BibTeX RDF
29	Alba de la Rica-Martinez, Gemma Martínez-Muñoz, Marta Amoros Sanjuan, Agustín Conesa-Celdrán, Lucía Garcia-Moreno, Gabriel Estan-Cerezo, Martin J. Oates, Nieves Gonzalo-Jimenez, Antonio Ruiz-Canales	Low-Cost Electronic Nose for the Determination of Urinary Infections.	Sensors	2024	DBLP DOI BibTeX RDF
29	Roland Stenger, Rica Schulze, Sebastian Löns, Tobias Bäumer, Sebastian J. F. Fudickar	Android App for Symptomatic Monitoring of Cervical Dystonia: Design and Usability Study.	BIOSTEC (2)	2024	DBLP DOI BibTeX RDF
29	Rose Mary Almacen, Delfa Castilla, Gamaliel G. Gonzales, Roselyn R. Gonzales, Felix Costan, Emily Costan, Lynne Enriquez, Jannen Batoon, Rica Villarosa, Joerabell Lourdes Aro, Samantha Shane Evangelista, Fatima Maturan, Charldy Wenceslao, Nadine May Atibing, Lanndon A. Ocampo	Preparedness Indicator System for Education 4.0 with FUCOM and Rough Sets.	Syst.	2023	DBLP DOI BibTeX RDF
29	Dvir Gilor, Rica Gonen, Erel Segal-Halevi	Ascending-price mechanism for general multi-sided markets.	Artif. Intell.	2023	DBLP DOI BibTeX RDF
29	Roberto Bacani Figueroa Jr., Florinda Amparo Palma Gil, Hiroshi Taniguchi, Joshze Rica Esguerra	Virtual Reality Photo-based Tours for Teaching Filipino Vocabulary in an Online Class in Japan: Transitioning into the New Normal.	CoRR	2023	DBLP DOI BibTeX RDF
29	Piotr Faliszewski, Rica Gonen, Martin Koutecký, Nimrod Talmon	Correction to: Opinion diffusion and campaigning on society graphs.	J. Log. Comput.	2023	DBLP DOI BibTeX RDF
29	Christian Lins, Franziska Minh-Khai Dang Quang, Rica Schulze, Stefanie Lins, Andreas Hein 0001, Sebastian J. F. Fudickar	An Android App for Posture Analysis Using OWAS.	HEALTHINF	2023	DBLP DOI BibTeX RDF
29	Eric Blancaflor, Jerwin Keith Dela Cruz, Rica Angela Lumbang, Chelo Anne Dalanon	PawHub: A Web-based Telehealth Application for Companion-Animal Veterinarians' Consultation Services.	ICCMS	2023	DBLP DOI BibTeX RDF
29	Rica Gonen, Martin Koutecký, Roei Menashof, Nimrod Talmon	Heuristics for Opinion Diffusion via Local Elections.	SOFSEM	2023	DBLP DOI BibTeX RDF
29	Jayson M. Victoriano, Jaime P. Pulumbarit, Luisito Lolong Lacatan, Richard Albert S. Salivio, Rica Louise A. Barawid	Data Analysis of Bulacan State University Faculty Scientific Publication Based on Google Scholar using Web Data Scraping Technique.	CoRR	2022	DBLP BibTeX RDF
29	Steven M. Russell, Alejandra Alba-Patiño, Andreu Vaquer, Antonio Clemente, Roberto de la Rica	Improving the Quantification of Colorimetric Signals in Paper-Based Immunosensors with an Open-Source Reader.	Sensors	2022	DBLP DOI BibTeX RDF
29	Piotr Faliszewski, Rica Gonen, Martin Koutecký, Nimrod Talmon	Opinion diffusion and campaigning on society graphs.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
29	Marco Montalva-Medel, Sergio Rica, Felipe Urbina	Thermodynamics of Small Systems Through a Reversible and Conservative Discrete Automaton.	Automata and Complexity	2022	DBLP DOI BibTeX RDF
29	Elena Rica, Susana Álvarez, Francesc Serratosa	Tarragona Graph Database for Machine Learning Based on Graphs.	S+SSPR	2022	DBLP DOI BibTeX RDF
29	Elena Rica, Susana Álvarez, Carlos Francisco Moreno-García, Francesc Serratosa	Zero-Error Digitisation and Contextualisation of Piping and Instrumentation Diagrams Using Node Classification and Sub-graph Search.	S+SSPR	2022	DBLP DOI BibTeX RDF
29	Elena Rica, Susana Álvarez, Francesc Serratosa	Learning Distances Between Graph Nodes and Edges.	S+SSPR	2022	DBLP DOI BibTeX RDF
29	Elena Rica	Graph Edit Distance applied to diverse frameworks: Learning, matching and exploring techniques		2022	RDF
29	Itay Shtechman, Rica Gonen, Erel Segal-Halevi	Fair cake-cutting algorithms with real land-value data.	Auton. Agents Multi Agent Syst.	2021	DBLP DOI BibTeX RDF
29	Elena Rica, Susana Álvarez, Francesc Serratosa	On-line learning the graph edit distance costs.	Pattern Recognit. Lett.	2021	DBLP DOI BibTeX RDF
29	Dvir Gilor, Rica Gonen, Erel Segal-Halevi	Strongly budget balanced auctions for multi-sided markets.	Artif. Intell.	2021	DBLP DOI BibTeX RDF
29	Elena Rica, Susana Álvarez, Francesc Serratosa	Group of components detection in engineering drawings based on graph matching.	Eng. Appl. Artif. Intell.	2021	DBLP DOI BibTeX RDF
29	Borja F. Villar, Ana C. de la Rica, Miguel M. Vargas, Javier Pérez Turiel, Juan Carlos Fraile Marinero	A Low Cost IoT Enabled Device for the Monitoring, Recording and Communication of Physiological Signals.	BIODEVICES	2021	DBLP DOI BibTeX RDF
29	Mark Benedict D. Jarabese, Charlie S. Marzan, Jenelyn Q. Boado, Rushaine Rica Mae F. Lopez, Lady Grace B. Ofiana, Kenneth John P. Pilarca	Sign to Speech Convolutional Neural Network-Based Filipino Sign Language Hand Gesture Recognition System.	ISCSIC	2021	DBLP DOI BibTeX RDF
29	Dvir Gilor, Rica Gonen, Erel Segal-Halevi	Ascending-Price Mechanism for General Multi-sided Markets.	EUMAS	2021	DBLP DOI BibTeX RDF
29	Rica Gonen, Erel Segal-Halevi	A Global Multi-Sided Market with Ascending-Price Mechanism. (PDF / PS)	AAMAS	2021	DBLP BibTeX RDF
29	Rica Gonen, Ozi Egri	COMBIMA: truthful, budget maintaining, dynamic combinatorial market.	Auton. Agents Multi Agent Syst.	2020	DBLP DOI BibTeX RDF
29	Elena Rica, Carlos Francisco Moreno-García, Susana Álvarez, Francesc Serratosa	Reducing human effort in engineering drawing validation.	Comput. Ind.	2020	DBLP DOI BibTeX RDF
29	Piotr Faliszewski, Rica Gonen, Martin Koutecký, Nimrod Talmon	Opinion Diffusion and Campaigning on Society Graphs.	CoRR	2020	DBLP BibTeX RDF
29	Rica Gonen, Erel Segal-Halevi	Strongly Budget Balanced Auctions for Multi-Sided Markets.	AAAI	2020	DBLP DOI BibTeX RDF
29	Sergio Rica, Gonzalo A. Ruz	Estimating SIR model parameters from data using differential evolution: an application with COVID-19 data.	CIBCB	2020	DBLP DOI BibTeX RDF
29	Rica Gonen, Ozi Egri	COMBIMA: Truthful, Budget Maintaining, Dynamic Combinatorial Market. (PDF / PS)	AAMAS	2020	DBLP BibTeX RDF
29	Itay Shtechman, Rica Gonen, Erel Segal-Halevi	Fair Cake-Cutting Algorithms with Real Land-Value Data. (PDF / PS)	AAMAS	2020	DBLP BibTeX RDF
29	Rica Gonen, Erel Segal-Halevi	Strongly Budget Balanced Auctions for Multi-Sided Markets.	CoRR	2019	DBLP BibTeX RDF
29	Elena Rica, Susana Álvarez, Francesc Serratosa	Learning the Graph Edit Costs: What Do We Want to Optimise?	GbRPR	2019	DBLP DOI BibTeX RDF
29	Elena Rica, Susana Álvarez, Francesc Serratosa	On-Line Learning the Edit Costs Based on an Embedded Model.	GbRPR	2019	DBLP DOI BibTeX RDF
29	Rica Gonen, Anat Lerner	Towards Characterizing the Deterministic Combinatorial Constrained Efficient Space.	ADT	2019	DBLP DOI BibTeX RDF
29	Catalina Canals, Eric Goles 0001, Aldo Mascareño, Sergio Rica, Gonzalo A. Ruz	School Choice in a Market Environment: Individual versus Social Expectations.	Complex.	2018	DBLP DOI BibTeX RDF
29	Moran Feldman, Rica Gonen	Removal and Threshold Pricing: Truthful Two-Sided Markets with Multi-dimensional Participants.	SAGT	2018	DBLP DOI BibTeX RDF
29	Moran Feldman, Gonen Frim, Rica Gonen	Multi-sided Advertising Markets: Dynamic Mechanisms and Incremental User Compensations.	GameSec	2018	DBLP DOI BibTeX RDF
29	Febus Reidj G. Cruz, Earl Stephen Rey P. Montealegre, Jerome Christian M. Aranel, Donald Jason Hao Paredes, Glazy Rica P. Ramirez, Wen-Yaw Chung	ISFET Bridge Type Readout Circuit with Programmable Voltage and Current.	TENCON	2018	DBLP DOI BibTeX RDF
29	Julian Rahm, Markus Graube, Romy Müller, Tilman Klaeger, Luise Schegner, Andre Schult, Rica Bonse, Sebastian Carsch, Lukas Oehm, Leon Urbas	KoMMDia: Dialogue-Driven Assistance System for Fault Diagnosis and Correction in Cyber-Physical Production Systems.	ETFA	2018	DBLP DOI BibTeX RDF
29	Mauricio A. Valle, Gonzalo A. Ruz, Sergio Rica	Transactional Database Analysis by Discovering Pairwise Interactions Strengths.	ASONAM	2018	DBLP DOI BibTeX RDF
29	Piotr Faliszewski, Rica Gonen, Martin Koutecký, Nimrod Talmon	Opinion Diffusion and Campaigning on Society Graphs.	IJCAI	2018	DBLP DOI BibTeX RDF
29	Rica Gonen, Ozi Egri	Two-Sided Markets: Mapping Social Welfare to Gain from Trade.	EUMAS	2018	DBLP DOI BibTeX RDF
29	Rica Gonen, Anat Lerner	Characterizing incentive compatible, Pareto optimal and sufficiently anonymous constrained combinatorial mechanisms - Two players case.	Comput.	2017	DBLP DOI BibTeX RDF
29	Pablo Medina, Eric Goles 0001, Roberto Zarama, Sergio Rica	Corrigendum to "Self-Organized Societies: On the Sakoda Model of Social Interactions".	Complex.	2017	DBLP DOI BibTeX RDF
29	Pablo Medina, Eric Goles 0001, Roberto Zarama, Sergio Rica	Self-Organized Societies: On the Sakoda Model of Social Interactions.	Complex.	2017	DBLP DOI BibTeX RDF
29	Rica Gonen	Databroker System: A New Online Advertising System That Keeps Users Engaged While Preserving Their Privacy.	AAMAS	2017	DBLP BibTeX RDF
29	Rica Gonen, Ozi Egri	DYCOM: A Dynamic Truthful Budget Balanced Double-sided Combinatorial Market.	AAMAS	2017	DBLP BibTeX RDF
29	Moran Feldman, Rica Gonen	Online Truthful Mechanisms for Multi-sided Markets.	CoRR	2016	DBLP BibTeX RDF
29	Moran Feldman, Rica Gonen	Markets with Strategic Multi-minded Mediators.	CoRR	2016	DBLP BibTeX RDF
29	Anat Lerner, Rica Gonen	Efficient Constrained Combinatorial Auctions.	IGTR	2016	DBLP DOI BibTeX RDF
29	Rica Gonen, Tamir Tassa	Privacy Preserving Computations for Viral Marketing: The Case of Rational Players.	ARES	2016	DBLP DOI BibTeX RDF
29	Niv Buchbinder, Rica Gonen	Incentive Compatible Mulit-Unit Combinatorial Auctions: A Primal Dual Approach.	Algorithmica	2015	DBLP DOI BibTeX RDF
29	Anat Lerner, Rica Gonen	Autocratic Mechanisms: A Form of Dictatorship in Constrained Combinatorial Auctions.	IGTR	2015	DBLP DOI BibTeX RDF
29	Vasco Cortez, Sergio Rica	Dynamics of the Schelling Social Segregation Model in Networks.	Complex Adaptive Systems	2015	DBLP DOI BibTeX RDF
29	Rica Simona Antin	Parcours de lecture et d'interprétation : un outil pour des médiations éducatives et culturelles adaptatives. (Reading and interpretation paths: A tool for adaptative educational and cultural mediation).		2015	RDF
29	Marcos A. Kiwi, Pablo Moisset de Espanés, Ivan Rapaport, Sergio Rica, Guillaume Theyssier	Strict Majority Bootstrap Percolation in the r-wheel.	Inf. Process. Lett.	2014	DBLP DOI BibTeX RDF
29	Anat Lerner, Rica Gonen	Characterizing the Incentive Compatible and Pareto Optimal Efficiency Space for Two Players, k Items, Public Budget and Quasilinear Utilities.	Games	2014	DBLP DOI BibTeX RDF
29	Cristian Calude, Bruno Durand 0001, Anahí Gajardo, Dominique Perrin, Ivan Rapaport, Sergio Rica	Discrete mathematical structures: From dynamics to complexity.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
29	Marcos A. Kiwi, Pablo Moisset de Espanés, Ivan Rapaport, Sergio Rica, Guillaume Theyssier	Strict majority bootstrap percolation in the r-wheel.	CoRR	2013	DBLP BibTeX RDF
29	Rica Gonen, Anat Lerner	The Incompatibility of Pareto Optimality and Dominant-Strategy Incentive Compatibility in Sufficiently-Anonymous Budget-Constrained Quasilinear Settings.	Games	2013	DBLP DOI BibTeX RDF
29	Raúl A. Rica, Roberto Ziano, Domenico Salerno, Francesco Mantegazza, Renéa van Roij, Doriano Brogioli	Capacitive Mixing for Harvesting the Free Energy of Solutions at Different Concentrations.	Entropy	2013	DBLP DOI BibTeX RDF
29	Jon Spangenberg, Cem Celal Tutum, Jesper Henri Hattel, Nicolas Roussel, Mette Rica Geiker	Optimization of casting process parameters for homogeneous aggregate distribution in self-compacting concrete: A feasibility study.	IEEE Congress on Evolutionary Computation	2011	DBLP DOI BibTeX RDF
29	Yiling Chen 0001, Stanko Dimitrov, Rahul Sami, Daniel M. Reeves, David M. Pennock, Robin D. Hanson, Lance Fortnow, Rica Gonen	Gaming Prediction Markets: Equilibrium Strategies with a Market Maker.	Algorithmica	2010	DBLP DOI BibTeX RDF
29	Nitza Geri, Rica Gonen	Managing Heterogeneity in Search-advertisers' Objectives.	MCIS	2010	DBLP BibTeX RDF
29	Sergio Rica	Analytical and Numerical Elements of a Supersolid Model.	Int. J. Bifurc. Chaos	2009	DBLP DOI BibTeX RDF
29	Rica Gonen, Elan Pavlov	Adaptive Incentive-Compatible Sponsored Search Auction.	SOFSEM	2009	DBLP DOI BibTeX RDF
29	Rica Gonen, Sergei Vassilvitskii	Sponsored Search Auctions with Reserve Prices: Going Beyond Separability.	WINE	2008	DBLP DOI BibTeX RDF
29	Rica Gonen	On the Hardness of Truthful Online Auctions with Multidimensional Constraints.	CiE	2008	DBLP DOI BibTeX RDF
29	Yiling Chen 0001, Daniel M. Reeves, David M. Pennock, Robin D. Hanson, Lance Fortnow, Rica Gonen	Bluffing and Strategic Reticence in Prediction Markets.	WINE	2007	DBLP DOI BibTeX RDF
29	Mira Gonen, Rica Gonen, Elan Pavlov	Characterizing Truthful Market Design.	WINE	2007	DBLP DOI BibTeX RDF
29	Rica Gonen, Elan Pavlov	An Adaptive Sponsored Search Mechanism delta -Gain Truthful in Valuation, Time, and Budget.	WINE	2007	DBLP DOI BibTeX RDF
29	Mira Gonen, Rica Gonen, Elan Pavlov	Generalized trade reduction mechanisms.	EC	2007	DBLP DOI BibTeX RDF	budget balance, external competition, internal competition, trade reduction
29	Rica Gonen, Elan Pavlov	An incentive-compatible multi-armed bandit mechanism.	PODC	2007	DBLP DOI BibTeX RDF	incentive compatible, truthful, multi-armed bandit
29	Daniel Weiskopf, Marc Borchers, Thomas Ertl, Martin Falk, Oliver Fechtig, Regine Frank, Frank Grave, Andreas King, Ute Kraus, Thomas Müller 0005, Hans-Peter Nollert, Isabel Rica Mendez, Hanns Ruder, Tobias Schafhitzel, Sonja Schär, Corvin Zahn, Michael Zatloukal	Explanatory and Illustrative Visualization of Special and General Relativity.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	explanatory computer graphics, general relativity, visualization of mathematics, Visualization, terrain rendering, illustrative visualization, astrophysics, special relativity
29	Ittai Abraham, Danny Dolev, Rica Gonen, Joseph Y. Halpern	Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation.	PODC	2006	DBLP DOI BibTeX RDF	distributed computing, game theory, secret sharing, secure multiparty computation
29	Mercy B. Caña, Quiza Lynn Grace G. Cueto, Allan B. De Guzman, Kaori B. Fuchigami, Leona Rica T. Manalo, Jake Cathleen U. Yu	Clientele recognition of library terms and concepts used by librarians: A case of an academic library in the Philippines.	J. Libr. Inf. Sci.	2005	DBLP DOI BibTeX RDF
29	Daniel Weiskopf, Marc Borchers, Thomas Ertl, Martin Falk, Oliver Fechtig, Regine Frank, Frank Grave, Andreas King, Ute Kraus, Thomas Müller 0005, Hans-Peter Nollert, Isabel Rica Mendez, Hanns Ruder, Corvin Zahn, Michael Zatloukal, Tobias Schafhitzel, Sonja Schär	Visualization in the Einstein Year 2005: A Case Study on Explanatory and Illustrative Visualization of Relativity and Astrophysics.	IEEE Visualization	2005	DBLP DOI BibTeX RDF	explanatory computer graphics, general relativity, visualization of mathematics, Visualization, terrain rendering, illustrative visualization, astrophysics, special relativity
29	Rica Gonen	Non-VCG schemes and coalition resistant mechanisms (סכימות שאינן VCG ומכניזמים חסיניי קואליציות.).		2005	RDF
29	Rica Gonen	Negotiation-Range Mechanisms: Coalition-Resistant Markets.	ESA	2004	DBLP DOI BibTeX RDF
29	Yair Bartal, Rica Gonen, Pierfrancesco La Mura	Negotiation-range mechanisms: exploring the limits of truthful efficient markets.	EC	2004	DBLP DOI BibTeX RDF	efficient markets, negotiation-range mechanisms, mechanism design
29	Yair Bartal, Rica Gonen, Noam Nisan	Incentive compatible multi unit combinatorial auctions.	TARK	2003	DBLP DOI BibTeX RDF
29	Rica Gonen, Daniel Lehmann 0001	Linear Programming helps solving large multi-unit combinatorial auctions	CoRR	2002	DBLP BibTeX RDF
29	Rica Gonen, Daniel Lehmann 0001	Optimal Solutions for Multi-Unit Combinatorial Auctions: Branch and Bound Heuristics	CoRR	2002	DBLP BibTeX RDF
29	Rica Gonen, Daniel Lehmann 0001	Optimal solutions for multi-unit combinatorial auctions: branch and bound heuristics.	EC	2000	DBLP DOI BibTeX RDF	branch and bound, combinatorial auctions
29	Philippe Maksud, Bernard Fertil, Charles Rica, André Aurengo	Artificial neural networks for scatter and attenuation compensation in radioisotope imaging.	Medical Imaging: Image Processing	1996	DBLP DOI BibTeX RDF
29	Gary D. Hachtel, Mariano Hermida de la Rica, Abelardo Pardo, Massimo Poncino, Fabio Somenzi	Re-encoding sequential circuits to reduce power dissipation.	ICCAD	1994	DBLP DOI BibTeX RDF