Search results for "Zap"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
118	Sai Zeng, Russell S. Peak, Angran Xiao, Suresh K. Sitaraman	ZAP: a knowledge-based FEA modeling method for highly coupled variable topology multi-body problems.	Eng. Comput.	2008	DBLP DOI BibTeX RDF	Design-analysis integration, CAD-FEA interoperability, Product information model, Highly coupled variable topology multi-body (HCVTMB), GeoTran-HC
113	David Walker 0001, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August	Static typing for a faulty lambda calculus.	ICFP	2006	DBLP DOI BibTeX RDF	transient hardware faults, fault tolerance, type systems, lambda calculus, reliable computing, typed intermediate languages, soft faults
102	Yunlei Zhao, Chan H. Lee, Yiming Zhao, Hong Zhu 0004	Some Observations on Zap and Its Applications.	ACNS	2004	DBLP DOI BibTeX RDF	Zap, public-coin honest verifier zero-knowledge, deniable authentication, timed commitment, witness indistinguishability
55	Hiroyuki Kyan, Jun-ichi Inoue	Modeling television commercial advertisement markets: To zap or not to zap, that is the question for sponsors of TV programs.	SII	2012	DBLP DOI BibTeX RDF
52	Xiaotie Deng, Chan H. Lee, Yunlei Zhao, Hong Zhu 0004	Reduction Zero-Knowledge.	SCN	2002	DBLP DOI BibTeX RDF	zap, zero-knowledge, bit commitment, non-interactive zero-knowledge, witness indistinguishability
50	Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi	Zap: Automated Theorem Proving for Software Analysis.	LPAR	2005	DBLP DOI BibTeX RDF
45	Chikara Sasaki, Atsushi Tagami, Teruyuki Hasegawa, Shigehiro Ano	Rapid Channel Zapping for IPTV Broadcasting with Additional Multicast Stream.	ICC	2008	DBLP DOI BibTeX RDF
43	Alexander Zap, Tobias Joppen, Johannes Fürnkranz	Deep Ordinal Reinforcement Learning.	CoRR	2019	DBLP BibTeX RDF
43	Alexander Zap, Tobias Joppen, Johannes Fürnkranz	Deep Ordinal Reinforcement Learning.	ECML/PKDD (3)	2019	DBLP DOI BibTeX RDF
43	Stephen McAuley, Stephen Hill, Adam Martinez, Ryusuke Villemin, Matt Pettineo, Dimitar Lazarov, David Neubelt, Brian Karis, Christophe Hery, Naty Hoffman, Hakan Zap Andersson	Physically based shading in theory and practice.	SIGGRAPH Courses	2013	DBLP DOI BibTeX RDF
43	Kirt Witte, Christian Bloch, Hilmar Koch, Zap Andersson, Gary M. Davis	High dynamic range imaging for artists.	SIGGRAPH Classes	2008	DBLP DOI BibTeX RDF
29	Cynthia Dwork, Larry J. Stockmeyer	2-round zero knowledge and proof auditors.	STOC	2002	DBLP DOI BibTeX RDF	advice bound, timed protocol, zap, cryptography, zero knowledge, interactive proof systems
29	Cynthia Dwork, Moni Naor	Zaps and Their Applications.	FOCS	2000	DBLP DOI BibTeX RDF	zap, witness-indistinguishable protocol, shared random string model, verifiable pseudo-random bit generators, concurrent deniable authentication, computational complexity, cryptography, NP completeness, theorem proving, public keys, zero-knowledge proofs, verifier, concurrent zero knowledge
28	Corrado Calì, Thomas K. Berger, Michele Pignatelli, Alan Carleton, Henry Markram, Michele Giugliano	Inferring connection proximity in networks of electrically coupled cells by subthreshold frequency response analysis.	J. Comput. Neurosci.	2008	DBLP DOI BibTeX RDF	Gap-junctions, Electrical coupling, ZAP current, Layer VI, Networks, Cortex, Interneurons, Impedance
28	Joel Frohlich, Tim Bayne, Julia Sophia Crone, Alessandra DallaVecchia, Asger Kirkeby-Hinrup, Pedro A. M. Mediano, Julia Moser, Karolina Talar, Alireza Gharabaghi, Hubert Preissl	Not with a "zap" but with a "beep": Measuring the origins of perinatal experience.	NeuroImage	2023	DBLP DOI BibTeX RDF
28	Suliman Alazmi, Daniel Conte de Leon	Customizing OWASP ZAP: A Proven Method for Detecting SQL Injection Vulnerabilities.	BigDataSecurity/HPSC/IDS	2023	DBLP DOI BibTeX RDF
28	Caio Kalil Lauand, Ana Busic, Sean P. Meyn	Inverse Free Zap Stochastic Approximation Extended Abstract.	Allerton	2023	DBLP DOI BibTeX RDF
28	Ningyi Zhang, Sebastián Gómez-Lozano, Ross Armstrong, Hui Liu, Alfonso Vargas-Macías	External Load of Flamenco Zap-3 Footwork Test: Use of PlayerLoad Concept with Triaxial Accelerometry.	Sensors	2022	DBLP DOI BibTeX RDF
28	Shuhang Chen, Adithya M. Devraj, Ana Busic, Sean P. Meyn	Zap Q-Learning for Optimal Stopping.	ACC	2020	DBLP DOI BibTeX RDF
28	Xiaofan He, Richeng Jin, Huaiyu Dai	Glide and Zap Q-Learning.	INFOCOM Workshops	2020	DBLP DOI BibTeX RDF
28	Saikrishna Badrinarayanan, Rex Fernando, Aayush Jain, Dakshita Khurana, Amit Sahai	Statistical ZAP Arguments.	EUROCRYPT (3)	2020	DBLP DOI BibTeX RDF
28	Shuhang Chen, Adithya M. Devraj, Fan Lu, Ana Busic, Sean P. Meyn	Zap Q-Learning With Nonlinear Function Approximation.	NeurIPS	2020	DBLP BibTeX RDF
28	Shuhang Chen, Adithya M. Devraj, Ana Busic, Sean P. Meyn	Zap Q-Learning With Nonlinear Function Approximation.	CoRR	2019	DBLP BibTeX RDF
28	Shuhang Chen, Adithya M. Devraj, Ana Busic, Sean P. Meyn	Zap~Q-Learning for Optimal Stopping Time Problems.	CoRR	2019	DBLP BibTeX RDF
28	Abhishek Jain 0002, Zhengzhong Jin	Statistical Zap Arguments from Quasi-Polynomial LWE.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
28	Saikrishna Badrinarayanan, Rex Fernando, Aayush Jain, Dakshita Khurana, Amit Sahai	Statistical ZAP Arguments.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
28	Adithya M. Devraj, Ana Busic, Sean P. Meyn	Zap Meets Momentum: Stochastic Approximation Algorithms with Optimal Convergence Rate.	CoRR	2018	DBLP BibTeX RDF
28	Yuri Chervonyi, Dragos Harabor, Brian Zhang, Josh Sacks	Zap: Making Predictions Based on Online User Behavior.	CoRR	2018	DBLP BibTeX RDF
28	Alan Akbik, Roland Vollgraf	ZAP: An Open-Source Multilingual Annotation Projection Framework.	LREC	2018	DBLP BibTeX RDF
28	Tim Duente, Max Pfeiffer, Michael Rohs	Zap++: a 20-channel electrical muscle stimulation system for fine-grained wearable force feedback.	MobileHCI	2017	DBLP DOI BibTeX RDF
28	Adithya M. Devraj, Sean P. Meyn	Zap Q-Learning.	NIPS	2017	DBLP BibTeX RDF
28	AliAkbar Nikoukar, I-Shyan Hwang, Andrew Tanny Liem, Jhong-Yue Lee	Mitigating the IPTV Zap Time in Enhanced EPON Systems.	JOCN	2016	DBLP DOI BibTeX RDF
28	Roland G. Huber, Hao Fan, Peter J. Bond	The Structural Basis for Activation and Inhibition of ZAP-70 Kinase Domain.	PLoS Comput. Biol.	2015	DBLP DOI BibTeX RDF
28	Benjamin A. Ellingson, Matthew T. Geballe, Stanislaw Wlodek, Christopher I. Bayly, A. Geoffrey Skillman, Anthony Nicholls	Efficient calculation of SAMPL4 hydration free energies using OMEGA, SZYBKI, QUACPAC, and Zap TK.	J. Comput. Aided Mol. Des.	2014	DBLP DOI BibTeX RDF
28	Menard Nyirenda, Patrick Albert Chikumba	Consumer Adoption of Mobile Payment Systems in Malawi: Case of Airtel Malawi ZAP in Blantyre City.	AFRICOMM	2013	DBLP DOI BibTeX RDF
28	Daniel Bailey, Yuh-Rong Chen, Sridhar Radhakrishnan, Suleyman Karabuk	Multi-source IPTV networks: Zap time and bandwidth optimization.	ICNC	2013	DBLP DOI BibTeX RDF
28	Matthew Long, Sridhar Radhakrishnan, Suleyman Karabuk, John K. Antonio	On zap time minimization in IPTV networks.	ICNC	2012	DBLP DOI BibTeX RDF
28	Paulo Roberto Junior, Mauro Fonseca, Anelise Munaretto, Aline Carneiro Viana, Artur Ziviani	ZAP: a distributed channel assignment algorithm for cognitive radio networks.	EURASIP J. Wirel. Commun. Netw.	2011	DBLP DOI BibTeX RDF
28	Pål Evensen, Hein Meling	A paradigm comparison for collecting TV channel statistics from high-volume channel zap events.	DEBS	2011	DBLP DOI BibTeX RDF
28	Benjamin A. Ellingson, A. Geoffrey Skillman, Anthony Nicholls	Analysis of SM8 and Zap TK calculations and their geometric sensitivity.	J. Comput. Aided Mol. Des.	2010	DBLP DOI BibTeX RDF
28	Shaoquan Jiang	Dwork-Naor ZAP and Its Application in Deniable Authentication, Revisited.	Inscrypt	2010	DBLP DOI BibTeX RDF
28	Yigal Bejerano, Pramod V. Koppol	Improving Zap Response Time for IPTV.	INFOCOM	2009	DBLP DOI BibTeX RDF
28	Steven Osman, Dinesh Subhraveti, Gong Su, Jason Nieh	The Design and Implementation of Zap: A System for Migrating Computing Environments.	OSDI	2002	DBLP BibTeX RDF
28	Gianluca Boselli, Stan Meeuwsen, Ton J. Mouthaan, Fred G. Kuper	Investigations on double-diffused MOS transistors under ESD zap conditions.	Microelectron. Reliab.	2001	DBLP DOI BibTeX RDF
28	Donald T. Comer	Zener Zap Anti-Fuse Trim in VLSI Circuits.	VLSI Design	1996	DBLP DOI BibTeX RDF
28	Ronald W. J. J. Saeijs, Kees van Berkel 0001	The design of the VLSI image-generator ZaP.	ICCD	1988	DBLP DOI BibTeX RDF
23	G. John Janakiraman, Jose Renato Santos, Dinesh Subhraveti, Yoshio Turner	Cruz: Application-Transparent Distributed Checkpoint-Restart on Standard Operating Systems.	DSN	2005	DBLP DOI BibTeX RDF
23	Greta Yorsh, Madanlal Musuvathi	A Combination Method for Generating Interpolants.	CADE	2005	DBLP DOI BibTeX RDF
23	Florian Block, Albrecht Schmidt 0001, Nicolas Villar, Hans-Werner Gellersen	Towards a Playful User Interface for Home Entertainment Systems.	EUSAI	2004	DBLP DOI BibTeX RDF
23	Yunlei Zhao, Xiaotie Deng, Chan H. Lee, Hong Zhu 0004	Resettable Zero-Knowledge in the Weak Public-Key Model.	EUROCRYPT	2003	DBLP DOI BibTeX RDF