Search Results - floating.

Formal Verification of Floating-Point Hardware Design A Mathematical Approach / by Russinoff, David M.

Table of Contents: “…1 Basic Arithmetic Functions -- 2 Bit Vectors -- 3 Logical Operations -- 4 Floating-Point Numbers -- 5 Floating-Point Formats -- 6 Rounding -- 7 IEEE-Compliant Square Root -- 8 Addition -- 9 Multiplication -- 10 SRT Division and Square Root -- 11 FMA-Based Division -- 12 SSE Floating-Point Instructions -- 13 x87 Instructions -- 14 Arm Floating-Point Instructions -- 15 The Modeling Language -- 16 Double-Precision Multiplication -- 17 Double-Precision Addition and FMA -- 18 Multi-Precision Radix-4 SRT Division -- 19 Multi-Precision Radix-4 SRT Square Root.…”
Full-text access

The Deconstruction of Employment as a Political Question 'Employment' as a Floating Signifier /

Full-text access

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations

Table of Contents: “…Introduction -- Applications and Technology Trend in Embedded Flash Memory -- Overview of Embedded Flash Memory Technology -- Floating-gate 1Tr-NOR eFlash memory -- Split-Gate Floating Poly SuperFlash Memory Technology, Design and Reliability -- SONOS 1Tr eFlash memory -- SONOS split-gate eFlash memory.…”
Full-text access

Numerical Linear Algebra with Applications Using MATLAB. by Ford, William

Table of Contents: “…Induced Matrix NormsSubmultiplicative Matrix Norms; Computing the Matrix 2-Norm; Properties of the Matrix 2-Norm; Chapter Summary; Problems; MATLAB Problems; Floating Point Arithmetic; Integer Representation; Floating-Point Representation; Mapping from Real Numbers to Floating-Point Numbers; Floating-Point Arithmetic; Relative Error; Rounding Error Bounds; Addition; Multiplication; Matrix Operations; Minimizing Errors; Avoid Adding a Huge Number to a Small Number; Avoid Subtracting Numbers That Are Close; Chapter Summary; Problems; MATLAB Problems; Algorithms; Pseudocode Examples…”
Full-text access

Operational Amplifiers Theory and Design / by Huijsing, Johan

Table of Contents: “…Definition of Operational Amplifiers -- Macromodels -- Applications -- Input Stages -- Output Stages -- Overall Design -- Design Examples -- Fully Differential Operational Amplifiers -- Instrumentation Amplifiers and Operational Floating Amplifiers -- Low Noise and Low Offset Operational and Instrumentation Amplifiers.…”
Full-text access

Reduction of CO2 Emissions from Road Transport in Cities Impact of Dynamic Route Guidance System on Greenhouse Gas Emission / by Markiewicz, Michal

Table of Contents: “…Comparison of Travel Time Measurements Using Floating Car Data and Intelligent Infrastructure -- Integration of Cellular Automata Traffic Simulator with CO2 Emission Model -- Impact of Dynamic Route Guidance System on CO2 Emission -- Naxos Vehicular Traffic Simulator.…”
Full-text access

Multiple Constant Multiplication Optimizations for Field Programmable Gate Arrays by Kumm, Martin

Table of Contents: “…Heuristic and ILP-Based Optimal Solutions for the Pipelined Multiple Constant Multiplication Problem -- Methods to Integrate Embedded Multipliers, LUT-Based Constant Multipliers and Ternary (3-Input) Adders -- An Optimized Multiple Constant Multiplication Architecture Using Floating Point Arithmetic. .…”
Full-text access

A Tutorial Introduction to VHDL Programming by Gazi, Orhan

Table of Contents: “…Entity, Architecture and VHDL Operators -- Combinational Logic Circuit Design and Concurrent Coding in VHDL -- Simulation of VHDL Programs -- User Defined Data Types, Arrays and Attributes -- Sequential Circuit Implementation in VHDL -- VHDL Implementation of Logic Circuits Involving Registers and Counters -- Packages, Components, Functions and Procedures -- Fixed and Floating Point Numbers.…”
Full-text access

