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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas, Nevada, USA, pp. 95-99, 2009, CSREA Press, 1-60132-103-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas, Nevada, USA, pp. 47-52, 2009, CSREA Press, 1-60132-103-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas, Nevada, USA, pp. 37-40, 2009, CSREA Press, 1-60132-103-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Wit Forys, Piotr Oprocha |
Pseudo-Random Walks On Graphs And Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas, Nevada, USA, pp. 16-19, 2009, CSREA Press, 1-60132-103-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Joe DeMaio 0001, William Faust |
Domination and Independence on the Rectangular Torus by Rooks and Bishops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas, Nevada, USA, pp. 120-125, 2009, CSREA Press, 1-60132-103-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas, Nevada, USA, pp. 145-151, 2009, CSREA Press, 1-60132-103-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Yuichiro Tokumaru, Akihiro Fujiwara |
Procedures for Floating Point Operations with DNA Molecules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas, Nevada, USA, pp. 41-46, 2009, CSREA Press, 1-60132-103-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Linmin Yang, Zhe Dang, Thomas R. Fischer |
Optimal Software Testing - A Cooling Down Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas, Nevada, USA, pp. 162-168, 2009, CSREA Press, 1-60132-103-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Kenneth E. Hoganson |
Mitigating Starvation of Multi-Level Feedback Queue Scheduling with Declining Max Weighted Average. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas, Nevada, USA, pp. 174-179, 2009, CSREA Press, 1-60132-103-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Ryszard Janicki, Nadezhda Zubkova |
On Closure Operator for Interval Order Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas, Nevada, USA, pp. 108-114, 2009, CSREA Press, 1-60132-103-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas, Nevada, USA, pp. 169-173, 2009, CSREA Press, 1-60132-103-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Arno Leist, Kenneth A. Hawick |
Circuits as a Classifier for Small-World Network Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas, Nevada, USA, pp. 75-81, 2009, CSREA Press, 1-60132-103-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 97-101, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 256-259, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Kenneth A. Hawick, Heath A. James |
Enumerating Circuits and Loops in Graphs with Self-Arcs and Multiple-Arcs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 14-20, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Wenlong Gao, Lin He, Yongli Le, Xiaoxia Li |
The PanWeighted System And Its Panweight Reduction In Pansystems Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 211-217, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Weihu Hong, Mingshen Wu |
The Size of Integers That a Computer Can tTke. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 170-172, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 63-69, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Jennifer Tsai, Justie Juan |
Secure and Efficient Multi-Secret Sharing Schemes with General Access Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 106-112, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Rahebeh Mojtahedi Saffari |
Method Based on Distributed Learning Automata for Computing Node to Node Closeness Score. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 228-234, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Hongbing Fan, Yu-Liang Wu |
Interconnection Graph Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 51-55, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Bhupinder Singh Anand |
Why Brouwer Was Justified in his Objection to Hilbert's Unqualified Interpretation of Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 166-169, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Guntis Deksnis, Rusins Freivalds, Oksana Scegulnaja-Dubrovska, Ruslan Tarasov, Solvita Zarina |
A Quantum Algorithm for Real Time Rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 39-43, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Serguei A. Mokhov |
Study of the Alphabetic Indexing in a Scramble-like Word Puzzle Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 131-136, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 86-89, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Maciej Dziemianczuk |
On Cobweb Admissible Sequences - The Production Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 163-165, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Yuichi Asahiro, Kenichi Kawahara, Eiji Miyano |
NP-Hardness of the Sorting Buffer Problem on the Uniform Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 137-143, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Deborah Whitfield |
Applying the Theory of Optimization Ordering to Devices with Limited Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 239-244, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Zhenfang Li, Chuan Li, Shiqun Tao |
Dynamic Database in the View of Pansystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 201-206, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Bhupinder Singh Anand |
A Finitary Model of Peano Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 235-238, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | James Tyson, James Kriigel, Jon Preston, Byron Jeff, Junfeng Qu |
Snack Attack: An Exploration of Collaborative Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 207-210, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | James Moorer |
The Use of Prime Residues as a Block Erasure Code with Linear Decoding Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 120-123, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Jonathan Z. Sun, Rui Xu, Jianhua Yin |
Group connectivity of graphs satisfying Ore-condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 21-24, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Yunshu Gao, Guojun Li, Jonathan Z. Sun, Jin Yan |
Disjoint Cycles and Chorded Cycles in Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 9-13, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Yongli Li, Zhenfang Li, Pei Li Zhou |
A Study of Programming Language Based on Pansystems Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 175-181, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Liliana Favre |
Formalizing MOF-Metamodels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 32-38, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | He Lin, Xiaoxu Li |
Generalization of Reduction in Rough Sets Based on the Views of Pansystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 180-184, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Bhupinder Singh Anand |
A Trivial Solution to the PvNP Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 224-227, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Jeffrey Duffany |
Statistical Characterization of NP-Complete Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 156-162, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![CSREA Press, 1-60132-066-3 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Arulanandam Srinivasan, Raghuvel S. Bhuvaneswaran |
Face Recognition System using HGPP and Adaptive binning Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 80-85, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Chetan Yadati, Cees Witteveen, Yingqian Zhang 0001, Mengxiao Wu, Han La Poutré |
Autonomous Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 73-81, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Haixia Li, Aiping Wu, He Lin, Yongli Li, Fangqin Zhang |
Research of Reduction from the View of Pansystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 196-200, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Lelde Lace |
Nondeterministic and postselection quantum query algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 102-105, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Reza Ahangar |
Optimal Control Solution to Nonlinear Causal Operator Systems with Target State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 218-223, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Leszek Kotulski, Adam Sedziwy |
Agent Framework For Decomposing a Graph Into the Equally Sized Subgraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 245-250, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Emanuele Covino, Giovanni Pani, Daniele Scrimieri |
Extending C++ Static Computation of Polynomial-Time Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 90-96, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Xiaoxu Li, Yongli Li |
Research of Decision Rule in Rough Sets Based on Pansystems View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 185-189, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Saeed Safaei, Hajar Mozaffar, Babak Esmaeili 0002 |
Solving Minimum K-Center Problem in the Adleman?Lipton Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 251-255, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Christian Boulinier |
Fast Unison in Arbitrary Rooted Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 113-119, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Jia Liu, Mansur H. Samadzadeh |
On the Power of Stochastic Automata Networks in Random Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 3-9, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 56-62, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Pei Li Zhou, Jiang Yu, Shahriar Movafaghi |
An Application of Pansystems Methodology to Path's Searching Problem Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 190-195, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Joe DeMaio 0001, Stephen Touset |
Stirling Numbers of the Second Kind and Primality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 124-130, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Yang Zhang |
Fourier Transforms for Difference Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 260-263, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Fairouz Tchier |
Demonic Semantics: are equal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 147-155, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Jonathan Z. Sun, Chaoyang Zhang |
Advances on C-Planarity Testing of Extrovert C-Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 25-31, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 264-269, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Andras Farago |
On Disjoint Connecting Paths and Unsplittable Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 44-50, 2008, CSREA Press, 1-60132-066-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Zhenfang Li, Yongli Li, Shiqun Tao |
The Extending of Panweighted Network in Pansystems and XML-based Realization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 229-234, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Yongli Li, Zhilin Li, Jing Qu, Xiaoyan Wang |
The Sorites Paradox from the View of Pansystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 219-223, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Ying Jin 0001 |
Rule Update Algorithms for Active Rule Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 46-51, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | P. L. Zhou, Thalerngsak Kijthaweesinpoon |
The Use of Pansystems Relation Operators in Rough Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 287-292, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Xuemou Wu, Pei Li Zhou, Jeffrey Yi-Lin Forrest |
Pansystems Exploration: A Transfield Internet-like Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 280-286, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Jerry Potter, Howard Jay Siegel |
Prose as a Model of Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 157-163, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Yijie Han |
Maximum Flow with a Faster Way of Computing a Blocking Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 52-56, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Andras Farago |
Sampling from Independence Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 27-33, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 337-343, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Xiaowei Huang 0001, Jie Meng |
A Semantic Preorder Combining ST Notion and Fair Testing Semantic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 82-88, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | J. Ulisses Ferreira |
The Probable Decidability of the Halting Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 94-102, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 103-109, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Douglas Harris |
Patterns of Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 114-120, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Wangsen Feng, Wanling Qu, Hanpin Wang |
Lower bounds on the cardinality of maximum matchings in graphs with bounded degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 110-113, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![CSREA Press, 1-60132-049-3 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Aiping Wu, Yongli Li |
Research of Reduction from the View of Pansystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 224-228, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 61-67, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Chekad Sarami |
On Classification of Generalized Hadamard Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 73-78, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 356-361, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | He Lin, Haixia Li |
The Insert Taxis Based on Pansystems Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 240-244, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 213-218, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Xuemou Wu, Dinghe Guo, Dejun Chen, Joe Peili Zhou |
Pansystems Extremum Theorems: Cybernetics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 199-205, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Haixia Li, He Lin, Jiajia Wang |
Rough Set Approximation and Rough Set Attribute Reduction Based on Pansystems Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 235-239, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Emanuele Covino, Giovanni Pani, Daniele Scrimieri |
Static Computation of Polynomial-time Functions in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 41-45, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Anja Remshagen, Klaus Truemper |
The Complexity of Futile Questioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 132-138, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Masaki Murakami |
Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 369-, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Mark Burgin, Marc Smith |
A Unifying Model of Concurrent Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 321-327, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Ying Liu, Wanjing Cai |
Compare Researches To Rough Sets And Fuzzy Sets from the View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 262-267, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Ruzayn Quaddoura |
Linear Time Recognition Algorithms for Three Variants of Vertex Series Parallel Digraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 121-131, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Jinshuo Liu, Dengyi Zhang, Shubo Liu, Yu Yao |
High Noisy Cell Image Segmentation Using Regional Template. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 57-60, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Dejun Chen, Xiaolu Zhou, Xuemou Wu, Joe Peili Zhou |
Modeling Distributed Virtual Enterprise Based on Pansystems Economics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 273-279, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 21-26, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Wanjing Cai, Pei Li Zhou |
A Pansystems Approach to Order-relationship. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 255-261, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 10-16, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Tao Yang, Yongli Li, Xiaoxia Li |
Application of Pansystems Theory in Object-Oriented System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 245-250, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Takeshi Tateishi, Akihiro Fujiwara |
Data structures for storing binary numbers in DNA computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 34-40, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Qutaibah M. Malluhi, Sungbum Hong |
An Efficient Algorithm for Determining the Relationship between Two Nodes on DAG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 144-147, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Dinghe Guo, Pei Li Zhou, Jinghong Pan |
Pansystems Extremum: Scales, Approximation, Equivalence and 0**-Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 300-312, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 17-20, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Janusz Jacak, Ireneusz J. Jozwiak, Lucjan Jacak |
Application of braid groups for information processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 344-348, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Naveed Ali, Shoab A. Khan, Naveed Sarfraz Khattak |
Equivalence Verification of Arithmetic Data Paths With Multiple Word-Length Operands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 171-176, 2007, CSREA Press, 1-60132-049-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|