LEADER 04386nam 22006855 450 001 996466481003316 005 20200702023745.0 010 $a3-642-32157-7 024 7 $a10.1007/978-3-642-32157-3 035 $a(CKB)3400000000102754 035 $a(SSID)ssj0000788856 035 $a(PQKBManifestationID)11510540 035 $a(PQKBTitleCode)TC0000788856 035 $a(PQKBWorkID)10828737 035 $a(PQKB)10419527 035 $a(DE-He213)978-3-642-32157-3 035 $a(MiAaPQ)EBC3070874 035 $a(PPN)168321114 035 $a(EXLCZ)993400000000102754 100 $a20121026d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aStochastic Biomathematical Models$b[electronic resource] $ewith Applications to Neuronal Modeling /$fedited by Mostafa Bachar, Jerry J. Batzel, Susanne Ditlevsen 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (XVI, 206 p. 34 illus., 13 illus. in color.) 225 1 $aMathematical Biosciences Subseries,$x2524-6771 ;$v2058 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-32156-9 320 $aIncludes bibliographical references and index. 327 $a1 Introduction to stochastic models in biology -- 2 One-dimensional homogeneous diffusions -- 3 A brief introduction to large deviations theory -- 4 Some numerical methods for rare events simulation and analysis -- 5 Stochastic Integrate and Fire models: a review on mathematical methods and their applications -- 6 Stochastic partial differential equations in Neurobiology: linear and nonlinear models for spiking neurons -- 7 Deterministic and stochastic FitzHugh-Nagumo systems -- 8 Stochastic modeling of spreading cortical depression. 330 $aStochastic biomathematical models are becoming increasingly important as new light is shed on the role of noise in living systems. In certain biological systems, stochastic effects may even enhance a signal, thus providing a biological motivation for the noise observed in living systems. Recent advances in stochastic analysis and increasing computing power facilitate the analysis of more biophysically realistic models, and this book provides researchers in computational neuroscience and stochastic systems with an overview of recent developments. Key concepts are developed in chapters written by experts in their respective fields. Topics include: one-dimensional homogeneous diffusions and their boundary behavior, large deviation theory and its application in stochastic neurobiological models, a review of mathematical methods for stochastic neuronal integrate-and-fire models, stochastic partial differential equation models in neurobiology, and stochastic modeling of spreading cortical depression. 410 0$aMathematical Biosciences Subseries,$x2524-6771 ;$v2058 606 $aProbabilities 606 $aMathematical models 606 $aStatistics  606 $aNeurobiology 606 $aProbability Theory and Stochastic Processes$3https://scigraph.springernature.com/ontologies/product-market-codes/M27004 606 $aMathematical Modeling and Industrial Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M14068 606 $aStatistics for Life Sciences, Medicine, Health Sciences$3https://scigraph.springernature.com/ontologies/product-market-codes/S17030 606 $aNeurobiology$3https://scigraph.springernature.com/ontologies/product-market-codes/L25066 615 0$aProbabilities. 615 0$aMathematical models. 615 0$aStatistics . 615 0$aNeurobiology. 615 14$aProbability Theory and Stochastic Processes. 615 24$aMathematical Modeling and Industrial Mathematics. 615 24$aStatistics for Life Sciences, Medicine, Health Sciences. 615 24$aNeurobiology. 676 $a612.8/1046015118 702 $aBachar$b Mostafa$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBatzel$b Jerry J$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDitlevsen$b Susanne$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466481003316 996 $aStochastic biomathematical models$9258663 997 $aUNISA LEADER 09997nam 22009255 450 001 996465995703316 005 20230406054950.0 010 $a3-540-74442-8 024 7 $a10.1007/978-3-540-74442-9 035 $a(CKB)1000000000490694 035 $a(SSID)ssj0000318340 035 $a(PQKBManifestationID)11266632 035 $a(PQKBTitleCode)TC0000318340 035 $a(PQKBWorkID)10310235 035 $a(PQKB)10225325 035 $a(DE-He213)978-3-540-74442-9 035 $a(MiAaPQ)EBC3063424 035 $a(MiAaPQ)EBC337392 035 $a(MiAaPQ)EBC6699191 035 $a(Au-PeEL)EBL337392 035 $a(CaONFJC)MIL135360 035 $a(OCoLC)808680889 035 $a(Au-PeEL)EBL6699191 035 $a(PPN)123164451 035 $a(EXLCZ)991000000000490694 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aIntegrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation$b[electronic resource] $e17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings /$fedited by Nadine Azemard, Lars Svensson 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (XIV, 586 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4644 300 $aIncludes index. 311 $a3-540-74441-X 320 $aIncludes bibliographical references and index. 327 $aSession 1 - High-Level Design (1) -- System-Level Application-Specific NoC Design for Network and Multimedia Applications -- Fast and Accurate Embedded Systems Energy Characterization Using Non-intrusive Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable Platforms -- An Automatic Design Flow for Mapping Application onto a 2D Mesh NoC Architecture -- Session 2 - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme on the TTA -- Asynchronous Functional Coupling for Low Power Sensor Network Processors -- A Heuristic for Reducing Dynamic Power Dissipation in Clocked Sequential Designs -- Low-Power Content Addressable Memory With Read/Write and Matched Mask Ports -- The Design and Implementation of a Power Efficient Embedded SRAM -- Session 3 - Low Power Analog Circuits -- Design of a Linear Power Amplifier with ±1.5V Power Supply Using ALADIN -- Settling Time Minimization of Operational Amplifiers -- Low-Voltage Low-Power Curvature-Corrected Voltage Reference Circuit Using DTMOSTs -- Session 4 - Statistical Static Timing Analysis -- Computation of Joint Timing Yield of Sequential Networks Considering Process Variations -- A Simple Statistical Timing Analysis Flow and Its Application to Timing Margin Evaluation -- A Statistical Approach to the Timing-Yield Optimization of Pipeline Circuits -- Session 5 - Power Modeling and Optimization -- A Novel Gate-Level NBTI Delay Degradation Model with Stacking Effect -- Modelling the Impact of High Level Leakage Optimization Techniques on the Delay of RT-Components -- Logic Style Comparison for Ultra Low Power Operation in 65nm Technology -- Design-In Reliability for 90-65nm CMOS Nodes Submitted to Hot-Carriers and NBTI Degradation -- Session 6 - Low Power Routing Optimization -- Clock Distribution Techniques for Low-EMI Design -- Crosstalk Waveform Modeling Using Wave Fitting -- Weakness Identification for Effective Repair of Power Distribution Network -- New Adaptive Encoding Schemes for Switching Activity Balancing in On-Chip Buses -- On the Necessity of Combining Coding with Spacing and Shielding for Improving Performance and Power in Very Deep Sub-micron Interconnects -- Session 7 - High Level Design (2) -- Soft Error-Aware Power Optimization Using Gate Sizing -- Automated Instruction Set Characterization and Power Profile Driven Software Optimization for Mobile Devices -- RTL Power Modeling and Estimation of Sleep Transistor Based Power Gating -- Functional Verification of Low Power Designs at RTL -- XEEMU: An Improved XScale Power Simulator -- Session 8 - Security and Asynchronous Design -- Low Power Elliptic Curve Cryptography -- Design and Test of Self-checking Asynchronous Control Circuit -- An Automatic Design Flow for Implementation of Side Channel Attacks Resistant Crypto-Chips -- Analysis and Improvement of Dual Rail Logic as a Countermeasure Against DPA -- Session 9 - Low Power Applications -- Performance Optimization of Embedded Applications in a Hybrid Reconfigurable Platform -- The Energy Scalability of Wavelet-Based, Scalable Video Decoding -- Direct Memory Access Optimization in Wireless Terminals for Reduced Memory Latency and Energy Consumption -- Poster 1 - Modeling and Optimization -- Exploiting Input Variations for Energy Reduction -- A Model of DPA Syndrome and Its Application to the Identification of Leaking Gates -- Static Power Consumption in CMOS Gates Using Independent Bodies -- Moderate Inversion: Highlights for Low Voltage Design -- On Two-Pronged Power-Aware Voltage Scheduling for Multi-processor Real-Time Systems -- Semi Custom Design: A Case Study on SIMD Shufflers -- Poster 2 - High Level Design -- Optimization for Real-Time Systems with Non-convex Power Versus Speed Models -- Triple-Threshold Static Power Minimization in High-Level Synthesis of VLSI CMOS -- A Fast and Accurate Power Estimation Methodology for QDI Asynchronous Circuits -- Subthreshold Leakage Modeling and Estimation of General CMOS Complex Gates -- A Platform for Mixed HW/SW Algorithm Specifications for the Exploration of SW and HW Partitioning -- Fast Calculation of Permissible Slowdown Factors for Hard Real-Time Systems -- Design Methodology and Software Tool for Estimation of Multi-level Instruction Cache Memory Miss Rate -- Poster 3 - Low Power Techniques and Applications -- A Statistical Model of Logic Gates for Monte Carlo Simulation Including On-Chip Variations -- Switching Activity Reduction of MAC-Based FIR Filters with Correlated Input Data -- Performance of CMOS and Floating-Gate Full-Adders Circuits at Subthreshold Power Supply -- Low-Power Digital Filtering Based on the Logarithmic Number System -- A Power Supply Selector for Energy- and Area-Efficient Local Dynamic Voltage Scaling -- Dependability Evaluation of Time-Redundancy Techniques in Integer Multipliers -- Keynotes -- Design and Industrialization Challenges of Memory Dominated SOCs -- Statistical Static Timing Analysis: A New Approach to Deal with Increased Process Variability in Advanced Nanometer Technologies -- Analog Power Modelling -- Industrial Session - Design Challenges in Real-Life Projects -- Technological Trends, Design Constraints and Design Implementation Challenges in Mobile Phone Platforms -- System Design from Instrument Level Down to ASIC Transistors with Speed and Low Power as Driving Parameters. 330 $ath Welcome to the proceedings of PATMOS 2007, the 17 in a series of international workshops. PATMOS 2007 was organized by Chalmers University of Technology with IEEE Sweden Chapter of the Solid-State Circuit Society technical - sponsorship and IEEE CEDA sponsorship. Over the years, PATMOS has evolved into an important European event, where - searchers from both industry and academia discuss and investigate the emerging ch- lenges in future and contemporary applications, design methodologies, and tools - quired for the development of the upcoming generations of integrated circuits and systems. The technical program of PATMOS 2007 consisted of state-of-the-art te- nical contributions, three invited talks and an industrial session on design challenges in real-life projects. The technical program focused on timing, performance and power consumption, as well as architectural aspects with particular emphasis on m- eling, design, characterization, analysis and optimization in the nanometer era. The Technical Program Committee, with the assistance of additional expert - viewers, selected the 55 papers presented at PATMOS. The papers were organized into 9 technical sessions and 3 poster sessions. As is always the case with the PATMOS workshops, full papers were required, and several reviews were received per manuscript. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4644 606 $aLogic design 606 $aMicroprocessors 606 $aComputer architecture 606 $aElectronic digital computers?Evaluation 606 $aComputer arithmetic and logic units 606 $aComputer storage devices 606 $aMemory management (Computer science) 606 $aElectronic circuits 606 $aLogic Design 606 $aProcessor Architectures 606 $aSystem Performance and Evaluation 606 $aArithmetic and Logic Structures 606 $aComputer Memory Structure 606 $aElectronic Circuits and Systems 615 0$aLogic design. 615 0$aMicroprocessors. 615 0$aComputer architecture. 615 0$aElectronic digital computers?Evaluation. 615 0$aComputer arithmetic and logic units. 615 0$aComputer storage devices. 615 0$aMemory management (Computer science). 615 0$aElectronic circuits. 615 14$aLogic Design. 615 24$aProcessor Architectures. 615 24$aSystem Performance and Evaluation. 615 24$aArithmetic and Logic Structures. 615 24$aComputer Memory Structure. 615 24$aElectronic Circuits and Systems. 676 $a621.395 702 $aAzemard$b Nadine$f1963- 702 $aSvensson$b Lars$f1960- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465995703316 996 $aIntegrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation$9772134 997 $aUNISA LEADER 02706nam 22004935a 450 001 9910151935303321 005 20260720163903.0 010 $a3-03719-549-5 024 7 $a10.4171/049 035 $a(CKB)3710000000953822 035 $a(CH-001817-3)75-091109 035 $a(PPN)178155373 035 $a(DE-4084)10.4171/049 035 $a(EXLCZ)993710000000953822 100 $a20080303j20080303 fy 0 101 0 $aeng 135 $aurnn|mmmmamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFirst Steps in Several Complex Variables: Reinhardt Domains 210 3 $aEMS Press$d2008 215 $a1 online resource (367 pages) 225 1 $aEMS Textbooks in Mathematics (etb)$v6$x2943-4955 311 08$a9783037190494 330 $aThis book provides a comprehensive introduction to the field of several complex variables in the setting of a very special but basic class of domains, the so-called Reinhardt domains. In this way the reader may learn much about this area without encountering too many technical difficulties. Chapter 1 describes the fundamental notions and the phenomenon of simultaneous holomorphic extension. Chapter 2 presents a fairly complete discussion of biholomorphisms of bounded (complete) Reinhardt domains in the two dimensional case. The third chapter gives a classification of Reinhardt domains of existence for the most important classes of holomorphic functions. The last chapter deals with invariant functions and gives explicit calculations of many of them on certain Reinhardt domains. Numerous exercises are included to help the readers with their understanding of the material. Further results and open problems are added which may be useful as seminar topics. The primary aim of this book is to introduce students or non-experts to some of the main research areas in several complex variables. The book provides a friendly invitation to this field as the only prerequisite is a basic knowledge of analysis. 517 $aFirst Steps in Several Complex Variables 606 $aCalculus & mathematical analysis$2bicssc 606 $aSeveral complex variables and analytic spaces$2msc 615 07$aCalculus & mathematical analysis 615 07$aSeveral complex variables and analytic spaces 686 $a32-01$2msc 686 $a32A05$2msc 686 $a32A10$2msc 686 $a32D05$2msc 686 $a32E05$2msc 686 $a32F45$2msc 700 $aJarnicki$4aut$02014682 702 $aPflug$b Peter 801 0$bDE-4084 906 $aBOOK 912 $a9910151935303321 996 $aFirst Steps in Several Complex Variables: Reinhardt Domains$94805317 997 $aUNINA