Mental health issues affect a significant portion of the world’s population and can result in debilitating and life-threatening outcomes. To address this increasingly pressing healthcare challenge, there is a need to...
详细信息
ISBN:
(纸本)9781450394239
Mental health issues affect a significant portion of the world’s population and can result in debilitating and life-threatening outcomes. To address this increasingly pressing healthcare challenge, there is a need to research novel approaches for early detection and prevention. Toward this, ubiquitous systems can play a central role in revealing and tracking clinically relevant behaviors, contexts, and symptoms. Further, such systems can passively detect relapse onset and enable the opportune delivery of effective intervention strategies. However, despite their clear potential, the uptake of ubiquitous technologies into clinical mental healthcare is slow, and a number of challenges still face the overall efficacy of such technology-based solutions. the goal of this workshop is to bring together researchers interested in identifying, articulating, and addressing such issues and opportunities. Following the success of this workshop for the last five years, we aim to continue facilitating the UbiComp community in developing a holistic approach for sensing and intervention in the context of mental health.
Supervoxel segmentation for video is a video pre-processing technique that groups voxels with similar spatiotemporal features into supervoxels, effectively reducing the number of elemental voxels for downstream comput...
ISBN:
(纸本)9798400708305
Supervoxel segmentation for video is a video pre-processing technique that groups voxels with similar spatiotemporal features into supervoxels, effectively reducing the number of elemental voxels for downstream computer vision applications, or applications in other fields, e.g., hardware design or video visualization. Existing methods for video supervoxel generation primarily rely on traditional techniques, such as graph theory, mean shift, and clustering, which have yielded promising results. Recent deep learning-based methods mainly worked on object segmentation or semantic segmentation from videos, paying less attention to video oversegmentation. However, the quality of supervoxels directly affects the results of subsequent tasks. In this paper, we introduce a novel approach SVNet which enables direct end-to-end segmentation of voxels into supervoxels from a deep iterative clustering network. the process begins by utilizing the spatiotemporal features learned by the deep neural network to construct a soft association map between voxels and supervoxels. Subsequently, through an iterative update process, the features of supervoxels and the soft association map between voxels and supervoxels are continually refined to enhance the accuracy of voxels segmentation into supervoxels withthe supervised loss using the reconstructed video features and labels. We evaluate our method and the representative supervoxel algorithms for their capability on the performance of video segmentation. Experiments show that our SVNet excels particularly in terms of the BRD metric, and its accuracy is roughly on par withthe compared methods.
the proceedings contain 44 papers. the topics discussed include: overview of pheromone control method based on ant colony algorithm in wireless communication;fundamental phase-matched second harmonic generation from m...
ISBN:
(纸本)9781728104263
the proceedings contain 44 papers. the topics discussed include: overview of pheromone control method based on ant colony algorithm in wireless communication;fundamental phase-matched second harmonic generation from mid-infrared to near-infrared;enhanced performance of data interleaved and block hybrid modulation bitloading algorithms in underwater VLC system;research on physical downlink control channel transmission mode for 5G new radio;nonlinear characteristic analysis of ballistocardiogram signals based on chaotic time series;the auto-focus method on scanning acoustic microscope based on wavelet analysis;new investment strategy based on the big data-volatility index breaking out signal rule;and design of double resonant coil ferrite rod antenna for RF energy harvesting on MF band.
the proceedings contain 11 papers. the topics discussed include: overcoming load imbalance for irregular sparse matrices;optimizing Word2Vec performance on multicore systems;parallel depth-first search for directed ac...
ISBN:
(纸本)9781450351362
the proceedings contain 11 papers. the topics discussed include: overcoming load imbalance for irregular sparse matrices;optimizing Word2Vec performance on multicore systems;parallel depth-first search for directed acyclic graphs;progressive load balancing of asynchronous algorithms;a case for migrating execution for irregular applications;pressure-driven hardware managed thread concurrency for irregular applications;an efficient data layout transformation algorithm for locality-aware parallel sparse FFT;spherical region queries on multicore architectures;evaluation of knight landing high bandwidth memory for HPC workloads;enabling work-efficiency for high performance vertex-centric graph analytics on GPUs;and accelerating energy games solvers on modern architectures.
the proceedings contain 22 papers. the special focus in this conference is on theoretical Aspects of computing. the topics include: A New Connective in Natural Deduction, and Its Application to Quantum computing;an In...
ISBN:
(纸本)9783030853143
the proceedings contain 22 papers. the special focus in this conference is on theoretical Aspects of computing. the topics include: A New Connective in Natural Deduction, and Its Application to Quantum computing;an Incentive Mechanism for Trading Personal Data in Data Markets;assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions;compositional Analysis of Protocol Equivalence in the Applied π -Calculus Using Quasi-open Bisimilarity;card-Based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations;normalising Lustre Preserves Security;learning Probabilistic Automata Using Residuals;AlCons : Deductive Synthesis of Sorting algorithms in theorema;reactive Synthesis from Visibly Register Pushdown Automata;qualitative–Quantitative Reasoning: thinking Informally About Formal things;complexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs;a Calculus for Attribute-Based Memory Updates;a Proof Method for Local Sufficient Completeness of Term Rewriting systems;some Aspects of the Database Resilience;on the Correctness Problem for Serializability;a Set Automaton to Locate All Pattern Matches in a Term;Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs;a Divide & Conquer Approach to Conditional Stable Model Checking;certifying Choreography Compilation;a Mechanically Verified theory of Contracts.
the proceedings contain 82 papers. the topics discussed include: flushing pressure automation for efficient machining in EDM process;a dynamic controller for PDE-based systems;optimal fractional order PID controller d...
ISBN:
(纸本)9781728137872
the proceedings contain 82 papers. the topics discussed include: flushing pressure automation for efficient machining in EDM process;a dynamic controller for PDE-based systems;optimal fractional order PID controller design for fractional order systems by stochastic multi parameter divergence optimization method with different random distribution functions;design and development of a low-cost high-G centrifuge system (cyclone);on practical input-output finite-time stability based on principle of self-support;concept for improved automation of distributed systems with a declarative control based on OPC UA and REST;interactive rehabilitation using a general-purpose industrial robot;and an experimental networked control system with fractional order delay dynamics.
the proceedings contain 34 papers. the topics discussed include: new technological possibilities for swimming research and monitoring training;the role of imaging and simulation technologies in understanding the biome...
ISBN:
(纸本)9789897583834
the proceedings contain 34 papers. the topics discussed include: new technological possibilities for swimming research and monitoring training;the role of imaging and simulation technologies in understanding the biomechanics and loading of the musculoskeletal system in-vivo;biomechanics in alpine ski racing: a challenge on performance and safety;a case study of alpine and freestyle snowboard turn measurement;analysis of sensor locations on human body for wearable sensor based activity classification during fast bowling in cricket;biomechanical characteristics of elite female Australian rules football preferred and non-preferred drop punt kicks;variation in the uncoupling proteins genes in different sports;apparel concept design for analyzing range of motion at the hip to prevent injury;and simulation model for road cycling time trials with a non-constant drag area.
the proceedings contain 59 papers. the topics discussed include: realization of a machine learning domain specific modeling language: a baseball analytics case study;unifying modeling and programming with valkyrie;met...
ISBN:
(纸本)9789897583582
the proceedings contain 59 papers. the topics discussed include: realization of a machine learning domain specific modeling language: a baseball analytics case study;unifying modeling and programming with valkyrie;meta-models combination for reusing verification techniques;resolving the asymmetry of on-exit versus on-entry in executable models of behavior;model federation based on role modeling;single underlying models for projectional, multi-view environments;decoupling language and editor - the impact of the language server protocol on textual domain-specific languages;on-the-fly construction of composite events in scenario-based modeling using constraint solvers;generic framework for evaluating commutativity of multi-variant model transformations;and executable state machines derived from structured textual requirements - connecting requirements and formal system design.
Automatic Hand Gesture Recognition has become more important in recent years. Due to an increasing number of the deaf and hearing impaired, the use of a variety of non-contact-based applications and devices has also b...
详细信息
the proceedings contain 26 papers. the topics discussed include: using a fine-tuning method for a deep authentication in mobile cloud computing based on tensorflow lite framework;a blind image watermarking method for ...
ISBN:
(纸本)9781728126425
the proceedings contain 26 papers. the topics discussed include: using a fine-tuning method for a deep authentication in mobile cloud computing based on tensorflow lite framework;a blind image watermarking method for personal medical data security;efficient end-to-end security scheme for privacy-preserving in IoT;mapping and scheduling techniques in NoC: a survey of the state of the art;anti-shoulder surfing login based on multi-entry models on onscreen keyboard;a review of clustering algorithms for big data;transmission range adjustment influence on location privacy-preserving schemes in VANETs;and an efficient multiple-classifier system for Arabic calligraphy style recognition.
暂无评论