Intestinal parasite infections are a global health problem. In 2022, the WHO estimates that up to 1.2 billion people will be infected with Ascaris lumbricoides. Diagnosis is conducted by analyzing faecall samples unde...
详细信息
Aiming at the problems of low recognition rate of Chinese dialects and poor robustness in noisy environment, this paper proposes an improved feature extraction algorithm, which combines the Sparrow Search Algorithm (S...
详细信息
In contemporary medical technologies, tongue imaging plays a crucial role in diagnosing various diseases, particularly within traditional Chinese medicine, where tongue diagnosis is a critical component. this study ai...
详细信息
Penile cancer, although rare, has an increasing mortality rate in Brazil, highlighting the need for effective diagnostic methods. Artificial Intelligence (AI) in histopathological analysis can speed up and objectify d...
详细信息
this article presents a new convolutional neural network DualAttentionNet, for classifying thoracic diseases in chest X-ray images. Radiological interpretation can be challenging, especially when a patient presents mu...
详细信息
the proceedings contain 16 papers. the special focus in this conference is on distributedcomputing and Artificial Intelligence. the topics include: the Bayesian cost–effectiveness decision problem;evaluation of scie...
ISBN:
(纸本)9783319608815
the proceedings contain 16 papers. the special focus in this conference is on distributedcomputing and Artificial Intelligence. the topics include: the Bayesian cost–effectiveness decision problem;evaluation of scientific production without using bibliometric indicators;information aggregation in big data;a decision framework for understanding data-aware business process models;cluster analysis as a decision-making tool;similar patterns of cultural and creative industries;a basic algorithm to support decision-making behaviour;looking for regional convergence;information manipulation and web credibility;a data mining analysis of the Chinese inland-coastal inequality;a unified framework for multicriteria evaluation of intangible capital assets inside organizations;processing and analysing experimental data using a tensor-based method and the mediating effect of the absorptive capacity in the international entrepreneurial orientation of family firms.
In the edge computing paradigm, applications can be deployed on edge servers, providing low-latency services to users. However, limited resources and the risk of server failures pose significant challenges to ensuring...
详细信息
the proceedings contain 16 papers. the special focus in this conference is on Coordination Models and Languages. the topics include: Replica-based high-performance tuple space computing;investigating fluid-flow semant...
ISBN:
(纸本)9783319192819
the proceedings contain 16 papers. the special focus in this conference is on Coordination Models and Languages. the topics include: Replica-based high-performance tuple space computing;investigating fluid-flow semantics of asynchronous tuple-based process languages for collective adaptive systems;a coordination model based on logic inference;distributed logic programming for decentralized mobile ensembles;safe runtime updates of distributed applications;type reconstruction algorithms for deadlock-free and lock-free linear π-calculi;a fixpoint-based calculus for graph-shaped computational fields;take command of your constraints;a labelled semantics for soft concurrent constraint programming;parallelisation and application of AD3 as a method for solving large scale combinatorial auctions;handling agent perception in heterogeneous distributedsystems;blending event-based and multi-agent systems around coordination abstractions;a modeling language for distributed database applications;open transactions on shared memory;VISIRI - distributed complex event processing system for handling large number of queries.
the proceedings contain 16 papers. the special focus in this conference is on Formal Techniques for distributed Objects, Components and systems. the topics include: Types for deadlock-free higher-order programs;on par...
ISBN:
(纸本)9783319191942
the proceedings contain 16 papers. the special focus in this conference is on Formal Techniques for distributed Objects, Components and systems. the topics include: Types for deadlock-free higher-order programs;on partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency;a strategy for automatic verification of stabilization of distributed algorithms;faster linearizability checking via P-compositionality;translation validation for synchronous data-flow specification in the signal compiler;dynamic causality in event structures;loop freedom in AODVv2;code mobility meets self-organisation;timely dataflow;difference bound constraint abstraction for timed automata reachability checking;compliance and subtyping in timed session types;type checking privacy policies in the π-calculus;extending testing automata to all LTL;simple isolation for an actor abstract machine and sliced path prefixes.
Online retail sales continue to grow, presenting couriers companies with a chance to enhance their market presence. Couriers must keep up withthis trend in package processing and delivery. A modern solution is the us...
详细信息
暂无评论