Charge-Trapping Non-Volatile Memories Volume 2--Emerging Materials and Structures /

Table of Contents: “…Materials and Device Reliability in SONOS Memories -- Charge-Trap-Non-Volatile Memory and Focus on Flexible Flash Memory Devices -- Hybrid Memories Based on Redox Molecules -- Organic Floating-Gate Memory Structures -- Nanoparticles Based Flash-like Non Volatile Memories: Cluster Beam Synthesis of Metallic Nanoparticles and Challenges for the Overlying Control Oxide Layer.…”
Full-text access

Basic Naval Architecture Ship Stability / by Wilson, Philip A.

Table of Contents: “…Introduction to Naval Architecture -- Basic Properties -- Equilibrium and Stability Concepts for Floating Bodies -- Calculating Volumes and Centres of Buoyancy -- Further Comments on Displacement Volume and Centre of Buoyancy -- Numerical Integration Formulæ -- Problems Involving Changes of Draught and Trim -- Transverse Initial Stability Topics -- Wall Sided Formula and Applications -- Large Angle Stability -- Flooding Calculations -- End On Launching and Launching Calculations.…”
Full-text access

Simplified Analytical Methods of Elastic Plates by Takabatake, Hideo

Table of Contents: “…Static and Dynamic Analyses of Rectangular Normal Plates -- Static and Dynamic Analyses of Circular Normal Plates -- Static and Dynamic Analyses of Rectangular Normal Plates with Edge Beams -- Static and Dynamic Analyses of Rectangular Plates with Voids -- Static and Dynamic Analyses of Circular Plates with Voids -- Static and Dynamic Analyses of Rectangular Cellular Plates -- Static and Dynamic Analyses of Circular Cellular Plates -- Static and Dynamic Analyses of Rectangular Plates with Stepped Thickness -- Static and Dynamic Analyses of Rectangular Plates with Stepped Thickness Subjected to Moving Loads -- Static and Dynamic Analyses of Rectangular Floating Plates Subjected to Moving Loads -- Effects of Dead Loads on Static and Dynamic Analyses of Rectangular Plates -- Effects of Dead Loads on Static and Free Vibration Problems of Beams -- Effects of Dead Loads on Dynamic Problems of Beams -- Refined Plate Theory in Bending Problem of Uniform Rectangular Plates.…”
Full-text access

Information Technology and Intelligent Transportation Systems Volume 2, Proceedings of the 2015 International Conference on Information Technology and Intelligent Transportation Sy...

Full-text access

Information Technology and Intelligent Transportation Systems Volume 1, Proceedings of the 2015 International Conference on Information Technology and Intelligent Transportation Sy...

Full-text access

Proceedings of the Fourth International Conference in Ocean Engineering (ICOE2018) Volume 2 /

Table of Contents: “…Port, Harbour and Coastal Structures -- Offshore Structures and Deepwater Technology -- Marine Foundations and Reclamation -- Marine Vehicles and Floating Systems -- AUVs, ROVs and Underwater Systems -- Ocean Optics & Acoustics, GIS and Satellite Imaging -- Petroleum Engineering & Technology -- Climate Change and its Impacts -- Ocean Renewable Energy -- Marine and Coastal Hydrodynamics -- Computations in Ocean and Petroleum Engineering -- Safety, Risk and Reliability Including Environment.…”
Full-text access

Proceedings of the Fourth International Conference in Ocean Engineering (ICOE2018) Volume 1 /

Table of Contents: “…Port, Harbour and Coastal Structures -- Offshore Structures and Deepwater Technology -- Marine Foundations and Reclamation -- Marine Vehicles and Floating Systems -- AUVs, ROVs and Underwater Systems -- Ocean Optics & Acoustics, GIS and Satellite Imaging -- Petroleum Engineering & Technology -- Climate Change and its Impacts -- Ocean Renewable Energy -- Marine and Coastal Hydrodynamics -- Computations in Ocean and Petroleum Engineering -- Safety, Risk and Reliability Including Environment.…”
Full-text access

Embedded Systems Design with Special Arithmetic and Number Systems

