the proceedings contain 46 papers. the topics discussed include: forward(ing) from the moon - lunar pathfinder data relay satellite, paving the way for communication and navigation constellation;lunar navigation satel...
ISBN:
(纸本)9781839538841
the proceedings contain 46 papers. the topics discussed include: forward(ing) from the moon - lunar pathfinder data relay satellite, paving the way for communication and navigation constellation;lunar navigation satellite system: mission, system overview, and demonstration;digital elevation model partitioning for optimizing cislunar multipath fade loss estimation;thales Alenia space 6th generation digital transparent processor (DTP6G) - a multi-mission, multi-mode versatile product at the heart of telecom solutions;development of wireless communication demonstration unit on intra-satellite;rapid development cycle of onboard software defined radio algorithms for the RAAF M2 spacecraft;Eutelsat quantum a fully flexible software defined satellite successfully operating on orbit;concept and evaluation of 5G backhauling via starlink;and Integrated satellite access to 5G/6G systems - an overview of the 5G space infrastructure study.
the proceedings contain 123 papers. the topics discussed include: whom to convince? it really matters in BGP prefix hijacking attack and defense;future trends of intelligent decision support systems and models;relatio...
ISBN:
(纸本)9783642223327
the proceedings contain 123 papers. the topics discussed include: whom to convince? it really matters in BGP prefix hijacking attack and defense;future trends of intelligent decision support systems and models;relation extraction from documents for the automatic construction of ontologies;proactive detection of botnets with intended forceful infections from multiple malware collecting channels;solving English questions through applying collective intelligence;automatic documents annotation by keyphrase extraction in digital libraries using taxonomy;IO-aware custom instruction exploration for customizing embedded processors;new secure storage architecture for cloud computing;a user supporting personal video recorder based on a generic Bayesian classifier and social network recommendations;local community finding using synthetic coordinates;and a peer-to-peer social network overlay for efficient information retrieval and diffusion.
the proceedings contains 61 papers. Topics discussed include computer architecture, digital signal procesing, algorithms, sequential machines, heuristic methods, multiprocessing systems, parallel computing, digital ar...
详细信息
ISBN:
(纸本)0818650508
the proceedings contains 61 papers. Topics discussed include computer architecture, digital signal procesing, algorithms, sequential machines, heuristic methods, multiprocessing systems, parallel computing, digital arithmetic, data storage equipment and memory organization.
the proceedings contain 9 papers. the topics discussed include: GPU acceleration of communication avoiding chebyshev basis conjugate gradient solver for multiphase CFD simulations;optimization of a solver for computat...
ISBN:
(纸本)9781728159898
the proceedings contain 9 papers. the topics discussed include: GPU acceleration of communication avoiding chebyshev basis conjugate gradient solver for multiphase CFD simulations;optimization of a solver for computational materials and structures problems on NVIDIA Volta and AMD instinct GPUs;toward half-precision computation for complex matrices: a case study for mixed precision solvers on GPUs;parallel multigrid methods on manycore clusters with IHK/mckernel;making speculative scheduling robust to incomplete data;and parallel SFC-based mesh partitioning and load balancing.
the proceedings contains 141 papers from the IEEE internationalconference on Conduction and Breakdown in Solid Dielectrics. Topics discussed include: space charge;dielectric diagnostics;insulation systems;partial dis...
详细信息
the proceedings contains 141 papers from the IEEE internationalconference on Conduction and Breakdown in Solid Dielectrics. Topics discussed include: space charge;dielectric diagnostics;insulation systems;partial discharges;conduction and polarization;aging and electroluminescence;electrical treeing;water treeing;outdoor insulation and cryogenics;field grading;measurement techniques;and thermally stimulated currents.
the proceedings contains 32 papers. Topics discussed include algorithms for parallelization, distributed computer systems and networking, software tools and environments, parallel finite and boundary elements, applica...
详细信息
the proceedings contains 32 papers. Topics discussed include algorithms for parallelization, distributed computer systems and networking, software tools and environments, parallel finite and boundary elements, applications in fluid flour and applications in applied science.
the proceedings contain 91 papers. the topics discussed include: toward active and passive confidentiality attacks on cryptocurrency off-chain networks;AMNESIA: a technical solution towards GDPR-compliant machine lear...
ISBN:
(纸本)9789897583995
the proceedings contain 91 papers. the topics discussed include: toward active and passive confidentiality attacks on cryptocurrency off-chain networks;AMNESIA: a technical solution towards GDPR-compliant machine learning;email spoofing attack detection through an end to end authorship attribution system;evaluating the effect of justification and confidence information on user perception of a privacy policy summarization tool;a homomorphic proxy re-authenticators based efficient multi-client non-interactive verifiable computation scheme;comparison of the Paillier and ElGamal cryptosystems for smart grid aggregation protocols;integration of data envelopment analysis in business process models: a novel approach to measure information security;and quantifying the significance of cybersecurity text through semantic similarity and named entity recognition.
this book constitutes the thoroughly refereed proceedings of the 6thinternationalconference on Ad Hoc Networks, ADHOCNETS 2014, held in Rhodes, Greece, in August 2014. the 16 regular and invited papers presented wer...
ISBN:
(数字)9783319133294
ISBN:
(纸本)9783319133287;9783319133294
this book constitutes the thoroughly refereed proceedings of the 6thinternationalconference on Ad Hoc Networks, ADHOCNETS 2014, held in Rhodes, Greece, in August 2014. the 16 regular and invited papers presented were carefully selected and reviewed from numerous submissions and cover a wide range of applications, such as mobile ad hoc networks, sensor networks, vehicular networks, intelligent transportation systems, wireless sensor networks security.
the proceedings contain 55 papers. the topics discussed include: FDIR techniques for payload streaming applications using SpaceWire-based networks;STP-ISS transport protocol for spacecraft on-board networks;radiation ...
ISBN:
(纸本)9780955719653
the proceedings contain 55 papers. the topics discussed include: FDIR techniques for payload streaming applications using SpaceWire-based networks;STP-ISS transport protocol for spacecraft on-board networks;radiation tolerant heterogeneous multicore 'system on chip' with built-in multichannel SpaceFiber switch for the 'intelligent' signals and images processing systems;experiences with a SpaceWire backplane connector;frequency calibration of the SWI instrument on-board of JUICE using SpaceWire time-codes;how RMAP improves in-flight update of on-board software via SpaceWire;standardized SpaceWire solutions for next generation systems;the evaluation of SpaceWire-R draft specification through the connectivity test using SpaceCube2;automated space wire network administration;and protocol design for wireless extension of embedded networks: overview of requirements and challenges.
the proceedings contain 8 papers. the topics discussed include: term indexing for the LEO-II Prover;integrating external deduction tools with ACL2;efficiently checking propositional resolution proofs in Isabelle/HOL;t...
the proceedings contain 8 papers. the topics discussed include: term indexing for the LEO-II Prover;integrating external deduction tools with ACL2;efficiently checking propositional resolution proofs in Isabelle/HOL;tableau decision procedure for propositional intuitionistic logic;LIFT-UP: lifted first-order planning under uncertainty;multiple preprocessing for systematic SAT solvers;implementing an instantiation-based theorem prover for first-order logic;and algorithms and data structures for first-order equational deduction.
暂无评论