Sign in to get complete results and place requests.
Showing 1 - 20 results of 64 for search 'relations united states', query time: 0.16s Refine Results
  1. 1

    Data Mining and Big Data : Seventh International Conference, DMBD 2022, Beijing, China, November 21-24, 2022, proceedings. Part II /

    Published 2023
    Table of Contents: “…Identification and Recognition Methods -- Complementary Convolutional Restricted Boltzmann Machine and Its Applications in Image Recognition -- Text-independent Speaker Identification Using a Single-scale SincNet-DCGAN Model -- Genome-wide Feature Selection of Robust mRNA Biomarkers for Body Fluid Identification -- HOS-YOLOv5: An Improved High-precision Remote Sensing Image Target Detection Algorithm Based on YOLOv5 -- A Multi-Module 3D U-Net Learning Architecture for Brain Tumor Segmentation -- Problems with Regression-line in Data-mining Applications and A Better Alternate Linear-model -- Research on Hot Spot Mining Technology for Network Public Opinion -- Research Hotspots, Emerging Trend and Front of Fraud Detection Rearch: A Scientometric Analysis (1984 - 2021) -- Optimization Methods -- An Algorithm of Set-Based Differential Evolution for Discrete Optimization Problem -- Multi-objective Optimization Technique for RSU Deployment -- Knowledge Learning-based Brain Storm Optimization Algorithm for Multimodal Optimization -- Market Investment Methods -- Non-Local Graph Aggregation for Diversified Stock Recommendation -- Novel Sentiment Analysis from Twitter for Stock Change Prediction -- A Novel Investment Strategy for Mixed Asset Allocation Based on Entropy-based Time Series Prediction -- A Novel Investment Strategy for Mixed Asset Allocation Based on Entropy-based Time Series Prediction -- Community Detection and Diagnosis Systems -- A Self-Adaptive Two-Stage Local Expansion Algorithm for Community Detection on Complex Networks -- Supervised Prototypical Variational Autoencdoer for Shilling Attack Detection in Recommender Systems -- Knowledge Graph based Chicken Disease Diagnosis Question Answering System -- Therapeutic effects of corticosteroids for critical and severe COVID-19 patients -- Big Data Analysis -- Secure Cross-User Fuzzy Deduplication for Images in Cloud Storage -- Blockchain-based Integrity Auditing with Secure Deduplication in Cloud Storage -- Name Disambiguation Based on Entity Relationship Graph in Big Data -- Ontology-based metadata model design of data governance system -- Ontology-based Combat Force Modeling and Its Intelligent Planning Using Genetic Algorithm -- Research on Multi-channel Retrieve Mechanism Based on Heuristic -- Big-Model Methods -- PoetryBERT: Pre-Training with Sememe Knowledge for Classical Chinese Poetry -- Image hide with Invertible Network and Swin Transformer -- Modeling and Analysis of Combat System Confrontation Based on Large-scale Knowledge Graph Network -- Generating Aversarial Exmaples and Other Applications -- Generating Adversarial Malware Examples for Black-Box Attacks Based on GAN -- Defending Adversarial Examples by Negative Correlation Ensemble -- Accurate Decision-Making Method for Air Combat Pilots based on Data-Driven -- Establishment of Empirical Expression of Atmospheric Scattering Coefficient for Line-of-sight Ultraviolet Propagation in Coastal Area -- Deep Reinforcement Learning Approach -- Heterogeneous Multi-unit Control with Curriculum Learning for Multi-agent Reinforcement Learning -- A Deep Reinforcement Learning Approach for Cooperative Target Defense -- Particle Swarm Based Reinforcement Learning -- Users Permission Reasoning Method Based on Knowledge Graph Reward Guidance Reinforcement Learning in Data Center -- SMPG: Adaptive Soft Update for Masked MADDPG -- Attentive Relational State Representation for Intelligent Joint Operation Simulation -- Graph Neural Networks -- Flow Prediction via Multi-view Spatial-temporal Graph Neural Network -- RotatSAGE: A Scalable Knowledge Graph Embedding Model based on Translation Assumptions and Graph Neural Networks -- Denoise Network Structure for User Alignment across Networks via Graph Structure Learning -- OLPGP: An optimized label propagation-based distributed graph partitioning algorithm -- Deep Neural Networks -- DRGS: Low-Precision Full Quantization of Deep Neural Network with Dynamic Rounding and Gradient Scaling for Object Detection -- Emotion Recognition Based on Multi-scale Convolutional Neural Network.…”
    Call Number: Located:
    Find It
    Online Conference Proceeding Book
  2. 2

    Data mining and big data : seventh International Conference, DMBD 2022, Beijing, China, November 21-24, 2022, proceedings. Part I /

    Published 2023
    Table of Contents: “…Deep Reinforcement Learning Approach -- Heterogeneous Multi-unit Control with Curriculum Learning for Multi-agent Reinforcement Learning -- A Deep Reinforcement Learning Approach for Cooperative Target Defense -- Particle Swarm Based Reinforcement Learning -- Users Permission Reasoning Method Based on Knowledge Graph Reward Guidance Reinforcement Learning in Data Center. - SMPG: Adaptive Soft Update for Masked MADDPG -- Attentive Relational State Representation for Intelligent Joint Operation Simulation -- Graph Neural Networks -- Flow Prediction via Multi-view Spatial-temporal Graph Neural Network -- RotatSAGE: A Scalable Knowledge Graph Embedding Model based on Translation Assumptions and Graph Neural Networks -- Denoise Network Structure for User Alignment across Networks via Graph Structure Learning -- OLPGP: An optimized label propagation-based distributed graph partitioning algorithm -- Deep Neural Networks -- DRGS: Low-Precision Full Quantization of Deep Neural Network with Dynamic Rounding and Gradient Scaling for Object Detection -- Emotion Recognition Based on Multi-scale Convolutional Neural Network -- Pose Sequence Model Using the Encoder-decoder Structure for 3d Pose Estimation -- Research and Analysis of Video-Based Human Pose Estimation -- Action Recognition for Solo-militant Based on ResNet and Rule Matching -- Multiple Residual Quantization of Pruning -- Clustering Methods -- Deep Structured Graph Clustering Network -- Improved Clustering Strategies for Learning Style Identication in Massive Open Online Courses -- CSHEM - A Compressed Sensing Based Secure Data Processing Method for Electrical Data -- Prediction Methods -- An Improved Multi-Source Spatiotemporal Data Fusion Model based on the Nearest Neighbor Grids for PM2.5 Concentration Interpolation and Prediction -- Study on the Prediction of Rice Noodle Raw Material Index Content by Deep Feature Fusion -- GAP: Goal-Aware Prediction with Hierarchical Interactive Representation for Vehicle Trajectory -- Multi-Cause Learning for Diagnosis Prediction -- Prediction of Postoperative Survival Level of Esophageal Cancer Patients Based on Kaplan-Meier(K-M) Survival Analysis and Gray Wolf Optimization (GWO)-BP Model -- Classification Methods -- Possibilistic Reject-Classication based on Contrastive Learning in Vector Quantization Networks -- A Classication Method for Imbalanced Data Based on Ant Lion Optimizer -- Learnable Relation With Triplet Formulation For Semi-supervised Medical Image Classication -- Multi-view Classication via Twin Projection Vector Machine with Application to EEG-based Driving Fatigue Detection -- An Interpretable Conditional Augmentation Classication Approach for Imbalanced EHRs Mortality Prediction -- Combining Statistical and Semantic Features For Trajectory Point Classication -- Identification and Recognition Methods -- Complementary Convolutional Restricted Boltzmann Machine and Its Applications in Image Recognition -- Text-independent Speaker Identication Using a Single-scale SincNet-DCGAN Model -- Genome-wide Feature Selection of Robust mRNA Biomarkers for Body Fluid Identication -- HOS-YOLOv5: An Improved High-precision Remote Sensing Image Target Detection Algorithm Based on YOLOv5 -- A Multi-Module 3D U-Net Learning Architecture for Brain Tumor Segmentation -- Problems with Regression-line in Data-mining Applications and A Better Alternate Linear-model -- Research on Hot Spot Mining Technology for Network Public Opinion -- Research Hotspots, Emerging Trend and Front of Fraud Detection Rearch: A Scientometric Analysis (1984 - 2021) -- Optimization Methods -- An Algorithm of Set-Based Dierential Evolution for Discrete Optimization Problem -- Multi-objective Optimization Technique for RSU Deployment -- Knowledge Learning-based Brain Storm Optimization Algorithm for Multimodal Optimization -- Market Investment Methods -- Non-Local Graph Aggregation for Diversied Stock Recommendation -- Novel Sentiment Analysis from Twitter for Stock Change Prediction -- A Novel Investment Strategy for Mixed Asset Allocation Based on Entropy-based Time Series Prediction -- The Framework of Hammer Credit Rating System for Enterprises in Capital Markets of China with International Standards -- Community Detection and Diagnosis Systems -- A Self-Adaptive Two-Stage Local Expansion Algorithm for Community Detection on Complex Networks -- Supervised Prototypical Variational Autoencdoer for Shilling Attack Detection in Recommender Systems -- Knowledge Graph based Chicken Disease Diagnosis Question Answering System -- Therapeutic eects of corticosteroids for critical and severe COVID-19 patients -- Big Data Analysis -- Secure Cross-User Fuzzy Deduplication for Images in Cloud Storage -- Blockchain-based Integrity Auditing with Secure Deduplication in Cloud Storage -- Name Disambiguation Based on Entity Relationship Graph in Big Data -- Ontology-based metadata model design of data governance system -- Ontology-based Combat Force Modeling and Its Intelligent Planning Using Genetic Algorithm -- Research on Multi-channel Retrieve Mechanism Based on Heuristic -- Big-Model Methods -- PoetryBERT: Pre-Training with Sememe Knowledge for Classical Chinese Poetry -- Image hide with Invertible Network and Swin Transformer -- Modeling and Analysis of Combat System Confrontation Based on Large-scale Knowledge Graph Network -- Generating Aversarial Exmaples and Other Applications -- Generating Adversarial Malware Examples for Black-Box Attacks Based on GAN -- Defending Adversarial Examples by Negative Correlation Ensemble -- Accurate Decision-Making Method for Air Combat Pilots based on Data-Driven -- Establishment of Empirical Expression of Atmospheric Scattering Coecient for Line-of-sight Ultraviolet Propagation in Coastal Area.…”
    Call Number: Located:
    Find It
    Online Conference Proceeding Book
  3. 3

    Innovative computing. proceedings of IC 2023 / Vol 1, Emerging topics in artificial intelligence :

    Published 2023
    Table of Contents: “…Intro -- Contents -- The International Workshop on Technique for Language and Literature Information Modeling (LIM 2023) -- A Study on Data Mining for Type of Korean Painting Poetry -- 1 Introduction -- 2 Research Methods -- 2.1 Data -- 2.2 Data Mining Techniques -- 3 Result -- 3.1 Extracting and Cataloguing -- 3.2 Type Classification -- 3.3 Syllable Unit Segments and Statistics -- 3.4 Analysis of the Meaning of Corpus -- 4 Conclusion -- References -- A Big Data Based Learning Model from Student Questionnaire -- 1 Introduction -- 2 Related Works -- 2.1 Big Data -- 2.2 Learning Model…”
    Call Number: Located:
    Find It
    Online Conference Proceeding Book
  4. 4

    Intelligent computing : proceedings of the 2023 Computing Conference. Volume 1 /

    Published 2023
    Call Number: Located:
    Find It
    Online Conference Proceeding Book
  5. 5

    Artificial neural networks and machine learning - ICANN 2023 : 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023 : procee...

    Published 2023
    Table of Contents: “…2RDA: Representation and Relation Distillation with Data Augmentation -- A Document-Level Relation Extraction Framework with Dynamic Pruning -- A Global Feature Fusion Network for Lettuce Growth Trait Detection -- Adaptive Embedding and Distribution Re-Margin for Long-tail Recognition -- Adaptive Propagation Network Based on Multi-Scale Information Fusion -- An Efficient Approach for Improving the Recall of Rough Abstract Retrieval in Scientific Claim Verification -- An Explainable Feature Selection Approach for Fair Machine Learning -- Anchor link prediction based on trusted anchor re-identification -- Application of Data Encryption in Chinese Named Entity Recognition -- Attractor dynamics drive flexible timing in birdsong -- Boost Predominant Instrument Recognition Performance with MagiaSearch and MagiaClassifier -- Can Machine Learning Support Improvement in Effective Nutrition of patients in Critical Care Units? …”
    Call Number: Located:
    Find It
    Online Conference Proceeding Book
  6. 6

    Algorithms and architectures for parallel processing : 21st International Conference, ICA3PP 2021, Virtual event, December 3-5, 2021, Proceedings. Part III /

    Published 2022
    Table of Contents: “…Blockchain Systems -- StateSnap: A State-Memorized P2P Storage Network for Blockchain NFT Content Data -- Towards Requester-Provider Bilateral Utility Maximization and Collision Resistance in Blockchain-based Microgrid Energy Trading -- Evaluating the Parallel Execution Schemes of Smart Contract Transactions in Different Blockchains: An Empirical Study -- Misbehavior Detection in VANET Based on Federated Learning and Blockchain -- Data Science -- ABE-AC4DDS: An Access Control Scheme based on Attribute-Based Encryption for Data Distribution Service -- An Interactive Visual System for Data Analytics of Social Media -- Auto-Recon: an Automated Network Reconnaissance System Based on Knowledge Graph -- INGCF: An Improved Recommendation Algorithm Based on NGCF -- Distributed and Network-based Computing -- AutoFlow: Hotspot-Aware, Dynamic Load Balancing for Distributed Stream Processing -- BMTP: Combining Backward Matching with Tree-based Pruning for Large-scale Content-based Pub/Sub Systems -- AF-TCP: Traffic Congestion Prediction at Arbitrary Road Segment and Flexible Future Time -- Collaborative QoS Prediction via Context-Aware Factorization Machine -- TDCT: Target-Driven Concolic Testing Using Extended Units by Calculating Function Relevance -- Multi-Task Allocation Based on Edge Interaction Assistance in Mobile Crowdsensing -- A Variable-way Address Translation Cache for the Exascale Supercomputer -- PPCTS: Performance Prediction-based Co-located Task Scheduling in Clouds -- Edge Computing and Edge Intelligence -- Risk-Aware Optimization of Distribution-based Resilient Task Assignment in Edge Computing -- Budget-aware Scheduling for Hyperparameter Optimization Process in Cloud Environment -- Workload Prediction and VM Clustering Based Server Energy Optimization in Enterprise Cloud Data Center -- Soft Actor-Critic-Based DAG Tasks Offloading in Multi-Access Edge Computing with Inter-User Cooperation -- Service Dependability and Security Algorithms -- Sensor Data Normalization among Heterogeneous Smartphones for Implicit Authentication -- Privacy-Preserving and Reliable Federated Learning -- Security Authentication of Smart Grid Based on RFF -- SEPoW: Secure and Efficient Proof of Work Sidechains -- A Spectral Clustering Algorithm Based on Differential Privacy Preservation -- A Compact Secret Image Sharing Scheme Based on Flexible Secret Matrix Sharing Scheme -- Robust Multi-Model Personalized Federated Learning via Model Distillation -- V-EPTD: A Verifiable and Efficient Scheme for Privacy-preserving Truth Discovery -- FedSP: Federated Speaker Verification with Personal Privacy Preservation -- Security Performance Analysis for Cellular Mobile Communication System with Randomly-Located Eavesdroppers -- Short and Distort: A New Manipulation as Opposed to Pump and Dump in the Cryptocurrency Market -- Privacy-preserving Swarm learning Based on Homomorphic Encryption -- Software Systems and Efficient Algorithms -- A modeling and verification method of Modbus TCP / IP protocol -- Completely Independent Spanning Trees in the Line Graphs of Torus Networks -- Adjusting OBSS/PD based on fuzzy logic to improve throughput of IEEE 802.11ax network -- Two-Stage Evolutionary Algorithm Using Clustering for Multimodal Multi-Objective Optimization with Imbalance Convergence and Diversity -- SLA: A Cache Algorithm for SSD-SMR Storage System with Minimum RMWs -- Trajectory Similarity Search with Multi-level Semantics -- Nonnegative Matrix Factorization Framework For disease-related CircRNA prediction -- A Fast Authentication and Key Agreement Protocol Based on Time-sensitive Token for Mobile Edge Computing -- Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers -- NEPG: Partitioning Large-Scale Power-Law Graphs -- Accelerating DCNNs via Cooperative Weight/Activation Compression -- PFA: performance and fairness-aware LLC partitioning method -- SGP: A Parallel Computing Framework for Supporting Distributed Structural Graph Clustering -- LIDUSA -- A Learned Index Structure for Dynamical Uneven Spatial Data -- Why is Your Trojan NOT Responding? …”
    Call Number: Located:
    Find It
    Online Conference Proceeding Book
  7. 7

    Proceedings of the International Conference on Computational Intelligence and Sustainable Technologies : ICoCIST 2021 /

    Published 2022
    Call Number: Located:
    Find It
    Online Conference Proceeding Book
  8. 8
  9. 9

    Human aspects of information security and assurance : 16th IFIP WG 11.12 international symposium, HAISA 2022, Mytilene, Lesbos, Greece, July 6-8, 2022 : proceedings /

    Published 2022
    Table of Contents: “…Why -- A Survey of Australian Attitudes Towards Privacy: Some Preliminary Results -- Designing and Evaluating a Prototype for Data-related Privacy Controls in a Smart Home -- Cyber Security Management -- An Exploratory Factor Analysis of Personality Factors: An Insider Threat Perspective -- Policy components - a conceptual model for tailoring information security policies -- Security fatigue: A case study of data specialists -- Factors Influencing Cybercrime Reporting Behaviour in South African State-Owned Entities -- Online security attack experience and worries of young adults in the United Kingdom -- PowerQoPE: A Personal Quality of Internet Protection and Experience Configurator.…”
    Call Number: Located:
    Find It
    Online Conference Proceeding Book
  10. 10

    Information and communication technologies : 10th Ecuadorian conference, TICEC 2022, Manta, Ecuador, October 12-14, 2022 : proceedings /

    Published 2022
    Table of Contents: “…Intro -- Preface -- Organization -- Contents -- ICT's Applications -- An Online BCI System Based in SSVEPs to Control IoT Devices -- 1 Introduction -- 2 State of Art -- 3 Methodology -- 4 Development of the Solution -- 4.1 First Increment -- 4.2 Second Increment -- 4.3 Third Increment -- 4.4 Fourth Increment -- 4.5 Test of the Integrated Prototype -- 5 Results and Discussion -- 5.1 Results -- 5.2 Discussion -- 6 Conclusions -- References -- Collision Avoidance Simulation Using Voronoi Diagrams in a Centralized System of Holonomic Multi-agents -- 1 Introduction -- 2 Related Work…”
    Call Number: Located:
    Find It
    Online Conference Proceeding Book
  11. 11

    Infinite dimensional analysis, quantum probability and applications : QP41 Conference, Al Ain, UAE, March 28-April 1, 2021 /

    Published 2022
    Call Number: Located:
    Find It
    Online Conference Proceeding Book
  12. 12

    Search-based software engineering : 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, Proceedings /

    Published 2022
    Table of Contents: “…3.3 Test Execution with a Surrogate Model -- 4 Evaluation -- 4.1 Experimental Setup -- 4.2 Experiments -- 4.3 RQ1: State Equivalence Levels -- 4.4 RQ2: Effects on App Restarts -- 4.5 RQ3: Effects on Tests and Coverage -- 5 Related Work -- 5.1 State Equivalence -- 5.2 Surrogate Models in Automated Testing -- 6 Conclusions -- References -- Guess What: Test Case Generation for Javascript with Unsupervised Probabilistic Type Inference -- 1 Introduction -- 2 Background and Related Work -- 3 Approach -- 3.1 Phase 1: Static Analysis -- 3.2 Phase 2: Unsupervised Static Type Inference…”
    Call Number: Located:
    Find It
    Online Conference Proceeding Book
  13. 13

    HCI International 2022-- late breaking posters : 24th International Conference on Human-Computer Interaction, HCII 2022, virtual event, June 26-July 1, 2022, proceedings. Part I /

    Published 2022
    Table of Contents: “…Focusing on Mobile ICT Services -- Understanding Users' Perception of Cute Aesthetics in Mobile Interface Design -- The Impact of Personality on Gamification Interfaces -- Human-Computer Interaction Challenges and Opportunities in the Arab World Design Education -- A Novel System Based on a Smart Toy Responding to Child's Facial Expressions: Potential Use in Early Treatment of Autism Spectrum Disorders -- Assistive Technology on Demand (AToD) + Morphic 2.0 - Changing What is Possible with Assistive Technologies and Who Can Benefit -- Research on the Design of Series Emoticons Based on the User Cognition Experiment -- Empathy Between Designers in the Design Synthesis Stage -- Model Proposal of Designerly Ways of Material Thinking from the Viewpoints of Sustainable Transitions -- Tactile Cognition and Art Product Design for The Blind Based on Emotional Interaction -- HCI Research and Design across Cultures -- Comparison of Online Transportation Policy Problems Between Major Cities in Indonesia -- The Cross-Cultural Acceptance of Japanese Animation, Analysis of Social Media -- Character Evaluation and Derivative Product Design of "Hetalia" Based on Kansei Image -- Understanding Agendas of Unmanned Stores: The Case of South Korea -- Cultural Discourse on Keyboards: The Selection of Alphabets -- Research on Visual Design of Tibetan Medicine Mud Mask based on HTML5 Technology -- Taking Tibetan Medicine Mud Mask as an Example -- Research on Visual Design of Tibetan Medicine Mud Mask based on HTML5 Technology -- Taking Tibetan Medicine Mud Mask as an Example -- Cultural Heritage Experience Design -- A Deep Learning Approach to Search the Artwork in Art Museums Utilizing Instagram Hashtags -- A Deep Learning Approach to Search the Artwork in Art Museums Utilizing Instagram Hashtags -- Computer Reshaping the View of Objects-The Operational Aesthetics of Generative Art -- Digital Chuimsae: Evolution of Korean Traditional Performing Arts -- Metaverse-Driven Interactive Performing Arts Contents Development -- Cultural Heritage through Educational Robots: Using a Ukrainian Folk Tale with a Programmable Robot in Early Childhood Education -- Research on Data Storytelling Strategies for Cultural Heritage Transmission and Dissemination -- A Study of Visitor Interaction with Virtual Museum -- Exploring the Applications of Computational Thermochromic Embroidery Interfaces -- Case Study of Interactive Art Intervening in Psychotherapy -- Analysis of the Attainable Design Paths of Non-heritage Cultural Tourism Immersion Experience - An Example of the Tujia City Living Room Project in Enshi Prefecture -- Web-based Authoring Tool for Virtual Exhibitions -- HCI for Health and Wellbeing -- Detecting Early Warning Indicators of Covid-19 Pandemic in the Context of United States: An Exploratory Data Analysis -- Bringing Innovation to the Medical Sector Through the Role of the Medical Designer: a Study on the Error Factor of Pump-Syringe Devices and a UX/UI Design Proposal -- Empathic Smart Conversational Agent for Enhanced Recovery from Abdominal Surgery at Home -- Empathic Smart Conversational Agent for Enhanced Recovery from Abdominal Surgery at Home -- Management of Electronic Medical Records. …”
    Call Number: Located:
    Find It
    Online Conference Proceeding Book
  14. 14

    Theory and applications of models of computation : 17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022 proceedings /

    Published 2022
    Table of Contents: “…Maximization of k-Submodular Function with a Matroid Constraint -- Maximizing Approximately Non-k-Submodular Monotone Set Function with Matroid Constraint -- Time-of-Use Scheduling Problem With Equal-Length Jobs -- Online Non-Submodular and Non-Convex Optimization with Stochastic Long-Term Constraints -- Physical ZKP for Makaro Using a Standard Deck of Cards -- Characterization of the Imbalance Problem on Complete Bipartite Graphs -- New Algorithms for a Simple Measure of Network Partitioning -- On Two Types of Concept Lattices in the Theory of Numberings -- Computing Connected-k-Subgraph Cover with Connectivity Requirement -- Analyzing the 3-Path Vertex Cover Problem in Planar Bipartite Graphs -- Competition-Based Generalized Self-profit Maximization in Dual-Attribute Networks -- Largest Convex Hull for Constant Size, Convex-Hull Disjoint Clusters -- Two-Stage Submodular Maximization Under Knapsack Problem -- (Z, succ, U), (Z, E, U), and their CSP's -- Circle Graph Isomorphism in Almost Linear Time -- The Exact Subset MultiCover Problem -- Hide a Liar: Card-Based ZKP Protocol for Usowan -- Complexity Analysis of a Stochastic Variant of Generalized Alternating Direction Method of Multipliers -- A 3/4 Differential Approximation Algorithm for Traveling Salesman Problem -- Exact and Parameterized Algorithms for Restricted Subset Feedback Vertex Set in Chordal Graphs -- An Approximation Algorithm for the B-prize-collecting Multicut Problem in Trees -- Two-Stage Non-Submodular Maximization -- Fault-Tolerant Total Domination via Submodular Function Approximation -- On the Parallel Complexity of Constrained Read-Once Refutations in UTVPI Constraint Systems -- Extracting Densest Sub-Hypergraph with Convex Edge-Weight Functions -- Exact and Approximation Algorithms for PMMS Under Identical Constraints -- Finite-State Relative Dimension, Dimensions of AP Subsequences and a Finite-State van Lambalgen's Theorem -- Distributed Connected Dominating Sets in Unit Square and Disk Graphs -- An Inventory System Optimization for Solving Joint Pricing and Ordering Problem with Trapezoidal Demand and Partial Backlogged Shortages in a Limited Sales Period -- A Set-Theoretic Representation of Algebraic L-Domains -- Normality, Randomness and Kolmogorov Complexity of Continued Fractions -- Weakly k-Submodular Maximization Under Matroid Constraint -- Approximation Algorithms for Diversity-Bounded Center Problems. .…”
    Call Number: Located:
    Find It
    Online Conference Proceeding Book
  15. 15

    Programming languages and systems : 30th European Symposium on Programming, ESOP 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021...

    Published 2021
    Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic.…”
    Call Number: Located:
    Find It
    Online Conference Proceeding Book
  16. 16

    Operator theory, functional analysis and applications /

    Published 2021
    Table of Contents: “…Extended Heinz and Jensen type inequalities and rearrangements -- On some applications of representable functionals of a Banach quasi *-algebra -- Minimality properties of Sturm-Liouville problems with increasing affine boundary conditions -- Scattering, spectrum and resonance states completeness for quantum graph with Rashba Hamiltonian -- Tau functions associated with linear systems -- Groups of orthogonal matrices all orbits of which generate lattices -- Invertibility issues for Toeplitz plus Hankel operators and their close relatives -- K-inner functions and K-contractions -- Tight and cover-to-join representations of semilattices and inverse semigroups -- Calkin images of Fourier convolution operators with slowly oscillating symbols -- Inner outer factorization of wide rational matrix valued functions on the half plane -- Convergence rates for solutions of inhomogeneous ill-posed problems in Banach space with sufficiently smooth data -- A closer look at Bishop operators -- Products of unbounded Bloch functions -- Birkhoff-James orthogonality and applications: a survey -- The generalized complex on the Segal Bargmann space -- The inverse characteristic polynomial problem for trees -- A note on the Fredholm theory of singular integral operators with Cauchy and Mellin kernels, II -- A note on group representations, determinantal hypersurfaces and their quantizations -- Algebras generated by Toeplitz Operators on the unit sphere II: Non commutative case -- d-modified Riesz potentials on central Campanato spaces -- On some consequences of the solvability of the Caffarelli-Silvestre extension problem -- Time-dependent approach to the uniqueness of the Sommerfeld solution of the diffraction problem by a half-plane -- On the operator Jensen-Mercer inequality -- A numerical approach for approximating variable-order fractional integral operator -- Langlands reciprocity for C*-algebras -- Compact sequences in quasifractal algebras -- Dilation theory: a guided tour -- Riesz-Fischer maps, Semi-frames and Frames in rigged Hilbert spaces -- Periodic coherent states decomposition and quantum dynamics on the flat torus.…”
    Call Number: Located:
    Find It
    Online Conference Proceeding Book
  17. 17

    Design, user experience, and usability : design for diversity, well-being, and social development : 10th International Conference, DUXU 2021, held as part of the 23rd HCI Internati...

    Published 2021
    Table of Contents: “…Cultural Usability of E-Government Portals: A Comparative Analysis of Job Seeking Web Portals Between Saudi Arabia and the United States -- Spatial Analysis and Comfort Optimal Experience Design of Rural Landscape in Water Network Area of Southern China -- Relations on Cultural Behavior and Technology Adoption: A Chilean User Experience Centred Application Design of Multivariate Landscape in Kulangsu, Xiamen -- A Study on the Application of Innovative Strategies on Intelligent Mutual-Aid Delivery Services on College Campuses -- Product Interventions and User Performance: Implications for Public Design to Achieve Sustainable Practice -- Participatory Design to Create Digital Technologies for Batik Intangible Cultural Heritage. …”
    Call Number: Located:
    Find It
    Online Conference Proceeding Book
  18. 18
  19. 19

    Artificial intelligence XXXVII : 40th SGAI International Conference on Artificial Intelligence, AI 2020, Cambridge, UK, December 15-17, 2020 : proceedings /

    Published 2020
    Table of Contents: “…Technical Papers -- Exposing Students to New Terminologies While Collecting Browsing Search Data -- Neural Nets and Knowledge Management -- Symbolic Explanation Module for Fuzzy Cognitive Map-based Reasoning Models -- Overlap Training to Mitigate Inconsistencies Caused by Image Tiling in CNNs -- The Use of Max-Sat for Optimal Choice of Automated Theory Repairs -- Machine Learning -- Mining Interpretable Rules for Sentiment and Semantic Relation Analysis using Tsetlin Machines -- Personalised Meta-Learning for Human Activity Recognition with Few-data -- CostNet: An End-to-End Framework for Goal-Directed Reinforcement Learning -- A Novel Multi-Step Finite-State Automaton for Arbitrarily Deterministic Tsetlin Machine Learning -- Accelerating the Training of an LP-SVR over Large Datasets -- Short Technical Stream Papers -- Learning Categories with Spiking Nets and Spike Timing Dependent Plasticity -- Developing Ensemble Methods for Detecting Anomalies in Water Level Data -- Detecting Node Behaviour Changes in Subgraphs -- ReLEx: Regularisation for Linear Extrapolation in Neural Networks with Rectified Linear Units -- Application Papers -- Partial-ACO Mutation Strategies to Scale-up Fleet Optimisation and Improve Air Quality -- Industrial Applications -- A Metaheuristic Search Technique for Solving the Warehouse Stock Management Problem and the Routing Problem in a Real Company -- Investigating the Use of Machine Learning for South African Edible Garnish Yield Prediction -- Semantic Technologies Towards Accountable Artificial Intelligence: A Poultry Chain Management Use Case -- Short-term Forecasting Methodology for Energy Demand in Residential Buildings and the Impact of the COVID-19 Pandemic on Forecasts -- Weather Downtime Prediction in a South African Port Environment -- Advances in Applied AI -- Software Fault Localisation via Probabilistic Modelling -- Candidates Reduction and Enhanced Sub-Sequence-Based Dynamic Time Warping: A Hybrid Approach -- Ensemble-Based Relationship Discovery in Relational Databases -- Intention-Aware Model to Support Agent Deliberation in a Large-Scale Dynamic Multi-Agent Application -- Medical and Legal Applications -- Combining Bandits and Lexical Analysis for Document Retrieval in a Juridical Corpora -- In-Bed Human Pose Classification Using Sparse Inertial Signals -- Maintaining Curated Document Databases Using a Learning to Rank Model: The ORRCA Experience -- What Are We Depressed About When We Talk About COVID-19: Mental Health Analysis on Tweets Using Natural Language Processing -- Short Application Stream Papers -- Using Sentence Embedding For Cross-Language Plagiarism Detection -- Leveraging Anomaly Detection for Proactive Application Monitoring -- Using Active Learning to Understand the Videoconference Experience: A Case Study -- An Application of EDA and GA for Permutation Based Spare Part Allocation Problem -- Do You Remember Me? …”
    Call Number: Located:
    Find It
    Online Conference Proceeding Book
  20. 20

    Brain health across the life span : proceedings of a workshop / by Nicholson, Anna

    Published 2020
    Call Number: Located:
    Find It
    Online Conference Proceeding Book