Generative AIs like LLMs are now accessible to the general public. For example, students can utilize these tools to create essays or complete theses. However, how is a teacher supposed to determine if a text was compo...
详细信息
the use of Unmanned Aerial Vehicles (UAVs) in aerial imaging is expanding rapidly, particularly in traffic monitoring and intelligent transportation systems. Detecting small and occluded vehicles in aerial images pose...
详细信息
the last frontiers of robotic applications present increasingly restrictive constraints of control robustness and performance. Concerning this critical requirement, we provide a simple approach leveraging on a switchi...
详细信息
the New Space Era and the emergence of high-bandwidth Low Earth Orbit (LEO) satellite constellations have caused a rapid change in the cyber threat landscape for industries reliant on satellite communications. One of ...
详细信息
GIS systems, like Google maps or ArcGIS, are an ubiquitous central application but are highly privacy critical. In many GIS systems, inputs from various and diverse sensors potentially expose private information. Howe...
详细信息
this work presents a biologically plausible approach to reinforcement learning control of benchmark cart-pole system with continuous state and discrete actions. the proposed solution utilizes brain-inspired spiking ne...
详细信息
the proceedings contain 19 papers. the special focus in this conference is on integrated Formal Methods. the topics include: Implementing, Specifying, and Verifying the QOI Format in Dafny: A Case Study...
ISBN:
(纸本)9783031765537
the proceedings contain 19 papers. the special focus in this conference is on integrated Formal Methods. the topics include: Implementing, Specifying, and Verifying the QOI Format in Dafny: A Case Study;veriCode: Correct Translation of Abstract Specifications to C Code;proving Termination via Measure Transfer in Equivalence Checking;PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases;stateful Functional Modeling with Refinement (a Lean4 Framework);modeling Register Pairs in CompCert;monitoring Extended Hypernode Logic;towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata;monitoring Real-Time systems Under Parametric Delay;veyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory;correct and Complete Symbolic Execution for Free;solvent: Liquidity Verification of Smart Contracts;StEVe: A Rational Verification Tool for Stackelberg Security Games;PyQBF: A Python Framework for Solving Quantified Boolean Formulas;Improving SAT Solver Performance through MLP-Predicted Genetic Algorithm Parameters;active Learning of Runtime Monitors Under Uncertainty;specify What? Enhancing Neural Specification Synthesis by Symbolic Methods.
the proceedings contain 148 papers. the topics discussed include: linear discrete optimal and Stackelberg control processes with echoes and retroactive future;kinematic similarity of the discrete linear time-varying s...
详细信息
ISBN:
(纸本)9781479917792
the proceedings contain 148 papers. the topics discussed include: linear discrete optimal and Stackelberg control processes with echoes and retroactive future;kinematic similarity of the discrete linear time-varying systems;an approach for stabilized control structure on photovoltaic grids;rigid transformation using interval analysis for robot motion estimation;photovoltaic generators - modeling and control;dynamic control of a walking robot using the versatile intelligent portable robot platform;control of a train of high purity distillation columns for efficient production of 13C isotopes;synthesis of robust PID controller by the maximum stability degree criterion;polynomial RST control for blood pressure regulation;robot manipulator teaching techniques with use of hand gestures;and control loops comparative study based on IR thermal imaging for electrical drives with BLDC PM motors.
Physical computing enables learners to create interactive projects using tangible materials and electronic components. these projects commonly utilize microcontroller boards like the micro:bit. In contrast, computer v...
详细信息
ISBN:
(纸本)9798400711978
Physical computing enables learners to create interactive projects using tangible materials and electronic components. these projects commonly utilize microcontroller boards like the micro:bit. In contrast, computer vision (CV) is a powerful technique for detecting input through interaction with everyday materials like paper, and it can be utilized for physical computing projects. However, CV-based toolkits are typically limited to input detection and rely on screen-based or projected outputs. this paper presents a hybrid approach that integrates a CV-based platform called Paper Playground withthe micro:bit electronics platform. By combining CV-detected, paper-based inputs withthe rich input-output possibilities of microcontroller-based systems, we showcase a multimodal physical computing toolkit. through three project examples, we explore how this hybrid approach can enhance the creative possibilities in physical computing, and develop a preliminary design space combining CV-based and electronics-based physical computing.
Adverse drug reactions (ADRs) remain a crucial challenge in healthcare systems, highly contributing to patient mortality. We present an innovative smart pharmacy system that utilizes advanced large language models (LL...
详细信息
暂无评论