Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Bhupinder Singh Anand |
The Significance of Aristotle's Particularisation in the Foundations of Mathematics, Logic and Computability: Rosser and Formally Undecidable Arithmetical Propositions. |
FCS |
2009 |
DBLP BibTeX RDF |
|
1 | Nitin 0001, Gitanjali Chauhan, Rohit Sharma, Vivek Kumar Sehgal, Rohit Verma, Gaurav Kumar, Utkarsh Shrivastava, Rajan Vaish |
Single Tape Deterministic Turing Machine of Routing Algorithms Designed for Torus Network. |
FCS |
2009 |
DBLP BibTeX RDF |
|
1 | Nitin 0001, Gitanjali Chauhan, Vivek Kumar Sehgal, Rohit Sharma, Abhishek Gupta, Aditya Patel, Amanpreet Singh Arora, Aprajita Gupta, Utkarsh Shrivastava, Rajan Vaish |
A Single Tape Deterministic Turing Machine of Adaptive Deterministic Routing Algorithm Designed for Torus Network. |
FCS |
2009 |
DBLP BibTeX RDF |
|
1 | Wit Forys, Piotr Oprocha |
Pseudo-Random Walks On Graphs And Cryptography. |
FCS |
2009 |
DBLP BibTeX RDF |
|
1 | Joe DeMaio 0001, William Faust |
Domination and Independence on the Rectangular Torus by Rooks and Bishops. |
FCS |
2009 |
DBLP BibTeX RDF |
|
1 | Zied Bouyahia, Monia Bellalouna, Khaled Ghédira, Patrick Jaillet |
A Priori Strategies for the Probabilistic Total Weighted Flowtime on Parallel Identical Machines Problem. |
FCS |
2009 |
DBLP BibTeX RDF |
|
1 | Yuichiro Tokumaru, Akihiro Fujiwara |
Procedures for Floating Point Operations with DNA Molecules. |
FCS |
2009 |
DBLP BibTeX RDF |
|
1 | Linmin Yang, Zhe Dang, Thomas R. Fischer |
Optimal Software Testing - A Cooling Down Process. |
FCS |
2009 |
DBLP BibTeX RDF |
|
1 | Kenneth E. Hoganson |
Mitigating Starvation of Multi-Level Feedback Queue Scheduling with Declining Max Weighted Average. |
FCS |
2009 |
DBLP BibTeX RDF |
|
1 | Ryszard Janicki, Nadezhda Zubkova |
On Closure Operator for Interval Order Structures. |
FCS |
2009 |
DBLP BibTeX RDF |
|
1 | Babak Dalvand, Saeed Safaei, Mojtaba Nazari |
Fast Parallel Molecular Solution to the Maximum Triangle Packing Problem on Massively Parallel Bio-Computing. |
FCS |
2009 |
DBLP BibTeX RDF |
|
1 | Arno Leist, Kenneth A. Hawick |
Circuits as a Classifier for Small-World Network Models. |
FCS |
2009 |
DBLP BibTeX RDF |
|
1 | Ardashir Dolati, Mehdi Sohrabi Haghighat, Saeed Safaei, Hajar Mozaffar |
Solving Minimum Beta-vertex Separator Problems in the Adleman-Lipton Model. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Charlie Obimbo |
Approximating the Vertex Cover Problem by Selection of Nodes of Maximum Degrees for use in Wireless Sensor Networks. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Kenneth A. Hawick, Heath A. James |
Enumerating Circuits and Loops in Graphs with Self-Arcs and Multiple-Arcs. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Wenlong Gao, Lin He, Yongli Le, Xiaoxia Li |
The PanWeighted System And Its Panweight Reduction In Pansystems Theory. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Weihu Hong, Mingshen Wu |
The Size of Integers That a Computer Can tTke. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Sujeong U, Gihwan Cho, Moonkun Lee |
Development of a Scheduler for Hard Real-time Emergency Medical Systems over Networked Space in a Process Algebra. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Jennifer Tsai, Justie Juan |
Secure and Efficient Multi-Secret Sharing Schemes with General Access Structures. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Rahebeh Mojtahedi Saffari |
Method Based on Distributed Learning Automata for Computing Node to Node Closeness Score. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Hongbing Fan, Yu-Liang Wu |
Interconnection Graph Problem. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Bhupinder Singh Anand |
Why Brouwer Was Justified in his Objection to Hilbert's Unqualified Interpretation of Quantification. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Guntis Deksnis, Rusins Freivalds, Oksana Scegulnaja-Dubrovska, Ruslan Tarasov, Solvita Zarina |
A Quantum Algorithm for Real Time Rendering. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Serguei A. Mokhov |
Study of the Alphabetic Indexing in a Scramble-like Word Puzzle Game. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Robert J. McEliece, Mari Cruz Rodríguez-Palánquex |
Computing the number of rational points. Applications to AG Coding Theory. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Maciej Dziemianczuk |
On Cobweb Admissible Sequences - The Production Theorem. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Yuichi Asahiro, Kenichi Kawahara, Eiji Miyano |
NP-Hardness of the Sorting Buffer Problem on the Uniform Metric. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Deborah Whitfield |
Applying the Theory of Optimization Ordering to Devices with Limited Memory. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Zhenfang Li, Chuan Li, Shiqun Tao |
Dynamic Database in the View of Pansystems. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Bhupinder Singh Anand |
A Finitary Model of Peano Arithmetic. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | James Tyson, James Kriigel, Jon Preston, Byron Jeff, Junfeng Qu |
Snack Attack: An Exploration of Collaborative Learning. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | James Moorer |
The Use of Prime Residues as a Block Erasure Code with Linear Decoding Time. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Jonathan Z. Sun, Rui Xu, Jianhua Yin |
Group connectivity of graphs satisfying Ore-condition. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Yunshu Gao, Guojun Li, Jonathan Z. Sun, Jin Yan |
Disjoint Cycles and Chorded Cycles in Graphs. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Yongli Li, Zhenfang Li, Pei Li Zhou |
A Study of Programming Language Based on Pansystems Theory. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Liliana Favre |
Formalizing MOF-Metamodels. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | He Lin, Xiaoxu Li |
Generalization of Reduction in Rough Sets Based on the Views of Pansystems. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Bhupinder Singh Anand |
A Trivial Solution to the PvNP Problem. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Jeffrey Duffany |
Statistical Characterization of NP-Complete Problems. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Hamid R. Arabnia, Youngsong Mun, Pei Li Zhou (eds.) |
Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Arulanandam Srinivasan, Raghuvel S. Bhuvaneswaran |
Face Recognition System using HGPP and Adaptive binning Method. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Chetan Yadati, Cees Witteveen, Yingqian Zhang 0001, Mengxiao Wu, Han La Poutré |
Autonomous Scheduling. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Haixia Li, Aiping Wu, He Lin, Yongli Li, Fangqin Zhang |
Research of Reduction from the View of Pansystems. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Lelde Lace |
Nondeterministic and postselection quantum query algorithms. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Reza Ahangar |
Optimal Control Solution to Nonlinear Causal Operator Systems with Target State. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Leszek Kotulski, Adam Sedziwy |
Agent Framework For Decomposing a Graph Into the Equally Sized Subgraphs. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Emanuele Covino, Giovanni Pani, Daniele Scrimieri |
Extending C++ Static Computation of Polynomial-Time Algorithms. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Xiaoxu Li, Yongli Li |
Research of Decision Rule in Rough Sets Based on Pansystems View. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Saeed Safaei, Hajar Mozaffar, Babak Esmaeili 0002 |
Solving Minimum K-Center Problem in the Adleman?Lipton Model. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Christian Boulinier |
Fast Unison in Arbitrary Rooted Networks. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Jia Liu, Mansur H. Samadzadeh |
On the Power of Stochastic Automata Networks in Random Environments. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Jinho On, Jungrhan Choi, Moonkun Lee |
A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Pei Li Zhou, Jiang Yu, Shahriar Movafaghi |
An Application of Pansystems Methodology to Path's Searching Problem Solving. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Joe DeMaio 0001, Stephen Touset |
Stirling Numbers of the Second Kind and Primality. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Yang Zhang |
Fourier Transforms for Difference Operators. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Fairouz Tchier |
Demonic Semantics: are equal. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Jonathan Z. Sun, Chaoyang Zhang |
Advances on C-Planarity Testing of Extrovert C-Graphs. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Chih-Sheng Chen, Jan-Yi Liang, Yi-Kun Lee, Min-Hsuan Fan, Chua-Huang Huang |
Efficient Searching Algorithms for Multi-Dimensional Space Data Using Hilbert Space-Filling Curves. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Andras Farago |
On Disjoint Connecting Paths and Unsplittable Flow. |
FCS |
2008 |
DBLP BibTeX RDF |
|
1 | Zhenfang Li, Yongli Li, Shiqun Tao |
The Extending of Panweighted Network in Pansystems and XML-based Realization. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Yongli Li, Zhilin Li, Jing Qu, Xiaoyan Wang |
The Sorites Paradox from the View of Pansystems. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Ying Jin 0001 |
Rule Update Algorithms for Active Rule Scheduling. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | P. L. Zhou, Thalerngsak Kijthaweesinpoon |
The Use of Pansystems Relation Operators in Rough Sets. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Xuemou Wu, Pei Li Zhou, Jeffrey Yi-Lin Forrest |
Pansystems Exploration: A Transfield Internet-like Approach. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Jerry Potter, Howard Jay Siegel |
Prose as a Model of Computation. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Yijie Han |
Maximum Flow with a Faster Way of Computing a Blocking Flow. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Andras Farago |
Sampling from Independence Systems. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Toshinori Yamada, Hiroyuki Ishii |
Algorithm for Finding a Nash Equilibrium of a Two-Player Game in the Strategic Form Using Convex Hull. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Xiaowei Huang 0001, Jie Meng |
A Semantic Preorder Combining ST Notion and Fair Testing Semantic. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | J. Ulisses Ferreira |
The Probable Decidability of the Halting Problem. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Yi-Chun Wang, Justie Su-tzu Juan |
A Perfect Secret Sharing Scheme for (r-1, r)-Uniform Hypergraph-Based Access Structures. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Douglas Harris |
Patterns of Protocols. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Wangsen Feng, Wanling Qu, Hanpin Wang |
Lower bounds on the cardinality of maximum matchings in graphs with bounded degrees. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Hamid R. Arabnia, Pei Li Zhou (eds.) |
Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Aiping Wu, Yongli Li |
Research of Reduction from the View of Pansystems. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Chih-Chiang Yu, Yong-Hsian Hsieh, Biing-Feng Wang |
Optimal Algorithms for the Segment Location Problem with Range Constraints on Length and Average. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Chekad Sarami |
On Classification of Generalized Hadamard Matrices. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Bing Yang 0001, S. Q. Zheng 0001, Enyue Lu |
Finding Two Disjoint Paths in a Network with MinSum-MinMin Objective Function. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | He Lin, Haixia Li |
The Insert Taxis Based on Pansystems Topology. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Fang Liu, He Lin |
A New View of Difference and Identity Relation in Rough Sets Based on Pansystems Duality Transformation. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Xuemou Wu, Dinghe Guo, Dejun Chen, Joe Peili Zhou |
Pansystems Extremum Theorems: Cybernetics. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Haixia Li, He Lin, Jiajia Wang |
Rough Set Approximation and Rough Set Attribute Reduction Based on Pansystems Topology. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Emanuele Covino, Giovanni Pani, Daniele Scrimieri |
Static Computation of Polynomial-time Functions in C++. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Anja Remshagen, Klaus Truemper |
The Complexity of Futile Questioning. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Masaki Murakami |
Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Mark Burgin, Marc Smith |
A Unifying Model of Concurrent Processes. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Ying Liu, Wanjing Cai |
Compare Researches To Rough Sets And Fuzzy Sets from the View. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Ruzayn Quaddoura |
Linear Time Recognition Algorithms for Three Variants of Vertex Series Parallel Digraphs. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Jinshuo Liu, Dengyi Zhang, Shubo Liu, Yu Yao |
High Noisy Cell Image Segmentation Using Regional Template. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Dejun Chen, Xiaolu Zhou, Xuemou Wu, Joe Peili Zhou |
Modeling Distributed Virtual Enterprise Based on Pansystems Economics. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Bruno Bauwens, Bart Wyns, Dieter Devlaminck, Georges Otte, Luc Boullart, Patrick Santens |
Mutual information and algorithmic information transfer as ideal undirected and directed independence tests. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Wanjing Cai, Pei Li Zhou |
A Pansystems Approach to Order-relationship. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Katsumi Wasaki, Ken-ichi Arai |
A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Tao Yang, Yongli Li, Xiaoxia Li |
Application of Pansystems Theory in Object-Oriented System. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Takeshi Tateishi, Akihiro Fujiwara |
Data structures for storing binary numbers in DNA computing. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Qutaibah M. Malluhi, Sungbum Hong |
An Efficient Algorithm for Determining the Relationship between Two Nodes on DAG. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Dinghe Guo, Pei Li Zhou, Jinghong Pan |
Pansystems Extremum: Scales, Approximation, Equivalence and 0**-Theorems. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Jennifer Hui-Chan Tsai, Justie Su-tzu Juan |
A Simple Multi-Secret Sharing Scheme to Achieve Both Optimal Improvement Ratios. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Janusz Jacak, Ireneusz J. Jozwiak, Lucjan Jacak |
Application of braid groups for information processing. |
FCS |
2007 |
DBLP BibTeX RDF |
|
1 | Naveed Ali, Shoab A. Khan, Naveed Sarfraz Khattak |
Equivalence Verification of Arithmetic Data Paths With Multiple Word-Length Operands. |
FCS |
2007 |
DBLP BibTeX RDF |
|