Search results for "exp"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
220	Marcus Schaefer 0001, Frank Stephan 0001	Strong Reductions and Immunity for Exponential Time.	STACS	2003	DBLP DOI BibTeX RDF	hardness for exponential time, polynomial time reducibilities, Computational and structural complexity
89	Frédéric Lang	Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods.	IFM	2005	DBLP DOI BibTeX RDF
89	Sheng-Chieh Huang, Liang-Gee Chen, Hao-Chieh Chang	A novel image compression algorithm by using Log-Exp transform.	ISCAS (4)	1999	DBLP DOI BibTeX RDF
81	Amos O. Olagunju	In search of heuristics for keyword detection (abstract only): my source of discontent.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
81	Adam W. Strzebonski	Real root isolation for exp-log functions.	ISSAC	2008	DBLP DOI BibTeX RDF	exp-log functions, real root isolation, solving equations
78	Brian Gabor, Bettina Kemme	Exp-WF: Workflow Support for Laboratory Information Systems.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
69	Klim Efremenko	3-query locally decodable codes of subexponential length.	STOC	2009	DBLP DOI BibTeX RDF	PIR schemes, private information retrieval schemes, locally decodable codes
69	Sebastian Bab, Arfst Nickelsen	One Query Reducibilities Between Partial Information Classes.	MFCS	2004	DBLP DOI BibTeX RDF
69	Harry Buhrman, Dieter van Melkebeek, Kenneth W. Regan, D. Sivakumar, Martin Strauss 0001	A Generalization of Resource-Bounded Measure, With an Application (Extended Abstract).	STACS	1998	DBLP DOI BibTeX RDF
69	Pierre-Vincent Koseleff	About Approximations of Exponentials.	AAECC	1995	DBLP DOI BibTeX RDF
61	Joris van der Hoeven	Generic Asymptotic Expansions.	Appl. Algebra Eng. Commun. Comput.	1998	DBLP DOI BibTeX RDF	Exp-log function, Algorithm, Genericity, Asymptotic expansion
58	Luca Trevisan, Salil P. Vadhan	Pseudorandomness and Average-Case Complexity Via Uniform Reductions.	Comput. Complex.	2007	DBLP DOI BibTeX RDF	Subject classification, 68Q10
58	Stefan Göller	On the Complexity of Reasoning About Dynamic Policies.	CSL	2007	DBLP DOI BibTeX RDF
58	Alexander A. Razborov	Resolution Lower Bounds for Perfect Matching Principles.	CCC	2002	DBLP DOI BibTeX RDF	Matching Principles, Resolution, Proof Complexity, Pigeonhole principle
58	Luca Trevisan, Salil P. Vadhan	Pseudorandomness and Average-Case Complexity via Uniform Reductions.	CCC	2002	DBLP DOI BibTeX RDF
50	Ahmed Khoumsi	A Method for Testing the Conformance of Real Time Systems.	FTRTFT	2002	DBLP DOI BibTeX RDF	GeneralizedWp-Method, Timed Automata (TA), se-FSA, Exp, Real-time systems, Conformance testing, Test cases generation, Set, Test architecture
49	Ahmed Khoumsi	A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems.	Discret. Event Dyn. Syst.	2005	DBLP DOI BibTeX RDF	real-time discrete event systems (RTDES), conformance relation tioco, Set-Exp-Automata, timed automata, supervisory control
49	Ahmed Khoumsi, Thierry Jéron, Hervé Marchand	Test Cases Generation for Nondeterministic Real-Time Systems.	FATES	2003	DBLP DOI BibTeX RDF	Conformance test cases generation, Determinizable Timed Automata (DTA), Set-Exp-Automata (SEA), Real-time systems, Test architecture
46	Sergey Yekhanin	Towards 3-query locally decodable codes of subexponential length.	J. ACM	2008	DBLP DOI BibTeX RDF	private information retrieval, Locally decodable codes, Mersenne primes
46	Emanuele Viola, Avi Wigderson	Norms, XOR Lemmas, and Lower Bounds for GF(2) Polynomials and Multiparty Protocols.	CCC	2007	DBLP DOI BibTeX RDF
46	Lane A. Hemaspaandra, Leen Torenvliet	P-Selectivity, Immunity, and the Power of One Bit.	SOFSEM	2006	DBLP DOI BibTeX RDF
46	Lance Fortnow, Adam R. Klivans	NP with Small Advice.	CCC	2005	DBLP DOI BibTeX RDF
46	Laron Walker, Hong Z. Tan	A Perceptual Study of Haptic Rendering of Surface Topography when Both Surface Height and Stiffness Vary.	HAPTICS	2004	DBLP DOI BibTeX RDF
46	Harry Buhrman, Leen Torenvliet	Separating Complexity Classes Using Structural Properties.	CCC	2004	DBLP DOI BibTeX RDF
46	Eva Lowen-Colebunders, C. Verbeeck	Exponential Objects in Coreflective or Quotient Reflective Subconstructs: A Comparison.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	exponential object, pre-approach space, pretopological space, coreflective subconstruct, quotient reflective subconstruct
46	Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos 0001	Explicit Substitutions for the Lambda-Calculus.	ALP/HOA	1997	DBLP DOI BibTeX RDF
46	Rémi Gilleron, Sophie Tison, Marc Tommasi	Solving Systems of Set Constraints using Tree Automata.	STACS	1993	DBLP DOI BibTeX RDF
46	Harry Buhrman, Steven Homer	Superpolynomial Circuits, Almost Sparse Oracles and the Exponential Hierarchy.	FSTTCS	1992	DBLP DOI BibTeX RDF
46	N. L. Gordon, A. H. Flasterstein	A Note on a Method of Computing the Gamma Function.	J. ACM	1960	DBLP DOI BibTeX RDF
43	Robert M. Corless, Hui Ding, David J. Jeffrey	The solution of s exp(s) = a is not always the lambert w function of a.	ISSAC	2007	DBLP DOI BibTeX RDF	lambert w function, matrix function, nonlinear matrix equation
43	Jong Hun Rhee, Dong Ku Kim	Scheduling of Real/Non-real Time Services in an AMC/TDM System: EXP/PF Algorithm.	CDMA International Conference	2002	DBLP DOI BibTeX RDF
43	Rainer Schuler	Truth-table Closure and Turing Closure of Average Polynomial Time have Different Measures in EXP.	CCC	1996	DBLP DOI BibTeX RDF	computational complexity, completeness, average-case analysis, resource-bounded measure
40	Maolin Cheng, Bin Liu	Application of a novel grey model GM(1, 1, exp × sin, exp × cos) in China's GDP per capita prediction.	Soft Comput.	2024	DBLP DOI BibTeX RDF
40	Wenjie Fang, Hsien-Kuei Hwang, Mihyun Kang	Phase transitions from exp⁡(n1/2) to exp⁡(n2/3) in the asymptotics of banded plane partitions.	J. Comb. Theory, Ser. A	2021	DBLP DOI BibTeX RDF
40	John P. Boyd 0001	The Fourier Transform of the quartic Gaussian exp(-Ax4): Hypergeometric functions, power series, steepest descent asymptotics and hyperasymptotics and extensions to exp(-Ax2n).	Appl. Math. Comput.	2014	DBLP DOI BibTeX RDF
40	Leslaw K. Bieniasz	Extension of the adaptive Huber method for Volterra integral equations arising in electroanalytical chemistry, to convolution kernels exp [-α (t-τ)] erex {[β(t-τ)]1/2} and exp [-α(t-τ)] daw {[β(t-τ)]1/2}.	J. Comput. Methods Sci. Eng.	2011	DBLP DOI BibTeX RDF
40	Albert Visser	An Inside View of EXP; or, The Closed Fragment of the Provability Logic of I Delta0+Omega1 with a Propositional Constant for EXP.	J. Symb. Log.	1992	DBLP DOI BibTeX RDF
38	Jiangtao Wen, John D. Villasenor	A Class of Reversible Variable Length Codes for Robust Image and Video Coding.	ICIP (2)	1997	DBLP DOI BibTeX RDF	reversible variable length codes, length distributions, Golomb-Rice codes, exp-Golomb codes, error-prone environments, robustness, video coding, image coding, statistics, MPEG-4, variable length codes, channel errors
35	Russell Impagliazzo, Valentine Kabanets, Avi Wigderson	New direct-product testers and 2-query PCPs.	STOC	2009	DBLP DOI BibTeX RDF	testing, PCP, parallel repetition, direct products
35	Hong Z. Tan, Mandayam A. Srinivasan, Charlotte M. Reed, Nathaniel I. Durlach	Discrimination and identification of finger joint-angle position using active motion.	ACM Trans. Appl. Percept.	2007	DBLP DOI BibTeX RDF	Joint position, kinesthesis, identification, discrimination, haptic perception, JND
35	Sergey Yekhanin	Towards 3-query locally decodable codes of subexponential length.	STOC	2007	DBLP DOI BibTeX RDF	private information retrieval, locally decodable codes, Mersenne primes
35	Ronen Shaltiel, Christopher Umans	Pseudorandomness for Approximate Counting and Sampling.	CCC	2005	DBLP DOI BibTeX RDF
35	Eli Ben-Sasson, Russell Impagliazzo, Avi Wigderson	Near Optimal Separation Of Tree-Like And General Resolution.	Comb.	2004	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03F20, 68Q17
35	Harry Buhrman, Lance Fortnow, Aduri Pavan	Some Results on Derandomization.	STACS	2003	DBLP DOI BibTeX RDF
35	Takashi Fukuda, Keiichi Komatsu	An Application of Siegel Modular Functions to Kronecker's Limit Formula.	ANTS	2002	DBLP DOI BibTeX RDF
35	Giuseppe A. Di Lucca, Anna Rita Fasolino, Ugo de Carlini	An Algebraic Notation for Representing Threads in Object Oriented Software Comprehension.	IWPC	2001	DBLP DOI BibTeX RDF
35	Ping Tak Peter Tang	Accurate and efficient testing of the exponential and logarithm functions.	ACM Trans. Math. Softw.	1990	DBLP DOI BibTeX RDF
35	Claus-Peter Schnorr	Refined Analysis and Improvements on Some Factoring Algorithms.	ICALP	1981	DBLP DOI BibTeX RDF
27	Morteza Moniri	Intuitionistic weak arithmetic.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Fragments of Heyting Arithmetic, exp, Kripke Models
27		2019 5th Experiment International Conference (exp.at'19), Funchal (Madeira Island), Portugal, June 12-14, 2019	exp.at	2019	DBLP BibTeX RDF
27	Jan Steinbrener, Pratik Desai	Comparison of Deep Learning Architectures on Embedded Devices and Generalized Fixed-point Conversion Algorithm.	exp.at	2019	DBLP DOI BibTeX RDF
27	Sérgio Pinto, António André, Pedro Martins 0006	Virtual Reality in the Study of the Male Urinary System.	exp.at	2019	DBLP DOI BibTeX RDF
27	Luís M. C. Gouveia, João Dionísio Simões Barros	Online Control of Islands Microgrids Connected by Electrical Submarine Cable.	exp.at	2019	DBLP DOI BibTeX RDF
27	Daniel Azevedo, Bernardete Ribeiro, Alberto Cardoso	Web-based tool for predicting the Remaining Useful Lifetime of Aircraft Components.	exp.at	2019	DBLP DOI BibTeX RDF
27	Fariba Moghaddam, Aldo Vaccari, Thomas Moniquet, Christophe Salzmann, Yves Piguet, Samer Saab 0001, Rayana H. Jaafar, Amir Abolfazl Suratgar, Qobad Shafiee, Nomaou Dan Lamso, Hassane Alzouma Mayaki, Hassan Ali Barkad, Hamadou Saliah-Hassane, Denis Gillet	Massive Open Online Labs (MOOLs): An Innovative Solution to Achieving SDGs in the Global South.	exp.at	2019	DBLP DOI BibTeX RDF
27	Sergio Masa, Esther Hontañón, José Pedro Santos, Isabel Sayago, Jesús Lozano	Chemiresistive sensors based on electrospun tin oxide nanofibers for detecting NO2 at the sub-0.1 ppm level.	exp.at	2019	DBLP DOI BibTeX RDF
27	Ananda Maiti, Terry Byrne, Alexander A. Kist	Teaching Internet of Things in a Collaborative Laboratory Environment.	exp.at	2019	DBLP DOI BibTeX RDF
27	Teresa Rocha, Ana Borges, Simão Paredes, André Pinho	A Matlab Tool for Solving Linear Goal Programming Problems.	exp.at	2019	DBLP DOI BibTeX RDF
27	Silvia Francesca Maria Pizzoli, Stefano Triberti, Dario Monzani, Ketti Mazzocco, Emanuela Kufel, Marta Porebiak, Gabriella Pravettoni	Comparison of relaxation techniques in virtual reality for breast cancer patients.	exp.at	2019	DBLP DOI BibTeX RDF
27	Victoria Lush, Christopher D. Buckingham, Stephen Wileman, Suzanne Edwards, Ulysses Bernardet	Augmented Reality for Accessible Digital Mental Healthcare.	exp.at	2019	DBLP DOI BibTeX RDF
27	Fulvia Anca Constantin, Stela Dragulin	Few Perspectives and Applications of Music Induced Emotion.	exp.at	2019	DBLP DOI BibTeX RDF
27	Manuel G. Gericota, Paulo Ferreira 0002, André V. Fidalgo, Guillaume Andrieu, Claire Dalmay	e-Engineering: Remote Labs in an Electronics and Optics e-Learning for Embedded Systems Course.	exp.at	2019	DBLP DOI BibTeX RDF
27	Tiago Barbosa, Sérgio F. Lopes, Filomena O. Soares, Vítor H. Carvalho, Celina P. Leão	An Adaptive Serious Game of Statistics: project development and mechanisms.	exp.at	2019	DBLP DOI BibTeX RDF
27	Mark Smith, Ananda Maiti, Andrew D. Maxwell, Alexander A. Kist	Applying Augmented Reality to New or Existing Remote Access Laboratories.	exp.at	2019	DBLP DOI BibTeX RDF
27	Alexandra Ribeiro, Alberto Cardoso, José Alfeu Sá Marques, Nuno Eduardo Simões	Web Interface for River Hydrodynamics Simulation.	exp.at	2019	DBLP DOI BibTeX RDF
27	James Wolfer	A Biomedical Motif for Teaching Applied Deep Learning.	exp.at	2019	DBLP DOI BibTeX RDF
27	Alexander Zimin, Vladislav Troynov, Ivan Zemtsov	Upgraded Plasma Spectroscopy Internet Laboratory.	exp.at	2019	DBLP DOI BibTeX RDF
27	Mikulás Huba, Mária Hypiusová, Peter Tapák	Learning Objects and Experiments for Active Disturbance Rejection Control.	exp.at	2019	DBLP DOI BibTeX RDF
27	Maria Rita Nogueira, Bruno Patrão, Paulo Menezes 0001, Sérgio Carvalho, Paula Castilho	ACTwithpain - Building an online platform for helping Chronic Pain Patients.	exp.at	2019	DBLP DOI BibTeX RDF
27	Rúben Cardoso, Manuel Santos, Horácio Fernandes 0002	Analytics on the accesses to contents in e-lab remote control laboratories.	exp.at	2019	DBLP DOI BibTeX RDF
27	Luis Duarte Andrade Ferreira, Sofia Cavaco, Sergi Bermúdez i Badia	Musiquence: a framework to customize music and reminiscence cognitive stimulation activities for the dementia population.	exp.at	2019	DBLP DOI BibTeX RDF
27	Bruno Ferreira 0005, Paulo Menezes 0001	Immersive Serious Games for Post-Stroke Motor Rehabilitation.	exp.at	2019	DBLP DOI BibTeX RDF
27	A. F. Mota, M. A. R. Loja	A pedagogical platform for metaheuristic optimization.	exp.at	2019	DBLP DOI BibTeX RDF
27	Begoña Artíñano, Adolfo Narros, Elías Díaz, Francisco Javier Gómez, Rafael Borge	Low-Cost sensors for urban air quality monitoring: preliminary laboratory and in-field tests within the TECNAIRE-CM project.	exp.at	2019	DBLP DOI BibTeX RDF
27	Pavol Bisták	3D Three-Tank Remote Laboratory Based on Matlab and Websockets.	exp.at	2019	DBLP DOI BibTeX RDF
27	Matej Rábek, Katarína Záková	Integration of new control experiments to online environment.	exp.at	2019	DBLP DOI BibTeX RDF
27	Rúben Cardoso, Manuel Santos, Horácio Fernandes 0002, Victor Negîrneac, Ana Moura Santos	A MOOC with an e-lab remotely controlled experiment: student behaviour analysis.	exp.at	2019	DBLP DOI BibTeX RDF
27	Sanobar Dar, Victoria Lush, Ulysses Bernardet	The Virtual Human Breathing Relaxation System.	exp.at	2019	DBLP DOI BibTeX RDF
27	Daniel Galan, Dictino Chaos, Luis de la Torre 0001, Ernesto Aranda-Escolástico, Ruben Heradio	PuzzlEx: an Online Experimentation Environment for Control Engineering Labs.	exp.at	2019	DBLP DOI BibTeX RDF
27	Gustavo Assunção, Paulo Menezes 0001, Fernando Perdigão	Importance of speaker specific speech features for emotion recognition.	exp.at	2019	DBLP DOI BibTeX RDF
27	Elías Díaz Ramiro, Begoña Artíñano, Alejandro Rubio, Ibai Figuero, Marcos Barreiro, Javier Fernández	Field Assessment of Low-cost Particulate Matter Sensors against Reference Methods.	exp.at	2019	DBLP DOI BibTeX RDF
27	Petru Epure, Doru Ursutiu, Cornel Samoila	Remote Monitoring and Control of Winemaking Parameters.	exp.at	2019	DBLP DOI BibTeX RDF
27	Heitor Cardoso, Alexandre Bernardino, Mafalda Sanches, Luísa Loureiro	Exergames and their benefits in the perception of the Quality of Life and Socialization on institutionalized older adults.	exp.at	2019	DBLP DOI BibTeX RDF
27	Diana Urbano, Fátima Chouzal, Maria Teresa Restivo	Effectiveness of online experimentation to change conceptual knowledge in non-formal learning.	exp.at	2019	DBLP DOI BibTeX RDF
27	Vule Reljic, Dragan Seslija, Ivana Milenkovic, Brajan Bajci, Slobodan Dudic, Jovan Sulc	Concept of remotely controlled digital pneumatic system in accordance with Industry 4.0 approach.	exp.at	2019	DBLP DOI BibTeX RDF
27	Bruno G. Oliveira, Jorge Lobo 0002	Interactive Demonstration of an Energy Efficient YOLOv3 Implementation in Reconfigurable Logic.	exp.at	2019	DBLP DOI BibTeX RDF
27	Hugh Considine, Zorica Nedic, Andrew Nafalski	Automation of Basic Supervision Tasks in a Remote Laboratory - Case Study NetLab.	exp.at	2019	DBLP DOI BibTeX RDF
27	Carlos Arguedas-Matarrita, Sonia Beatriz Concari, Luis Rodriguez-Gil, Pablo Orduña, Fernando Ureña Elizondo, Unai Hernández-Jayo, Lucas Mellos Carlos, Juarez Bento da Silva, Susana Teresa Marchisio, Marco Conejo-Villalobos, Javier García-Zubía, João Bosco da Mota Alves	Remote experimentation in the teaching of physics in Costa Rica: First steps.	exp.at	2019	DBLP DOI BibTeX RDF
27	Ondrej Grover, Vojtech Svoboda, Jan Stockel	Remote demonstration of the GOLEM tokamak.	exp.at	2019	DBLP DOI BibTeX RDF
27	Félix García Loro, Elio San Cristóbal, Manuel Castro 0001	PILAR: A Federation of VISIR Systems for Analog Electronics.	exp.at	2019	DBLP DOI BibTeX RDF
27	Carlos Ramos, Leonel Nóbrega, Karolina Baras, Luís Gomes 0001	Experimental NFT hydroponics system with lower energy consumption.	exp.at	2019	DBLP DOI BibTeX RDF
27	Jesús Lozano, José Ignacio Suárez, Félix Meléndez, Sergio Rodríguez, Patricia Arroyo, José Luis Herrero, Pablo Carmona	Personal electronic systems for citizen measurements of air quality.	exp.at	2019	DBLP DOI BibTeX RDF
27	Pedro Plaza 0001, Germán Carro, Manuel Blázquez, Elio San Cristóbal Ruiz, Manuel Castro 0001, Félix García Loro	First steps in robotics using Crumble as a friendly platform.	exp.at	2019	DBLP DOI BibTeX RDF
27	Judyta Franuszkiewicz, Sabrina Heix, Silke Frye, Tobias Haertel, Claudius Terkowsky	From laboratory education to laboratory edu-action: evaluation of a redesigned lab course for prospective technology teachers and resulting demands for cyber-physical 'remotification'.	exp.at	2019	DBLP DOI BibTeX RDF
27	Frode Eika Sandnes, Evelyn Eika, Fausto Orsi Medola	Improving the Usability of Interactive Systems by Incorporating Design Thinking into the Engineering Process: Raising Computer Science Students' Awareness of Quality versus Quantity in Ideation.	exp.at	2019	DBLP DOI BibTeX RDF
27	Marcel Boldis, Katarina Zakova	Web Presentation of Quarter Car Model.	exp.at	2019	DBLP DOI BibTeX RDF
27	Manuel Santos, Carlos Francisco Rodríguez, Celia Anteneodo, Cristina Marlasca, Gesil Segundo, João Loureiro, Juan Collantes, Manuel Escobar, Orlando Allard, Rúben Cardoso, Rui Borraltio Neto, Vojtech Svoboda, Yeni Erazo, Horácio Fernandes 0002	World Pendulum Alliance.	exp.at	2019	DBLP DOI BibTeX RDF
27	Pedro Martins 0006, Sérgio Pinto, António André	Interactive DEMOnstration of Medical Simulations using a Virtual Reality approach: Application to the Male Urinary System.	exp.at	2019	DBLP DOI BibTeX RDF
27	Teresa Paulino, Ana Lucia Faria, Sergi Bermúdez i Badia	Reh@City v2.0: a comprehensive virtual reality cognitive training system based on personalized and adaptive simulations of activities of daily living.	exp.at	2019	DBLP DOI BibTeX RDF
27	Stela Dragulin, Fulvia Anca Constantin, Ioana Rucsanda	The Use of Music Therapy for Adults' Anxiety Relief.	exp.at	2019	DBLP DOI BibTeX RDF