書店で探す
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- 並列タイトル等
- Kluwer international series in engineering and computer scienceSECS
- 出版地(国名コード)
- us
- 対象利用者
- 一般
- 一般注記
- Publisher varies: Springer
- 関連情報
- Multiscalar processorsWavelet image and video compressionScalar diffraction from a circular apertureWireless multimedia network technologiesProbability distributions involving Gaussian random variables : a handbook for engineers and scientistsSymbolic analysis of analog circuits : techniques and applications : a special issue of analog integrated circuits and signal processingLearning from good and bad dataPhotorefractive effects and materialsSynchronous programming of reactive systemsReasoning with complex casesStochastically-based semantic analysisSystematic modeling and analysis of telecom frontends and their building blocksWireless personal communications : emerging technologies for enhanced communicationsScheduling in parallel computing systems : fuzzy and annealing techniquesThe TSQL2 temporal query languagePCB design for real-world EMI controlLow-voltage CMOS operational amplifiers : theory, design and implementationInterdisciplinary computing in Java programmingVideo coding with superimposed motion-compensated signals : applications to H.264 and beyondMixed-signal layout generation conceptsKnowledge discovery for business information systemsPolycrystalline silicon for integrated circuit applicationsDiscrete stochastic processesSystem theory : modeling, analysis and controlLanguages for digital embedded systemsDesign automation for timing-driven layout synthesisPower system oscillationsPerceptual metrics for image database navigationA formal approach to hardware designLow-power deep sub-micron CMOS logic : sub-threshold current reductionMultithreaded processor designSmart antenna systems and wireless lansDynamic translinear and log-domain circuits : analysis and synthesisOperational amplifiers : theory and designReal-time database and information systems : research advancesModeling from realityNeuromorphic systems engineering : neural networks in siliconStatistical modeling for computer-aided design of MOS VLSI circuitsVideo object extraction and representation : theory and applicationsHigh performance networks : frontiers and experienceAdaptive filtering : algorithms and practical implementationArtificial intelligence in logic designEcho signal processingMotion analysis and image sequence processingDesign and analysis of high efficiency line drivers for xDSLElectronic CAD frameworksData mining methods for knowledge discoverySystem-on-chip for real-time applicationsDiscrete-time models for communication systems including ATMGeographic location in the internetWireless personal communications : trends and challengesInformation retrieval : algorithms and heuristicsMemory performance of prolog architecturesRobustness in automatic speech recognition : fundamentals and applicationsBuffering techniques for delivery of compressed video in video-on-demand systemsWireless network deploymentsData organization in parallel computersSoftware engineering with computational intelligenceBiCMOS technology and applicationsWireless information networks : architecture, resource management, and mobile dataMulti-frame motion-compensated prediction for video transmissionPhysics-based deformable models : applications to computer vision, graphics, and medical imagingParallel architectures and parallel algorithms for integrated vision systemsRate-quality optimized video codingHardware annealing in analog VLSI neurocomputingWave pipelining : theory and CMOS implementationAdvanced debugging methodsAsymptotic waveform evaluation and moment matching for interconnect analysisMaterials for optoelectronicsPersonal and wireless communications : digital technology and standardsHigh speed A/D converters : understanding data converters through SPICEBayesian approach to image interpretationComputer-aided mechanical assembly planningPerturbation techniques for flexible manipulatorsPower quality enhancement using custom power devicesBroadband wireless communications : 3G, 4G and wireless LANKnowledge-based information retrieval and filtering from the WebPerformance evaluation and applications of ATM networksVLSI-compatible implementations for artificial neural networksAnalog interfaces for digital signal processing systemsRobot dynamics algorithmsAdaptive resonance theory microchipsDatabase machines and knowledge base machinesAnalysis of subsynchronous resonance in power systemsAnalog device-level layout automationQuantum theory of real materialsFlexible neuro-fuzzy systems : structures, learning and performance evaluationMachine learning, meta-reasoning, and logicsFunctional networks with applications : a neural-based paradigmOpen source GIS : a grass GIS approachMachine learningGeometric constraints for object detection and delineationLoad balancing in parallel computers : theory and practiceCircuit techniques for low-voltage and high-speed A/D convertersVLSI design for manufacturing : yield enhancementApplication specific processorsIntroduction to the design of transconductor-capacitor filtersApplications of logic databasesIntroduction to fuzzy reliabilityCMOS fractional-N synthesizers : design for high spectral purity and monolithic integrationParallel numerical computation with applicationsFoundations of dependable computing : paradigms for dependable applicationsWavelet applications in chemical engineeringDesign of optical WDM networks : LAN, MAN, and WAN architecturesHigh data rate transmitter circuits : RF CMOS design and techniques for design automationSwitch-level timing simulation of MOS VLSI circuitsThe nonuniform discrete fourier transform and its applications in signal processingThe piezojunction effect in silicon integrated circuits and sensorsShadows and silhouettes in computer visionAdaptive signal models : theory, algorithms, and audio applicationsPreferential emergency communications : from telecommunications to the InternetCross-media service deliveryNeural network simulation environmentsAnalog CMOS filters for very high frequenciesThe JR programming language : concurrent programming in an extended JavaParallel programming and compilersAlgorithms for synthesis and testing of asynchronous circuitsHigh performance computing systems and applicationsTask-directed sensor fusion and planning : a computational approachComplexity of lattice problems : a cryptographic perspectiveMultidimensional processing of video signalsJava microarchitecturesPerformance analysis of telecommunications and local area networksFoundations of dependable computing : system implementationOntology-based query processing for global information systemsUnderstanding editorial text : a computer model of argument comprehensionContinuous-time sigma-delta modulation for A/D conversion in radio receiversIntelligent multimedia multi-agent systems : a human-centered approachPrinciples of VLSI system planning : a framework for conceptual designKinematic modeling, identification, and control of robotic manipulatorsOntology learning for the semantic webWireless communication technologies : new multimedia systemsHigh-speed photodiodes in standard CMOS technologyCurrent issues in parsing technologyCompetitively inhibited neural networks for adaptive parameter estimationArchitecture and CAD for deep-submicron FPGAsBroadband wireless accessVLSI for artificial intelligenceCoordination of distributed problem solversIntegrated natural language dialogue : a computational modelIntelligent unmanned ground vehicles : autonomous navigation research at Carnegie MellonLeaf cell and hierarchical compaction techniquesRadiowave propagation and smart antennas for wireless communicationsA code mapping scheme for dataflow software pipeliningIon implantation : basics to device fabricationMultimedia signals and systemsCooperating heterogeneous systemsUniform random numbers : theory and practiceFrontiers of expert systems : reasoning with limited knowledgeModular low-power, high-speed CMOS analog-to-digital converter of embedded systemsSupercomputer architectureMultimedia tools and applicationsFault-tolerant parallel computationContent-based audio classification and retrieval for audiovisual data parsingWafer-level integrated systems : implementation issues3D synthetic environment reconstructionLatchup in CMOS technology : the problem and its cureEvolutionary algorithms and agricultural systemsLearning to classify text using support vector machines : methods, theory and algorithmsPhonological parsing in speech recognitionConductor distributed adaptation for heterogeneous networksEnabling technologies for computational science : frameworks, middleware, and environmentsDesign of low-voltage CMOS switched-opamp switched-capacitor systemsParallel computation and computers for artificial intelligenceWireless communications : future directionsLogic-based artificial intelligenceComputational auction mechanisms for restructured power industry operationAdaptive 3D sound systemsLearning search control knowledge : an explanation-based approachCMOS cellular receiver front-ends : from specification to realizationFundamentals of information systemsAn introduction to cryptologyCodes, graphs, and systems : a celebration of the life and career of G.David Forney, Jr. on the occasion of his sixtieth birthdayDesign of low-voltage low-power CMOS delta-sigma A/D convertersImage and video compression standards : algorithms and architecturesCMOS wireless transceiver designA many-valued approach to deduction and reasoning for artificial intelligenceResponsive computer systems : steps toward fault-tolerant real-time systemsCMOS circuit design for RF sensorsData converters for wireless standardsDesign of low-voltage bipolar operational amplifiersFinite commutative rings and their applicationsDesign and analysis of integrator-based log-domain filter circuitsAdaptive filtering : algorithms and practical implementationPetri net synthesis for discrete event control of manufacturing systemsLayout minimization of CMOS cellsObjects for concurrent constraint programmingContent-based access to multimedia information : from technology trends to state of the artFeed-forward neural networks : vector decomposition analysis, modelling and analog implementationEMI/EMC computational modeling handbookAcoustic signal processing for telecommunicationPower trade-offs and low-power in analog CMOS ICsA systolic array parallelizing compilerInformation organization and databases : foundations of data organizationRule-based programmingMachine learning : discriminative and generativeAdvances in wireless communicationsVLSI CAD tools and applicationsIntegrated optics, microstructures, and sensorsJPEG2000 : image compression fundamentals, standards and practiceCompiling parallel loops for high performance computers : partitioning, data assignment, and remappingModeling with an analog hardware description languageCMOS integrated analog-to-digital and digital-to-analog convertersDiagnosis of active systems : principles and techniquesIntegrated image and graphics technologiesOptical signal processingOperation of restructured power systemsDoppler applications in LEO satellite communication systemsThree-dimensional machine visionArchitectures for RF frequency synthesizersMeasurement of image velocityThe MIPS-X RISC microprocessorSoft computing for knowledge discovery : introducing Cartesian granule featuresLearning on silicon : adaptive VLSI neural systemsConceptual information retrieval : a case study in adaptive partial parsingMultimedia technologies and applications for the 21st century : visions of world expertsCompositional verification of concurrent and real-time systemsHigh-level VLSI synthesisAssignment problems in parallel and distributed computingCommunication protocol specification and verificationManaging uncertainty in expert systemsVision and navigation : the Carnegie Mellon NavlabDesign of modulators for oversampled convertersFinite fields : normal bases and completely free elementsHigh-performance digital VLSI circuit designCodes, curves, and signals : common threads in communicationsSequence detection for high-density storage channelsBehavioral specifications of businesses and systemsPerspectives in spread spectrumRobust speech recognition in embedded systems and PC applicationsIntelligent robotic systems for space explorationVirtual computing : concept, design, and evaluationModern power systems control and operationCMOS data converters for communicationsHuman face recognition using third-order synthetic neural networksSigma Delta modulators : nonlinear decoding algorithms and stability analysisVLSI design methodologies for digital signal processing architecturesThe Verilog PLI handbook : a user's guide and comprehensive reference on the Verilog programming language interfaceModeling and simulation of mixed analog-digital systemsWireless OFDM systems : how to make them work?Foundations of dependable computing : models and frameworks for dependable systemsOptimal VLSI architectural synthesis : area, performance, and testabilityDirect digital synthesizers : Theory, Design and ApplicationsAnalog signal generation for built-in-self-test of mixed-signal integrated circuitsAcoustical and environmental robustness in automatic speech recognitionDynamic neural field theory for motion perceptionHigh integrity softwareFoundations of dependable computing : models and frameworks for dependable systemsScale-space theory in computer visionVHDL '92Machine learning of inductive biasData fusion for sensory information processing systemsCoding approaches to fault tolerance in combinational and dynamic systemsKnowledge acquisition : selected research and commentaryMathematical principles of fuzzy logicDigital signal processing for communication systemsTransaction management support for cooperative applicationsWafer fabrication : factory performance and analysisCharacterization methods for submicron MOSFETsComputer-aided design techniques for low power sequential logic circuitsHard real-time computing systems : predictable scheduling algorithms and applicationsVideo and image processing in multimedia systemsData mining in finance : advances in relational and hybrid methodsApplication-driven architecture synthesisMultiprocessing : trade-offs in computation and communicationEfficient parsing for natural language : a fast algorithm for practical systemsMachine learning of robot assembly plansLNA-ESD co-design for fully integrated CMOS wireless receiversDesign by composition for rapid prototypingUniversal subgoaling and chunking : the automatic generation and learning of goal hierarchiesSpace-time processing for CDMA mobile communicationsThe mathematical theory of informationReal-time database systems : architecture and techniquesNeural networks in roboticsThe functional treatment of parsingWorkload characterization of emerging computer applicationsWireless personal communications : channel modeling and systems engineering3-D audio using loudspeakersImage and text compressionDesign of low-voltage, low-power operational amplifier cellsRobot force controlComputational methods for large sparse power systems analysis : an object oriented approachTechnology of object-oriented languages, systems and architecturesConstrained coding and soft iterative decodingEffective polynomial computationDigital BiCMOS integrated circuit designSubband and wavelet transforms : design and applicationsMixed design of integrated circuits and systemsAn introduction to protein informaticsImprecise and approximate computationA general model of legged locomotion on natural terrainArtificial neural networks : learning algorithms, performance evaluation, and applicationsCryogenic operation of silicon power devicesMotion estimation algorithms for video compressionNatural language processing : the PLNLP approachSerial-data computationBiometric solutions : for authentication in an E-worldSteady-state methods for simulating analog and microwave circuitsStructured electronic design : high-performance harmonic oscillators and bandgap referencesCode generation for embedded processorsMultimedia database management systemsThe design of communicating systems : a system engineering approachIterative detection : adaptivity, complexity reduction, and applicationsAsymptotic combinatorial coding theoryConnectionist speech recognition : a hybrid approachValuation, hedging and speculation in competitive electricity markets : a fundamental approachHigh level synthesis of ASICs under timing and synchronization constraintsReal-time video compression : techniques and algorithmsElliptic curve public key cryptosystemsInformation-statistical data mining : warehouse integration with examples of Oracle basicsMaintenance scheduling in restructured power systemsAn analog VLSI system for stereoscopic visionDependable network computingFixed interval smoothing for state space modelsElectrical characterization of silicon-on-insulator materials and devicesCircuit synthesis with VHDLRobot learningMultistrategy learningAlgorithmic and register-transfer level synthesis : the system architect's workbenchGranular computing : an introductionThird generation wireless information networksAlternative breast imaging : four model-based approachesInstance selection and construction for data miningCircuit design for wireless communications : improved techniques for image rejection in wideband quadrature receiversCooperative Internet computingModeling and control of logical discrete event systemsParallel algorithm derivation and program transformationRF CMOS power amplifiers : theory, design and implementationContinuous-time delta-sigma modulators for high-speed A/D conversion : theory, practice, and fundamental performance limitsLogic synthesis for field-programmable gate arraysLow-energy FPGAs : architecture and designSuper-resolution imagingChange of representation and inductive biasSilicon-on-insulator technology : materials to VLSITrajectories through knowledge space : a dynamic framework for machine comprehensionOn optimal interconnections for VLSIBiCMOS technology and applicationsOpen source GIS : a GRASS GIS approachMultimedia video-based surveillance systems : requirements, issues, and solutionsHigh performance scientific and engineering computing : hardware/software supportHot-carrier reliability of MOS VLSI circuitsSpace weather & telecommunicationsSimultaneous switching noise of CMOS devices and systemsFourier vision : segmentation and velocity measurement using the Fourier transformWireless CMOS frequency synthesizer designA VLSI architecture for concurrent data structuresCAD frameworks : principles and architectureQOS in packet networksSol-gel optics : processing and applicationsNext generation wireless networksFeedback-based orthogonal digital filters : theory, applications, and implementationSubband image codingDynamic characterisation of analogue-to-digital convertersVLSI placement and global routing using simulated annealingASIC system design with VHDL : a paradigmIntroduction to digital audio coding and standardsVLSI design of neural networksHandbook of modern ferromagnetic materialsVariation principle in informational macrodynamicsSolid state batteries : materials design and optimizationState estimation in electric power systems : a generalized approachMobile computingMachine learning : discriminative and generativeFinite fields for computer scientists and engineersSwitched-current design and implementation of oversampling A/D convertersQuick-turnaround ASIC design in VHDL : core-based behavioral synthesisWireless personal communications : the evolution of personal communications systemsMathematical properties of sequences and other combinatorial structuresMotion understanding : robot and human visionMatrix computations on systolic-type arraysMixed-mode simulation and analog multilevel simulationWeb caching and its applicationsTurbo codes : principles and applicationsField-programmable gate arraysInteroperating geographic information systemsStill image compression on parallel computer architecturesIntegrated fiber-optic receiversReal-time systems : engineering and applicationsEfficient polymorphic callsHighly linear integrated wideband amplifiers : design and analysis techniques for frequencies from audio to RFGenetic programming and data structures : genetic programming + data structures = automatic programming!Speech and audio coding for wireless and network applicationsVisual communication : an information theory approachEnterprise modeling : improving global industrial competitivenessTransient stability of power systems : a unified approach to assessment and controlParallel algorithms and architectures for DSP applicationsThe Synthesis approach to digital system designLogic program synthesis from incomplete informationPerceptual organization for artificial vision systemsFourier transforms : an introduction for engineersMicrowave semidonductor [i.e. semiconductor] devicesVideo data compression for multimedia computing : statistically based and biologically inspired techniquesAn introduction to error correcting codes with applicationsA connectionist machine for genetic hillclimbingTrellises and trellis-based decoding algorithms for linear block codesFundamentals of cryptology : a professional reference and interactive tutorialMemory storage patterns in parallel processingInformation and process integration in enterprises : rethinking documentsTransmission-efficient design and management of wavelength-routed optical networksTesting and reliable design of CMOS circuitsModeling and simulation environment for satellite and terrestrial communication networks : proceedings of the European COST Telecommunications SymposiumMixed-mode simulationLow power analog CMOS for cardiac pacemakers : design and optimization in bulk and SOI technologiesFinite element analysis of electrical machinesIntegrated video-frequency continuous-time filters : high-performance realizations in BiCMOSTimed Boolean functions : a unified formalism for exact timing analysisLexical semantics and knowledge representation in multilingual text generationSequential logic testing and verificationPipelined lattice and wave digital recursive filtersVHDL for simulation, synthesis, and formal proofs of hardwareVariational object-oriented programming beyond classes and inheritanceCMOS current amplifiersA systolic array optimizing compilerIntegrating graphics and vision for object recognitionOpen source GIS : a grass GIS approachPhysical design for multichip modulesResidue number systems : algorithms and architecturesThe testability of distributed real-time systemsHigh-performance CMOS continuous-time filtersResearch perspectives on dynamic translinear and log-domain circuitsAnalog VLSI neural networksDistributed and parallel systems : from instruction parallelism to cluster computingBiometrics : personal identification in networked societyThe information security dictionary : defining the terms that define security for E-business, Internet, information wireless technologyLogic synthesis and verificationSoftware product lines : experience and research directions : proceedings of the First Software Product Lines Conference (SPLC1), August 28-31, 2000, Denver, Colorado, USAElectromagnetic shielding handbook for wired and wireless EMC applicationsWireless personal communications : advances in coverage and capacityHigh-level synthesis for real-time digital signal processingLogic minimization algorithms for VLSI synthesisArtificial intelligence and security in computing systems : 9th international conference, ACS '2002, Międzyzdroje, Poland, October 23-25, 2002 : proceedingsActive middleware services : from the proceedings of the 2nd annual Workshop on Active Middleware ServicesError-control coding for data networksFundamentals of codes, graphs, and iterative decodingImage technology design : a perceptual approachNetwork management in wired and wireless networksCompact low-voltage and high-speed CMOS, BiCMOS, and bipolar operational amplifiersHigh performance computing systems and applicationsATM network performanceHandbook of control systems engineeringIntelligent image databases : towards advanced image retrievalMatching properties of deep sub-micron MOS transistorsSpot pricing of electricityParallel and constraint logic programming : an introduction to logic, parallelism and constraintsCMOS PLL synthesizers : analysis and designParallel computing using optical interconnectionsTrellis decoding of block codes : a practical approachA computer-aided design and synthesis environment for analog integrated circuitsPerceptual organization and visual recognitionStability of finite and infinite dimensional systemsComputer-aided design and VLSI device developmentReal-time UNIX systems : design and application guideAdaptive data compressionDistributed and parallel systems : cluster and grid computingAutomating knowledge acquisition for expert systemsFuzzy if-then rules in computational intelligence : theory and applicationsAdvances in automatic controlObject-oriented behavioral specificationsRobotic grasping and fine manipulationCoded-modulation techniques for fading channelsTurbo codes : principles and applicationsMulti-threaded object oriented MPI-based message passing interface : the ARCH libraryDiscrete event systems : analysis and controlUnified methods for VLSI simulation and test generationIntelligent data analysis in medicine and pharmacologyMultithreaded computer architecture : a summary of the state of the artFeature selection for knowledge discovery and data miningRobotic object recognition using vision and touchEngineering approaches to mechanical and robotic design for minimally invasive surgery (MIS)Computer architecture : a minimalist perspectiveProgress on cryptography : 25 years of cryptography in ChinaSilicon implementation of pulse coded neural networksModeling of electrical overstress in integrated circuitsProcess assessment and improvement : a practical guide for managers, quality professionals and assessorsInformation, uncertainty and fusionData visualization : the state of the artConcurrent enterprising : toward the concurrent enterprise in the era of the internet and electronic commerceHuman interaction with complex systems : conceptual principles and design practiceNeural network perception for mobile robot guidanceFault-tolerant real-time systems : the problem of replica determinismNeural information processing and VLSICompiler technology : tools, translators, and language implementationDistributed and parallel systems : cluster and grid computingLow-voltage low-power analog integrated circuitsAn artificial intelligence approach to test generationSwitching and traffic theory for integrated broadband networksDatabase support for workflow management : the WIDE projectDesign of wireless autonomous datalogger IC'sRecent advances in robot learningComplexity of lattice problems : a cryptographic perspectiveTurbo codingCoding for channels with feedbackDirected sonar sensing for mobile robot navigationAnalog VLSI implementation of neural systemsControl of machines with frictionDiamond : electronic properties and applicationsNeural networks and speech processingComputational architectures integrating neural and symbolic processes : a perspective on the state of the artA knowledge-based approach to program understandingWireless communication using dual antenna arraysSemantic video object segmentation for content-based multimedia applicationsFundamentals of computer-aided circuit simulationAutomated calibration of modulated frequency synthesizersThe design of low-voltage, low-power, Sigma-Delta modulatorsFET modeling for circuit simulationScrambling techniques for CDMA communicationsA pyramid framework for early vision : multiresolutional computer visionVLSI specification, verification, and synthesisThe design and implementation of a log-structured file systemThe annealing algorithmSoftware performability : from concepts to applicationsTime-frequency analysis and synthesis of linear signal spaces : time-frequency filters, signal detection and estimation, and range-Doppler estimationControl and performance in packet, circuit, and ATM networksHierarchical modeling for VLSI circuit testingModel engineering in mixed-signal circuit design : a guide to generating accurate behavioral models in VHDL-AMSClimate and environmental database systemsDigital timing macromodeling for VLSI design verificationFundamentals of adsorption : proceedings of the Fifth International Conference on Fundamentals of AdsorptionTechnology CAD : computer simulation of IC processes and devicesReliability assessment of large electric power systemsParallel execution of logic programsAnalog test signal generation using periodic ΣΔ-encoded data streamsUncertainty in geometric computationsKnowledge representation and relation netsMultimedia information systemsIntelligent information integration in B2B electronic commerceInput/output in parallel and distributed computer systemsConnectionist approaches to language learningNonlinear digital filters : principles and applicationsGradient estimation via perturbation analysisFoundations of Web technologyHeterogeneous network quality of service systemsInformed watermarkingMultimedia information retrieval : content-based information retrieval from large text and audio databasesFormal techniques in real-time and fault-tolerant systemsReal-time database systems : issues and applicationsIntelligent robotic systems : theory, design, and applicationsWorkload characterization for computer system designAnalysis and simulation of noise in nonlinear electronic circuits and systemsAdvanced computer systems : Eighth International Conference, ACS `2001 Mielno, Poland October 17-19, 2001 : proceedingsAdaptive techniques for mixed signal system on chipTransporting compressed digital videoIncremental version-space merging : a general framework for concept learningKnowledge-based information retrieval and filtering from the WebDesign of high-performance CMOS voltage-controlled oscillatorsCo-synthesis of hardware and software for digital embedded systemsDistributed infrastructure support for electronic commerce applicationsImage segmentation and compression using hidden Markov modelsDigital CMOS circuit designEfficient parsing for natural language : a fast algorithm for practical systemsQuantitative feedback design of linear and nonlinear control systemsAnalog circuit design : mixed A/D circuit design, sensor interface circuits and communication circuitsPlanning and architectural design of integrated services digital networks : civil and military applicationsSurvivable networks : algorithms for diverse routingNaive semantics for natural language understandingPractical performance modeling : application of the MOSEL languageDiamond : electronic properties and applicationsAlgorithms and techniques for VLSI layout synthesisAutomatic programming applied to VLSI CAD software : a case studyDigital image compression : algorithms and standardsDependence analysis for supercomputingInteractive video-on-demand systems : resource management and scheduling strategiesAn artificial intelligence approach to VLSI designGenerating abstraction hierarchies : an automated approach to reducing search in planningPrinciples of integrated maritime surveillance systemsStatic and dynamic performance limitations for high speed D/A convertersDesign, simulation and applications of inductors and transformers for Si RF ICsData mining and decision support : integration and collaborationCommunications, information and network securityThe bounding approach to VLSI circuit simulationA natural language interface for computer aided designExplorations in automatic thesaurus discoveryError detecting codes : general theory and their applications in feedback communication systemsNeural models and algorithms for digital testingFault covering problems in reconfigurable VLSI systemsLogics for databases and information systemsAnalog circuit design : mixed A/D circuit design, sensor interface circuits, and communication circuitsAdvanced methods of pharmacokinetic and pharmacodynamic systems analysisFatigue life prediction of solder joints in electronic packages with ANSYSAnalog layout generation for performance and manufacturabilityPower systems restructuring : engineering and economicsRadio resource management in cellular systemsDigital speech processing : speech coding, synthesis, and recognitionSoftware synthesis from dataflow graphsPerturbation analysis of discrete event dynamic systemsNeural network parallel computingYield simulation for integrated circuitsDirect conversion receivers in wide-band systemsOptical character recognition : an illustrated guide to the frontierNonholonomic motion planningDistortion analysis of analog integrated circuitsWorkflow and process automation : concepts and technologyAutonomous, model-based diagnosis agentsRobot motion planningOperational amplifier speed and accuracy improvement : analog circuit design with structural methodologyThe field orientation principle in control of induction motorsAnatomy of a silicon compilerSoftware visualization : from theory to practiceStructure level adaptation for artificial neural networksComputer-supported collaboration with applications to software developmentSpeech and human-machine dialogContent-based video retrieval : a database perspectiveThe finite element method in charged particle opticsMulti-level simulation for VLSI designLow-noise wide-band amplifiers in bipolar and CMOS technologiesWavelet theory and its applicationsLocalized quality of service routing for the internetWireless personal communicationsConditional Monte Carlo : gradient estimation and optimization applicationsHigh performance networks : technology and protocolsWireless personal communications : research developmentsAnalysis and synthesis of MOS translinear circuitsElectrostaticsCMOS current amplifiers : speed versus nonlinearityPrinciples of 3D image analysis and synthesisIntegrated circuit defect-sensitivity : theory and computational modelsDesign criteria for low distortion in feedback opamp circuitsComputer analysis of visual texturesThe SECD microprocessor : a verification case studyFoundations of dependable computing : paradigms for dependable applicationsInvestigating explanation-based learningMobile channel characteristicsLoop tiling for parallelismApplied and computational control, signals, and circuits : recent developmentsComputer-aided design of analog circuits and systemsDigital satellite communications systems and technologies : military and civil applicationsHigh performance computing systems and applicationsFoundations of real-time computing : scheduling and resource managementEnergy function analysis for power system stabilityWavelet, subband, and block transforms in communications and multimediaMultiaccess, mobility, and teletraffic for personal communicationsLow-power low-voltage sigma-delta modulators in nanometer CMOSApplications of digital signal processing to audio and acousticsState estimation in electric power systems : a generalized approachVector quantization and signal compressionColor theory and modeling for computer graphics, visualization, and multimedia applicationsElectromagnetic modelling of power electronic convertersSynchronization in real-time systems : a priority inheritance approachSoftware architectures and component technologySystematic design of Sigma-Delta analog-to-digital convertersReal-time systems : design principles for distributed embedded applicationsDeadline scheduling for real-time systems : EDF and related algorithmsSystematic design of analog IP blocksReversible grammar in natural language processingFeature extraction, construction and selection : a data mining perspectiveCompression and coding algorithmsNetworking security and standardsAdaptive filters and equalisersPerspectives on software requirementsComputed synchronization for multimedia applicationsOptimization of stochastic models : the interface between simulation and optimizationVerilog-2001 : a guide to the new features of the Verilog hardware description languageOptical WDM Networks : principles and practiceMining spatio-temporal information systemsMachine learning : a guide to current researchIntroduction to VLSI silicon devices : physics, technology, and characterizationWireless personal communications : improving capacity, services, and reliabilityVerilog quickstart : a practical guide to simulation and synthesis in VerilogCognitive models of complex learningSelective linear-phase switched-capacitor and digital filtersIntroduction to physical modeling with modelicaFoundations of real-time computing : formal specifications and methodsGIS and remote sensing applications in biogeography and ecologyEstimating device reliability : assessment of credibilityAdvanced video-based surveillance systemsSpace division multiple access for wireless local area networksInteraction between compilers and computer architecturesWireless location in CDMA cellular radio systemsWireless and mobile communicationsESD program management : a realistic approach to continuous, measurable improvement in static controlIntroduction to analog VLSI design automationBayesian modeling of uncertainty in low-level visionAdvanced low-power digital circuit techniquesAn Introduction to fuzzy logic applications in intelligent systemsSimulated annealing for VLSI designHuman factors and voice interactive systemsApplications of finite fieldsFunction/architecture optimization and co-design of embedded systemsFormal semantics for VHDLNatural language generation in artificial intelligence and computational linguisticsAssessing fault model and test qualityThe field programming environment : a friendly integrated environment for learning and developmentIntegration, coordination, and control of multi-sensor robot systemsWireless personal communications : Bluetooth and other technologiesMulti-standard CMOS wireless receivers : analysis and designLow-voltage CMOS log companding analog designModern methods of speech processingAutomatic speech and speaker recognition : advanced topicsInformation systems analysis and modeling : an information macrodynamics approachOn-chip ESD protection for integrated circuits : an IC design perspectiveAny time, anywhere computing : mobile computing concepts and technologyParallel machines : parallel machine languages : the emergence of hybrid dataflow computer architecturesLogic synthesis and optimizationTetrobot : a modular approach to reconfigurable parallel roboticsReinforcement learningProcess assessment and ISO/IEC 15504 : a reference bookSimulation techniques and solutions for mixed-signal coupling in integrated circuitsDigit-serial computationCrosstalk in WDM communication networksHadamard matrix analysis and synthesis : with applications to communications and signal/image processingAdaptive filters : structures, algorithms, and applicationsInstruction-level parallelism : a special issue of The journal of supercomputingPetri nets in flexible and agile automationHardware-software co-design of embedded systems : the POLIS approachTurbo coding for satellite and wireless communicationsBusiness component-based software engineeringFace image analysis by unsupervised learningElectrical characterization of silicon-on-insulator materials and devicesPredictive modular neural networks : applications to time seriesModels for large integrated circuitsAdvanced concepts in adaptive signal processingWireless infrared communicationsDynamic analysis of robot manipulators : a Cartesian tensor approachSpeech-to-speech translation : a massively parallel memory-based approachInformation, coding and mathematics : proceedings of workshop honoring Prof. Bob McEliece on his 60th birthdayAdvanced signal processing for communication systemsSynchronization design for digital systemsMedical image databasesCoding and interative detection for magnetic recording channelsIterative identification and restoration of imagesAutomatic speech recognition : the development of the SPHINX systemSource and channel coding : an algorithmic approachSymbolic analysis in analog integrated circuit designConstellation shaping, nonlinear precoding, and trellis conding for voiceband telephone Channel modems with emphasis on ITU-T recommendation V.34Relaxation techniques for the simulation of VLSI circuitsA high performance architecture for PROLOGEfficient dynamic simulation of robotic mechanismsPlanning and architectural design of modern command control communications and information systemsSymbolic analysis for automated design of analog integrated circuitsConstructing predictable real time systemsSystematic design for optimisation of pipelined ADCsControlling radiated emissions by designKnowledge discovery and measures of interestMining spatio-temporal information systemsIntroduction to convolutional codes with applicationsMachine conversationsDarwin2K : an evolutionary approach to automated design for roboticsReal-time search for learning autonomous agentsTop-down design of high-performance sigma-delta modulatorsQualitative motion understandingSatellite communications : mobile and fixed servicesBinary decision diagrams and applications for VLSI CADIntegrated audio amplifiers in BCD technologyAdaptive parsing : self-extending natural language interfacesA Practitioner's handbook for real-time analysis : guide to rate monotonic analysis for real-time systemsHandbook of multimodal and spoken dialogue systems : resources, terminology, and product evaluationWideband low noise amplifiers exploiting thermal noise cancellationSpeech time-frequency representationsMonte Carlo device simulation : full band and beyondHardware design and simulation in VAL/VHDLInterleaving planning and execution for autonomous robotsIndustrial energy management : principles and applicationsPipelined adaptive digital filtersGenetic learning for adaptive image segmentationAdvances in speech codingA Survey of high-level synthesis systemsComputer-aided design and VLSI device developmentA paradigm for decentralized process modelingMultimedia systems and techniquesLearning with nested generalized exemplarsAn artificial intelligence approach to VLSI routingComputational electronics : semiconductor transport and device simulationSequential logic synthesisCompositional translationHigh performance computing systems and applicationsVision chipsExplanation-based neural network learning : a lifelong learning approachSpace robotics : dynamics and controlGallium arsenide digital circuitsLow power analog CMOS for cardiac pacemakers : design and optimization in bulk and SOI technologiesFrequency compensation techniques for low-power operational amplifiersVoltage stability of electric power systemsError coding for engineersIntegrated smart sensors : design and calibrationConceptual design of multichip modules and systemsIntegrating functional and temporal domains in logic design : the false path problem and its implicationsCommunications and cryptography : two sides of one tapestrySwitched-current signal processing and A/D conversion circuits : design and implementationSource coding theoryPrivacy, security and trust within the context of pervasive computingDesign and analysis of analog filters : a signal processing perspectiveAnalysis of cache performance for operating systems and multiprogrammingAutomatic learning techniques in power systemsFoundations of image understandingImage and video compression standards : algorithms and architecturesStream processor architectureComplexity of lattice problems : a cryptographic perspectiveDiscrete stochastic processesElliptic curve public key cryptosystemsHigh-level synthesis for real-time digital signal processing
- 連携機関・データベース
- 国立情報学研究所 : CiNii Research