Search results for "psi"

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.	ER	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.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
95	Thomas Schwotzer, Agnes Cebulla	Replication of Published Subject Indicator as Thesaurus by Means of LDAP.	TMRA	2005	DBLP DOI BibTeX RDF
85	Masaru Takesue	Psi-Cubes: Recursive Bused Fat-Hypercubes for Multilevel Snoopy Caches.	ISPAN	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.	RANDOM	2002	DBLP DOI BibTeX RDF
81	Jan Rauch	Four-Fold Table Calculi for Discovery Science.	Discovery Science	1998	DBLP DOI BibTeX RDF
79	Yuheng Li, Mario Lauria, Ralf Bundschuh	Suboptimal Alignments Improve the Detection of Weak Homologs in Sequence Database Searches.	BIBE	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.	LICS	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.	CEEMAS	2005	DBLP DOI BibTeX RDF
71	Masaru Takesue	The Psi-Cube: A Bus-Based Cube-Type Network for High-Performance On-Chip Systems.	ICPP Workshops	2005	DBLP DOI BibTeX RDF
69	Ulrike Brüggemann, Stefan Strohschneider	Nautical PSI - Virtual Nautical Officers as Test Drivers in Ship Bridge Design.	HCI (11)	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.	ICRA	2008	DBLP DOI BibTeX RDF
66	Vadim Ermolayev, Natalya Keberle, Eyck Jentzsch, Richard Sohnius, Wolf-Ekkehard Matzke	Modeling Actions in Dynamic Engineering Design Processes.	UNISCON	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.	RECOMB	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.	WSC	2006	DBLP DOI BibTeX RDF
58	Kazuo Taki, Katsuto Nakajima, Hiroshi Nakashima, Morihiro Ikeda	Performance and Architectural Evaluation of the PSI Machine.	ASPLOS	1987	DBLP DOI BibTeX RDF	Prolog
54	Tianqiang Yuan, Shuicheng Yan, Xiaoou Tang	Perspective Symmetry Invariant and Its Applications.	ICPR (4)	2006	DBLP DOI BibTeX RDF
54	Nirmalie Wiratunga, Robert Lothian, Sutanu Chakraborti, Ivan Koychev	A Propositional Approach to Textual Case Indexing.	PKDD	2005	DBLP DOI BibTeX RDF
54	Ran Raz	Quantum Information and the PCP Theorem.	FOCS	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.	CSB	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.	Comb.	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.	ACM SIGOPS Oper. Syst. Rev.	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	PSI EtA	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.	PSI EtA	2010	DBLP DOI BibTeX RDF
54	Emilie Balland, Charles Consel	Open platforms: new challenges for software engineering.	PSI EtA	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.	PSI EtA	2010	DBLP DOI BibTeX RDF
54	Samah Gad	Data synchronization architectural pattern for ubiquitous learning systems.	PSI EtA	2010	DBLP DOI BibTeX RDF
54	Hussain M. J. Almohri, Osman Balci	A simulation-based software design framework for network-centric and parallel systems.	PSI EtA	2010	DBLP DOI BibTeX RDF
52	Naoshi Uchihira, Shinichi Honiden	Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE.	HICSS (2)	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.	TPHOLs	2009	DBLP DOI BibTeX RDF
44	Yi Liu, Yuan F. Zheng	Video object segmentation and tracking using psi-learning classification.	IEEE Trans. Circuits Syst. Video Technol.	2005	DBLP DOI BibTeX RDF
44	Junichiro Tsuji, Yutaka Iima, Satoshi Tojo, Shoji Enomoto	Dialogue management in the personal sequential inference machine (PSI).	ACM Annual Conference	1984	DBLP DOI BibTeX RDF
43	Ben Fisch, Zeyu Liu 0004, Psi Vesely	Orbweaver: Succinct Linear Functional Commitments from Lattices.	CRYPTO (2)	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.	Financial Cryptography	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.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
43	Benedikt Bünz, Mary Maller, Pratyush Mishra, Nirvan Tyagi, Psi Vesely	Proofs for Inner Pairing Products and Applications.	ASIACRYPT (3)	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.	EUROCRYPT (1)	2020	DBLP DOI BibTeX RDF
43	Mary Maller, Psi Vesely	Aggregatable Signatures from an Inner Pairing Product Argument.	IACR Cryptol. ePrint Arch.	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.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
41	Randall Dougherty, Christopher F. Freiling, Kenneth Zeger	Linear Network Codes and Systems of Polynomial Equations.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
41	Vadim Ermolayev, Natalya Keberle, Wolf-Ekkehard Matzke	An Ontology of Environments, Events, and Happenings.	COMPSAC	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.	GECCO	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.	WSC	2005	DBLP DOI BibTeX RDF
41	Parham Aarabi	Localization-based sensor validation using the Kullback-Leibler divergence.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
41	Yuheng Li, Mario Lauria, Ralf Bundschuh	Using Hybrid Alignment for Iterative Sequence Database Searches.	IPDPS	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.	RECOMB	2000	DBLP DOI BibTeX RDF
41	Moshe Y. Vardi	Sometimes and Not Never Re-revisited: On Branching Versus Linear Time.	CONCUR	1998	DBLP DOI BibTeX RDF
38	Server Kasap, Khaled Benkrid, Ying Liu 0003	A high performance fpga-based implementation of position specific iterated blast.	FPGA	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.	IEEE Trans. Serv. Comput.	2024	DBLP DOI BibTeX RDF
35	Yongha Son, Jinhyuck Jeong	PSI with computation or Circuit-PSI for Unbalanced Sets from Homomorphic Encryption.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
35	Yongha Son, Jinhyuck Jeong	PSI with computation or Circuit-PSI for Unbalanced Sets from Homomorphic Encryption.	AsiaCCS	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.	PST	2023	DBLP DOI BibTeX RDF
35	Peter Rindal, Phillipp Schoppmann	VOLE-PSI: Fast OPRF and Circuit-PSI from Vector-OLE.	IACR Cryptol. ePrint Arch.	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.	IACR Cryptol. ePrint Arch.	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.	CCS	2021	DBLP DOI BibTeX RDF
35	Peter Rindal, Phillipp Schoppmann	VOLE-PSI: Fast OPRF and Circuit-PSI from Vector-OLE.	EUROCRYPT (2)	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.	IEEE Access	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).		2010	RDF
35	Johanna Künzel	PSI lernt sprechen: erste Schritte zur verbalen Interaktion mit dem autonomen künstlichen Agenten PSI.		2005	RDF
31	Alexander N. Kozhushkin	PSI Team.	RoboCup	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.	PPoPP	1990	DBLP DOI BibTeX RDF
27	Shihao Ji, David B. Dunson, Lawrence Carin	Multitask Compressive Sensing.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
27	Michael Langberg	Oblivious Communication Channels and Their Capacity.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
27	Hubie Chen, Florent R. Madelaine, Barnaby Martin	Quantified Constraints and Containment Problems.	LICS	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.	ISBRA	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.	HCI (16)	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.	EvoBIO	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.	KES (3)	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.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
27	E. Darakis, John J. Soraghan	Use of Fresnelets for Phase-Shifting Digital Hologram Compression.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
27	Alexander Sigel, Lars Bünten, Marcus Frank	Topic Maps-Based Semblogging with semblog-tm.	TMRA	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.	KI	2006	DBLP DOI BibTeX RDF
27	Yael Tauman Kalai, Ran Raz	Succinct Non-Interactive Zero-Knowledge Proofs with Preprocessing for LOGSNP.	FOCS	2006	DBLP DOI BibTeX RDF
27	Alex Pentland, Jonathan Gips, Wen Dong 0001, Will Stoltzman	Human computing for interactive digital media.	ACM Multimedia	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.	DATE	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.	ICIC (2)	2005	DBLP DOI BibTeX RDF
27	Eugene Ie, Jason Weston, William Stafford Noble, Christina S. Leslie	Multi-class protein fold recognition using adaptive codes.	ICML	2005	DBLP DOI BibTeX RDF
27	Jiri Haze, Radimir Vrba	ADC Position-Sense Interface.	ECBS	2004	DBLP DOI BibTeX RDF
27	Yuefei Sui, Youming Xia, Ju Wang 0005	The Information Entropy of Rough Relational Databases.	RSFDGrC	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.	CCGRID	2003	DBLP DOI BibTeX RDF
27	Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher	Action Refinement from a Logical Point of View.	VMCAI	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.	IEEE Trans. Knowl. Data Eng.	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.	FTRTFT	2000	DBLP DOI BibTeX RDF
27	Eitan Altman, Philippe Nain	Closed-Loop Control with Delayed Information.	SIGMETRICS	1992	DBLP DOI BibTeX RDF
27	Akira Yamamoto, Masaki Mitsui, Hiroyuki Yoshida, Minoru Yokota, Katsuto Nakajima	The Program Characteristics in Logic Programming Language ESP.	LP	1985	DBLP DOI BibTeX RDF
27	Kenneth L. Modesitt	A community of individuals: cooperation and individualization in computer science education.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
26	Jana Jacková	Learning for mastery in an introductory programming course.	ITiCSE	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.	HoloMAS	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.	ACM Trans. Math. Softw.	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].	Commun. ACM	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.	Commun. ACM	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.	IEEE Trans. Serv. Comput.	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.	IEEE Trans. Cloud Comput.	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.	IEEE Internet Things J.	2024	DBLP DOI BibTeX RDF
17	Bo Jiang, Jian Du, Qiang Yan	AnonPSI: An Anonymity Assessment Framework for PSI.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
17	Alexander Bienstock, Sarvar Patel, Joon Young Seo, Kevin Yeo	Batch PIR and Labeled PSI with Oblivious Ciphertext Compression.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
17	Xinpeng Yang, Liang Cai, Yinghao Wang, Lu Sun, Jingwei Hu	Efficient Unbalanced Quorum PSI from Homomorphic Encryption.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
17	Aron van Baarsen, Marc Stevens 0001	Amortizing Circuit-PSI in the Multiple Sender/Receiver Setting.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
17	Palle Raabjerg, Johannes Åman Pohjola, Tjark Weber	Broadcast Psi-calculi.	Arch. Formal Proofs	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.	Remote. Sens.	2023	DBLP DOI BibTeX RDF