LEADER 01305nam--2200385---450- 001 990002906420203316 005 20070418152229.0 010 $a0-262-65110-6 035 $a000290642 035 $aUSA01000290642 035 $a(ALEPH)000290642USA01 035 $a000290642 100 $a20070418d2006----km-y0itay50------ba 101 $aeng 102 $aUS 105 $a||||||||001yy 200 1 $aInstitutional interaction in global environmental governance$esynergy and conflict among international and EU policies$fedited by Sebastian Oberthur and Thomas Gehring$gwith a foreword by Oran R. Young 210 $aCambridge$cMIT Press$dcopyr. 2006 225 2 $aGlobal environmental accords 410 0$12001$aGlobal environmental accords 454 1$12001 461 1$1001-------$12001 606 0 $aPolitica ambientale$xCooperazione internazionale 676 $a363.70526 702 1$aOBERTHUR,$bSebastian 702 1$aGEHRING,$bThomas 702 1$aYOUNG,$bOran R. 801 0$aIT$bsalbc$gISBD 912 $a990002906420203316 951 $aIG VIII 14 ING 226$b54513 G$cIG VIII 14 ING$d00214539 959 $aBK 969 $aGIU 979 $aCAPORASO$b90$c20070418$lUSA01$h1522 996 $aInstitutional interaction in global environmental governance$9989483 997 $aUNISA LEADER 07690nam 2200685 450 001 9910829976203321 005 20240219135913.0 010 $a1-280-27793-9 010 $a9786610277933 010 $a0-471-74543-X 010 $a1-60119-376-9 010 $a0-471-74542-1 024 7 $a10.1002/047174543X 035 $a(CKB)1000000000355340 035 $a(EBL)233622 035 $a(SSID)ssj0000072005 035 $a(PQKBManifestationID)11110061 035 $a(PQKBTitleCode)TC0000072005 035 $a(PQKBWorkID)10090527 035 $a(PQKB)10590128 035 $a(MiAaPQ)EBC233622 035 $a(CaBNVSL)mat05237943 035 $a(IDAMS)0b00006481095e37 035 $a(IEEE)5237943 035 $a(OCoLC)173691873 035 $a(EXLCZ)991000000000355340 100 $a20151221d2005 uy 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aFourier analysis on finite groups with applications in signal processing and system design /$fRadomir S. Stankovia?c, Claudio Moraga, Jaakko Astola 210 1$aPiscataway, New Jersey :$cIEEE Press,$dc2005. 210 2$a[Piscataqay, New Jersey] :$cIEEE Xplore,$d[2005] 215 $a1 online resource (262 p.) 300 $aDescription based upon print version of record. 311 $a0-471-69463-0 320 $aIncludes bibliographical references and index. 327 $aPreface -- Acknowledgments -- Acronyms -- 1 Signals and Their Mathematical Models -- 1.1 Systems -- 1.2 Signals -- 1.3 Mathematical Models of Signals -- References -- 2 Fourier Analysis -- 2.1 Representations of Groups -- 2.1.1 Complete Reducibility -- 2.2 Fourier Transform on Finite Groups -- 2.3 Properties of the Fourier Transform -- 2.4 Matrix Interpretation of the Fourier Transform on Finite Non-Abelian Groups -- 2.5 Fast Fourier Transform on Finite Non-Abelian Groups -- References -- 3 Matrix Interpretation of the FFT -- 3.1 Matrix Interpretation of FFT on Finite Non-Abelian Groups -- 3.2 Illustrative Examples -- 3.3 Complexity of the FFT -- 3.3.1 Complexity of Calculations of the FFT -- 3.3.2 Remarks on Programming Implememtation of FFT -- 3.4 FFT Through Decision Diagrams -- 3.4.1 Decision Diagrams -- 3.4.2 FFT on Finite Non-Abelian Groups Through DDs -- 3.4.3 MMTDs for the Fourier Spectrum -- 3.4.4 Complexity of DDs Calculation Methods -- References -- 4 Optimization of Decision Diagrams -- 4.1 Reduction Possibilities in Decision Diagrams -- 4.2 Group-Theoretic Interpretation of DD -- 4.3 Fourier Decision Diagrams -- 4.3.1 Fourier Decision Trees -- 4.3.2 Fourier Decision Diagrams -- 4.4 Discussion of Different Decompositions -- 4.4.1 Algorithm for Optimization of DDs -- 4.5 Representation of Two-Variable Function Generator -- 4.6 Representation of Adders by Fourier DD -- 4.7 Representation of Multipliers by Fourier DD -- 4.8 Complexity of NADD -- 4.9 Fourier DDs with Preprocessing -- 4.9.1 Matrix-valued Functions -- 4.9.2 Fourier Transform for Matrix-Valued Functions -- 4.10 Fourier Decision Trees with Preprocessing -- 4.11 Fourier Decision Diagrams with Preprocessing -- 4.12 Construction of FNAPDD -- 4.13 Algorithm for Construction of FNAPDD -- 4.13.1 Algorithm for Representation -- 4.14 Optimization of FNAPDD -- References -- 5 Functional Expressions on Quaternion Groups -- 5.1 Fourier Expressions on Finite Dyadic Groups -- 5.1.1 Finite Dyadic Groups -- 5.2 Fourier Expressions on Q2. 327 $a5.3 Arithmetic Expressions -- 5.4 Arithmetic Expressions from Walsh Expansions -- 5.5 Arithmetic Expressions on Q2 -- 5.5.1 Arithmetic Expressions and Arithmetic-Haar Expressions -- 5.5.2 Arithmetic-Haar Expressions and Kronecker Expressions -- 5.6 Different Polarity Polynomials Expressions -- 5.6.1 Fixed-Polarity Fourier Expressions in C(Q2) -- 5.6.2 Fixed-Polarity Arithmetic-HaarExpressions -- 5.7 Calculation of the Arithmetic-Haar Coefficients -- 5.7.1 FFT-like Algorithm -- 5.7.2 Calculation of Arithmetic-Haar Coefficients Through Decision Diagrams -- References -- 6 Gibbs Derivatives on Finite Groups -- 6.1 Definition and Properties of Gibbs Derivatives on Finite Non-Abelian Groups -- 6.2 Gibbs Anti-Derivative -- 6.3 Partial Gibbs Derivatives -- 6.4 Gibbs Differential Equations -- 6.5 Matrix Interpretation of Gibbs Derivatives -- 6.6 Fast Algorithms for Calculation of Gibbs Derivatives on Finite Groups -- 6.6.1 Complexity of Calculation of Gibbs Derivatives -- 6.7 Calculation of Gibbs Derivatives Through DDs -- 6.7.1 Calculation of Partial Gibbs Derivatives. -- References -- 7 Linear Systems on Finite Non-Abelian Groups -- 7.1 Linear Shift-Invariant Systems on Groups -- 7.2 Linear Shift-Invariant Systems on Finite Non-Abelian Groups -- 7.3 Gibbs Derivatives and Linear Systems -- 7.3.1 Discussion -- References -- 8 Hilbert Transform on Finite Groups -- 8.1 Some Results of Fourier Analysis on Finite Non-Abelian Groups -- 8.2 Hilbert Transform on Finite Non-Abelian Groups -- 8.3 Hilbert Transform in Finite Fields -- References -- Index. 330 $aDiscover applications of Fourier analysis on finite non-Abelian groups The majority of publications in spectral techniques consider Fourier transform on Abelian groups. However, non-Abelian groups provide notable advantages in efficient implementations of spectral methods. Fourier Analysis on Finite Groups with Applications in Signal Processing and System Design examines aspects of Fourier analysis on finite non-Abelian groups and discusses different methods used to determine compact representations for discrete functions providing for their efficient realizations and related applications. Switching functions are included as an example of discrete functions in engineering practice. Additionally, consideration is given to the polynomial expressions and decision diagrams defined in terms of Fourier transform on finite non-Abelian groups. A solid foundation of this complex topic is provided by beginning with a review of signals and their mathematical models and Fourier analysis. Next, the book examines recent achievements and discoveries in: . Matrix interpretation of the fast Fourier transform. Optimization of decision diagrams. Functional expressions on quaternion groups. Gibbs derivatives on finite groups. Linear systems on finite non-Abelian groups. Hilbert transform on finite groups Among the highlights is an in-depth coverage of applications of abstract harmonic analysis on finite non-Abelian groups in compact representations of discrete functions and related tasks in signal processing and system design, including logic design. All chapters are self-contained, each with a list of references to facilitate the development of specialized courses or self-study. With nearly 100 illustrative figures and fifty tables, this is an excellent textbook for graduate-level students and researchers in signal processing, logic design, and system theory-as well as the more general topics of computer science and applied mathematics. 606 $aSignal processing$xMathematics 606 $aFourier analysis 606 $aNon-Abelian groups 615 0$aSignal processing$xMathematics. 615 0$aFourier analysis. 615 0$aNon-Abelian groups. 676 $a621.3822 676 $a621.38220151 700 $aStankovia?c$b Radomir S.$0845320 701 $aMoraga$b Claudio$0845321 701 $aAstola$b Jaakko T$0845322 801 0$bCaBNVSL 801 1$bCaBNVSL 801 2$bCaBNVSL 906 $aBOOK 912 $a9910829976203321 996 $aFourier analysis on finite groups with applications in signal processing and system design$91886526 997 $aUNINA LEADER 13352nam 22008055 450 001 9910865248403321 005 20251225202127.0 010 $a9783031610035$b(electronic bk.) 010 $z9783031610028 024 7 $a10.1007/978-3-031-61003-5 035 $a(MiAaPQ)EBC31360247 035 $a(Au-PeEL)EBL31360247 035 $a(CKB)32213032600041 035 $a(DE-He213)978-3-031-61003-5 035 $a(OCoLC)1438669980 035 $a(EXLCZ)9932213032600041 100 $a20240601d2024 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAdvanced Information Systems Engineering Workshops $eCAiSE 2024 International Workshops, Limassol, Cyprus, June 3?7, 2024, Proceedings /$fedited by João Paulo A. Almeida, Claudio Di Ciccio, Christos Kalloniatis 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (382 pages) 225 1 $aLecture Notes in Business Information Processing,$x1865-1356 ;$v521 311 08$aPrint version: Almeida, João Paulo A. Advanced Information Systems Engineering Workshops Cham : Springer International Publishing AG,c2024 9783031610028 327 $aIntro -- Preface -- Organization -- Contents -- BC4IS+B4TDS -- International Workshop on Blockchain for Information Systems (BC4IS) and Blockchain for Trusted Data Sharing (B4TDS) -- Organization -- BC4IS Workshop Co-chairs -- BC4IS Workshop Program Committee -- B4TDS Workshop Co-chairs -- B4TDS Workshop Program Committee -- Blockchain in E-Learning Platform to Enhance Trustworthy and Sharing of Micro-credentials -- 1 Introduction -- 2 Background, Related Work and Contribution -- 2.1 Micro-credentials -- 2.2 Blockchain -- 2.3 Related Work -- 2.4 Contribution -- 3 E-Learning Platform and Micro-credentials -- 4 Consortium Blockchain Within E-Learning Platforms -- 4.1 Institutions and Candidates Actions -- 5 Discussion -- 6 Conclusion -- References -- A Conceptual Model for Blockchain-Based Trust in Digital Ecosystems (Short Paper) -- 1 Introduction -- 2 Related Work -- 3 Conceptual model -- 3.1 N7: Running Example -- 3.2 Ontology of Trust in Digital ecosystems -- 3.3 The Problems of Third Parties and How Blockchain Can help -- 3.4 The Need for Capabilities Manifestation For Blockchain -- 4 Conclusion and Future work -- References -- High-Performance Confidentiality-Preserving Blockchain via GPU-Accelerated Fully Homomorphic Encryption -- 1 Introduction -- 2 Related Work -- 2.1 Confidentiality-Preserving Blockchains -- 2.2 GPU-Accelerated Fully Homomorphic Encryption -- 3 Overview -- 3.1 System Model -- 3.2 Threat Model -- 3.3 Gafe's Workflow Overview -- 4 Workflow Description -- 4.1 Client Key Generation -- 4.2 GPU-Accelerated Transaction Execution -- 5 Evaluation -- 5.1 Settings -- 5.2 End-to-End Performance -- 6 Conclusion -- References -- A Blockchain-Based Approach for Model Card Accountability and Regulatory Compliance -- 1 Introduction -- 2 Background -- 2.1 Model Cards -- 2.2 Tokenization of Model Cards -- 2.3 Motivating Scenario. 327 $a3 Proposed Approach: m-LUCE -- 3.1 Approach Overview -- 3.2 Modeling State Parameterization for Model Cards -- 4 Evaluation and Discussion -- 4.1 Functional Testing -- 4.2 Discussion -- 5 Conclusions and Future Work -- References -- HybridAIMS -- 2nd International Workshop on Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent Information Systems (HybridAIMS 2024) -- Organization -- Workshop Chairs -- Program Committee -- A Hierarchical Knowledge Framework for Digital Twins of Buildings and Their Energy Systems (Position Paper) -- 1 Introduction -- 2 BIM, BMS and EMS and Digital Twins -- 3 Physics-Based Simulation and Artificial Intelligence -- 4 From Data to Wisdom, a Paradigm for Digital Twins -- 4.1 The NEST Demonstrator -- 4.2 An Implementation of the DIKW for Buildings and Energy Systems -- 4.3 Analysis of a Specific Application -- 5 Conclusion and Outlook -- References -- Integrating Generative Artificial Intelligence into Supply Chain Management Education Using the SCOR Model -- 1 Introduction -- 2 Background -- 3 Case Study: A SCM University Course -- 3.1 Generative AI Course Companion Requirements and Goals -- 3.2 Introduction to Vertex AI Search -- 3.3 Setting up the Vertex AI Search -- 3.4 Evaluation -- 3.5 Results -- 3.6 Enhancement Strategies -- 4 Implications and Further Research -- References -- An Explanation User Interface for a Knowledge Graph-Based XAI Approach to Process Analysis -- 1 Research Background and Objective -- 2 Basics of Human Interactions for XAI -- 3 Design Catalog for Explanation User Interfaces -- 4 Demonstration and Evaluation of an XUI -- 4.1 Current State of KBXAI-PA -- 4.2 Designing and Demonstrating of an XUI for KBXAI-PA -- 4.3 Evaluating the XUI for KBXAI-PA Through Expert Interviews -- 5 Key Findings, Research Perspectives and Implications -- References. 327 $aEnhancing Research Clarity: Ontology-Based Modeling of Argumentation in RPML -- 1 Introduction -- 2 Literature Review -- 2.1 Identification of a Research-Worthy Problem -- 2.2 Conceptual Modeling for Visualization of Research Problems -- 3 Methodology -- 4 An Ontological Metamodel for Research -- 5 Application of the Modelling Language -- 6 Conclusion -- References -- Student Performance Prediction Model Based on Course Description and Student Similarity -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 4 Data Set from Student Enrolment Process -- 5 Design and Development of the Prototypes -- 5.1 Course Description Similarity -- 5.2 Course Performance Similarity -- 5.3 Performance Prediction -- 6 Evaluation -- 7 Conclusion -- References -- Towards Explainable Public Sector AI: An Exploration of Neuro-Symbolic AI and Enterprise Modeling (Short Paper) -- 1 Introduction -- 2 XAI: The Imperative for Explainability in the Public Sector -- 3 Neuro-Symbolic AI (NSAI) for Enhanced Explainability -- 4 Enterprise Modeling (EM): Discovering Rules for the Symbolic AI -- 5 Integration: Exploring the Synergy of XAI, NSAI, and EM -- 6 Conclusion and Future Work -- References -- A Survey to Evaluate the Completeness and Correctness of a Morphological Box for AI Solutions -- 1 Introduction -- 2 Theoretical Background -- 2.1 Morphological Box for AI Solutions -- 2.2 Taxonomy Development -- 3 Research and Survey Design -- 4 Analysis of the Survey Results -- 4.1 Participants -- 4.2 Statistical Evaluation -- 4.3 Feature Analysis -- 4.4 Value Analysis -- 5 Discussion -- 5.1 Possible New Features -- 5.2 Possible New Values -- 5.3 Possible Reorganization of the Values -- 6 Summary and Future Research -- References -- KG4SDSE -- Preface: 2nd Workshop on Knowledge Graphs for Semantics-Driven Systems Engineering (KG4SDSE 2024) -- Organization -- Workshop Chairs. 327 $aWeb Chair -- Program Committee -- Understanding the Semantic SQL Transducer -- 1 Introduction -- 2 The Role of a Semantic SQL Transducer -- 3 Inside the Semantic SQL Transducer -- 4 Designing the Semantic SQL Transducer -- 5 Conclusions -- References -- Enhancing Complex Linguistic Tasks Resolution Through Fine-Tuning LLMs, RAG and Knowledge Graphs (Short Paper) -- 1 Introduction -- 2 Related Work -- 3 Proposed Pipeline -- 3.1 Enhancing LLMs with RAG and KGs -- 3.2 KGs Construction via Prompt Engineering -- 3.3 Guide Complex Tasks Resolution via Fine-Tuning -- 4 Conclusions and Future Work -- References -- Improving the Service Quality in Fitness Industry by Using a Knowledge Graph Based Modeling Toolkit -- 1 Introduction -- 2 Storytelling with Modeling Tools -- 3 Research Problem -- 3.1 Who -- 3.2 What -- 3.3 Why -- 3.4 How -- 3.5 Where -- 4 Conclusions -- References -- LLMs for Knowledge-Graphs Enhanced Task-Oriented Dialogue Systems: Challenges and Opportunities -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 3.1 Preliminary Questions for ChatGPT -- 3.2 Ontology -- 3.3 Setup Format -- 3.4 Prompting Techniques and Examples -- 4 Results and Discussion -- 4.1 ChatGPT on the Static KGC Task -- 4.2 ChatGPT on the Temporal KGC Task -- 4.3 ChatGPT on the KGR Task -- 5 Conclusion -- References -- Property Graphs at Scale: A Roadmap and Vision for the Future (Short Paper) -- 1 Introduction -- 2 Roadmap to the Future -- 2.1 Establishing a Declarative Query Language for PGs -- 2.2 Data Integration -- 2.3 Scalable Data Processing -- 3 Conclusions -- References -- Knowledge Graph for Reusing Research Knowledge on Related Work in Data Analytics -- 1 Introduction -- 2 Research Method -- 3 Analytics Project Ontology -- 4 Real Estate Analytics Knowledge Graph -- 5 Using Knowledge Graph Based Web Application -- 6 Conclusion -- References. 327 $aAn Ontology-Based Meta-modelling Approach for Semantic-Driven Building Management Systems -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 3.1 Focus Group Findings -- 4 The Ontology-Based Meta-modelling Approach for Building Management Systems -- 4.1 The Ontology Architecture -- 4.2 The Ontology-Based PID Language -- 5 Evaluation -- 6 Findings and Discussion -- 7 Conclusion -- References -- EOMAS -- 20 years of the EOMAS workshop -- Organization -- Steering Committee -- Customizing a Generic Digital Transformation Objectives Model onto a Telecommunication Company -- 1 Introduction -- 2 Research Approach and Method -- 3 Results -- 3.1 Preliminary Interview Round: Domain Knowledge Collection -- 3.2 Instantiated DT Strategic Objectives Representation -- 3.3 Post Interview Round: Evaluation and Validation of the Instantiated DT Objectives Representation -- 4 Discussion -- 5 Conclusion -- References -- Analyzing Customer Sentiments: A Comparative Evaluation of Large Language Models for Enhanced Business Intelligence -- 1 Introduction -- 2 Related Work -- 2.1 Customer Sentiment Analysis -- 2.2 Methods for Sentiment Analysis -- 2.3 Using Large Language Models for Sentiment Analysis -- 3 Methodology -- 3.1 Research Question Statement -- 3.2 Selection of Large Language Models -- 3.3 Dataset Preparation -- 3.4 Exploratory Phase -- 3.5 Focused Experiments -- 3.6 Observations Analysis -- 4 Observation Analysis -- 5 Discussion -- 6 Conclusions and Future Work -- References -- Conceptual Data Normalisation from the Practical View of Using Graph Databases -- 1 Introduction -- 2 Motivation -- 3 Attempts to Overcome the Limitations of Relational Databases -- 4 Object Class Normalisation - Ambler's Approach -- 5 Frisendal's Approach to the Graph Normalisation -- 6 Our Approach to the Graph Database Normalisation -- 7 Conclusion -- References. 327 $aDeriving Object Oriented Normalisation from Conceptual Normalisation. 330 $aThis book constitutes the thoroughly refereed proceedings of the international workshops associated with the 36th International Conference on Advanced Information Systems Engineering, CAiSE 2024, which was held in Limassol, Cyprus, during June 2024. The total of 25 full and 5 short papers included in these proceedings were carefully reviewed and selected from 60 submissions. They stem from the following workshops: ? International Workshop on Blockchain for Information Systems (BC4IS24) and Blockchain for Trusted Data Sharing (B4TDS); ? 2nd International Workshop on Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent Information Systems (HybridAIMS); ? 2nd International Workshop on Knowledge Graphs for Semantics-driven Systems Engineering (KG4SDSE); ? 16th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS); ? International Workshop on Digital Transformation with Business Process Mining (DigPro). 410 0$aLecture Notes in Business Information Processing,$x1865-1356 ;$v521 606 $aApplication software 606 $aBusiness information services 606 $aData protection 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aInformation technology$xManagement 606 $aComputer and Information Systems Applications 606 $aIT in Business 606 $aData and Information Security 606 $aArtificial Intelligence 606 $aSoftware Engineering 606 $aComputer Application in Administrative Data Processing 615 0$aApplication software. 615 0$aBusiness information services. 615 0$aData protection. 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aInformation technology$xManagement. 615 14$aComputer and Information Systems Applications. 615 24$aIT in Business. 615 24$aData and Information Security. 615 24$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aComputer Application in Administrative Data Processing. 676 $a005.3 700 $aAlmeida$b Joa?o Paulo A$00 701 $aCiccio$b Claudio Di$01859498 701 $aKalloniatis$b Christos$01364708 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9910865248403321 996 $aAdvanced Information Systems Engineering Workshops$94463344 997 $aUNINA