Search results for "FCS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
43	Xuemou Wu, Dinghe Guo, Dejun Chen, Joe Peili Zhou	Pansystems Extremum Theorems: Cybernetics.	FCS	2007	DBLP BibTeX RDF
43	Haixia Li, He Lin, Jiajia Wang	Rough Set Approximation and Rough Set Attribute Reduction Based on Pansystems Topology.	FCS	2007	DBLP BibTeX RDF
43	Emanuele Covino, Giovanni Pani, Daniele Scrimieri	Static Computation of Polynomial-time Functions in C++.	FCS	2007	DBLP BibTeX RDF
43	Anja Remshagen, Klaus Truemper	The Complexity of Futile Questioning.	FCS	2007	DBLP BibTeX RDF
43	Masaki Murakami	Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model.	FCS	2007	DBLP BibTeX RDF
43	Mark Burgin, Marc Smith	A Unifying Model of Concurrent Processes.	FCS	2007	DBLP BibTeX RDF
43	Ying Liu, Wanjing Cai	Compare Researches To Rough Sets And Fuzzy Sets from the View.	FCS	2007	DBLP BibTeX RDF
43	Ruzayn Quaddoura	Linear Time Recognition Algorithms for Three Variants of Vertex Series Parallel Digraphs.	FCS	2007	DBLP BibTeX RDF
43	Jinshuo Liu, Dengyi Zhang, Shubo Liu, Yu Yao	High Noisy Cell Image Segmentation Using Regional Template.	FCS	2007	DBLP BibTeX RDF
43	Dejun Chen, Xiaolu Zhou, Xuemou Wu, Joe Peili Zhou	Modeling Distributed Virtual Enterprise Based on Pansystems Economics.	FCS	2007	DBLP BibTeX RDF
43	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
43	Wanjing Cai, Pei Li Zhou	A Pansystems Approach to Order-relationship.	FCS	2007	DBLP BibTeX RDF
43	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
43	Tao Yang, Yongli Li, Xiaoxia Li	Application of Pansystems Theory in Object-Oriented System.	FCS	2007	DBLP BibTeX RDF
43	Takeshi Tateishi, Akihiro Fujiwara	Data structures for storing binary numbers in DNA computing.	FCS	2007	DBLP BibTeX RDF
43	Qutaibah M. Malluhi, Sungbum Hong	An Efficient Algorithm for Determining the Relationship between Two Nodes on DAG.	FCS	2007	DBLP BibTeX RDF
43	Dinghe Guo, Pei Li Zhou, Jinghong Pan	Pansystems Extremum: Scales, Approximation, Equivalence and 0**-Theorems.	FCS	2007	DBLP BibTeX RDF
43	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
43	Janusz Jacak, Ireneusz J. Jozwiak, Lucjan Jacak	Application of braid groups for information processing.	FCS	2007	DBLP BibTeX RDF
43	Naveed Ali, Shoab A. Khan, Naveed Sarfraz Khattak	Equivalence Verification of Arithmetic Data Paths With Multiple Word-Length Operands.	FCS	2007	DBLP BibTeX RDF
43	Chekad Sarami	A Mass Formula for Cyclic Self-Orthogonal Codes.	FCS	2007	DBLP BibTeX RDF
43	N. Messaadi, Hajer Bouzaouache, Naceur Benhadj Braiek	Nonlinear Optimization Algorithms for Hybrid Controller Design of Switched Systems.	FCS	2007	DBLP BibTeX RDF
43	Jaroslav Lajos, Mansur H. Samadzadeh	A Survey and a Taxonomy of Automata-Theoretic Modeling Techniques.	FCS	2007	DBLP BibTeX RDF
43	Mark Burgin	Interactive Hypercomputation.	FCS	2007	DBLP BibTeX RDF
43	Jinghong Pan, Dinghe Guo, Yongli Li, Joe Peili Zhou, Xuemou Wu	Pansystems Relativity: Vitality, Intelligence and Computer.	FCS	2007	DBLP BibTeX RDF
43	Kam Kong	The Majority Rule and String-and-Spinner Implementation of Logic Gates.	FCS	2007	DBLP BibTeX RDF
43	Zoltán Ésik, Gabriela Martín	An Algebraic Characterization of Wolper's Logic.	FCS	2007	DBLP BibTeX RDF
43	Norman R. Howes	Distributed System Architecture and Specification with TLB.	FCS	2007	DBLP BibTeX RDF
43	Pei Li Zhou, Salahadin Mohammed	A Pansystems Approach to Sorting Based on Binary Relations.	FCS	2007	DBLP BibTeX RDF
43	J. Renze Steenhuisen, Cees Witteveen	Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks.	FCS	2007	DBLP BibTeX RDF
43	Hitoshi Yoshida, Hisayasu Kuroda, Yasumasa Kanada	Parameter Selection for Fast Computation of Pi(x).	FCS	2007	DBLP BibTeX RDF
43	Shengyuan Wu	Introduction to Multilevel Mark Coding Theory.	FCS	2007	DBLP BibTeX RDF
43	Haibo Li, Yongli Li, Xinjian Wei	A Rough Set Model of Binary Relation Based on Product and Pansystems.	FCS	2007	DBLP BibTeX RDF
43	Nicolas Gauvrit	A Locally Logical Model for Natural Semantics.	FCS	2007	DBLP BibTeX RDF
43	Yu Jiang, He Lin	A Pansystems Extremum Algorithm for Attribute Reduction Based on Discernibility Matrix.	FCS	2007	DBLP BibTeX RDF
43	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
43	S. Q. Zheng 0001, Shaoyang Liu	Hypergraph Algorithms with Network Applications.	FCS	2007	DBLP BibTeX RDF
43	Xiaolu Zhou, Joe Peili Zhou, Jinghong Pan, Xuemou Wu	Pansystems Approach : Relativity, World Systems, Cognition, Linquistics, Aesthetics.	FCS	2007	DBLP BibTeX RDF
43	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
43	Mark Burgin, Paul Zellweger	A Unified Apporach to Data Representation.	FCS	2005	DBLP BibTeX RDF
43	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
43	Fouad El-Aker	The Constrained Greedy Algorithm.	FCS	2005	DBLP BibTeX RDF
43	Mark Burgin	Superrecursive Hierarchies of Algorithmic Problems.	FCS	2005	DBLP BibTeX RDF
43	Mizue Ushijima, Akihiro Fujiwara	Sorting algorithms based on the odd-even transposition sort and the shearsort with DNA strands.	FCS	2005	DBLP BibTeX RDF
43	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
43	Houssain Kettani	K-Map Analysis of Digital Circuits with Uncertain Inputs.	FCS	2005	DBLP BibTeX RDF
43	Andras Farago	Finding Dense Subgraphs Efficiently.	FCS	2005	DBLP BibTeX RDF
43	Pierre Vignéras, Serge Chaumette	Behavior Model of Mobile Agent Systems.	FCS	2005	DBLP BibTeX RDF
43	Ming-Chien Yang, Jimmy J. M. Tan, Lih-Hsing Hsu	Cycles in Highly Faulty Hypercubes.	FCS	2005	DBLP BibTeX RDF
43	Khalil Djelloul	Complete First-Order Axiomatization of the Construction of Trees On an Ordered Set.	FCS	2005	DBLP BibTeX RDF
43	Mahjoub Langar, Mohamed Mejri	Formal and Efficient Enforcement of Security Policies.	FCS	2005	DBLP BibTeX RDF
43	Chien-Yuan Chen, Chih-Cheng Hsueh	Multiplication Algorithm on Quantum Computation.	FCS	2005	DBLP BibTeX RDF
43	Bob P. Weems, Yongsheng Bai	Finding Longest Common Increasing Subsequence for Two Different Scenarios of Non-random Input Sequences.	FCS	2005	DBLP BibTeX RDF
43	Marc L. Smith	Unifying Theories of Programming: CSP + Lazy Observation = True Concurrency.	FCS	2005	DBLP BibTeX RDF
43	Jutapuck Pugsee, Wanchai Rivepiboon	Meaning Analysis of Sentences Using Phrase Structure Grammar with Sentence Structures.	FCS	2005	DBLP BibTeX RDF
43	Chia-Wei Lee, Justie Su-tzu Juan	On-line Ranking Algorithms for Trees.	FCS	2005	DBLP BibTeX RDF
43	Bala Ravikumar, Greg Cooper	Fibonacci Search Algorithm for Finding Extremum Using Unary Predicates.	FCS	2005	DBLP BibTeX RDF
43	Rusins Freivalds, Renate Praude, Lelde Lace	Some Graph Problems with Equivalent Lower Bounds for Query Complexity.	FCS	2005	DBLP BibTeX RDF
43	Wei-Hua He, Chih-Wen Wang, Tzong-Chen Wu	Joint Window Nonadjacent Form.	FCS	2005	DBLP BibTeX RDF
43	Fouad El-Aker	Improving Radix Sort Best Case Runtime.	FCS	2005	DBLP BibTeX RDF
43	Raitis Ozols, Rusins Freivalds, Laura Mancinska, Maris Ozols	Size of Nondeterministic and Deterministic Automata for Certain Languages.	FCS	2005	DBLP BibTeX RDF
43	Rusins Freivalds, Elina Kalnina, Rihards Opmanis, Agnese Zalcmane	Combinatorial Block Designs for Quantum Computing Problems.	FCS	2005	DBLP BibTeX RDF
43	Yuqing Zhang, Chunling Wang, Shimin Wei	Using SMV for Cryptographic Protocol Analysis: A Case Study.	FCS	2005	DBLP BibTeX RDF
43	Akihiro Fujiwara, Kota Atsuyama	A Procedure for Computing 0-1 Integer Programming with DNA Strands.	FCS	2005	DBLP BibTeX RDF
43	Thomas O'Neil	A Clause-Based Reduction from k-SAT to CLIQUE.	FCS	2005	DBLP BibTeX RDF
43	Andras Farago	Almost Surely Almost Exact Optimization in Random Graphs.	FCS	2005	DBLP BibTeX RDF
33	Radu-Emil Precup, Mircea-Bogdan Radac, Stefan Preitl, Emil M. Petriu, Claudia-Adina Dragos	Iterative Feedback Tuning in Linear and Fuzzy Control Systems.	Towards Intelligent Engineering and Information Technology	2009	DBLP DOI BibTeX RDF	Iterative Feedback Tuning, fuzzy control, robust stability
33	Yang Yu 0029, Donald Hillman, Basuki Setio, Jeff Heflin	A Case Study in Integrating Multiple E-commerce Standards via Semantic Web Technology.	ISWC	2009	DBLP DOI BibTeX RDF	e-commerce, ontology integration
33	Takashi Kunifuji, Tadao Miura, Gen Kogure, Hiroyuki Sugahara, Masayuki Matsumoto	A Novel Railway Signal Control System Based on the Internet Technology and an Assurance Technology.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
33	Robert S. Woodly, Michael Gosnell, Jennie J. Gallimore, Sasanka V. Prabhala	Agents with personality: human operator assistants.	SCSC	2007	DBLP BibTeX RDF	human-agent interface, software agents, personality traits
33	Tina Mattes, Jörg Pfahler, Frank Schiller, Thomas Honold	Analysis of Combinations of CRC in Industrial Communication.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Cyclic Redundancy Check, Residual Error Probability, Safety-critical Communication
33	Yoonsik Tak	A Leaf Image Retrieval Scheme Based on Partial Dynamic Time Warping and Two-Level Filtering.	CIT	2007	DBLP DOI BibTeX RDF
33	Ning Zong, Xia Hong 0001	A Forward Constrained Selection Algorithm for Probabilistic Neural Network.	ISNN (2)	2007	DBLP DOI BibTeX RDF
33	Kenji Watanabe, Takio Kurita	Automatic Factorization of Biological Signals Measured by Fluorescence Correlation Spectroscopy Using Non-negative Matrix Factorization.	ICONIP (2)	2007	DBLP DOI BibTeX RDF	Protein dynamics, Pattern recognition, Signal processing, NMF
33	Mao Ye, Edward Chan, Guihai Chen, Jie Wu 0001	Energy Efficient Fractional Coverage Schemes for Low Cost Wireless Sensor Networks.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF	fractional coverage problem, reporting latency, wireless sensor network, energy awareness
33	Xinhua Zhang, Peter Loh	A Fault-Tolerant Routing Strategy for Fibonacci-Class Cubes.	Asia-Pacific Computer Systems Architecture Conference	2005	DBLP DOI BibTeX RDF
33	Xenofon D. Koutsoukos, Radhika Tekumalla, Balachandran Natarajan, Chenyang Lu 0001	Hybrid Supervisory Utilization Control of Real-Time Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
33	Kristina Forsberg, Simin Nadjm-Tehrani, Jan Torin	Fault Analysis of a Distributed Flight Control System.	HICSS	2005	DBLP DOI BibTeX RDF
33	Chijian Zhang, Lin Zhang	Order relation is the necessary condition of success of fuzzy control system.	GrC	2005	DBLP DOI BibTeX RDF
33	Eitan Frachtenberg, Dror G. Feitelson, Fabrizio Petrini, Juan Fernández 0001	Flexible CoScheduling: Mitigating Load Imbalance and Improving Utilization of Heterogeneous Resources.	IPDPS	2003	DBLP DOI BibTeX RDF
33	Glenn J. Beach, Charles J. Cohen, Gary Moody, Martha Henry	Projectile Identification System.	AIPR	2003	DBLP DOI BibTeX RDF
33	Houcine Hassan, José E. Simó, Alfons Crespo	Enhancing the Flexibility and the Quality of Service of Autonomous Mobile Robotic Applications.	ECRTS	2002	DBLP DOI BibTeX RDF
33	Zorica Nedic, Peter Lozo, Lakhmi C. Jain	Modelling perception of occluded Craik-O'Brien-Cornsweet Effect.	KES	1999	DBLP DOI BibTeX RDF
33	E. Pascal Gribomont	A Programming Logic for Formal Concurent Systems.	CONCUR	1990	DBLP DOI BibTeX RDF
24	Haitao Yang 0004, Min Li, Yongchang Zhang, Aoyang Xu	FCS-MPC for Three-Level NPC Inverter-Fed SPMSM Drives Without Information of Motor Parameters and DC Capacitor.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
24	Eduardo Zafra, Joaquín Granado, Vicente Baena Lecuyer, Sergio Vazquez, Abraham Marquez Alcaide, José I. Leon, Leopoldo García Franquelo	Computationally Efficient Sphere Decoding Algorithm Based on Artificial Neural Networks for Long-Horizon FCS-MPC.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
24	Shaomin Yan, Yue Cui, Chengmin Li	Modulated FCS-MPC Based on Zero-Sequence Component Injection Algorithm and Vector Synthesis Algorithm With NPP Deviation Suppression.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
24	Eduardo Zafra, Sergio Vazquez, Abraham Marquez Alcaide, José I. Leon, Leopoldo García Franquelo	Alternate Search Pattern for Parallel Sphere Decoder in Long Prediction Horizon FCS-MPC.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
24	Rodrigo H. Cuzmar, Andrés Mora, Javier Pereda, Pablo Poblete, Ricardo P. Aguilera	Long-Horizon Sequential FCS-MPC Approaches for Modular Multilevel Matrix Converters.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
24	Jian Peng, Shihui Cheng, Wenxing Liu	Temperature Control of Cement Rotary Kiln Sintering Zone Based on FCS-MPC with Soft Constraint of Generalized Triangular Interval.	J. Adv. Comput. Intell. Intell. Informatics	2024	DBLP DOI BibTeX RDF
24	Xing Liu 0008, Lin Qiu, Youtong Fang, José Rodríguez 0001	Reinforcement Learning-Based Event-Triggered FCS-MPC for Power Converters.	IEEE Trans. Ind. Electron.	2023	DBLP DOI BibTeX RDF
24	Eduardo Zafra, Sergio Vazquez, Abraham Marquez Alcaide, Emilia Perez Martin, Leopoldo García Franquelo, Jose Ignacio León Galván	Hybrid Sphere Decoder for Long Prediction Horizon FCS-MPC.	IEEE Trans. Ind. Electron.	2023	DBLP DOI BibTeX RDF
24	Shaomin Yan, Xiaojie Gao, Yonghao Lu, Yue Cui, Yuhan Cai	Study on Single-Loop FCS-MPC for DC-Based DFIG System.	IEEE Access	2023	DBLP DOI BibTeX RDF
24	Mohammad Ghiasi, Taher Niknam, Moslem Dehghani, Hamid Reza Baghaee, Zhanle Wang, Mohammad Mehdi Ghanbarian, Frede Blaabjerg, Tomislav Dragicevic	Multipurpose FCS Model Predictive Control of VSC-Based Microgrids for Islanded and Grid-Connected Operation Modes.	IEEE Syst. J.	2023	DBLP DOI BibTeX RDF
24	Guoxin Chen, Fangda Guo, Yongqing Wang, Yanghao Liu, Peiying Yu, Huawei Shen, Xueqi Cheng	FCS-HGNN: Flexible Multi-type Community Search in Heterogeneous Information Networks.	CoRR	2023	DBLP DOI BibTeX RDF
24		Announcement of the 2023 FCS Paper Awards.	Frontiers Comput. Sci.	2023	DBLP DOI BibTeX RDF
24	Yuhan Cai, Shaomin Yan, Yue Cui, Xiaojie Gao	Single-loop control method FCS-MPC for PMSG.	IEICE Electron. Express	2023	DBLP DOI BibTeX RDF
24	Roberto Morales-Caporal, Edmundo Bonilla Huerta, Haydee Patricia Martínez-Hernández, Rafael Ordoñez-Flores, Omar Sandre-Hernández	Artificial Neural Network-Based Control and FCS-MPC for DC/DC and CHB Multilevel Converters for PV Water Pumping Systems.	CCE	2023	DBLP DOI BibTeX RDF
24	Xiaoming Xie, Jinfa Xu, Suiyuan Shen, Wei Cao, Guigang Zhang	Research on FCS Design Technology of Electric Tilting Quadrotor UAV.	QRS Companion	2023	DBLP DOI BibTeX RDF
24	Shaofeng Chen, Guobin Lin, Yunshu Liu, Chao Gong 0001, Yaofei Han, Zhixun Ma	Novel Segmented-Prediction-Based FCS-MPCC for Low-Control-Frequency EV EESMs with Uncertain Mutual Inductance Considered.	IECON	2023	DBLP DOI BibTeX RDF