This workshop aims at bringing together researchers and practitioners from different disciplines to explore the challenges and opportunities of novel approaches to collective intelligence, crowdsourcing and human comp...
详细信息
ISBN:
(纸本)9783319151687;9783319151670
This workshop aims at bringing together researchers and practitioners from different disciplines to explore the challenges and opportunities of novel approaches to collective intelligence, crowdsourcing and human computation that address social aspects as a core element of their design principles, implementations or scientific investigation.
The proceedings contain 37 papers. The special focus in this conference is on EvoIASP Talks and EvoIASP Posters. The topics include: Special purpose image convolution with evolvable hardware;stereoscopic vision for a ...
ISBN:
(纸本)3540673539
The proceedings contain 37 papers. The special focus in this conference is on EvoIASP Talks and EvoIASP Posters. The topics include: Special purpose image convolution with evolvable hardware;stereoscopic vision for a humanoid robot using genetic programming;a faster genetic clustering algorithm;scene interpretation using semantic nets and evolutionary computation;evolutionary wavelet bases in signal spaces;the ultra high tech approach;sound localization for a humanoid robot by means of genetic programming;on the scalability of genetic algorithms to very large-scale feature selection;combining evolutionary, connectionist, and fuzzy classification algorithms for shape analysis;experimental determination of drosophila embryonic coordinates by genetic algorithms, the simplex method, and their hybrid;a genetic algorithm with local search for solving job shop problems;distributed learning control of traffic signals;time series prediction by growing lateral delay neural networks;trajectory controller network and its design automation through evolutionary computing;evolutionary computation and nonlinear programming in multi-model-robust control design and benchmarking cost-assignment schemes for multi-objective evolutionary algorithms.
The proceedings contain 17 papers. The topics discussed include: determining the rank of a number in the residue number system;comparative analysis of the scalar point multiplication algorithms in the NIST FIPS 186 el...
The proceedings contain 17 papers. The topics discussed include: determining the rank of a number in the residue number system;comparative analysis of the scalar point multiplication algorithms in the NIST FIPS 186 elliptic curve cryptography;modular discrete event systems control based on logic inference;experience in measuring Wi-Fi to ZigBee interference using open-source hardware;end-user development of knowledge bases for semi-automated formation of task cards;information and algorithmic support of a multi-level integrated system for the investment strategies formation;decision support in the information maintenance of individual education trajectory based on ontological models and distributed rdF-storage;about the life cycle of information systems based on open web-technologies;and efficient implementation of error correction codes in modular code.
The proceedings contain 36 papers. The special focus in this conference is on DataMod, GCM, HOFM, MELO, SEMS and VeryComp. The topics include: Separating topological noise from features using persistent entropy;an acc...
ISBN:
(纸本)9783319502298
The proceedings contain 36 papers. The special focus in this conference is on DataMod, GCM, HOFM, MELO, SEMS and VeryComp. The topics include: Separating topological noise from features using persistent entropy;an accelerated MapReduce-based K-prototypes for big data;refinement mining;using data to sift plausible models;towards platform independent database modelling in enterprise systems;a personal data model for musical preferences;a high-level model checking language with compile-time pruning of local variables;probabilistic modelling of station locations in bicycle-sharing systems;on the definition of parallel independence in the algebraic approaches to graph transformation;SPO-rewriting of constrained partial algebras;attributed graph transformation via rule schemata;church-Rosser theorem;visual notation and patterns for abstract state machines;Spatio-temporal models for formal analysis and property-based testing;model-based generation of natural language specifications;formal model-based development in industrial automation with reactive blocks;towards model-based optimisation;using domain knowledge explicitly;context-aware design of reflective middleware in the internet of everything and pure edge computing platform for the future internet.
The proceedings contain 37 papers. The special focus in this conference is on Hybrid Systems: computation and Control. The topics include: Hybrid models for automotive powertrain systems;experiences in designing and u...
ISBN:
(纸本)9783540464303
The proceedings contain 37 papers. The special focus in this conference is on Hybrid Systems: computation and Control. The topics include: Hybrid models for automotive powertrain systems;experiences in designing and using formal specification languages for embedded control software;model-based autonomous systems for robotic space exploration;models of computation and simulation of hybrid systems;modular specification of hybrid systems in charon;approximate reachability analysis of piecewise-linear dynamical systems;maximal safe set computation for idle speed control of an automotive engine;optimization-based verification and stability characterization of piecewise affine and hybrid systems;invariant sets and control synthesis for switching systems with safety specifications;verification of hybrid systems with linear differential inclusions using ellipsoidal approximations;theory of optimal control using bisimulations;behavior based robotics using hybrid automata;hybrid controllers for hierarchically decomposed systems;hybrid systems analysis using interval numerical methods;robust undecidability of timed and hybrid systems;towards a theory of stochastic hybrid systems;automatic compilation of concurrent hybrid factories from product assembly specifications;a hybrid feedback regulator approach to control an automotive suspension system;ellipsoidal techniques for reachability analysis;uniform reachability algorithms;on the existence of solutions to controlled hybrid automata;nonlinear stabilization by hybrid quantized feedback;diagnosis of quantised systems by means of timed discrete-event representations;existence and stability of limit cycles in switched single server flow networks modelled as hybrid dynamical systems and decidability and complexity results for timed automata and semi-linear hybrid automata.
The proceedings contain 76 papers. The special focus in this conference is on Applied Parallel Computing Industrial computation and Optimization. The topics include: Performance tuning IBM RS/6000 POWER2 systenls;digi...
ISBN:
(纸本)3540620958
The proceedings contain 76 papers. The special focus in this conference is on Applied Parallel Computing Industrial computation and Optimization. The topics include: Performance tuning IBM RS/6000 POWER2 systenls;digital image processing;use of parallel computations for account of options by a monte carlo method;wavelets and differential equations;from first princlples to industrial applications;parallel implementation of a schwarz domain decomposition algorithm;practical experience in the dangers of heterogeneous computing;coupling the advection and the chemical parts of large air pollution models;advanced optimizations for parallel irregular out-of-core programs;a software architecture for massively parallel input-output;spatial genetic algorithm and its parallel implementation;addressing algebra as a tool for parallel program development;optimizing the NAS BT application for the POWER CHALLENGEarray;providing access to high performance computing technologies;parallel object-oriented library of genetic algorithms;monitoring of performance of PVM applications on virtual network computer;a parallel version of the quasi-minimal residual method based on coupled two-term recurrences;a proposal for parallel sparse BLAS;parallel search-based methods in optimization;an hierarchical approach for performance analysis of scaLAPACK-based routines using the distributed linear algebra machine;scaLAPACK tutorial;bulk synchronous parallelisation of genetic programming;frontal software for the solution of sparse linear equations;parallel heuristics for bandwidth reduction of sparse matrices with IBM SP2 and cray T3D;parallel libraries on distributed memory architectures;parallel least squares estimates of 2-D spect image reconstructions on the SGI power challenge and the prospect for parallel computing in the oil industry.
The workshop on Quantum in Consumer Technology at IEEE Quantum Week 2024 was an inspiring event that united experts from diverse fields to explore the present advancements and future possibilities of quantum technolog...
详细信息
The workshop on Quantum in Consumer Technology at IEEE Quantum Week 2024 was an inspiring event that united experts from diverse fields to explore the present advancements and future possibilities of quantum technology in consumer applications. Organized by the Quantum in Consumer Technology Technical Committee of the IEEE Consumer Technology Society (CTSoc), this workshop focused on the integration and application of quantum technologies in consumer electronics, exploring current innovations and future directions;see CTSoc representatives in Figure 1(a). This workshop was part of the IEEE Quantum Week 2024, officially known as the IEEE international Conference on Quantum Computing and Engineering (QCE24), which was held in the Palais des Congr & egrave;s in Montr & eacute;al, Qu & eacute;bec, Canada, from 15 to 20 September, 2024.
In order to explore the effects of different air conditioning system layouts on the temperature and humidity of the wrapping workshop of a cigarette factory in Shijiazhuang City, a full-size coupling analysis model of...
详细信息
The proceedings contain 17 papers. The special focus in this conference is on Fairness of AI in Medical Imaging. The topics include: Dataset Distribution Impacts Model Fairness: Single Vs. Multi-task Learning;AI Fairn...
ISBN:
(纸本)9783031727863
The proceedings contain 17 papers. The special focus in this conference is on Fairness of AI in Medical Imaging. The topics include: Dataset Distribution Impacts Model Fairness: Single Vs. Multi-task Learning;AI Fairness in Medical Imaging: Controlling for Disease Severity;Fair and Private CT Contrast Agent Detection;Mitigating Overdiagnosis Bias in CNN-Based Alzheimer’s Disease Diagnosis for the Elderly;Positive-Sum Fairness: Leveraging Demographic Attributes to Achieve Fair AI Outcomes Without Sacrificing Group Gains;all You Need Is a Guiding Hand: Mitigating Shortcut Bias in Deep Learning Models for Medical Imaging;exploring Fairness in State-of-the-Art Pulmonary Nodule Detection algorithms;quantifying the Impact of Population Shift Across Age and Sex for Abdominal Organ Segmentation;BMFT: Achieving Fairness via Bias-Based Weight Masking Fine-Tuning;using Backbone Foundation Model for Evaluating Fairness in Chest Radiography Without Demographic Data;do Sites Benefit Equally from Distributed Learning in Medical Image Analysis?;Cycle-GANs Generated Difference Maps to Interpret Race Prediction from Medical Images;On Biases in a UK Biobank-Based Retinal Image Classification Model;investigating Gender Bias in Lymph-Node Segmentation with Anatomical Priors;Assessing the Impact of Sociotechnical Harms in AI-Based Medical Image Analysis;Practical and Ethical Considerations for Generative AI in Medical Imaging.
暂无评论