advances in computingscience--asian '99 : 5thasiancomputingscienceconference, Phuket, thailand, December 10-12, 1999 : Proceedings by asiancomputingscienceconference (5th : 1999 : Phuket, thailand); thiaga...
详细信息
advances in computingscience--asian '99 : 5thasiancomputingscienceconference, Phuket, thailand, December 10-12, 1999 : Proceedings by asiancomputingscienceconference (5th : 1999 : Phuket, thailand); thiagarajan, P. S; Yap, Roland H. C., 1963-; published by Berlin ; New York : Springer
Cricket, one of the world's most popular sports, has developed considerably during the past few decades. the competition and complexity of this sport increased largely during the past few years, which brought the ...
详细信息
the proceedings contain 21 papers. the special focus in this conference is on Longitudinal Disease Tracking and Modeling with Medical Images and Data. the topics include: Disease Progression Modelling and Stratif...
ISBN:
(纸本)9783031845246
the proceedings contain 21 papers. the special focus in this conference is on Longitudinal Disease Tracking and Modeling with Medical Images and Data. the topics include: Disease Progression Modelling and Stratification for Detecting Sub-trajectories in the Natural History of Pathologies: Application to Parkinson’s Disease Trajectory Modelling;back to the Future: Challenges of Sparse and Irregular Medical Image Time Series;Individualized Multi-horizon MRI Trajectory Prediction for Alzheimer’s Disease;towards Longitudinal Characterization of Multiple Sclerosis Atrophy Employing SynthSeg Framework and Normative Modeling;segHeD: Segmentation of Heterogeneous Data for Multiple Sclerosis Lesions with Anatomical Constraints;Longitudinal Segmentation of MS Lesions via Temporal Difference Weighting;registration of Longitudinal Liver Examinations for Tumor Progress Assessment;Tracking Lesion Evolution Using a Boundary Enhanced Approach for MS Change Segmentation (BEAMS);a Radiological-Based Coordinate System for the Human Body: A Proof-of-Concept;language Models Meet Anomaly Detection for Better Interpretability and Generalizability;A Diffusion Model Embedded WCSAU-Net for 3D MRI Brain Tumor Segmentation;predicting Human Brain States with Transformer;Cross-Modality Image Quality Prediction for Time-Resolved CT from Breathing Signals;RATNUS: Rapid, Automatic thalamic Nuclei Segmentation Using Multimodal MRI Inputs;HyperMM: Robust Multimodal Learning with Varying-Sized Inputs;HEMIT: H&E to Multiplex-Immunohistochemistry Image Translation with Dual-Branch Pix2pix Generator;Physics-Informed Latent Diffusion for Multimodal Brain MRI Synthesis;medPromptX: Grounded Multimodal Prompting for Chest X-Ray Diagnosis;predicting Stroke through Retinal Graphs and Multimodal Self-supervised Learning;multimodality for Diagnosis of asian Choroidal Vasculopathy: Results from a Novel Dataset and Deep-Learning Experiments;multimodality Frequency Feature Customized Learning for Pediatric Ventricu
the proceedings contain 41 papers. the special focus in this conference is on advances in computingscience. the topics include: Emerging application domains and the computing fabric;the game of the name in cryptograp...
ISBN:
(纸本)354066856X
the proceedings contain 41 papers. the special focus in this conference is on advances in computingscience. the topics include: Emerging application domains and the computing fabric;the game of the name in cryptographic tables;a parallel approximation algorithm for the max cut problem on cubic graphs;rapid prototyping techniques for fuzzy controllers;transactional cache management with aperiodic invalidation scheme in mobile environments;observable sharing for functional circuit description;relating may and must testing semantics for discrete timed process algebras;a framework for formal reasoning about open distributed systems;structural sharing and efficient proof-search in propositional intuitionistic logic;verifying probabilistic programs using a hoare like logic;an expressive extension of TLC;completeness and decidability of a fragment of duration calculus with iteration;logical relations in circuit verification;lemma generalization and non-unit lemma matching for model elimination;on automating inductive and non-inductive termination methods;asynchronous links in the PBC and M-Nets;demand-driven model checking for context-free processes;programming the mobility behaviour of agents by composing itineraries;faster model checking for open systems;an argumentation approach to semantics of declarative programs with defeasible inheritance;entailment of non-structural subtype constraints;a CPS-transform of constructive classical logic;formal verification of the MCS list-based queuing lock;BDD-nodes can be more expressive;formal verification of descriptions with distinct order of memory operations;beyond tamaki-sato style unfold/fold transformations for normal logic programs and separators are as simple as cutsets.
We present a verification methodology for combinational arithmetic circuits which allows us to reason about circuits at a high level of abstraction and to have better-structured and compositional proofs. this is obtai...
详细信息
there is no well-know model for mobile agent security. One of the few attempts so far is given by [1]. the model is, however, a qualitative model that does not have direct numerical measures. It would be great if ther...
ISBN:
(纸本)354066856X
there is no well-know model for mobile agent security. One of the few attempts so far is given by [1]. the model is, however, a qualitative model that does not have direct numerical measures. It would be great if there is a quantitative model that can give user an intuitive sense of “how secure an agent is”.
We show that all minimal a-b separators (vertex sets) dis- connecting a pair of given non-adjacent vertices a and b in an undirected and connected graph with n vertices can be computed in O(n2Rab) time, where Rab is t...
详细信息
We deal withthe maximum cut problem on cubic graphs and we present a simple O(log n) time parallel algorithm, running on a CRCW PRAM with O(n) processors. the approximation ratio of our algorithm is 1(Formula Present...
详细信息
暂无评论