01684nam 2200445 450 00001269720050718115500.03-540-55308-820030430d1992----km-y0itay0103----baengDEPrimality testing and Abelian varieties over finite fieldsLeonard M. Adleman, Ming-Deh A. HuangBerlin [etc.]Springerc1992VII, 142 p.25 cm.Lecture notes in mathematics15122001Lecture notes in mathematicsAlgebraNumeri primiVarietà di Abel512.72(21. ed.)Teoria elementare dei numeri14G15Algebraic geometry. Arithmetic problems. Diophantine geometry. Finite ground fields14K15Algebraic geometry. Abelian varieties and schemes. Arithmetic ground fields68-XXComputer scienceAdleman,Leonard M.59541Huang,Ming-Deh A.59542ITUniversità della Basilicata - B.I.A.RICAunimarc000012697Primality testing and Abelian varieties over finite fields78659UNIBASMONSCISCIENZEEXT0030120030430BAS010946EXT0030120030508BAS01180320050601BAS011755batch0120050718BAS01105120050718BAS01111020050718BAS01114020050718BAS011155BAS01BAS01BOOKBASA5Dipartimento MatematicaGENCollezione generaleMAT1737M17372003043051Riservati07413nam 22008775 450 991029972760332120251230070624.09783642378324364237832310.1007/978-3-642-37832-4(OCoLC)856586729(MiFhGG)GVRL6WLG(CKB)2670000000422471(MiAaPQ)EBC1398774(MiFhGG)9783642378324(DE-He213)978-3-642-37832-4(EXLCZ)99267000000042247120130723d2014 u| 0engurun|---uuuuatxtccrKnowledge Engineering and Management Proceedings of the Seventh International Conference on Intelligent Systems and Knowledge Engineering, Beijing, China, Dec 2012 (ISKE 2012) /edited by Fuchun Sun, Tianrui Li, Hongbo Li1st ed. 2014.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2014.1 online resource (xix, 720 pages) illustrations (some color)Advances in Intelligent Systems and Computing,2194-5365 ;214"ISSN: 2194-5357."9783642378317 3642378315 Includes bibliographical references.""Preface""; ""Organizing Committee""; ""Contents""; ""1 Function Set-Valued Information Systems""; ""Abstract""; ""1â€?Introduction""; ""2â€?Preliminary""; ""3â€?Function Set-Valued Information Systems""; ""4â€?Conclusions""; ""References""; ""2 Neutrality in Bipolar Structures""; ""Abstract""; ""1â€?Introduction""; ""2â€?Building Type I Bipolar Fuzzy Sets""; ""3â€?Building Type II Bipolar Fuzzy Sets""; ""4â€?Building Type III Bipolar Fuzzy Sets""; ""5â€?Building General Bipolarities""; ""6â€?Conclusion""; ""Acknowledgments""; ""References""""3 Multirate Multisensor Data Fusion Algorithm for State Estimation with Cross-Correlated Noises""""Abstract""; ""1â€?Introduction""; ""2â€?Problem Formulation""; ""3â€?Optimal State Estimation Algorithm""; ""4â€?Simulation""; ""5â€?Conclusion""; ""Acknowledgments""; ""References""; ""4 Task Based System Load Balancing Approach in Cloud Environments""; ""Abstract""; ""1â€?Introduction""; ""2â€?Related Works for VM Migration""; ""3â€?A Conceptual Model and Main Algorithm for Task Based System Load Balancing""; ""4â€?A Multi Objective Genetic Algorithm""""5â€?An Algorithm for Solving Multi-Objective Tasks Migration Problem Using MOGA""""6â€?Evaluation""; ""7â€?Conclusion and Future Work""; ""References""; ""5 Accurate Computation of Fingerprint Intrinsic Images with PDE-Based Regularization""; ""Abstract""; ""1â€?Introduction""; ""2â€?Coarse Intrinsic Images Computation""; ""2.1 Orientation Field""; ""2.2 Frequency Map""; ""2.3 Quality Map and Segmentation Map""; ""3â€?PDE-based Regularization""; ""4â€?Experimental Results""; ""5â€?Conclusion""; ""Acknowledgments""; ""References""""6 A Context Ontology Modeling and Uncertain Reasoning Approach Based on Certainty Factor for Context-Aware Computing""""Abstract""; ""1â€?Introduction""; ""2â€?Overview of the Context-Aware System""; ""3â€?Context Model""; ""3.1 Ontology-Based Model""; ""3.2 Ontology Model Based on Certainty Factor""; ""4â€?Context Reasoning""; ""4.1 Setting of Weights""; ""4.2 Uncertain Reasoning Process Description""; ""5â€?Case Study""; ""5.1 Reasoning Model of Uncertain Context""; ""5.2 Application of Uncertain Reasoning""; ""6â€?Conclusion""; ""References""""7 Research on Mental Coefficient of a Multi-Agent Negotiation Model""""Abstract""; ""1â€?Introduction""; ""2â€?Multi-Agent Cooperation Model""; ""2.1 Negotiation Process""; ""2.2 Definition and Update Agentsâ€? Mental Coefficient""; ""2.3 Definition of Acquaintance Model and its Sort Management""; ""2.3.1 The Concept of Acquaintance Coalition""; ""2.3.2 Classify Acquaintance Coalition""; ""2.3.3 The Management of Acquaintance Coalition""; ""2.4 Bidding and Decision Function""; ""2.4.1 Bidding Document""; ""2.4.2 Bidding Decision Function""; ""2.4.3 Win the Bidding Decision Function""""3â€?MACMMS Algorithm""These proceedings present technical papers selected from the 2012 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2012), held on December 15-17 in Beijing. The aim of this conference is to bring together experts from different fields of expertise to discuss the state-of-the-art in Intelligent Systems and Knowledge Engineering, and to present new findings and perspectives on future developments. The proceedings introduce current scientific and technical advances in the fields of artificial intelligence, machine learning, pattern recognition, data mining, knowledge engineering, information retrieval, information theory, knowledge-based systems, knowledge representation and reasoning, multi-agent systems, and natural-language processing, etc. Furthermore they include papers on new intelligent computing paradigms, which combine new computing methodologies, e.g., cloud computing, service computing and pervasive computing with traditional intelligent methods. By presenting new methodologies and practices, the proceedings will benefit both researchers and practitioners who want to utilize intelligent methods in their specific fields.   Dr. Fuchun Sun is a professor at the Department of Computer Science & Technology, Tsinghua University, China. Dr. Tianrui Li is a professor at the School of Information Science & Technology, Southwest Jiaotong University, Chengdu, China. Dr. Hongbo Li also works at the Department of Computer Science & Technology, Tsinghua University, China.Advances in Intelligent Systems and Computing,2194-5365 ;214Computational intelligenceData miningArtificial intelligenceSignal processingApplication softwareInformation storage and retrieval systemsComputational IntelligenceData Mining and Knowledge DiscoveryArtificial IntelligenceSignal, Speech and Image ProcessingComputer and Information Systems ApplicationsInformation Storage and RetrievalComputational intelligence.Data mining.Artificial intelligence.Signal processing.Application software.Information storage and retrieval systems.Computational Intelligence.Data Mining and Knowledge Discovery.Artificial Intelligence.Signal, Speech and Image Processing.Computer and Information Systems Applications.Information Storage and Retrieval.006.3006.33Sun Fuchun1337529Li Tianrui1758738Li Hongbo1724509MiAaPQMiAaPQMiAaPQBOOK9910299727603321Knowledge engineering and management4196991UNINA