Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Chekad Sarami |
A Mass Formula for Cyclic Self-Orthogonal Codes. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | N. Messaadi, Hajer Bouzaouache, Naceur Benhadj Braiek |
Nonlinear Optimization Algorithms for Hybrid Controller Design of Switched Systems. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Jaroslav Lajos, Mansur H. Samadzadeh |
A Survey and a Taxonomy of Automata-Theoretic Modeling Techniques. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Mark Burgin |
Interactive Hypercomputation. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Jinghong Pan, Dinghe Guo, Yongli Li, Joe Peili Zhou, Xuemou Wu |
Pansystems Relativity: Vitality, Intelligence and Computer. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Kam Kong |
The Majority Rule and String-and-Spinner Implementation of Logic Gates. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Zoltán Ésik, Gabriela Martín |
An Algebraic Characterization of Wolper's Logic. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Norman R. Howes |
Distributed System Architecture and Specification with TLB. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Pei Li Zhou, Salahadin Mohammed |
A Pansystems Approach to Sorting Based on Binary Relations. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | J. Renze Steenhuisen, Cees Witteveen |
Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Hitoshi Yoshida, Hisayasu Kuroda, Yasumasa Kanada |
Parameter Selection for Fast Computation of Pi(x). |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Shengyuan Wu |
Introduction to Multilevel Mark Coding Theory. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Haibo Li, Yongli Li, Xinjian Wei |
A Rough Set Model of Binary Relation Based on Product and Pansystems. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Nicolas Gauvrit |
A Locally Logical Model for Natural Semantics. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Yu Jiang, He Lin |
A Pansystems Extremum Algorithm for Attribute Reduction Based on Discernibility Matrix. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Yu-fen Weng, Justie Su-tzu Juan, Yi-Chun Wang |
On the Verifiable and Detectable Multi-Use General Perfect Secret Sharing Schemes. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | S. Q. Zheng 0001, Shaoyang Liu |
Hypergraph Algorithms with Network Applications. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Xiaolu Zhou, Joe Peili Zhou, Jinghong Pan, Xuemou Wu |
Pansystems Approach : Relativity, World Systems, Cognition, Linquistics, Aesthetics. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Bichitra Kalita |
Sub-Graphs of Complete Graph. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Norman Howes |
A Theory of Distributed Systems. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Ansis Rosmanis, Ilze Dzelme-Berzina |
Mixed States in Quantum Cryptography. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | P. Prashant |
The Church-Turing-Deutsch Principle in Quantum Computation. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Song Y. Yan, Glyn James, Gongyi Wu |
Cryptographic and Computational Challenges in Grid Computing. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Li Yang, Naphtali Rishe |
Formal Representation and Transformation of DTDs to Sem-ODM Semantic Schemas. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Paul D. Manuel, Kalim Qureshi, Albert William, Albert Muthumalai |
VLSI Layout of Benes Networks. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Thomas O'Neil, Jason Smith |
The Representational Power of Conjunctive Normal Form. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Feng-Jen Yang |
The Potential Disotrtion of Bayesian Reasoning. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Mark Burgin, Marc Smith |
From Sequential Processes to Grid Computation. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Paul D. Manuel, Indra Rajasingh, Bharati Rajan, Albert Muthumalai |
On Induced Matching Partitions of Certain Interconnection Networks. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Sun-Yuan Hsieh, Che-Nan Kuo |
Hamiltonian-Connectivity and Related Property on Folded Hypercubes. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Peter Che Bor Lam, Guohua Gu, Wensong Lin, Ping-Tsai Chung |
Bounds On The Labelling Numbers Of Chordal Graphs. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Muhammad Rashid |
A Theoretical Study of Parallel Voronoi Diagram. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Song Y. Yan, Glyn James, Gongyi Wu |
Polynomially Uncomputable Number-Theoretic Problems in Cryptography and Network Security. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Yuichiro Tokumaru, Akihiro Fujiwara |
A Procedure for Max-SAT with DNA Strands. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Z. Chen |
New Approach To A Class Of Matrices. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Wei Yang 0011, Liusheng Huang, Yonglong Luo, Mingjun Xiao |
Quantum Oblivious Transfer Based on POVM Measurements. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Katsushi Inoue, Akira Ito, Yue Wang 0002 |
Matrix L-System and Paper Folding with Scissors. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Mark Burgin, Anshul Taldon |
Naming and its Regularities in Distributed Environments. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Xiuzhen Huang |
Negative-Weight Cycle Algorithms. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Eugene Eberbach |
Expresiveness of the pi-Calculus and the $-Calculus. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Maurice Margenstern |
An Algorithm for Buiding Inrinsically Universal Automata in Hyperbolic Spaces. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Hiroki Fukagawa, Akihiro Fujiwara |
Procedures for multiplication and division in DNA computing. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Yongsheng Bai, Bob P. Weems |
Another Algorithm for Computing Longest Common Increasing Subsequence for Two Random Input Sequences. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Mark Burgin |
Algorithmic Control in Concurrent Computations. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Dan He, Abdullah N. Arslan |
FastPCMSA: An Improved Parallel Algorithm for the Constrained Multiple Sequence Alignment Problem. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Lelde Lace, Oksana Scegulnaja-Dubrovska, Ramuns Usovs, Agnese Zalcmane |
Quantum Cryptographic Key Distribution Protocols. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | James McQuillan, Craig Damon |
Discovering the Impact of Group Structure on 3-SAT. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Vahan Margaryan |
Some Existence and Preservation Results for Optimal Fixpoints. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Laura Mancinska, Maris Ozols, Ilze Dzelme-Berzina, Rubens Agadzanjans, Ansis Rosmanis |
Principles of Optimal Probabilistic Decision Tree Construction. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Hamid R. Arabnia, Mark Murgin (eds.) |
Proceedings of the 2006 International Conference on Foundations of Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006 |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Hatem M. Bahig, Hazem M. Bahig |
Speeding Up Evaluation of Powers and Monomials. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Justie Su-tzu Juan, Yu-Lin Chuang |
A Verifiable and Detectable Secret Sharing Scheme by Using a New Geometric Approach. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Andras Farago |
Speeeding Up Markov Chain Monte Carlo Algorithms. |
FCS |
2006 |
DBLP BibTeX RDF |
|
1 | Mark Burgin, Paul Zellweger |
A Unified Apporach to Data Representation. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Nick Antonopoulos, James Salter, Roger M. A. Peel |
A Multi-Ring Method for Efficient Multi-Dimensional Data Lookup in P2P Networks. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Fouad El-Aker |
The Constrained Greedy Algorithm. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Mark Burgin |
Superrecursive Hierarchies of Algorithmic Problems. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Hamid R. Arabnia, Rose Joshua (eds.) |
Proceedings of The 2005 International Conference on Foundations of Computer Science, FCS 2005, Las Vegas, Nevada, USA, June 27-30, 2005 |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Mizue Ushijima, Akihiro Fujiwara |
Sorting algorithms based on the odd-even transposition sort and the shearsort with DNA strands. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Laura Mancinska, Maris Ozols, Renate Praude, Agnese Zalcmane |
Limitations of Non-Deterministic Finite Automata Imposed by One Letter Input Alphabet. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Houssain Kettani |
K-Map Analysis of Digital Circuits with Uncertain Inputs. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Andras Farago |
Finding Dense Subgraphs Efficiently. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Pierre Vignéras, Serge Chaumette |
Behavior Model of Mobile Agent Systems. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Ming-Chien Yang, Jimmy J. M. Tan, Lih-Hsing Hsu |
Cycles in Highly Faulty Hypercubes. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Khalil Djelloul |
Complete First-Order Axiomatization of the Construction of Trees On an Ordered Set. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Mahjoub Langar, Mohamed Mejri |
Formal and Efficient Enforcement of Security Policies. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Chien-Yuan Chen, Chih-Cheng Hsueh |
Multiplication Algorithm on Quantum Computation. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Bob P. Weems, Yongsheng Bai |
Finding Longest Common Increasing Subsequence for Two Different Scenarios of Non-random Input Sequences. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Marc L. Smith |
Unifying Theories of Programming: CSP + Lazy Observation = True Concurrency. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Jutapuck Pugsee, Wanchai Rivepiboon |
Meaning Analysis of Sentences Using Phrase Structure Grammar with Sentence Structures. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Chia-Wei Lee, Justie Su-tzu Juan |
On-line Ranking Algorithms for Trees. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Bala Ravikumar, Greg Cooper |
Fibonacci Search Algorithm for Finding Extremum Using Unary Predicates. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Rusins Freivalds, Renate Praude, Lelde Lace |
Some Graph Problems with Equivalent Lower Bounds for Query Complexity. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Wei-Hua He, Chih-Wen Wang, Tzong-Chen Wu |
Joint Window Nonadjacent Form. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Fouad El-Aker |
Improving Radix Sort Best Case Runtime. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Raitis Ozols, Rusins Freivalds, Laura Mancinska, Maris Ozols |
Size of Nondeterministic and Deterministic Automata for Certain Languages. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Rusins Freivalds, Elina Kalnina, Rihards Opmanis, Agnese Zalcmane |
Combinatorial Block Designs for Quantum Computing Problems. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Yuqing Zhang, Chunling Wang, Shimin Wei |
Using SMV for Cryptographic Protocol Analysis: A Case Study. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Akihiro Fujiwara, Kota Atsuyama |
A Procedure for Computing 0-1 Integer Programming with DNA Strands. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Thomas O'Neil |
A Clause-Based Reduction from k-SAT to CLIQUE. |
FCS |
2005 |
DBLP BibTeX RDF |
|
1 | Andras Farago |
Almost Surely Almost Exact Optimization in Random Graphs. |
FCS |
2005 |
DBLP BibTeX RDF |
|