{"product_id":"yuan-zhou-engineering-of-complex-computer-systems-9783032008275","title":"Engineering of Complex Computer Systems","description":".- Machine Learning for Complex Systems.\n\u003cbr\u003e\n.- Runtime Anomaly Detection for Drones: An Integrated Rule Miningand Unsupervised Learning Approach.\n\u003cbr\u003e\n.- FinPTA: An Effective Model for Financial Sentiment Analysis.\n\u003cbr\u003e\n.- Single Image Defocus Deblurring in Photography Systems.\n\u003cbr\u003e\n.- AMF GCN: An Adaptive Graph Convolution Network for Pull-upEvaluation.\n\u003cbr\u003e\n.- A Q learning driven multi crossover NSGA II framework forenergy efficient hybrid flow shop scheduling.\n\u003cbr\u003e\n.- MixRecLGB: Language-Enhanced Mixed Attention for TemporalContext Modeling in Time Series Forecasting.\n\u003cbr\u003e\n.- Trustworthy Deep Learning.\n\u003cbr\u003e\n.- PAMUS: An Entropy Loss Based Poisoning Attack for UnderminingMachine Unlearning.\n\u003cbr\u003e\n.- Certified Enumeration of AI Explanations: A Focus on MonotonicClassifiers.\n\u003cbr\u003e\n.- Random Resampling of Training Data for Effective VerificationStrategy Prediction.\n\u003cbr\u003e\n.- DeepMR: A Learning Based Approach for Efficient Mutation Reductionin DNN Fault Localization.\n\u003cbr\u003e\n.- Investigating the OOV Problem and Its Impacts on Neural ProgramRepair\n\u003cbr\u003e\n.- Edge Computing Systems.\n\u003cbr\u003e\n.- Auction Based Caching Decision Algorithm for IoT Traffic withPopular and Fresh Content.\n\u003cbr\u003e\n.- Maximizing Long term Task Completion Ratio of 3D UAV EnabledWirelessly Powered MEC System.\n\u003cbr\u003e\n.- Towards Efficient and Secure Multimodal Misinformation Detection.\n\u003cbr\u003e\n.- Large Language Models for Software Engineering.\n\u003cbr\u003e\n.- Leveraging Large Language Models for Feature Envy Detection: AContext Aware and Reasoning Driven Approach.\n\u003cbr\u003e\n.- RustMap: Towards Project-Scale C to Rust Migration via ProgramAnalysis and LLM.\n\u003cbr\u003e\n.- Formal Methods.\n\u003cbr\u003e\n.- LTL Model Checking of Concurrent Self Modifying Code.\n\u003cbr\u003e\n.- Checking Linearizability of Multi Core Task Management andScheduling System.\n\u003cbr\u003e\n.- Contract based Verification of Digital Twins.\n\u003cbr\u003e\n.- Verifying Neural Network Controlled Systems by Combining TaylorModels and Linear Abstract Domains.\n\u003cbr\u003e\n.- Model Checking Nondeterministic Behaviours in the TendermintByzantine Fault Tolerant Blockchain Consensus Protocol.\n\u003cbr\u003e\n.- Program Analysis.\n\u003cbr\u003e\n.- Uncover the Risks of Outdated Dependencies in Software SupplyChains: Insights from the npm Ecosystem.\n\u003cbr\u003e\n.- EMS HFL: A Hybrid based Fault Localization.\n\u003cbr\u003e\n.- CONTAST: Graph Embedding based Fault Localization IntegratingAST and Context Awareness.\n\u003cbr\u003e\n.- Large Language Model Agents.\n\u003cbr\u003e\n.- A Vision for Access Control in LLM Agent Systems.\n\u003cbr\u003e\n.- Agent Behavior: The Regulatory Object of the Agent Centric OnlineEcosystem in Digital Age.\n\u003cbr\u003e\n.- Empowering Embodied Agents with Semantic Intelligence.\n\u003cbr\u003e\n.- Large Language Models for Software Engineering.\n\u003cbr\u003e\n.- An Analytical Perspective on Software Engineering for Large LanguageModels.\n\u003cbr\u003e\n.- LiCoVer: LLM Powered Automated OSS License Compliance Verification.\n\u003cbr\u003e\n.- UFPC: A Unified Framework for Source and Binary ProgramComprehension.\n\u003cbr\u003e\n.- TestCaseMig: LLM Driven Test Case Migration for Evolving Codebases.\n\u003cbr\u003e\n.- Evolaris: A Roadmap to Self Evolving Software Intelligence Management.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53770898899286,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/yuan-zhou-engineering-of-complex-computer-systems-9783032008275","provider":"momoxbooks","version":"1.0","type":"link"}