Search results for "finger"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Marcelo Finger, Ronan LeBras, Carla P. Gomes, Bart Selman	Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability.	SAT	2013	DBLP DOI BibTeX RDF
24	Susan Finger, Amy Chan Hilton, Jeremi S. London, Cynthia Young	What is the role of MOOCs in engineering education?	FIE	2013	DBLP DOI BibTeX RDF
24	Maura Borrego, Amy Chan Hilton, Louis J. Everett, Susan Finger, Don L. Millard, Z. Yu	New National Science Foundation opportunities for improving undergraduate engineering education.	FIE	2013	DBLP DOI BibTeX RDF
24	Diogo F. C. Patrão, Helena Paula Brentani, Marcelo Finger, Renata Wassermann	Ontocloud - a Clinical Information Ontology Based Data Integration System.	ONTOBRAS	2013	DBLP BibTeX RDF
24	Alice Fonseca Finger, Aline Brum Loreto, Vinicius Signori Furlan	The Computational Complexity of Random Variables with Uniform, Exponential and Pareto Distributions in Real and Interval Forms.	WEIT	2013	DBLP DOI BibTeX RDF
24	Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger	Towards an efficient prover for the C1 paraconsistent logic	CoRR	2012	DBLP BibTeX RDF
24	Marcelo Finger	Towards automated first-order abduction: the cut-based approach.	Log. J. IGPL	2012	DBLP DOI BibTeX RDF
24	Leliane Nunes de Barros, Marcelo Finger, Aurora T. R. Pozo, Gustavo Alberto Giménez Lugo, Marcos A. Castilho (eds.)	Advances in Artificial Intelligence - SBIA 2012 - 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012. Proceedings	SBIA	2012	DBLP DOI BibTeX RDF
24	Alice Fonseca Finger, Aline Brum Loreto, Marcilia Andrade Campos, Filipe Rafael Gomes Varjao, Maria das Gracas dos Santos	The computational complexity of problems to compute intervals wrappers for random variables uniform, Exponential and Pareto.	CLEI	2012	DBLP DOI BibTeX RDF
24	Z. Yu, Maura Borrego, Louis J. Everett, Susan Finger, Don L. Millard	Workshop: Evaluation of educational research and development projects: Pre-conference workshop.	FIE	2012	DBLP DOI BibTeX RDF
24	Rainer Moorfeld, Yun Lu, Adolf Finger	Energy detection with optimal symbol constellation for M-PAM in UWB fading channels.	ICUWB	2012	DBLP DOI BibTeX RDF
24	Yun Lu, Adolf Finger	Indoor ranging signal recovery via regularized CoSaMP.	WPNC	2012	DBLP DOI BibTeX RDF
24	Robert Rieg, Stefan Ferber, Sandrina Finger	E-mobility: Assessing the Market Potential for Public and Private Charging Infrastructure.	OR	2012	DBLP DOI BibTeX RDF
24	Steven G. Greening, Elizabeth C. Finger, Derek G. V. Mitchell	Parsing decision making processes in prefrontal cortex: Response inhibition, overcoming learned avoidance, and reversal learning.	NeuroImage	2011	DBLP DOI BibTeX RDF
24	Jacqueline H. Finger, Constance M. Smith, Terry F. Hayamizu, Ingeborg J. McCright, Janan T. Eppig, James A. Kadin, Joel E. Richardson, Martin Ringwald	The mouse Gene Expression Database (GXD): 2011 update.	Nucleic Acids Res.	2011	DBLP DOI BibTeX RDF
24	Anderson de Araújo, Marcelo Finger	Classical and quantum satisfiability	LSFA	2011	DBLP DOI BibTeX RDF
24	Fábio Filocomo, Marcelo Finger, Diogo F. C. Patrão	Resolução da Heterogeneidade na Identificação de Pacientes (Resolution of Heterogeneity in the Identification of Patients) [in Portuguese].	STIL	2011	DBLP BibTeX RDF
24	Louis J. Everett, Susan Finger, Don L. Millard, Russell L. Pimmel, Janis P. Terpenny, John Yu, Maura Borrego, Guy-Alain Amoussou	Workshop - Evaluation of education development projects.	FIE	2011	DBLP DOI BibTeX RDF
24	Louis J. Everett, Susan Finger, Don L. Millard, Russell L. Pimmel, Janis P. Terpenny, John Yu, Maura Borrego, Guy-Alain Amoussou	A mini-workshop on how people learn.	FIE	2011	DBLP DOI BibTeX RDF
24	Holger Finger, Shih-Chii Liu	Estimating the location of a sound source with a spike-timing localization algorithm.	ISCAS	2011	DBLP DOI BibTeX RDF
24	Mingjun Li, Rainer Moorfeld, Adolf Finger	Closed form expressions for the symbol error rate for non-coherent UWB impulse radio systems with energy combining.	WPNC	2011	DBLP DOI BibTeX RDF
24	Lu Li, Rainer Moorfeld, Adolf Finger	Bit and power loading for the multiband impulse radio UWB architecture.	WPNC	2011	DBLP DOI BibTeX RDF
24	Yun Lu, Adolf Finger	Channel model-based sensing for indoor ultrasonic location systems.	WPNC	2011	DBLP DOI BibTeX RDF
24	Niklaus Lehmann, Robert Finger, Tommy Klein	Modeling Complex Crop Management-Plant Interactions in Potato Production under Climate Change.	OR	2011	DBLP DOI BibTeX RDF
24	Marcelo Finger, Renata Wassermann, Fábio Gagliardi Cozman	Satisfiability in EL with Sets of Probabilistic ABoxes.	Description Logics	2011	DBLP BibTeX RDF
24	Marcelo Finger, Glauber De Bona	Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition.	IJCAI	2011	DBLP DOI BibTeX RDF
24	Alice Finger, Aline Loreto	Applications of Numerical Methods with Linear Complexity in Flood Forecasting in Rivers.	WEIT	2011	DBLP DOI BibTeX RDF
24	Marcelo Finger, Germano Capistrano Bezerra, Danilo R. Conde	Resource use pattern analysis for predicting resource availability in opportunistic grids.	Concurr. Comput. Pract. Exp.	2010	DBLP DOI BibTeX RDF
24	Francisco José da Silva e Silva, Fabio Kon, Alfredo Goldman, Marcelo Finger, Raphael Y. de Camargo, Fernando Castor Filho, Fábio M. Costa	Application execution management on the InteGrade opportunistic grid middleware.	J. Parallel Distributed Comput.	2010	DBLP DOI BibTeX RDF
24	Marcelo Finger	Analytic Methods for the Logic of Proofs.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
24	Marcelo Finger, Mauricio S. C. Hernandes	Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics.	WoLLIC	2010	DBLP DOI BibTeX RDF
24	Holger Finger, Shih-Chii Liu, Paul Ruvolo, Javier R. Movellan	Approaches and databases for online calibration of binaural sound localization for robotic heads.	IROS	2010	DBLP DOI BibTeX RDF
24	Hanns-Ulrich Dehner, Yves Koch, Holger Jäkel, Dennis Burgkhardt, Friedrich K. Jondral, Rainer Moorfeld, Adolf Finger	Narrow-Band Interference Robustness for Energy Detection in OOK/PPM.	ICC	2010	DBLP DOI BibTeX RDF
24	Glenn Finger, Romina Jamieson-Proctor, Peter Albion	Beyond Pedagogical Content Knowledge: The Importance of TPACK for Informing Preservice Teacher Education in Australia.	Key Competencies in the Knowledge Society	2010	DBLP DOI BibTeX RDF
24	Fábio Natanael Kepler, Marcelo Finger	Variable-Length Markov Models and Ambiguous Words in Portuguese.	NAACL (Young Investigators Workshop)	2010	DBLP BibTeX RDF
24	Sharad V. Oberoi, Dong Nguyen 0002, Gahgene Gweon, Susan Finger, Carolyn Penstein Rosé	DesignWebs: A Tool for Automatic Construction of Interactive Conceptual Maps from Document Collections.	Intelligent Tutoring Systems (2)	2010	DBLP DOI BibTeX RDF
24	Marcelo Finger, Glauber De Bona	A Refuted Conjecture on Probabilistic Satisfiability.	SBIA	2010	DBLP DOI BibTeX RDF
24	Atanu Garai, Matthias Finger	Using governance framework for e-governance development: an analysis of the Indian rail transport.	ICEGOV	2010	DBLP DOI BibTeX RDF
24	Marcelo Finger, Glauber De Bona	A Logic Based Algorithm for Solving Probabilistic Satisfiability.	IBERAMIA	2010	DBLP DOI BibTeX RDF
24	Pei-Chen Sun, Hsing Kenneth Cheng, Glenn Finger	Critical functionalities of a successful e-learning system - An analysis from instructors' cognitive structure toward system usage.	Decis. Support Syst.	2009	DBLP DOI BibTeX RDF
24	Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger	Towards an Efficient Prover for the C1 Paraconsistent Logic.	LSFA	2009	DBLP DOI BibTeX RDF
24	Benjamin Potsaid, Fern P. Finger, John T. Wen	Automation of Challenging Spatial-Temporal Biomedical Observations With the Adaptive Scanning Optical Microscope (ASOM).	IEEE Trans Autom. Sci. Eng.	2009	DBLP DOI BibTeX RDF
24	Alf-Christian Schering, Martin Düffer, Andreas Finger, Ilvio Bruder	A mobile tourist assistance and recommendation system based on complex networks.	CIKM-CNIKM	2009	DBLP DOI BibTeX RDF	tourist recommendation, social networks, replication, complex networks, mobile assistance
24	Andreas Finger, Holger Meyer 0001, Tim Rieger, Andreas Heuer 0001	Transactions and service level agreements for online music distribution.	ICITST	2009	DBLP DOI BibTeX RDF
24	Jonathan Finger, Neoklis Polyzotis	Robust and efficient algorithms for rank join evaluation.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	adaptive pulling, feasible region bound, rank join, ranking queries
24	Matthias Finger	e-gov and public sector reform: what roles for government in e-government?	ICEGOV	2009	DBLP DOI BibTeX RDF	e-policy, public sector reform, telecommunications policy, e-governance, e-government
24	Jens Rüdinger, Adolf Finger	Key dependent operation and algorithm specific complexity of statistical side channel attacks.	ICT	2009	DBLP DOI BibTeX RDF
24	Marcelo Finger	Using Abduction to Compute Efficient Proofs.	LSFA	2008	DBLP DOI BibTeX RDF
24	Elizabeth C. Finger, Derek G. V. Mitchell, Matthew M. Jones, R. James R. Blair	Dissociable roles of medial orbitofrontal cortex in human operant extinction learning.	NeuroImage	2008	DBLP DOI BibTeX RDF
24	Derek G. V. Mitchell, Qian Luo, Krystal Mondillo, Meena Vythilingam, Elizabeth C. Finger, R. James R. Blair	The interference of operant task performance by emotional distracters: An antagonistic relationship between the amygdala and frontoparietal cortices.	NeuroImage	2008	DBLP DOI BibTeX RDF
24	Guilherme de Souza Rabello, Marcelo Finger	Approximations of modal logics: K and beyond.	Ann. Pure Appl. Log.	2008	DBLP DOI BibTeX RDF
24	Pei-Chen Sun, Ray J. Tsai, Glenn Finger, Yueh-Yang Chen, Dowming Yeh	What drives a successful e-Learning? An empirical investigation of the critical factors influencing learner satisfaction.	Comput. Educ.	2008	DBLP DOI BibTeX RDF
24	Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay	Cut-Based Abduction.	Log. J. IGPL	2008	DBLP DOI BibTeX RDF
24	Marcelo Finger, Renata Wassermann	Revising Specifications with CTL Properties Using Bounded Model Checking.	SBIA	2008	DBLP DOI BibTeX RDF	Model-checking, formal specification, belief revision, CTL
24	Susan Finger, Sharad V. Oberoi	ArtifactWebs: Navigable product structures.	CSCWD	2008	DBLP DOI BibTeX RDF
24	Jamal Shahin, Matthias Finger	The operationalisation of e-governance.	ICEGOV	2008	DBLP DOI BibTeX RDF	citizen and community participation in policy making, efficiency and effectiveness, new forms of governance, policy process, e-governance, e-government, implementation, web2.0
24	Wilfried N. Gansterer, Hannes Schabauer, Christoph Pacher, N. Finger	Tridiagonalizing Complex Symmetric Matrices in Waveguide Simulations.	ICCS (1)	2008	DBLP DOI BibTeX RDF	complex symmetric eigenvalue problems, waveguide simulation, Tridiagonalization, optoelectronic
24	Marcelo Finger, Germano Capistrano Bezerra, Danilo R. Conde	Resource use pattern analysis for opportunistic grids.	MGC	2008	DBLP DOI BibTeX RDF	opportunistic grids, use pattern analysis, scheduling, grid computing
24	Constance M. Smith, Jacqueline H. Finger, Terry F. Hayamizu, Ingeborg J. McCright, Janan T. Eppig, James A. Kadin, Joel E. Richardson, Martin Ringwald	The mouse Gene Expression Database (GXD): 2007 update.	Nucleic Acids Res.	2007	DBLP DOI BibTeX RDF
24	Randall C. Smith, Richard R. Pawlicki, István Kókai, Jörg Finger, Thomas Vetter	Navigating in a Shape Space of Registered Models.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	design space, barycentric coordinates, shape space, Morphable model
24	Gustave Nguene Nguene, Matthias Finger	A fuzzy-based approach for strategic choices in electric energy supply. The case of a Swiss power provider on the eve of electricity market opening.	Eng. Appl. Artif. Intell.	2007	DBLP DOI BibTeX RDF
24	Nicolas Roussel 0002, Christine A. Morton, Fern P. Finger, Badrinath Roysam	A Computational Model for C. elegans Locomotory Behavior: Application to Multiworm Tracking.	IEEE Trans. Biomed. Eng.	2007	DBLP DOI BibTeX RDF
24	Marcelo Finger, Renata Wassermann	Anytime Approximations of Classical Logic from Above.	J. Log. Comput.	2007	DBLP DOI BibTeX RDF
24	Marcelo Finger, Dov M. Gabbay	Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs.	Log. J. IGPL	2007	DBLP DOI BibTeX RDF
24	Martin Mittelbach, Christian Müller 0006, Konrad Schubert, Adolf Finger	Ergodic Capacity of Discrete- and Continuous-Time, Frequency-Selective Rayleigh Fading Channels with Correlated Scattering.	GLOBECOM	2007	DBLP DOI BibTeX RDF
24	Jens Rüdinger, Adolf Finger	Algorithm Design and Side Channel Vulnerability on the Example of DPA Attack.	ICN	2007	DBLP DOI BibTeX RDF
24	Oliver Wang, Jonathan Finger, Qingxiong Yang, James Davis 0001, Ruigang Yang	Automatic Natural Video Matting with Depth.	PG	2007	DBLP DOI BibTeX RDF
24	Pierre Rossel, Matthias Finger	Conceptualizing e-Governance.	ICEGOV	2007	DBLP DOI BibTeX RDF	management of technology, e-governance, e-government, governance, government, regulation, electronic governance, co-evolution, policy-making, institutional economics
24	István Kókai, Jörg Finger, Randall C. Smith, Richard R. Pawlicki, Thomas Vetter	Example-Based Conceptual Styling Framework for Automotive Shapes.	SBIM	2007	DBLP DOI BibTeX RDF
24	Susan Finger, Dana Gelman, Anne Fay, Michael Szczerban, Asim Smailagic, Daniel P. Siewiorek	Supporting collaborative learning in engineering design.	Expert Syst. Appl.	2006	DBLP DOI BibTeX RDF
24	Elizabeth C. Finger, Abigail A. Marsh, Niveen Kamel, Derek G. V. Mitchell, R. James R. Blair	Caught in the act: The impact of audience on the neural response to morally and socially inappropriate behavior.	NeuroImage	2006	DBLP DOI BibTeX RDF
24	Marcelo Finger, Renata Wassermann	The universe of propositional approximations.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
24	Marcelo Finger, Dov M. Gabbay	Cut and Pay.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF
24	Abdur Rahim Biswas, Sven Zeisberg, M. Llanos Fernandez, Adolf Finger	Impact of People Movement on Received Signal in Fixed Indoor Radio Communications.	PIMRC	2006	DBLP DOI BibTeX RDF
24	Radka Dimitrova, Adolf Finger	On the Performance of Bluetooth with Multiple Repetition Channels.	Wireless and Optical Communications	2006	DBLP BibTeX RDF
24	Adolfo Gustavo Serra Seca Neto, Marcelo Finger	Effective Prover for Minimal Inconsistency Logic.	IFIP AI	2006	DBLP DOI BibTeX RDF
24	Martin Mittelbach, Rainer Moorfeld, Adolf Finger	Performance of a multiband impulse radio UWB architecture.	Mobility Conference	2006	DBLP DOI BibTeX RDF
24	Benjamin Potsaid, John T. Wen, Fern P. Finger	Automation of Challenging Spatial-Temporal Biomedical Observations with the Adaptive Scanning Optical Microscope (ASOM).	CASE	2006	DBLP DOI BibTeX RDF
24	Matthias Finger, Gianluca Misuraca, Pierre Rossel	e-Governance as a global knowledge-enabling platform.	DG.O	2006	DBLP DOI BibTeX RDF
24	Michael Galetzka, Daniel Roder, Adolf Finger	Simulation of User-Perceived QoS in Hybrid Broadcast and Telecommunication Networks.	ICNS	2006	DBLP DOI BibTeX RDF
24	Fábio N. Kepler, Marcelo Finger	Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF
24	José de R. P. Braga Jr., Alexandre Ceasar Tavares Vidal, Fabio Kon, Marcelo Finger	Trust in large-scale computational grids: an SPKI/SDSI extension for representing opinion.	MGC@Middleware	2006	DBLP DOI BibTeX RDF
24	Fábio Natanael Kepler, Marcelo Finger	Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains.	PROPOR	2006	DBLP DOI BibTeX RDF
24	Michel Gagnon, Eliana de Mattos Pinto Coelho, Roger Antonio Finger	Towards a Formalization of Tense and Aspect for the Generation of Portuguese Sentences.	PROPOR	2006	DBLP DOI BibTeX RDF
24	Guilherme de Souza Rabello, Marcelo Finger	Approximations of Modal Logic K.	WoLLIC	2005	DBLP DOI BibTeX RDF
24	Jonathan Cagan, Matthew I. Campbell, Susan Finger, Tetsuo Tomiyama	A Framework for Computational Design Synthesis: Model and Applications.	J. Comput. Inf. Sci. Eng.	2005	DBLP DOI BibTeX RDF
24	Kai-Uwe Schmidt, Adolf Finger	Simple Maximum-Likelihood Decoding of Generalized First-order Reed-Muller Codes	CoRR	2005	DBLP BibTeX RDF
24	Kai-Uwe Schmidt, Adolf Finger	New Codes for OFDM with Low PMEPR	CoRR	2005	DBLP BibTeX RDF
24	Lee E. Weiss, Cristina H. Amon, Susan Finger, Eric D. Miller, David A. Romero, I. Verdinelli, Lynn Walker, Phil G. Campbell	Bayesian computer-aided experimental design of heterogeneous scaffolds for tissue engineering.	Comput. Aided Des.	2005	DBLP DOI BibTeX RDF
24	Kai-Uwe Schmidt, Adolf Finger	Simple maximum-likelihood decoding of generalized first-order Reed-Muller codes.	IEEE Commun. Lett.	2005	DBLP DOI BibTeX RDF
24	Philipp Zimmermann, Matthias Finger	The Impact of the ICTs on Local Power Relationships.	ECEG	2005	DBLP BibTeX RDF
24	Pierre Rossel, Matthias Finger	Towards a Multi-measurement Platform of e-Government Projects and Services.	ECEG	2005	DBLP BibTeX RDF
24	Thomas Zwahr, Pierre Rossel, Matthias Finger	Towards Electronic Governance - Gaining Evidence for a Paradigm Shift in Governance From Federated Identity Management.	ECEG	2005	DBLP BibTeX RDF
24	Marcelo Finger	DAG Sequents with Substitution.	We Will Show Them! (1)	2005	DBLP BibTeX RDF
24	Kai-Uwe Schmidt, Adolf Finger	New codes for OFDM with low PMEPR.	ISIT	2005	DBLP DOI BibTeX RDF
24	Rogerio Fajardo, Marcelo Finger	How Not to Combine Modal Logics.	IICAI	2005	DBLP BibTeX RDF
24	Susan Finger, Dana Gelman, Anne Fay, Michael Szczerban	Supporting collaborative learning in engineering design.	CSCWD (2)	2005	DBLP DOI BibTeX RDF
24	Michael Galetzka, Günter Elst, Adolf Finger	Modeling User-Perceived QoS in Hybrid Broadcast and Telecommunication Networks.	ICN (1)	2005	DBLP DOI BibTeX RDF
24	Kai-Uwe Schmidt, Adolf Finger	Constructions of Complementary Sequences for Power-Controlled OFDM Transmission.	WCC	2005	DBLP DOI BibTeX RDF
24	Thomas Zwahr, Pierre Rossel, Matthias Finger	Towards electronic governance: a case study of ICT in local government governance.	DG.O	2005	DBLP BibTeX RDF	citizen interaction, government application domains, social science research, state transformation, governance, electronic governance, local government