Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
120 | Chin Soon Lee |
Program Termination Analysis in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings, pp. 218-235, 2002, Springer, 3-540-44284-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
80 | Reza M. Rad, Mohammad Tehranipoor |
SCT: A novel approach for testing and configuring nanoscale devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Emerg. Technol. Comput. Syst. ![In: ACM J. Emerg. Technol. Comput. Syst. 4(3), pp. 14:1-14:24, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Configuration and testing, reconfigurable nanoscale devices, fault tolerance, crossbar, nanowire |
69 | Marc Pauly |
Formal Methods and the Theory of Social Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 1-2, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
69 | Tariq Jamil Saifullah Khanzada, Ali Ramadan Ali, Abdul Qadeer Khan Rajput, Abbas S. Omar |
A Design and Chronological Survey of Decision Feedback Equalizer for Single Carrier Transmission Compared with OFDM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMTIC ![In: Wireless Networks, Information Processing and Systems, International Multi Topic Conference, IMTIC 2008, Jamshoro, Pakistan, April 11-12, 2008, Revised Selected Papers, pp. 378-390, 2008, Springer, 978-3-540-89852-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
69 | Sieteng Soh, Suresh Rai |
An efficient cutset approach for evaluating communication-network reliability with heterogeneous link-capacities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 54(1), pp. 133-144, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Tariq Jamil Saifullah Khanzada, Ali Ramadan Ali, Abbas S. Omar |
The Effect of Coding on OFDM and Single Carrier Transmission with Decision Feedback Equalizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNSR ![In: Sixth Annual Conference on Communication Networks and Services Research (CNSR 2008), 5-8 May 2008, Halifax, Nova Scotia, Canada, pp. 59-63, 2008, IEEE Computer Society, 978-0-7695-3135-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SCT, OFDM, BER, convolutional Coding, DFE |
65 | Roland Kuhn 0001, Renato de Mori |
The Application of Semantic Classification Trees to Natural Language Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 17(5), pp. 449-460, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
semantic classification tree, SCT, machine learning, decision tree, natural language, Speech understanding |
52 | Seth Fogarty, Moshe Y. Vardi |
Büchi Complementation and Size-Change Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 16-30, 2009, Springer, 978-3-642-00767-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Amir M. Ben-Amram, Michael Codish |
A SAT-Based Approach to Size Change Termination with Global Ranking Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 218-232, 2008, Springer, 978-3-540-78799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
52 | Amir M. Ben-Amram, Chin Soon Lee |
Program termination analysis in polynomial time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 29(1), pp. 5:1-5:37, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
size-change graph, size-change termination, Abstraction, program analysis, termination analysis |
52 | Weiqun Zheng, Gary A. Bundell |
Model-Based Software Component Testing: A UML-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 6th Annual IEEE/ACIS International Conference on Computer and Information Science (ICIS 2007), 11-13 July 2007, Melbourne, Australia, pp. 891-899, 2007, IEEE Computer Society, 0-7695-2841-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
52 | Natalie Fridman, Gal A. Kaminka |
Modeling Imitational Behavior Via Social Comparison Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVA ![In: Intelligent Virtual Agents, 7th International Conference, IVA 2007, Paris, France, September 17-19, 2007, Proceedings, pp. 377-378, 2007, Springer, 978-3-540-74996-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
52 | Wanqing Tu, Weijia Jia 0001 |
End Host Multicast for Peer-to-Peer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings, pp. 502-510, 2004, Springer, 3-540-23564-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
48 | James A. Greathouse |
Training: tackling the task of reeling them in. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 33rd Annual ACM SIGUCCS Conference on User Services 2005, Monterey, CA, USA, November 6-9, 2005, pp. 102-104, 2005, ACM, 1-59593-200-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
SCT, banner, luminis, partnering faculty, trainer, communication, training, portal, material, gateway, staff |
47 | Kathryn Fletcher |
Storm stories: surviving an upgrade to WebCT Vista. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 33rd Annual ACM SIGUCCS Conference on User Services 2005, Monterey, CA, USA, November 6-9, 2005, pp. 83-87, 2005, ACM, 1-59593-200-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
SCT banner integration, WebCT Vista, WebCT migration, project planning, software upgrade |
45 | Reza M. Rad, Mohammad Tehranipoor |
SCT: An Approach For Testing and Configuring Nanoscale Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 24th IEEE VLSI Test Symposium (VTS 2006), 30 April - 4 May 2006, Berkeley, California, USA, pp. 370-377, 2006, IEEE Computer Society, 0-7695-2514-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Robert Law |
Using student blogs for documentation in software development projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011, pp. 366, 2011, ACM, 978-1-4503-0697-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
34 | Minqiang Li, Dan Lin 0002, Jisong Kou |
An investigation on niching multiple species based on population replacement strategies for multimodal functions optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 14(1), pp. 49-69, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Population replacement, Niching strategy, Crowding with nearest neighbors replacement, Species conserving technique, Hierarchical fair competition, Clearing procedure, Species conservation, Genetic algorithms, Multimodal functions optimization |
34 | Amir M. Ben-Amram |
A complexity tradeoff in ranking-function termination proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 46(1), pp. 57-72, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Francesco Nesta, Piergiorgio Svaizer, Maurizio Omologo |
Cumulative State Coherence Transform for a Robust Two-Channel Multiple Source Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Signal Separation, 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings, pp. 290-297, 2009, Springer, 978-3-642-00598-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
TDOA estimation, multiple speaker localization, independent component analysis (ICA), Blind source separation (BSS) |
34 | Guisheng Fan, Huiqun Yu, Dongmei Liu, Liqiong Chen |
Modeling and Analyzing Time Constrains for Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 124-129, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Gal A. Kaminka, Natalie Fridman |
Social comparison in crowds: a short report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 174, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Damien Sereni, Neil D. Jones |
Termination Analysis of Higher-Order Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings, pp. 281-297, 2005, Springer, 3-540-29735-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Vir V. Phoha, Amit U. Nadgar, Asok Ray, Shashi Phoha |
Supervisory Control of Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(9), pp. 1187-1199, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Hikaru Morita, Kazuo Ohta, Shoji Miyaguchi |
Results of Switching-Closure-Test on FEAL (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT '91, International Conference on the Theory and Applications of Cryptology, Fujiyoshida, Japan, November 11-14, 1991, Proceedings, pp. 247-252, 1991, Springer, 3-540-57332-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Henry Hengyuan Zhao, Pichao Wang, Yuyang Zhao, Hao Luo 0004, Fan Wang 0019, Mike Zheng Shou |
SCT: A Simple Baseline for Parameter-Efficient Fine-Tuning via Salient Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 132(3), pp. 731-749, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
28 | Henry Hengyuan Zhao, Pichao Wang, Yuyang Zhao, Hao Luo 0004, Fan Wang, Mike Zheng Shou |
SCT: A Simple Baseline for Parameter-Efficient Fine-Tuning via Salient Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.08513, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Sarah Meiklejohn, Joe DeBlasio, Devon O'Brien, Chris Thompson, Kevin Yeo, Emily Stark 0001 |
SoK: SCT Auditing in Certificate Transparency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. Priv. Enhancing Technol. ![In: Proc. Priv. Enhancing Technol. 2022(3), pp. 336-353, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Sarah Meiklejohn, Joe DeBlasio, Devon O'Brien, Chris Thompson, Kevin Yeo, Emily Stark 0001 |
SoK: SCT Auditing in Certificate Transparency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.01661, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Xiaoli Wu, Wenbo Kuang |
Exploring Influence Factors of WeChat Users' Health Information Sharing Behavior: Based on an Integrated Model of TPB, UGT and SCT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Interact. ![In: Int. J. Hum. Comput. Interact. 37(13), pp. 1243-1255, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Gang Yan, Alexander Schmitz, Satoshi Funabashi, Sophon Somlor, Tito Pradhono Tomo, Shigeki Sugano |
SCT-CNN: A Spatio-Channel-Temporal Attention CNN for Grasp Stability Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021, pp. 2627-2634, 2021, IEEE, 978-1-7281-9077-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Ben Yan, Hua-Ping Yao, Masahide Nakamura, Zhi-Feng Li, Dong Wang |
A Case Study for Software Quality Evaluation Based on SCT Model With BP Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 56403-56414, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Mohsen Fayyaz, Juergen Gall |
SCT: Set Constrained Temporal Transformer for Set Supervised Action Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.14266, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Radiy Radutny, Alina S. Nechyporenko, Victoriia Alekseeva, Ganna Titova, Dmytro Bibik, Vitaliy Gargin |
Automated Measurement of Bone Thickness on SCT Sections and Other Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSMP ![In: IEEE Third International Conference on Data Stream Mining, Processing, DSMP 2020, Lviv, Ukraine, August 21-25, 2020, pp. 222-226, 2020, IEEE, 978-1-7281-3214-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Mohsen Fayyaz, Jürgen Gall |
SCT: Set Constrained Temporal Transformer for Set Supervised Action Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2020, Seattle, WA, USA, June 13-19, 2020, pp. 498-507, 2020, Computer Vision Foundation / IEEE, 978-1-7281-7168-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Bingqing Xie |
Image-domain material decomposition in spectral photon-counting CT for medical applications. (La décomposition de matériaux dans la tomographie spectrale (sCT - spectral computed tomography) par rayons X dans le domaine de l'image). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
28 | Xi Wang 0015, Zhiwu Li 0001, Thomas Moor |
SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 29(4), pp. 501-520, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Hangwani Emmanuel Magoro, Mampilo M. Phahlane |
E-HRM: A Proposed theory based on the Social Cognitive Theory(SCT). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICIS ![In: Proceedings of 4th International Conference on the Internet, Cyber Security and Information Systems, ICICIS 2019, Johannesburg, South Africa, October 31 - November 1, 2019, pp. 132-142, 2019, EasyChair. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Giovanni Ambrosi, M. Ambrosio, Carla Aramo, B. Bertucci, Elisabetta Bissaldi, M. Bitossri, A. Boiano, Carmela Bonavolontà, M. Caprai, Leonardo Di Venere, E. Fiandrini, N. Giglietto, Francesco Giordano, Maria Ionica, Francesco Licciulli, Serena Loporchio, V. Masone, M. Mongelli, Francesca R. Pantaleo, R. Paoletti, A. Rugliancich, L. Stiaccini, L. Tosti, Valerio Vagelli, M. Valentino |
Characterization and development of NUV SiPMs for INFN optical modules for the SCT Medium Size Telescope proposed for the CTA Observatory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWASI ![In: IEEE 8th International Workshop on Advances in Sensors and Interfaces, IWASI 2019, Otranto, Italy, June 13-14, 2019, pp. 37-41, 2019, IEEE, 978-1-7281-0557-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Emanuele Frittaion, Florian Pelupessy, Silvia Steila, Keita Yokoyama |
The strength of SCT soundness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 28(6), pp. 1217-1242, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Benjamin De Leener, Simon Lévy, Sara M. Dupont, Vladimir S. Fonov, Nikola Stikov, D. Louis Collins, Virginie Callot, Julien Cohen-Adad |
SCT: Spinal Cord Toolbox, an open-source software for processing spinal cord MRI data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 145, pp. 24-43, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Emanuele Frittaion, Silvia Steila, Keita Yokoyama |
The Strength of the SCT Criterion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 260-273, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Emanuele Frittaion, Silvia Steila, Keita Yokoyama |
The strength of the SCT criterion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.05176, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
28 | Marzouk Mamou, Alan L. Rector, Stefan Schulz 0001, James R. Campbell 0001, Harold Solbrig, Jean Marie Rodrigues |
ICD-11 (JLMMS) and SCT Inter-Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eHealth ![In: Health Informatics Meets eHealth - Predictive Modeling in Healthcare - From Prediction to Prevention - Proceedings of the 10th eHealth2016 Conference, eHealth 2016, Vienna, Austria, May 2016, pp. 267-272, 2016, IOS Press, 978-1-61499-644-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Nripendra P. Rana, Yogesh Kumar Dwivedi |
Citizen's adoption of an e-government system: Validating extended social cognitive theory (SCT). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gov. Inf. Q. ![In: Gov. Inf. Q. 32(2), pp. 172-181, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Yaohua Wang, Dong Wang, Xu Zhou |
B-SCT: Improve SpMV processing on SIMD architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Electron. Express ![In: IEICE Electron. Express 12(11), pp. 20150170, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | S. Manoj Kumar, N. Rajkumar |
SCT Based Adaptive Data Aggregation for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 75(4), pp. 2121-2133, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | M. Anthony Aiello, Ashlie B. Hocking, John C. Knight, Jonathan C. Rowanhill |
SCT: A Safety Case Toolkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE Workshops ![In: 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014, pp. 216-219, 2014, IEEE Computer Society, 978-1-4799-7377-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Akinori Fujino, Jun Suzuki, Tsutomu Hirao, Hisashi Kurasawa, Katsuyoshi Hayashi |
SCT-D3 at the NTCIR-11 MedNLP-2 Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NTCIR ![In: Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies, NTCIR-11, National Center of Sciences, Tokyo, Japan, December 9-12, 2014, 2014, National Institute of Informatics (NII), 978-4-86049-065-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
28 | N. Jeyanthi, R. Thandeeswaran, Hamid Mcheick |
SCT: Secured Cloud based Telemedicine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNCC ![In: The International Symposium on Networks, Computers and Communications, ISNCC 2014, Hammamet, Tunisia, June 17-19, 2014, pp. 1-4, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Alireza Masnadi-Shirazi, Bhaskar D. Rao |
An ICA-SCT-PHD Filter Approach for Tracking and Separation of Unknown Time-Varying Number of Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 21(4), pp. 828-841, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Jian Lin 0001, Mary Ann Ingram |
SCT-MAC: A scheduling duty cycle MAC protocol for cooperative wireless sensor network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2012, Ottawa, ON, Canada, June 10-15, 2012, pp. 345-349, 2012, IEEE, 978-1-4577-2052-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | ChoRong Yu, KangYong Lee, Hyunjin Lee, Cho Kee Seong |
Creating value-added services in converged service environment using SCT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTC ![In: International Conference on Information and Communication Technology Convergence, ICTC 2012, `Global Open Innovation Summit for Smart ICT Convergence`, Jeju Island, Korea, October 15-17, 2012, pp. 516-517, 2012, IEEE, 978-1-4673-4828-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Gregory Faraut, Laurent Piétrac, Éric Niel |
A new framework for mode switching in SCT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 10th European Control Conference, ECC 2009, Budapest, Hungary, 23-26 August 2009, pp. 1469-1474, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Gavin Kelly, Robin Barker, G. Parkin, Michael Stevens |
SCT: Building testing into standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 19(2), pp. 129-141, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Yosi Ben-Asher, Ilan Newman |
Decision Trees with AND, OR Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 74-81, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Martin Kummer |
The Instance Complexity Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 111-124, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | James S. Royer |
Semantics versus Syntax versus Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 37-48, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Stephen A. Fenner |
Resource-Bounded Baire Category: A Stronger Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 182-192, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Jack H. Lutz |
A Small Span Theorem for P/Poly-Turing Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 324-330, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | John D. Rogers |
The Isomorphism Conjecture Holds and One-Way Functions Exist Relative to an Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 90-101, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Stephen A. Fenner |
Inverting the Turing Jump in Complexity Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 102-110, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Kousha Etessami |
Counting Quantifiers, Successor Relations, and Logarithmic Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 2-11, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Russell Impagliazzo |
A Personal View of Average-Case Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 134-147, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | |
Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![IEEE Computer Society, 0-8186-7052-5 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
19 | Richard Chang 0001, William I. Gasarch, Jacobo Torán |
On Finding the Number of Graph Automorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 288-298, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Anna Gál, Mario Szegedy |
Fault Tolerant Circuits and Probabilistically Checkable Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 65-73, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Marius Zimand |
Weighted NP Optimization Problems: Logical Definability and Approximation Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 12-28, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Johannes Köbler |
On the Structure of Low Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 246-261, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Harry Buhrman, Elvira Mayordomo |
An Excursion to the Kolmogorov Random Strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 197-203, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Sameet Agarwal, Anne Condon |
On Approximation Algorithms for Hierarchical MAX-SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 214-226, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | José L. Balcázar, Elvira Mayordomo |
A Note on Genericity and Bi-Immunity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 193-196, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Richard Beigel, William I. Gasarch, Efim B. Kinber |
Frequency Computation and Bounded Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 125-132, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Richard Beigel, Howard Straubing |
The Power of Local Self-Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 277-285, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Kazuo Iwama, Eiji Miyano |
Intractability of Read-Once Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 29-36, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Yenjo Han, Thomas Thierauf |
Restricted Information from Nonadaptive Queries to NP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 206-213, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Chih-Long Lin |
Optimizing TRIEs for Ordered Pattern Matching is PiP2-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 238-244, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Ulrich Hertrampf, Heribert Vollmer, Klaus W. Wagner |
On the Power of Number-Theoretic Operations with Respect to Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 299-314, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Joan Feigenbaum, Daphne Koller, Peter W. Shor |
A Game-Theoretic Classification of Interactive Complexity Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 227-237, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Nicholas Q. Trân |
On P-Immunity of Nondeterministic Complete Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 262-263, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Rainer Schuler, Osamu Watanabe 0001 |
Towards Average-Case Complexity Analysis of NP Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 148-159, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Anna Gál |
Semi-Unbounded Fan-In Circuits: Boolean vs. Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 82-87, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Klaus Ambos-Spies |
Resource-Bounded Genericity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 162-181, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Manindra Agrawal |
DSPACE(n)=?NSPACE(n): A Degree Theoretic Characterization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 315-323, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Kenneth W. Regan |
On Superlinear Lower Bounds in Complexity Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 50-64, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Manindra Agrawal, Vikraman Arvind |
Reductions of Self-Reducible Sets to Depth-1 Weighted Threshold Circuit Classes, and Sparse Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995, pp. 264-276, 1995, IEEE Computer Society, 0-8186-7052-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Harry B. Hunt III, Madhav V. Marathe, Richard Edwin Stearns |
Generalized CNF Satisfiability Problems and Non-Efficient. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28 - July 1, 1994, pp. 356-366, 1994, IEEE Computer Society, 0-8186-5670-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Avi Wigderson |
NL/poly <= +/poly (Preliminary Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28 - July 1, 1994, pp. 59-62, 1994, IEEE Computer Society, 0-8186-5670-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Richard J. Lipton |
Some Consequences of Our Failure to Prove Non-Linear Lower Bounds on Explicit Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28 - July 1, 1994, pp. 79-87, 1994, IEEE Computer Society, 0-8186-5670-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Manindra Agrawal |
On the Isomorphism Problem for Weak Reducibilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28 - July 1, 1994, pp. 338-355, 1994, IEEE Computer Society, 0-8186-5670-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Harry Buhrman, Leen Torenvliet |
On the Structure of Complete Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28 - July 1, 1994, pp. 118-133, 1994, IEEE Computer Society, 0-8186-5670-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Lance Fortnow, Tomoyuki Yamakami |
Generic Separations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28 - July 1, 1994, pp. 139-145, 1994, IEEE Computer Society, 0-8186-5670-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Mitsunori Ogihara |
Polynomial-Time Membership Comparable Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28 - July 1, 1994, pp. 2-11, 1994, IEEE Computer Society, 0-8186-5670-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Osamu Watanabe 0001 |
Test Instance Generation for Promise NP Search Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28 - July 1, 1994, pp. 205-216, 1994, IEEE Computer Society, 0-8186-5670-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Kevin J. Compton, Erich Grädel |
Logical Definability of Counting Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28 - July 1, 1994, pp. 255-266, 1994, IEEE Computer Society, 0-8186-5670-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Maciej Liskiewicz, Rüdiger Reischuk |
The Complexity World below Logarithmic Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28 - July 1, 1994, pp. 64-78, 1994, IEEE Computer Society, 0-8186-5670-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Harry Buhrman, Jim Kadin, Thomas Thierauf |
On Functions Computable with Nonadaptive Queries to NP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28 - July 1, 1994, pp. 43-52, 1994, IEEE Computer Society, 0-8186-5670-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Manindra Agrawal, Vikraman Arvind |
Polynomial Time Truth-Table Reductions to P-Selective Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28 - July 1, 1994, pp. 24-30, 1994, IEEE Computer Society, 0-8186-5670-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Klaus-Jörn Lange, Peter Rossmanith |
Unambiguous Polynomial Hierarchies and Exponential Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28 - July 1, 1994, pp. 106-115, 1994, IEEE Computer Society, 0-8186-5670-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Anne Condon, Joan Feigenbaum, Carsten Lund, Peter W. Shor |
Random Debaters and the Hardness of Approximating Stochastic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCT ![In: Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28 - July 1, 1994, pp. 280-293, 1994, IEEE Computer Society, 0-8186-5670-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|