|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 224 occurrences of 192 keywords
|
|
|
Results
Found 947 publication records. Showing 946 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
122 | Vadim Ermolayev, Natalya Keberle, Wolf-Ekkehard Matzke |
An Upper Level Ontological Model for Engineering Design Performance Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2008, 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings, pp. 98-113, 2008, Springer, 978-3-540-87876-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
108 | Maria C. Yuang, Po L. Tien, Julin Shih, Alice Chen |
QoS scheduler/shaper for optical coarse packet switching IP-over-WDM networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 22(9), pp. 1766-1780, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
95 | Thomas Schwotzer, Agnes Cebulla |
Replication of Published Subject Indicator as Thesaurus by Means of LDAP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TMRA ![In: Charting the Topic Maps Research and Applications Landscape, First International Workshop on Topic Maps Research and Applications, TMRA 2005, Leipzig, Germany, October 6-7, 2005, Revised Selected Papers, pp. 69-76, 2005, Springer, 3-540-32527-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
85 | Masaru Takesue |
Psi-Cubes: Recursive Bused Fat-Hypercubes for Multilevel Snoopy Caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1999 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '99), 23-25 June 1999, Fremantle, Australia, pp. 62-67, 1999, IEEE Computer Society, 0-7695-0231-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Bused networks, recursive networks, trees of buses, multilevel caches, coherence directories, clustering, Hamming codes |
81 | Hana Chockler, Orna Kupferman |
omega-Regular Languages Are Testable with a Constant Number of Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RANDOM ![In: Randomization and Approximation Techniques, 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002, Proceedings, pp. 26-28, 2002, Springer, 3-540-44147-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
81 | Jan Rauch |
Four-Fold Table Calculi for Discovery Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, First International Conference, DS '98, Fukuoka, Japan, December 14-16, 1998, Proceedings, pp. 405-406, 1998, Springer, 3-540-65390-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
79 | Yuheng Li, Mario Lauria, Ralf Bundschuh |
Suboptimal Alignments Improve the Detection of Weak Homologs in Sequence Database Searches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Fifth IEEE International Symposium on Bioinformatic and Bioengineering (BIBE 2005), 19-21 October 2005, Minneapolis, MN, USA, pp. 153-160, 2005, IEEE Computer Society, 0-7695-2476-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
PSI-BLAST, suboptimal alignment, sequence alignment, hybrid algorithm, forward-backward algorithm |
71 | Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor |
Psi-calculi: Mobile Processes, Nominal Data, and Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 39-48, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
71 | Vladimir Gorodetsky, Vadim Ermolayev, Wolf-Ekkehard Matzke, Eyck Jentzsch, Oleg Karsaev, Natalya Keberle, Vladimir Samoilov |
Agent-Based Framework for Simulation and Support of Dynamic Engineering Design Processes in PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings, pp. 511-520, 2005, Springer, 3-540-29046-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
71 | Masaru Takesue |
The Psi-Cube: A Bus-Based Cube-Type Network for High-Performance On-Chip Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 34th International Conference on Parallel Processing Workshops (ICPP 2005 Workshops), 14-17 June 2005, Oslo, Norway, pp. 539-546, 2005, IEEE Computer Society, 0-7695-2381-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
69 | Ulrike Brüggemann, Stefan Strohschneider |
Nautical PSI - Virtual Nautical Officers as Test Drivers in Ship Bridge Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (11) ![In: Digital Human Modeling, Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 355-364, 2009, Springer, 978-3-642-02808-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Human / machine interaction, PSI theory, ship board bridge design, human performance modeling |
68 | Toshio Takayama, Toru Omata, Kazuyuki Kojima, Naofumi Tanaka |
Assemblable pursestring suture instrument for laparoscopic surgery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 3908-3913, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
66 | Vadim Ermolayev, Natalya Keberle, Eyck Jentzsch, Richard Sohnius, Wolf-Ekkehard Matzke |
Modeling Actions in Dynamic Engineering Design Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNISCON ![In: Information Systems: Modeling, Development, and Integration, Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings, pp. 127-141, 2009, Springer, 978-3-642-01111-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
PSI, ontology, performance, framework, task, environment, activity, action, design system |
65 | Sarah A. Teichmann, Cyrus Chothia, George M. Church, Jong-Chan Park |
PDB_ISL: an intermediate sequence library for protein structure assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Fourth Annual International Conference on Computational Molecular Biology, RECOMB 2000, Tokyo, Japan, April 8-11, 2000, pp. 283-289, 2000, ACM, 1-58113-186-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
PDB_ISL, PSI-BLAST, structure assignment, homology |
58 | Samuel Kerrien, Henning Hermjakob |
Development and implementation of the PSI MI standard for molecular interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 1587-1594, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
58 | Kazuo Taki, Katsuto Nakajima, Hiroshi Nakashima, Morihiro Ikeda |
Performance and Architectural Evaluation of the PSI Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS II), Palo Alto, California, USA, October 5-8, 1987., pp. 128-135, 1987, ACM Press, 0-8186-0805-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Prolog |
54 | Tianqiang Yuan, Shuicheng Yan, Xiaoou Tang |
Perspective Symmetry Invariant and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (4) ![In: 18th International Conference on Pattern Recognition (ICPR 2006), 20-24 August 2006, Hong Kong, China, pp. 65-68, 2006, IEEE Computer Society, 0-7695-2521-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Nirmalie Wiratunga, Robert Lothian, Sutanu Chakraborti, Ivan Koychev |
A Propositional Approach to Textual Case Indexing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKDD ![In: Knowledge Discovery in Databases: PKDD 2005, 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal, October 3-7, 2005, Proceedings, pp. 380-391, 2005, Springer, 3-540-29244-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
54 | Ran Raz |
Quantum Information and the PCP Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005), 23-25 October 2005, Pittsburgh, PA, USA, Proceedings, pp. 459-468, 2005, IEEE Computer Society, 0-7695-2468-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
54 | Rui Kuang, Eugene Ie, Ke Wang, Kai Wang, Mahira Siddiqi, Yoav Freund, Christina S. Leslie |
Profile-Based String Kernels for Remote Homology Detection and Motif Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: 3rd International IEEE Computer Society Computational Systems Bioinformatics Conference, CSB 2004, Stanford, CA, USA, August 16-19, 2004, pp. 152-160, 2004, IEEE Computer Society, 0-7695-2194-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
protein motifs, support vector machine, kernels, protein classification |
54 | Penny E. Haxell, Vojtech Rödl |
Integer and Fractional Packings in Dense Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 21(1), pp. 13-38, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
AMS Subject Classification (2000) Classes: 05C70, 05C85 |
54 | Robert Cooper |
Experience with Causally and Totally Ordered Communication Support, A cautionary tale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 28(1), pp. 28-31, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
54 | Eli Tilevich, Patrick Eugster (eds.) |
SPLASH Workshop on Programming Support Innovations for Emerging Distributed Applications (PSI EtA - Ψϴ 2010), October 17, 2010, Reno/Tahoe, Nevada, USA ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSI EtA ![ACM, 978-1-4503-0544-0 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
54 | Adam Welc, Richard L. Hudson, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai |
Generic workers: towards unified distributed and parallel JavaScript programming model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSI EtA ![In: SPLASH Workshop on Programming Support Innovations for Emerging Distributed Applications (PSI EtA - Ψϴ 2010), October 17, 2010, Reno/Tahoe, Nevada, USA, pp. 1, 2010, ACM, 978-1-4503-0544-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
54 | Emilie Balland, Charles Consel |
Open platforms: new challenges for software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSI EtA ![In: SPLASH Workshop on Programming Support Innovations for Emerging Distributed Applications (PSI EtA - Ψϴ 2010), October 17, 2010, Reno/Tahoe, Nevada, USA, pp. 3, 2010, ACM, 978-1-4503-0544-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
54 | Kurt Rohloff, Richard E. Schantz |
High-performance, massively scalable distributed systems using the MapReduce software framework: the SHARD triple-store. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSI EtA ![In: SPLASH Workshop on Programming Support Innovations for Emerging Distributed Applications (PSI EtA - Ψϴ 2010), October 17, 2010, Reno/Tahoe, Nevada, USA, pp. 4, 2010, ACM, 978-1-4503-0544-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
54 | Samah Gad |
Data synchronization architectural pattern for ubiquitous learning systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSI EtA ![In: SPLASH Workshop on Programming Support Innovations for Emerging Distributed Applications (PSI EtA - Ψϴ 2010), October 17, 2010, Reno/Tahoe, Nevada, USA, pp. 2, 2010, ACM, 978-1-4503-0544-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
54 | Hussain M. J. Almohri, Osman Balci |
A simulation-based software design framework for network-centric and parallel systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSI EtA ![In: SPLASH Workshop on Programming Support Innovations for Emerging Distributed Applications (PSI EtA - Ψϴ 2010), October 17, 2010, Reno/Tahoe, Nevada, USA, pp. 5, 2010, ACM, 978-1-4503-0544-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
52 | Naoshi Uchihira, Shinichi Honiden |
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 359-368, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
fifth generation systems, compositional adjustment, correct concurrent program development, temporal logic constraints, MENDELS ZONE, program adjustment, finite-state process, arbiter process, partial serialization, imperfect processes, harmful nondeterministic behaviors, large-scale compound target processes, process equivalence theory, Multi-PSI, MENDEL concurrent programming language, kernel language, KL1, parallel computer, temporal logic, programming environments, programming environment, program debugging, high-level Petri net, constraint handling, multiprocessing programs, formal approach |
44 | Jesper Bengtson, Joachim Parrow |
Psi-calculi in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings, pp. 99-114, 2009, Springer, 978-3-642-03358-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Yi Liu, Yuan F. Zheng |
Video object segmentation and tracking using psi-learning classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 15(7), pp. 885-899, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Junichiro Tsuji, Yutaka Iima, Satoshi Tojo, Shoji Enomoto |
Dialogue management in the personal sequential inference machine (PSI). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference ![In: Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984, pp. 314-322, 1984, ACM, 0-89791-144-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
43 | Ben Fisch, Zeyu Liu 0004, Psi Vesely |
Orbweaver: Succinct Linear Functional Commitments from Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO (2) ![In: Advances in Cryptology - CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part II, pp. 106-131, 2023, Springer, 978-3-031-38544-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
43 | Psi Vesely, Kobi Gurkan, Michael Straka, Ariel Gabizon, Philipp Jovanovic, Georgios Konstantopoulos, Asa Oines, Marek Olszewski, Eran Tromer |
Plumo: An Ultralight Blockchain Client. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Financial Cryptography ![In: Financial Cryptography and Data Security - 26th International Conference, FC 2022, Grenada, May 2-6, 2022, Revised Selected Papers, pp. 597-614, 2022, Springer, 978-3-031-18282-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
43 | Psi Vesely, Kobi Gurkan, Michael Straka, Ariel Gabizon, Philipp Jovanovic, Georgios Konstantopoulos, Asa Oines, Marek Olszewski, Eran Tromer |
Plumo: An Ultralight Blockchain Client. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 1361, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
43 | Benedikt Bünz, Mary Maller, Pratyush Mishra, Nirvan Tyagi, Psi Vesely |
Proofs for Inner Pairing Products and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT (3) ![In: Advances in Cryptology - ASIACRYPT 2021 - 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6-10, 2021, Proceedings, Part III, pp. 65-97, 2021, Springer, 978-3-030-92077-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
43 | Alessandro Chiesa, Yuncong Hu, Mary Maller, Pratyush Mishra, Psi Vesely, Nicholas P. Ward |
Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT (1) ![In: Advances in Cryptology - EUROCRYPT 2020 - 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, May 10-14, 2020, Proceedings, Part I, pp. 738-768, 2020, Springer, 978-3-030-45720-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
43 | Mary Maller, Psi Vesely |
Aggregatable Signatures from an Inner Pairing Product Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 1177, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
43 | Alessandro Chiesa, Yuncong Hu, Mary Maller, Pratyush Mishra, Psi Vesely, Nicholas P. Ward |
Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 1047, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
41 | Randall Dougherty, Christopher F. Freiling, Kenneth Zeger |
Linear Network Codes and Systems of Polynomial Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(5), pp. 2303-2316, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Vadim Ermolayev, Natalya Keberle, Wolf-Ekkehard Matzke |
An Ontology of Environments, Events, and Happenings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 539-546, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
happening, engineering design process, ontology, event, environment, design system |
41 | Zhenhua Li, Erik D. Goodman |
A practical search index and population size analysis based on the building block hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 1123-1124, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
GA hardness, building block sampling, practical search index, genetic algorithm, building blocks, search space, population size |
41 | Jon French, Jeff Miller |
Estimating the effects of stress during operational conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, pp. 1275-1280, 2005, IEEE Computer Society, 0-7803-9519-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Parham Aarabi |
Localization-based sensor validation using the Kullback-Leibler divergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 34(2), pp. 1007-1016, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Yuheng Li, Mario Lauria, Ralf Bundschuh |
Using Hybrid Alignment for Iterative Sequence Database Searches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 152, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Golan Yona, Michael Levitt |
A unified sequence-structure classification of protein sequences: combining sequence and structure in a map of the protein space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Fourth Annual International Conference on Computational Molecular Biology, RECOMB 2000, Tokyo, Japan, April 8-11, 2000, pp. 308-317, 2000, ACM, 1-58113-186-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
41 | Moshe Y. Vardi |
Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings, pp. 1-17, 1998, Springer, 3-540-64896-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Server Kasap, Khaled Benkrid, Ying Liu 0003 |
A high performance fpga-based implementation of position specific iterated blast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 17th International Symposium on Field Programmable Gate Arrays, FPGA 2009, Monterey, California, USA, February 22-24, 2009, pp. 249-252, 2009, ACM, 978-1-60558-410-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
psi-blast, fpga, blast, handel c |
35 | Yihao Yang, Yunbo Yang, Xiang Chen, Xiaolei Dong, Zhenfu Cao, Jiachen Shen |
DMPSI: Efficient Scalable Delegated Multiparty PSI and PSI-CA With Oblivious PRF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 17(2), pp. 497-508, March - April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
35 | Yongha Son, Jinhyuck Jeong |
PSI with computation or Circuit-PSI for Unbalanced Sets from Homomorphic Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1009, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
35 | Yongha Son, Jinhyuck Jeong |
PSI with computation or Circuit-PSI for Unbalanced Sets from Homomorphic Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, ASIA CCS 2023, Melbourne, VIC, Australia, July 10-14, 2023, pp. 342-356, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Yihao Yang, Xiaolei Dong, Jiachen Shen, Zhenfu Cao, Yunbo Yang, Jun Zhou 0018, Liming Fang 0001, Zhe Liu, Chunpeng Ge, Chunhua Su, Zongyang Hou |
MDPPC: Efficient Scalable Multiparty Delegated PSI and PSI Cardinality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PST ![In: 20th Annual International Conference on Privacy, Security and Trust, PST 2023, Copenhagen, Denmark, August 21-23, 2023, pp. 1-7, 2023, IEEE, 979-8-3503-1387-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Peter Rindal, Phillipp Schoppmann |
VOLE-PSI: Fast OPRF and Circuit-PSI from Vector-OLE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 266, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
35 | Nishanth Chandran, Nishka Dasgupta, Divya Gupta 0001, Sai Lakshmi Bhavana Obbattu, Sruthi Sekar, Akash Shah |
Efficient Linear Multiparty PSI and Extensions to Circuit/Quorum PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 172, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
35 | Nishanth Chandran, Nishka Dasgupta, Divya Gupta 0001, Sai Lakshmi Bhavana Obbattu, Sruthi Sekar, Akash Shah |
Efficient Linear Multiparty PSI and Extensions to Circuit/Quorum PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021, pp. 1182-1204, 2021, ACM, 978-1-4503-8454-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Peter Rindal, Phillipp Schoppmann |
VOLE-PSI: Fast OPRF and Circuit-PSI from Vector-OLE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT (2) ![In: Advances in Cryptology - EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17-21, 2021, Proceedings, Part II, pp. 901-930, 2021, Springer, 978-3-030-77885-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Hao Zhang 0052, Paco López-Dekker, Shaoning Li |
Combination of Super-Resolution PSI and Traditional PSI by Identification of Homogeneous Areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 181640-181649, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
35 | Heydar Kaveh |
Apport de l'interférométrie radar (DinSAR et PSI) pour l'étude des effets de la sécheresse géotechniques : applications à l'Est de la région Île-de-France. (Contribution of radar remote sensing (DINSAR and PSI) to the study of the drought effect on the topographic surface. Application to The East of the Île-de-France region. : application to the East of the Île-de-France region). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
35 | Johanna Künzel |
PSI lernt sprechen: erste Schritte zur verbalen Interaktion mit dem autonomen künstlichen Agenten PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
31 | Alexander N. Kozhushkin |
PSI Team. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2000: Robot Soccer World Cup IV, pp. 457-460, 2000, Springer, 3-540-42185-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Masakazu Furuichi, Kazuo Taki, Nobuyuki Ichiyoshi |
A Multi-Level Load Balancing Scheme for OR-Parallel Exhaustive Search Programs on the Multi-PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), Seattle, Washington, USA, March 14-16, 1990, pp. 50-59, 1990, ACM, 0-89791-350-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Shihao Ji, David B. Dunson, Lawrence Carin |
Multitask Compressive Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 57(1), pp. 92-106, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Michael Langberg |
Oblivious Communication Channels and Their Capacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(1), pp. 424-429, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Hubie Chen, Florent R. Madelaine, Barnaby Martin |
Quantified Constraints and Containment Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 317-328, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Ankit Agrawal 0001, Volker Brendel, Xiaoqiu Huang 0001 |
Pairwise Statistical Significance Versus Database Statistical Significance for Local Alignment of Protein Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBRA ![In: Bioinformatics Research and Applications, Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008. Proceedings, pp. 50-61, 2008, Springer, 978-3-540-79449-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Database statistical significance, Pairwise local alignment, Pairwise statistical significance, Homologs |
27 | Erin M. Nishimura, Evan D. Rapoport, Benjamin A. Darling, Dennis Proffitt, Traci H. Downs, J. Hunter Downs |
Physiologic System Interfaces Using fNIR with Tactile Feedback for Improving Operator Effectiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (16) ![In: Foundations of Augmented Cognition, Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 323-328, 2007, Springer, 978-3-540-73215-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
physiologic system interfaces, functional near-infrared (fNIR), tactile communications, tactile |
27 | Minh Ngoc Nguyen 0002, Jagath C. Rajapakse, Kaibo Duan |
Amino Acid Features for Prediction of Protein-Protein Interface Residues with Support Vector Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoBIO ![In: Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics, 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007, Proceedings, pp. 187-196, 2007, Springer, 978-3-540-71782-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Su Jung Yu, Joo-Seok Song |
A New Authentication and Key Agreement Protocol Scheme in Convergence of UMTS and DVB-H Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part III, pp. 959-966, 2007, Springer, 978-3-540-74828-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
security, authentication, UMTS, DVB-H, convergence networks |
27 | Anatoli Torokhti, Phil G. Howlett |
Optimal transform formed by a combination of nonlinear operators: the case of data dimensionality reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 54(4), pp. 1431-1444, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | E. Darakis, John J. Soraghan |
Use of Fresnelets for Phase-Shifting Digital Hologram Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 15(12), pp. 3804-3811, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Alexander Sigel, Lars Bünten, Marcus Frank |
Topic Maps-Based Semblogging with semblog-tm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TMRA ![In: Leveraging the Semantics of Topic Maps, Second International Conference on Topic Maps Research and Applications, TMRA 2006, Leipzig, Germany, October 11-12, 2006, Revised Selected Papers, pp. 227-242, 2006, Springer, 978-3-540-71944-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
semantic blogging, semblogging, published subjects, PSIs, emergent lightweight ontologies, knowledge services, social software, distributed knowledge management |
27 | Joscha Bach, Colin Bauer, Ronnie Vuine |
MicroPsi: Contributions to a Broad Architecture of Cognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings, pp. 7-18, 2006, Springer, 978-3-540-69911-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Yael Tauman Kalai, Ran Raz |
Succinct Non-Interactive Zero-Knowledge Proofs with Preprocessing for LOGSNP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2006), 21-24 October 2006, Berkeley, California, USA, Proceedings, pp. 355-366, 2006, IEEE Computer Society, 0-7695-2720-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Alex Pentland, Jonathan Gips, Wen Dong 0001, Will Stoltzman |
Human computing for interactive digital media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 14th ACM International Conference on Multimedia, Santa Barbara, CA, USA, October 23-27, 2006, pp. 865-870, 2006, ACM, 1-59593-447-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
human-centric computing, machine learning, privacy, multimedia, sensors, sharing, interest |
27 | Albrecht Mayer, Harry Siebert, Klaus D. McDonald-Maier |
Debug Support, Calibration and Emulation for Multiple Processor and Powertrain Control SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 148-152, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Seon-Kyung Woo, Chang-Beom Park, Seong-Whan Lee |
Protein Secondary Structure Prediction Using Sequence Profile and Conserved Domain Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advances in Intelligent Computing, International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II, pp. 1-10, 2005, Springer, 3-540-28227-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Eugene Ie, Jason Weston, William Stafford Noble, Christina S. Leslie |
Multi-class protein fold recognition using adaptive codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twenty-Second International Conference (ICML 2005), Bonn, Germany, August 7-11, 2005, pp. 329-336, 2005, ACM, 1-59593-180-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Haze, Radimir Vrba |
ADC Position-Sense Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic, pp. 429-434, 2004, IEEE Computer Society, 0-7695-2125-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Yuefei Sui, Youming Xia, Ju Wang 0005 |
The Information Entropy of Rough Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 320-324, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Rough set, Relational database, Dependence, Entropy |
27 | Vani Prasad, Yugyung Lee |
A Scalable Infrastructure for Peer-to-Peer Networks Using Web Service Registries and Intelligent Peer Locators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 3rd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2003), 12-15 May 2003, Tokyo, Japan, pp. 216-223, 2003, IEEE Computer Society, 0-7695-1919-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher |
Action Refinement from a Logical Point of View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 253-267, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
verification, specification, modal logics, reactive systems, action refinement |
27 | Guanghao Yan, Wee Keong Ng, Ee-Peng Lim |
Product Schema Integration for Electronic Commerce - A Synonym Comparison Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(3), pp. 583-598, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
product description, Electronic commerce, schema integration, relational schema |
27 | Kai Baukus, Yassine Lakhnech, Karsten Stahl |
Verifying Universal Properties of Parameterized Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings, pp. 291-303, 2000, Springer, 3-540-41055-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Eitan Altman, Philippe Nain |
Closed-Loop Control with Delayed Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, Newport, Rhode Island, USA, June 1-5, 1992, pp. 193-204, 1992, ACM, 0-89791-507-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
27 | Akira Yamamoto, Masaki Mitsui, Hiroyuki Yoshida, Minoru Yokota, Katsuto Nakajima |
The Program Characteristics in Logic Programming Language ESP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 204-213, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
27 | Kenneth L. Modesitt |
A community of individuals: cooperation and individualization in computer science education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1977 National Computer Conference, June 13-16, 1977, Dallas, Texas, USA, pp. 561-567, 1977, AFIPS Press, 978-1-4503-7914-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
26 | Jana Jacková |
Learning for mastery in an introductory programming course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2008, Madrid, Spain, June 30 - July 2, 2008, pp. 352, 2008, ACM, 978-1-60558-078-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
introductory course of programming, mastery learning, pedagogical approaches, psi, methods, research, effectiveness |
26 | Richard Sohnius, Eyck Jentzsch, Wolf-Ekkehard Matzke |
Holonic Simulation of a Design System for Performance Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HoloMAS ![In: Holonic and Multi-Agent Systems for Manufacturing, Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007, Proceedings, pp. 447-454, 2007, Springer, 978-3-540-74478-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
holonic simulation, Produktiv+, PSI, dynamic engineering design process, simulation, ontology, performance, multi-agent system, assessment, productivity, microelectronics, Design system |
25 | Nelson H. F. Beebe, James S. Ball |
Algorithm 867: QUADLOG - a package of routines for generating Gauss-related quadrature for two classes of logarithmic weight functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 33(3), pp. 20, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
EISPACK pythag() function, Gauss-Chebyshev quadrature, Gauss-Jacobi quadrature, Gauss-Laguerre quadrature, Gauss-Legendre quadrature, Gauss-type quadrature, Maple symbolic algebra system, Mehler quadrature, gamma-function testing, logarithmic integrals, machine-epsilon testing, psi-function testing, software testing, software portability, orthogonal polynomials |
25 | Georges Schwachheim |
Algorithm 349: polygamma functions with arbitrary precision [S14]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(4), pp. 213-214, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
digamma function, pentagamma function, polygamma function, psi function, tetragamma function, trigamma function, special function |
25 | Ronald G. Parson |
Certification of algorithm 147 [S14]: PSIF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(12), pp. 691-692, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
factorial function, gamma function, logarithmic derivative, psi function |
17 | Yunbo Yang, Yiwei Hu, Ruofan Li, Xiaolei Dong, Zhenfu Cao, Jiachen Shen, Shangmin Dou |
LSE: Efficient Symmetric Searchable Encryption Based on Labeled PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 17(2), pp. 563-574, March - April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Yafeng Chen, Axin Wu, Yuer Yang, Xiangjun Xin 0002, Chang Song |
Efficient Verifiable Cloud-Assisted PSI Cardinality for Privacy-Preserving Contact Tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Cloud Comput. ![In: IEEE Trans. Cloud Comput. 12(1), pp. 251-263, January - March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Chengzhe Lai, Hanyue Zhang, Rongxing Lu, Dong Zheng 0001 |
Privacy-Preserving Medical Data Sharing Scheme Based on Two-Party Cloud-Assisted PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 11(9), pp. 15855-15868, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Bo Jiang, Jian Du, Qiang Yan |
AnonPSI: An Anonymity Assessment Framework for PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2024, pp. 104, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
17 | Alexander Bienstock, Sarvar Patel, Joon Young Seo, Kevin Yeo |
Batch PIR and Labeled PSI with Oblivious Ciphertext Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2024, pp. 215, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
17 | Xinpeng Yang, Liang Cai, Yinghao Wang, Lu Sun, Jingwei Hu |
Efficient Unbalanced Quorum PSI from Homomorphic Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2024, pp. 402, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
17 | Aron van Baarsen, Marc Stevens 0001 |
Amortizing Circuit-PSI in the Multiple Sender/Receiver Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2024, pp. 567, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
17 | Palle Raabjerg, Johannes Åman Pohjola, Tjark Weber |
Broadcast Psi-calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2024, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
17 | Nicola Amoroso, Roberto Cilli, Davide Oscar Nitti, Raffaele Nutricato, Muzaffer Can Iban, Tommaso Maggipinto, Sabina Tangaro, Alfonso Monaco, Roberto Bellotti |
PSI Spatially Constrained Clustering: The Sibari and Metaponto Coastal Plains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 15(10), pp. 2560, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 946 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|