|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 42 occurrences of 34 keywords
|
|
|
Results
Found 132 publication records. Showing 132 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
85 | Yi-Hong Chu, Kun-Ta Chuang, Ming-Syan Chen |
QED: An Efficient Framework for Temporal Region Query Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 9th Pacific-Asia Conference, PAKDD 2005, Hanoi, Vietnam, May 18-20, 2005, Proceedings, pp. 323-332, 2005, Springer, 3-540-26076-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Temporal dense region query, dense region query |
73 | Mor Armony |
Dynamic Routing in Large-Scale Service Systems with Heterogeneous Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 51(3-4), pp. 287-329, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
control of queueing systems, heterogeneous servers, Halfin Whitt regime, QED regime, routing, heavy-traffic, call centers, asymptotic analysis |
53 | Toshiyuki Yamamoto, Ryo Miyashita |
A Progress Report and a Proposal: Interactivity in Ubiquitous Learning Enhanced by Virtual Tutors in e-Learning Contents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUTC ![In: IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2008), 11-13 June 2008, Taichung, Taiwan, pp. 564-568, 2008, IEEE Computer Society, 978-0-7695-3158-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Virtual Tutor, QED, TVML, Interactivity, e-Learning, Computer Graphics, Ubiquitous Learning, e-Learning Contents |
45 | Saranyu Chattopadhyay, Keerthikumara Devarajegowda, Bihan Zhao, Florian Lonsing, Brandon A. D'Agostino, Ioanna Vavelidou, Vijay Deep Bhatt, Sebastian Prebeck, Wolfgang Ecker, Caroline Trippel, Clark W. Barrett, Subhasish Mitra |
G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: 60th ACM/IEEE Design Automation Conference, DAC 2023, San Francisco, CA, USA, July 9-13, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-2348-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
43 | Tayfun Elmas |
QED: a proof system based on reduction and abstraction for the static verification of concurrent software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 507-508, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
abstraction, concurrent programs, reduction, atomicity |
43 | Changqing Li, Tok Wang Ling |
QED: a novel quaternary encoding to completely avoid re-labeling in XML updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005, pp. 501-508, 2005, ACM, 1-59593-140-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
dynamic XML, quaternary, update, labeling scheme |
43 | Kevin Johnson, Timothy Hall, Derek T. O'Keeffe |
Generation of Quiz Objects (QO) with a Quiz Engine Developer (QED). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMTE ![In: Third IEEE International Workshop on Wireless and Mobile Technologies in Education, WMTE 2005, Tokushima, Japan, November 28-30, 2005, pp. 120-122, 2005, IEEE Computer Society, 0-7695-2385-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Changqing Li, Tok Wang Ling, Min Hu |
Reuse or Never Reuse the Deleted Labels in XML Query Processing Based on Labeling Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Database Systems for Advanced Applications, 11th International Conference, DASFAA 2006, Singapore, April 12-15, 2006, Proceedings, pp. 659-673, 2006, Springer, 3-540-33337-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Kevin Eustice, Leonard Kleinrock, Shane Markstrum, Gerald J. Popek, Venkatraman Ramakrishna, Peter L. Reiher |
Securing nomads: the case for quarantine, examination, and decontamination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSPW ![In: Proceedings of the New Security Paradigms Workshop 2003, August 18-21, 2002, Ascona, Switzerland, pp. 123-128, 2003, ACM, 1-58113-880-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
decontamination, quarantine, security, mobile computing, ubiquitous computing, pervasive computing, wireless, worm, nomadic computing, examination |
31 | Predrag R. Jelenkovic, Avishai Mandelbaum, Petar Momcilovic |
Heavy Traffic Limits for Queues with Many Deterministic Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 47(1-2), pp. 53-69, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
GI/D/N, Quality and Efficiency Driven (QED) or Halfin-Whitt regime, telephone call or contact centers, Gaussian random walk, Spitzer''s identities, heavy-traffic, economies of scale, multi-server queue, deterministic service time |
22 | Samuele Montefiori, Matteo Tamburini |
SFQEDtoolkit: A high-performance library for the accurate modeling of strong-field QED processes in PIC and Monte Carlo codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 292, pp. 108855, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Duane Byer, Vladimir Khachatryan, Haiyan Gao, Igor Akushevich, Alexander Ilyichev, Chao Peng, Alexei Prokudin, Stan Srednyak, Zhiwen Zhao |
SIDIS-RC EvGen: A Monte-Carlo event generator of semi-inclusive deep inelastic scattering with the lowest-order QED radiative corrections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 287, pp. 108702, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Valentin Volokitin, Joel Magnusson, Aleksei V. Bashinov, Evgeny Efimenko, Alexander A. Muraviev, Iosif B. Meyerov |
Optimized event generator for strong-field QED simulations within the hi-χ framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.00648, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Valentin Volokitin, Joel Magnusson, Alexei V. Bashinov, Evgeny Efimenko, Alexander A. Muraviev, Iosif B. Meyerov |
Optimized event generator for strong-field QED simulations within the hi-χ framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. ![In: J. Comput. Sci. 74, pp. 102170, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Nathanaël Eon, Giuseppe Di Molfetta, Giuseppe Magnifico, Pablo Arrighi |
A relativistic discrete spacetime formulation of 3+1 QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum ![In: Quantum 7, pp. 1179, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Eduard V. Gorbar, Valery P. Gusynin, Maxim R. Parymuda |
Reduced QED with Few Planes and Fermion Gap Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 25(9), pp. 1317, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Roman Gruber, Anton Kozhevnikov, Marina Marinkovic, Thomas C. Schulthess, Raffaele Solcà |
Towards Lattice QCD+QED Simulations on GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASC ![In: Proceedings of the Platform for Advanced Scientific Computing Conference, PASC 2023, Davos, Switzerland, June 26-28, 2023, pp. 7:1-7:8, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Nathanaël Eon, Giuseppe Di Molfetta, Giuseppe Magnifico, Pablo Arrighi |
A relativistic discrete spacetime formulation of 3+1 QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.03148, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Torin F. Stetina, Anthony Ciavarella, Xiaosong Li, Nathan Wiebe |
Simulating Effective QED on Quantum Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum ![In: Quantum 6, pp. 622, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Sheng Liu 0004 |
Uhlmann number of mixed states in circuit QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 21(12), pp. 383, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Jin Xu, Tong Liu 0015 |
One-step construction of a multi-qubit controlled phase gate with ensembles of nitrogen-vacancy centers in hybrid circuit QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 21(6), pp. 201, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | David M. Bossens, Danesh Tarapore |
QED: Using Quality-Environment-Diversity to Evolve Resilient Robot Swarms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Evol. Comput. ![In: IEEE Trans. Evol. Comput. 25(2), pp. 346-357, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Roman Zwicky |
QED-Corrections to Weak Decays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(11), pp. 2036, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Leandro Cieri, German Sborlini |
Exploring QED Effects to Diphoton Production at Hadron Colliders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(6), pp. 994, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Romain N. Soguel, Andrey V. Volotka, Dmitry A. Glazov, Stephan Fritzsche |
Many-Electron QED with Redefined Vacuum Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(6), pp. 1014, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Matthew Lamm, Jennimaria Palomaki, Chris Alberti, Daniel Andor, Eunsol Choi, Livio Baldini Soares, Michael Collins 0001 |
QED: A Framework and Dataset for Explanations in Question Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Assoc. Comput. Linguistics ![In: Trans. Assoc. Comput. Linguistics 9, pp. 790-806, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei 0004, Xiaofan Zhang 0001, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra |
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.06081, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Yuxuan Zhang, Ruizhe Zhang 0001, Andrew C. Potter |
QED driven QAOA for network-flow optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum ![In: Quantum 5, pp. 510, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei 0004, Xiaofan Zhang 0001, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra |
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 42-52, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Vladimir A. Yerokhin, Anna V. Maiorova |
Calculations of QED Effects with the Dirac Green Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 12(5), pp. 800, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | David M. Bossens, Danesh Tarapore |
QED: using Quality-Environment-Diversity to evolve resilient robot swarms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.02341, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Matthew Lamm, Jennimaria Palomaki, Chris Alberti, Daniel Andor, Eunsol Choi, Livio Baldini Soares, Michael Collins 0001 |
QED: A Framework and Dataset for Explanations in Question Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.06354, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Valentin Volokitin, Sergei I. Bastrakov, Aleksei V. Bashinov, Evgeny Efimenko, Alexander A. Muraviev, Arkady A. Gonoskov, Iosif B. Meyerov |
Optimized routines for event generators in QED-PIC codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.10468, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric 0001, Zachary Tatlock |
QED at Large: A Survey of Engineering of Formally Verified Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.06458, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Giuseppe Magnifico, Marcello Dalmonte, Paolo Facchi, Saverio Pascazio, Francesco V. Pepe, Elisa Ercolessi |
Real Time Dynamics and Confinement in the Zn Schwinger-Weyl lattice model for 1+1 QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum ![In: Quantum 4, pp. 281, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Yu Zhang, Tong Liu 0015, Yang Yu, Chui-Ping Yang |
Preparation of entangled W states with cat-state qubits in circuit QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 19(8), pp. 218, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Moteb M. Alqahtani |
Multiphoton process in cavity QED photons for implementing a three-qubit quantum gate operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 19(1), pp. 12, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Pablo Arrighi, Cédric Bény, Terry Farrelly |
A quantum cellular automaton for one-dimensional QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 19(3), pp. 88, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Eshan Singh, Florian Lonsing, Saranyu Chattopadhyay, Maxwell Strange, Peng Wei 0004, Xiaofan Zhang 0001, Yuan Zhou, Deming Chen, Jason Cong, Priyanka Raina, Zhiru Zhang, Clark W. Barrett, Subhasish Mitra |
A-QED Verification of Hardware Accelerators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: 57th ACM/IEEE Design Automation Conference, DAC 2020, San Francisco, CA, USA, July 20-24, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-1085-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Stanislaw Jadach, Wieslaw Placzek, Maciej Skrzypek |
Exponentiation in QED and Quasi-Stable Charged Particles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 11(11), pp. 1389, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Johan S. H. van Leeuwaarden, Britt W. J. Mathijsen, Bert Zwart |
Economies-of-Scale in Many-Server Queueing Systems: Tutorial and Partial Review of the QED Halfin-Whitt Heavy-Traffic Regime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM Rev. ![In: SIAM Rev. 61(3), pp. 403-440, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric 0001, Zachary Tatlock |
QED at Large: A Survey of Engineering of Formally Verified Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Trends Program. Lang. ![In: Found. Trends Program. Lang. 5(2-3), pp. 102-281, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon, Ralf Schnieder, Karthik Ganesan 0001, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz, Clark W. Barrett, Wolfgang Ecker, Subhasish Mitra |
Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.01494, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Pablo Arrighi, Cédric Bény, Terry Farrelly |
A quantum cellular automaton for one-dimensional QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.07007, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Naoya Inoue, Pontus Stenetorp, Kentaro Inui |
RC-QED: Evaluating Natural Language Derivations in Multi-Hop Reading Comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.04601, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | |
Boosting the Bounds of Symbolic QED for Effective Pre-Silicon Verification of Processor Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.06757, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Iosif B. Meyerov, Sergei I. Bastrakov, Aleksei V. Bashinov, Evgeny Efimenko, Alexander Panov, Elena Panova, Igor A. Surmin, Valentin Volokitin, Arkady A. Gonoskov |
Exploiting Parallelism on Shared Memory in the QED Particle-in-Cell Code PICADOR with Greedy Load Balancing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.08217, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Wan-Rang Yu, Xin Ji |
Fast preparing W state via a chosen path shortcut in circuit QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 18(8), pp. 247, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon, Ralf Schnieder, Karthik Ganesan 0001, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz, Clark W. Barrett, Wolfgang Ecker, Subhasish Mitra |
Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019, pp. 1000-1005, 2019, IEEE, 978-3-9819263-2-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Veronika Thost, Julian Dolby |
QED: Out-of-the-Box Datasets for SPARQL Query Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web - 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2-6, 2019, Proceedings, pp. 491-506, 2019, Springer, 978-3-030-21347-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Florian Lonsing, Karthik Ganesan 0001, Makai Mann, Srinivasa Shashank Nuthakki, Eshan Singh, Mario Srouji, Yahan Yang, Subhasish Mitra, Clark W. Barrett |
Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the International Conference on Computer-Aided Design, ICCAD 2019, Westminster, CO, USA, November 4-7, 2019, pp. 1-8, 2019, ACM, 9781728123509. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Iosif B. Meyerov, Alexander Panov, Sergei I. Bastrakov, Aleksei V. Bashinov, Evgeny Efimenko, Elena Panova, Igor A. Surmin, Valentin Volokitin, Arkady A. Gonoskov |
Exploiting Parallelism on Shared Memory in the QED Particle-in-Cell Code PICADOR with Greedy Load Balancing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM (1) ![In: Parallel Processing and Applied Mathematics - 13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part I, pp. 335-347, 2019, Springer, 978-3-030-43228-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Petar Momcilovic, Amir Motaei |
QED limits for many-server systems under a priority policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 90(1-2), pp. 125-159, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Moteb M. Alqahtani |
Quantum phase gate based on multiphoton process in multimode cavity QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 17(9), pp. 211, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Tong Liu 0015, Bao-qing Guo, Yang Zhang, Chang-shui Yu, Wei-Ning Zhang |
One-step implementation of a multi-target-qubit controlled phase gate in a multi-resonator circuit QED system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 17(9), pp. 240, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Xi-Mei Ye, Zhen-Fei Zheng, Dao-Ming Lu, Chui-Ping Yang |
Circuit QED: generation of two-transmon-qutrit entangled states via resonant interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 17(4), pp. 99, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | E. C. Diniz, D. Z. Rossatto, Celso Jorge Villas-Bôas |
Two-mode squeezing operator in circuit QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 17(8), pp. 202, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Beili Gong, Yang Yang, Wei Cui 0004 |
Quantum parameter estimation via dispersive measurement in circuit QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 17(11), pp. 301, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Veronika Thost, Julian Dolby |
QED: Out-of-the-box Datasets for SPARQL Query Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC (P&D/Industry/BlueSky) ![In: Proceedings of the ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks co-located with 17th International Semantic Web Conference (ISWC 2018), Monterey, USA, October 8th - to - 12th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Dibyendu Chatterjee, Arijit Roy 0001 |
Multiple data access via a common cavity bus in circuit QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Circuit Theory Appl. ![In: Int. J. Circuit Theory Appl. 45(7), pp. 970-988, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Ludovic Font, Philippe R. Richard, Michel Gagnon |
Improving QED-Tutrix by Automating the Generation of Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017., pp. 38-58, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Eshan Singh, Clark W. Barrett, Subhasish Mitra |
E-QED: Electrical Bug Localization During Post-Silicon Validation Enabled by Quick Error Detection and Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.07671, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
22 | Wenlin Li, Fengyang Zhang, Chong Li, He-Shan Song |
Quantum synchronization in a star-type cavity QED network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Nonlinear Sci. Numer. Simul. ![In: Commun. Nonlinear Sci. Numer. Simul. 42, pp. 121-131, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Cong Cao 0004, Ling Fan, Xi Chen, Yuwen Duan, Tie-Jun Wang, Ru Zhang, Chuan Wang |
Efficient entanglement concentration of arbitrary unknown less-entangled three-atom W states via photonic Faraday rotation in cavity QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 16(4), pp. 98, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Shumin Yu, Yibo Gao, Hou Ian |
Perturbative dissipation dynamics of a weakly driven cavity QED system: generalized microscopic master equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 16(11), pp. 283, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Mun Dae Kim, Jaewan Kim |
Scalable quantum computing model in the circuit-QED lattice with circulator function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 16(8), pp. 192, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | N. Sehati, Mohammad Kazem Tavassoly |
Approximate conditional teleportation of a Λ-type three-level atomic state based on cavity QED method beyond Bell-state measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 16(8), pp. 193, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Xuexin Xu, Xin Liu, Qinghong Liao, Keya Zhou, Shutian Liu |
One-step quantum phase gate in the ultrastrong coupling regime of circuit QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 16(9), pp. 214, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Tong Liu 0015, Yang Zhang, Bao-qing Guo, Chang-shui Yu, Wei-Ning Zhang |
Circuit QED: cross-Kerr effect induced by a superconducting qutrit without classical pulses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 16(9), pp. 209, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Eshan Singh, Clark W. Barrett, Subhasish Mitra |
E-QED: Electrical Bug Localization During Post-silicon Validation Enabled by Quick Error Detection and Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II, pp. 104-125, 2017, Springer, 978-3-319-63389-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Ittay Weiss |
The QED Manifesto after Two Decades - Version 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 11(8), pp. 803-815, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Taoufik Said, Abdelhaq Chouikh, Karima Essammouni, Mohamed Bennai |
Realizing an N-two-qubit quantum logic gate in a cavity QED with nearest qubit-qubit interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Comput. ![In: Quantum Inf. Comput. 16(5&6), pp. 465-482, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Jasmin Christian Blanchette, Cezary Kaliszyk, Lawrence C. Paulson, Josef Urban |
Hammering towards QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Formaliz. Reason. ![In: J. Formaliz. Reason. 9(1), pp. 101-148, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | John Harrison 0001, Josef Urban, Freek Wiedijk |
Preface: Twenty Years of the QED Manifesto. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Formaliz. Reason. ![In: J. Formaliz. Reason. 9(1), pp. 1-2, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Michael Kohlhase, Florian Rabe 0001 |
QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Formaliz. Reason. ![In: J. Formaliz. Reason. 9(1), pp. 201-234, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Zheng-Yuan Xue, Ya-Fei Li, Jian Zhou, Yu-Mei Gao, Gang Zhang |
Tunable interaction of superconducting flux qubits in circuit QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 15(2), pp. 721-729, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Yusef Maleki |
Generation and entanglement of multi-dimensional multi-mode coherent fields in cavity QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 15(11), pp. 4537-4562, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Derrick C. Spell, Ling-Yong Wang, Richard T. Shomer, Bahador Nooraei, Jarrell Waggoner, Xiao-Han T. Zeng, Jae Young Chung, Kai-Chen Cheng, Daniel Kirsche |
QED: Groupon's ETL management and curated feature catalog system for machine learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE BigData ![In: 2016 IEEE International Conference on Big Data (IEEE BigData 2016), Washington DC, USA, December 5-8, 2016, pp. 1639-1646, 2016, IEEE Computer Society, 978-1-4673-9005-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Guan-Yu Wang, Tao Li, Fu-Guo Deng |
High-efficiency atomic entanglement concentration for quantum communication network assisted by cavity QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 14(4), pp. 1305-1320, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Li-Cong Song, Yan Xia 0001, Jie Song 0003 |
Experimentally optimized implementation of the Fredkin gate with atoms in cavity QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 14(2), pp. 511-529, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Wen Zhang, Pinshu Rui, Yan Lu, Qun Yang, Yan Zhao |
Probabilistic cloning of a single-atom state via cavity QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 14(6), pp. 2271-2280, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Mun Dae Kim |
Ultrastrong coupling in a scalable design for circuit QED with superconducting flux qubits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 14(10), pp. 3677-3691, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Kyungwon An |
Observation of intense nonclassical field of negative mandel Q of -0.6 in the cavity-QED microlaser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTON ![In: 17th International Conference on Transparent Optical Networks, ICTON 2015, Budapest, Hungary, July 5-9, 2015, pp. 1, 2015, IEEE, 978-1-4673-7880-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Johan van Leeuwaarden, Britt W. J. Mathijsen, Fiona Sloothaak |
Cloud provisioning in the QED regime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, Berlin, Germany, December 14-16, 2015, pp. 180-187, 2015, ACM, 978-1-63190-096-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Keith A. Campbell, David Lin, Subhasish Mitra, Deming Chen |
Hybrid quick error detection (H-QED): accelerator validation and debug using high-level synthesis principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015, pp. 53:1-53:6, 2015, ACM, 978-1-4503-3520-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Yinghua Ji |
Control of entanglement and non-classical effects in circuit QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIA ![In: IEEE International Conference on Information and Automation, ICIA 2015, Lijiang, China, August 8-10, 2015, pp. 2009-2012, 2015, IEEE, 978-1-4673-9104-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Valerio Bertone, Stefano Carrazza, Juan Rojo |
APFEL: A PDF evolution library with QED corrections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 185(6), pp. 1647-1668, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Qi-Ping Su, Chui-Ping Yang |
Circuit QED: implementation of the three-qubit refined Deutsch-Jozsa quantum algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 13(12), pp. 2769-2782, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Sheng Liu 0004, Chuan-Jia Shan, Zhi-Ming Zhang, Zheng-Yuan Xue |
Simulation of the Majorana equation in circuit QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 13(8), pp. 1813-1823, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Yue-Yue Chen, Xun-Li Feng, C. H. Oh |
Quantum computation in the decoherence-free subspaces with cavity QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 13(2), pp. 547-557, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | David Lin, Subhasish Mitra |
QED post-silicon validation and debug: Frequently asked questions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: 19th Asia and South Pacific Design Automation Conference, ASP-DAC 2014, Singapore, January 20-23, 2014, pp. 478-482, 2014, IEEE, 978-1-4799-2816-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Loïc Correnson |
Qed. Computing What Remains to Be Proved. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 215-229, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | David Lin, Subhasish Mitra |
QED post-silicon validation and debug: Invited abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIC ![In: 2014 International Symposium on Integrated Circuits (ISIC), Singapore, December 10-12, 2014, pp. 62, 2014, IEEE, 978-1-4799-4833-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Ananda P. Weerasinghe, Avishai Mandelbaum |
Abandonment versus blocking in many-server queues: asymptotic optimality in the QED regime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 75(2-4), pp. 279-337, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | A. J. E. M. Janssen, J. S. H. van Leeuwaarden, Jaron Sanders |
Scaled control in the QED regime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perform. Evaluation ![In: Perform. Evaluation 70(10), pp. 750-769, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Man-Lv Peng, Jian Zhou, Zheng-Yuan Xue |
Detecting non-Abelian geometric phase in circuit QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 12(8), pp. 2739-2747, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Yi-you Nie, Yuan-hua Li, Xian-ping Wang, Ming-huang Sang |
Controlled dense coding using a five-atom cluster state in cavity QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 12(5), pp. 1851-1857, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Muhammad Waseem, Rizwan Ahmed, Muhammad Irfan 0006, Shahid Qamar |
Three-qubit Grover's algorithm using superconducting quantum interference devices in cavity-QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 12(12), pp. 3649-3664, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Xiao-Qi Xiao, Jun Zhu, Guangqiang He, Guihua Zeng |
A scheme for generating a multi-photon NOON state based on cavity QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 12(1), pp. 449-457, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Rameez-ul Islam, Ashfaq H. Khosa, Farhan Saif, János A. Bergou |
Generation of atomic momentum cluster and graph states via cavity QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 12(1), pp. 129-148, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 132 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|