Table of Contents: “…Introduction to Residue Number System: Structure and Teaching Methodology -- RNS-based Embedded Processor Design -- Non Modular Operations of the Residue Number System: Functions for Computing -- Fault-Tolerant Computing in Redundant Residue Number System -- Decimal Floating Point Number System -- Design and Evaluation of Booth-Encoded Multipliers in Redundant Binary Representation -- Robust Analog Arithmetic Based on the Continuous Valued Number System -- RNS Applications in Digital Signal Processing -- RNS-based Image Processing -- Logarithmic Number System and its Application in FIR Filter Design -- Double-Base Number System and its Application in FIR Filter Design -- RNS-based Public-Key Cryptography (RSA and ECC) -- RNS Approach in Lattice-based Cryptography -- RNS Applications in Computer Networks.…”
Full-text access

Aerospace Robotics III

Table of Contents: “…Parallel Hamiltonian Formulation For Forward Dynamics Of Free-Flying Manipulators -- Nonlinear Model Predictive Control (NMPC) for free-floating space manipulator -- Performance control of a spacecraft-robotic arm system - desired motion tracking -- Detection and decoding of AIS navigation messages by a Low Earth Orbit satellite -- Accurate Image Depth Determination for Autonomous Vehicle Navigation -- Pose Estimation for Mobile and Flying Robots via Vision System -- Control of Flexible Wing UAV Using Stereo Camera -- The dynamics aspects of modeling and control of the flying robot with attached two Degree of Freedom manipulator -- Prototype, Mathematical Model and Simulations of a Model-Making Rocket -- Space mining challenges: Expertise of the Polish entities and international perspective on future exploration missions -- Space mechatronics and space robotics patent inventions; the way to protect the space heritage in the Space Research Centre, Institute of the Polish Academy of Sciences.…”
Full-text access

Safety Dynamics Evaluating Risk in Complex Industrial Systems /

Table of Contents: “…Introduction -- Systematic Approach: concept, method and tools -- System Dynamics applied to the Analysis of Risk at an Industrial Installation -- System Dynamics Applied to the Human, Technical and Organizational Factors of Industrial Safety -- Modelling and Dynamic Analysis of Safety Behaviour -- STAMP and the Systemic Approach -- Using STAMP in the Risk Analysis of a Contaminated Sediment Treatment Process -- Contribution of the STAMP Model to Accident Analysis: Offloading Operatons on a Floating Production Storage and Offloading (FPSO) -- Systemic Risk Management Approach for CTSC Projects.…”
Full-text access

Applications to Marine Disaster Prevention Spilled Oil and Gas Tracking Buoy System /

Table of Contents: “…Introduction -- Lessons from Marine-Based Oil Spill and Gas Leak Accidents -- Development and Operation of Underwater Robot for Autonomous Tracking and Monitoring of Subsea Plumes after Oil Spill and Gas Leak from Seabed, and Analyses of Measured Data -- Development of a Robotic Floating Buoy for Autonomously Tracking Oil Slicks Drifting on the Sea Surface (SOTAB-II): Experimental Results -- Numerical Simulation of Oil and Gas Blowout from Seabed in Deep Water -- Effect of liquid-gas interaction on plume structure in blowout flow -- Numerical simulation of spilled oil drifting with data assimilation -- Conclusions.…”
Full-text access

Single-Walled Carbon Nanotubes Preparation, Properties and Applications /

Table of Contents: “…Modeling the Growth of Single-Wall Carbon Nanotubes -- Metallic Catalysts for Structure-Controlled Growth of Single-Walled Carbon Nanotubes -- Preparation of Horizontal Single-Walled Carbon Nanotubes Arrays -- Recent Developments in Single-Walled Carbon Nanotube Thin Films Fabricated by Dry Floating Catalyst Chemical Vapor Deposition -- Sorting Carbon Nanotubes -- Electronic and Optical Properties of Single Wall Carbon Nanotubes -- Review of Electronics Based on Single-Walled Carbon Nanotubes -- Carbon Nanotube Thin Film Transistors for Flat Panel Display Application -- Carbon nanotube thin films for high-performance flexible electronics applications -- Single-Walled Carbon Nanotubes in Solar Cells.…”
Full-text access