Search results for "FCS"

Hits ?▲	Authors	Title	Venue	Year	Link
43	Bhupinder Singh Anand	Does Resolving PvNP Require a Paradigm Shift? Part I: A Perspective.	FCS	2010	DBLP BibTeX RDF
43	Hamid R. Arabnia, George A. Gravvanis (eds.)	Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas, Nevada, USA	FCS	2009	DBLP BibTeX RDF
43	Bhupinder Singh Anand	The Significance of Aristotle's Particularisation in the Foundations of Mathematics, Logic and Computability: Cohen and the Axiom of Choice.	FCS	2009	DBLP BibTeX RDF
43	Hirofumi Tagawa, Akihiro Fujiwara	Dictionary Operations in Membrane Computing.	FCS	2009	DBLP BibTeX RDF
43	Thomas O'Neil	The Importance of Symmetric Representation.	FCS	2009	DBLP BibTeX RDF
43	Yangjun Chen	Decomposing a Partially Ordered Set into Chains.	FCS	2009	DBLP BibTeX RDF
43	Srinivas Vamsi Parasa, Kumar Eswaran	Quantum Pseudo-Fractional Fourier Transform and Its Application to Quantum Phase Estimation.	FCS	2009	DBLP BibTeX RDF
43	Saeed Safaei, Babak Dalvand, Babak Esmaeili 0002, Vahid Safaei	Molecular Solutions for the Minimum Edge Dominating Set Problem on DNA-based Supercomputing.	FCS	2009	DBLP BibTeX RDF
43	Adnan M. Abu-Mahfouz, Gerhard P. Hancke 0001	An Efficient Method for Finding Square Roots for Elliptic Curves over OEF.	FCS	2009	DBLP BibTeX RDF
43	Brian Cloteaux, Desh Ranjan	Lower Bounds for Accessing Information on Pure Pointer Machines.	FCS	2009	DBLP BibTeX RDF
43	Quoc-Nam Tran, Giridhar Hariharan	Using Model Checking for Decision Making in Computer Games.	FCS	2009	DBLP BibTeX RDF
43	Yean-Ru Chen, To-Yu Chen, Pao-Ann Hsiung, Sao-Jie Chen, Yu Hen Hu	Compositional Automata Reduction with Non-critical Path Slicing.	FCS	2009	DBLP BibTeX RDF
43	Kenneth A. Hawick	Spectral Analysis of Attractors in Random Boolean Network Models.	FCS	2009	DBLP BibTeX RDF
43	Huy Nguyen Anh Pham, Arthur M. D. Shr, Peter P. Chen	A Quadratic Integer Programming Framework for Dedicated Machine Constraint.	FCS	2009	DBLP BibTeX RDF
43	Yijie Han	Tight Bound for Matching.	FCS	2009	DBLP BibTeX RDF
43	Jyh-Shyan Lin, Fu-Kuo Tseng, Rong-Jaye Chen	An Analysis of Hierarchical Identity-Based Cryptosystems.	FCS	2009	DBLP BibTeX RDF
43	Li-Gang Wu, Lei Fan	Cartesian Closed Categories of R-Posets.	FCS	2009	DBLP BibTeX RDF
43	Sandy Stevens Tickodri-Togboa	A Methodology for the Construction of Generating Functions and its Application to Bessel Functions.	FCS	2009	DBLP BibTeX RDF
43	Ulisses Ferreira	The Decidability of the Halting Problem.	FCS	2009	DBLP BibTeX RDF
43	Vitit Kantabutra	An Infinite Class of Non-Hamiltonian Voronoi Duals Based on Regular Polygons.	FCS	2009	DBLP BibTeX RDF
43	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
43	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
43	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
43	Wit Forys, Piotr Oprocha	Pseudo-Random Walks On Graphs And Cryptography.	FCS	2009	DBLP BibTeX RDF
43	Joe DeMaio 0001, William Faust	Domination and Independence on the Rectangular Torus by Rooks and Bishops.	FCS	2009	DBLP BibTeX RDF
43	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
43	Yuichiro Tokumaru, Akihiro Fujiwara	Procedures for Floating Point Operations with DNA Molecules.	FCS	2009	DBLP BibTeX RDF
43	Linmin Yang, Zhe Dang, Thomas R. Fischer	Optimal Software Testing - A Cooling Down Process.	FCS	2009	DBLP BibTeX RDF
43	Kenneth E. Hoganson	Mitigating Starvation of Multi-Level Feedback Queue Scheduling with Declining Max Weighted Average.	FCS	2009	DBLP BibTeX RDF
43	Ryszard Janicki, Nadezhda Zubkova	On Closure Operator for Interval Order Structures.	FCS	2009	DBLP BibTeX RDF
43	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
43	Arno Leist, Kenneth A. Hawick	Circuits as a Classifier for Small-World Network Models.	FCS	2009	DBLP BibTeX RDF
43	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
43	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
43	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
43	Kenneth A. Hawick, Heath A. James	Enumerating Circuits and Loops in Graphs with Self-Arcs and Multiple-Arcs.	FCS	2008	DBLP BibTeX RDF
43	Wenlong Gao, Lin He, Yongli Le, Xiaoxia Li	The PanWeighted System And Its Panweight Reduction In Pansystems Theory.	FCS	2008	DBLP BibTeX RDF
43	Weihu Hong, Mingshen Wu	The Size of Integers That a Computer Can tTke.	FCS	2008	DBLP BibTeX RDF
43	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
43	Jennifer Tsai, Justie Juan	Secure and Efficient Multi-Secret Sharing Schemes with General Access Structures.	FCS	2008	DBLP BibTeX RDF
43	Rahebeh Mojtahedi Saffari	Method Based on Distributed Learning Automata for Computing Node to Node Closeness Score.	FCS	2008	DBLP BibTeX RDF
43	Hongbing Fan, Yu-Liang Wu	Interconnection Graph Problem.	FCS	2008	DBLP BibTeX RDF
43	Bhupinder Singh Anand	Why Brouwer Was Justified in his Objection to Hilbert's Unqualified Interpretation of Quantification.	FCS	2008	DBLP BibTeX RDF
43	Guntis Deksnis, Rusins Freivalds, Oksana Scegulnaja-Dubrovska, Ruslan Tarasov, Solvita Zarina	A Quantum Algorithm for Real Time Rendering.	FCS	2008	DBLP BibTeX RDF
43	Serguei A. Mokhov	Study of the Alphabetic Indexing in a Scramble-like Word Puzzle Game.	FCS	2008	DBLP BibTeX RDF
43	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
43	Maciej Dziemianczuk	On Cobweb Admissible Sequences - The Production Theorem.	FCS	2008	DBLP BibTeX RDF
43	Yuichi Asahiro, Kenichi Kawahara, Eiji Miyano	NP-Hardness of the Sorting Buffer Problem on the Uniform Metric.	FCS	2008	DBLP BibTeX RDF
43	Deborah Whitfield	Applying the Theory of Optimization Ordering to Devices with Limited Memory.	FCS	2008	DBLP BibTeX RDF
43	Zhenfang Li, Chuan Li, Shiqun Tao	Dynamic Database in the View of Pansystems.	FCS	2008	DBLP BibTeX RDF
43	Bhupinder Singh Anand	A Finitary Model of Peano Arithmetic.	FCS	2008	DBLP BibTeX RDF
43	James Tyson, James Kriigel, Jon Preston, Byron Jeff, Junfeng Qu	Snack Attack: An Exploration of Collaborative Learning.	FCS	2008	DBLP BibTeX RDF
43	James Moorer	The Use of Prime Residues as a Block Erasure Code with Linear Decoding Time.	FCS	2008	DBLP BibTeX RDF
43	Jonathan Z. Sun, Rui Xu, Jianhua Yin	Group connectivity of graphs satisfying Ore-condition.	FCS	2008	DBLP BibTeX RDF
43	Yunshu Gao, Guojun Li, Jonathan Z. Sun, Jin Yan	Disjoint Cycles and Chorded Cycles in Graphs.	FCS	2008	DBLP BibTeX RDF
43	Yongli Li, Zhenfang Li, Pei Li Zhou	A Study of Programming Language Based on Pansystems Theory.	FCS	2008	DBLP BibTeX RDF
43	Liliana Favre	Formalizing MOF-Metamodels.	FCS	2008	DBLP BibTeX RDF
43	He Lin, Xiaoxu Li	Generalization of Reduction in Rough Sets Based on the Views of Pansystems.	FCS	2008	DBLP BibTeX RDF
43	Bhupinder Singh Anand	A Trivial Solution to the PvNP Problem.	FCS	2008	DBLP BibTeX RDF
43	Jeffrey Duffany	Statistical Characterization of NP-Complete Problems.	FCS	2008	DBLP BibTeX RDF
43	Arulanandam Srinivasan, Raghuvel S. Bhuvaneswaran	Face Recognition System using HGPP and Adaptive binning Method.	FCS	2008	DBLP BibTeX RDF
43	Chetan Yadati, Cees Witteveen, Yingqian Zhang 0001, Mengxiao Wu, Han La Poutré	Autonomous Scheduling.	FCS	2008	DBLP BibTeX RDF
43	Haixia Li, Aiping Wu, He Lin, Yongli Li, Fangqin Zhang	Research of Reduction from the View of Pansystems.	FCS	2008	DBLP BibTeX RDF
43	Lelde Lace	Nondeterministic and postselection quantum query algorithms.	FCS	2008	DBLP BibTeX RDF
43	Reza Ahangar	Optimal Control Solution to Nonlinear Causal Operator Systems with Target State.	FCS	2008	DBLP BibTeX RDF
43	Leszek Kotulski, Adam Sedziwy	Agent Framework For Decomposing a Graph Into the Equally Sized Subgraphs.	FCS	2008	DBLP BibTeX RDF
43	Emanuele Covino, Giovanni Pani, Daniele Scrimieri	Extending C++ Static Computation of Polynomial-Time Algorithms.	FCS	2008	DBLP BibTeX RDF
43	Xiaoxu Li, Yongli Li	Research of Decision Rule in Rough Sets Based on Pansystems View.	FCS	2008	DBLP BibTeX RDF
43	Saeed Safaei, Hajar Mozaffar, Babak Esmaeili 0002	Solving Minimum K-Center Problem in the Adleman?Lipton Model.	FCS	2008	DBLP BibTeX RDF
43	Christian Boulinier	Fast Unison in Arbitrary Rooted Networks.	FCS	2008	DBLP BibTeX RDF
43	Jia Liu, Mansur H. Samadzadeh	On the Power of Stochastic Automata Networks in Random Environments.	FCS	2008	DBLP BibTeX RDF
43	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
43	Pei Li Zhou, Jiang Yu, Shahriar Movafaghi	An Application of Pansystems Methodology to Path's Searching Problem Solving.	FCS	2008	DBLP BibTeX RDF
43	Joe DeMaio 0001, Stephen Touset	Stirling Numbers of the Second Kind and Primality.	FCS	2008	DBLP BibTeX RDF
43	Yang Zhang	Fourier Transforms for Difference Operators.	FCS	2008	DBLP BibTeX RDF
43	Fairouz Tchier	Demonic Semantics: are equal.	FCS	2008	DBLP BibTeX RDF
43	Jonathan Z. Sun, Chaoyang Zhang	Advances on C-Planarity Testing of Extrovert C-Graphs.	FCS	2008	DBLP BibTeX RDF
43	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
43	Andras Farago	On Disjoint Connecting Paths and Unsplittable Flow.	FCS	2008	DBLP BibTeX RDF
43	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
43	Zhenfang Li, Yongli Li, Shiqun Tao	The Extending of Panweighted Network in Pansystems and XML-based Realization.	FCS	2007	DBLP BibTeX RDF
43	Yongli Li, Zhilin Li, Jing Qu, Xiaoyan Wang	The Sorites Paradox from the View of Pansystems.	FCS	2007	DBLP BibTeX RDF
43	Ying Jin 0001	Rule Update Algorithms for Active Rule Scheduling.	FCS	2007	DBLP BibTeX RDF
43	P. L. Zhou, Thalerngsak Kijthaweesinpoon	The Use of Pansystems Relation Operators in Rough Sets.	FCS	2007	DBLP BibTeX RDF
43	Xuemou Wu, Pei Li Zhou, Jeffrey Yi-Lin Forrest	Pansystems Exploration: A Transfield Internet-like Approach.	FCS	2007	DBLP BibTeX RDF
43	Jerry Potter, Howard Jay Siegel	Prose as a Model of Computation.	FCS	2007	DBLP BibTeX RDF
43	Yijie Han	Maximum Flow with a Faster Way of Computing a Blocking Flow.	FCS	2007	DBLP BibTeX RDF
43	Andras Farago	Sampling from Independence Systems.	FCS	2007	DBLP BibTeX RDF
43	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
43	Xiaowei Huang 0001, Jie Meng	A Semantic Preorder Combining ST Notion and Fair Testing Semantic.	FCS	2007	DBLP BibTeX RDF
43	J. Ulisses Ferreira	The Probable Decidability of the Halting Problem.	FCS	2007	DBLP BibTeX RDF
43	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
43	Douglas Harris	Patterns of Protocols.	FCS	2007	DBLP BibTeX RDF
43	Wangsen Feng, Wanling Qu, Hanpin Wang	Lower bounds on the cardinality of maximum matchings in graphs with bounded degrees.	FCS	2007	DBLP BibTeX RDF
43	Aiping Wu, Yongli Li	Research of Reduction from the View of Pansystems.	FCS	2007	DBLP BibTeX RDF
43	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
43	Chekad Sarami	On Classification of Generalized Hadamard Matrices.	FCS	2007	DBLP BibTeX RDF
43	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
43	He Lin, Haixia Li	The Insert Taxis Based on Pansystems Topology.	FCS	2007	DBLP BibTeX RDF
43	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