Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

Instruction Sequences for Computer Science

Posted By: AvaxGenius
Instruction Sequences for Computer Science

Instruction Sequences for Computer Science by Jan A. Bergstra , Cornelis A. Middelburg
English | PDF (True) | 2012 | 241 Pages | ISBN : 9491216643 | 2 MB

This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity, are usually investigated thinking in terms of a common model of computation such as Turing machines and Boolean circuits. The subjects from the area of computer architecture, to wit instruction sequence performance, instruction set architectures and remote instruction processing, are usually not investigated in a rigorous way at all.

Silicon-Based High-Sensitivity Broadband Receiver

Posted By: AvaxGenius
Silicon-Based High-Sensitivity Broadband Receiver

Silicon-Based High-Sensitivity Broadband Receiver by Xiaojun Bi
English | PDF EPUB (True) | 2024 | 186 Pages | ISBN : 981970880X | 57.6 MB

This book presents various design theories and methodologies for silicon-based high-sensitivity broadband receivers, including millimeter-wave radiometer chips and photoelectric receivers, which are core elements in imaging systems, data centers, and telecommunication infrastructures. As a key module in application systems, the high-sensitivity broadband receiver, not only attracts the attention of engineers and researchers in the radio-frequency and optoelectronic fields, but also garners significant interest from other disciplines, including optics, communications, and security.

Digital Design and Manufacturing of Medical Devices and Systems

Posted By: hill0
Digital Design and Manufacturing of Medical Devices and Systems

Digital Design and Manufacturing of Medical Devices and Systems
English | 2024 | ISBN: 9819970997 | 426 Pages | PDF EPUB (True) | 52 MB

"Piezoelectric and Thermoelectric Materials Novel Applications" ed. by Rafael Vargas-Bernal, Roberto Palma Guerrero

Posted By: exLib
"Piezoelectric and Thermoelectric Materials Novel Applications" ed. by Rafael Vargas-Bernal, Roberto Palma Guerrero

"Piezoelectric and Thermoelectric Materials Novel Applications" ed. by Rafael Vargas-Bernal, Roberto Palma Guerrero
ITexLi | 2024 | ISBN: 1837683972 9781837683970 1837683964 9781837683963 1837683980 9781837683987 | 150 pages | PDF | 18 MB

The purpose of this work is to disseminate some of the latest scientific and technological advances by different researchers around the world in the development of devices and applications based on these materials. The book compiles state-of-the-art fundamentals, current uses, as well as emerging applications of piezoelectric and thermoelectric materials. It is a source of inspiration for continued scientific research on the commercial, industrial, and military applications of these materials. Furthermore, it is a valuable and informative resource for undergraduate and graduate students, as well as experts and researchers in the field.

Towards the Optical Control of Resonantly Bonded Materials: An Ultrafast X-Ray Study

Posted By: AvaxGenius
Towards the Optical Control of Resonantly Bonded Materials: An Ultrafast X-Ray Study

Towards the Optical Control of Resonantly Bonded Materials: An Ultrafast X-Ray Study by Yijing Huang
English | PDF EPUB (True) | 2023 | 165 Pages | ISBN : 3031428250 | 35.3 MB

This thesis describes key contributions to the fundamental understanding of materials structure and dynamics from a microscopic perspective. In particular, the thesis reports several advancements in time-domain methodologies using ultrafast pulses from X-ray free-electron lasers (FEL) to probe the interactions between electrons and phonons in photoexcited materials. Using femtosecond time-resolved X-ray diffraction, the author quantifies the coherent atomic motion trajectory upon sudden excitation of carriers in SnSe. This allows the reconstruction of the nonequilibrium lattice structure and identification of a novel lattice instability towards a higher-symmetry structure not found in equilibrium. This is followed by an investigation of the excited-state phonon dispersion in SnSe using time-resolved X-ray diffuse scattering which enables important insight into how photoexcitation alters the strength of specific bonds leading to the novel lattice instability observed in X-ray diffraction.

Organic Electronics Materials and Devices (2nd Edition)

Posted By: hill0
Organic Electronics Materials and Devices (2nd Edition)

Organic Electronics Materials and Devices (2nd Edition)
English | 2024 | ISBN: 4431569359 | 582 Pages | PDF EPUB (True) | 128 MB

Nanoalloy Electrocatalysts for Electrochemical Devices

Posted By: arundhati
Nanoalloy Electrocatalysts for Electrochemical Devices

César Augusto Correia de Sequeira, "Nanoalloy Electrocatalysts for Electrochemical Devices"
English | ISBN: 3036548211 | 2022 | 110 pages | PDF | 4 MB

Abstract State Machines, Alloy, B, VDM, and Z

Posted By: AvaxGenius
Abstract State Machines, Alloy, B, VDM, and Z

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
English | PDF | 2012 | 392 Pages | ISBN : 3642308848 | 8.6 MB

This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.

How the World Computes

Posted By: AvaxGenius
How the World Computes

How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings by S. Barry Cooper, Anuj Dawar, Benedikt Löwe
English | PDF | 2012 | 773 Pages | ISBN : 3642308694 | 14.7 MB

This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012.
The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance rate of under 29,8%. The CiE 2012 Turing Centenary Conference will be remembered as a historic event in the continuing development of the powerful explanatory role of computability across a wide spectrum of research areas. The papers presented at CiE 2012 represent the best of current research in the area, and forms a fitting tribute to the short but brilliant trajectory of Alan Mathison Turing. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.

USB Programming for PIC18 Devices

Posted By: roxul
USB Programming for PIC18 Devices

Andrew Eliasz, "USB Programming for PIC18 Devices"
English | ISBN: 0993531504 | 2016 | 180 pages | PDF | 5 MB

Fundamentals of Electronic Devices & Circuits

Posted By: Free butterfly
Fundamentals of Electronic Devices & Circuits

Fundamentals of Electronic Devices & Circuits by Dr. Vibhav Kumar Sachan
English | August 29, 2020 | ISBN: N/A | ASIN: B07X13198G | 421 pages | EPUB | 10 Mb

Modern Electronics Devices and Communication Systems

Posted By: hill0
Modern Electronics Devices and Communication Systems

Modern Electronics Devices and Communication Systems: Select Proceedings of MEDCOM 2021
English | 2023 | ISBN: 9811963827 | 879 Pages | PDF EPUB (True) | 106 MB

Methods and Tools for Simulation and Quality Control of Design and Production of Microwave Devices

Posted By: arundhati
Methods and Tools for Simulation and Quality Control of Design and Production of Microwave Devices

Sergey V. Savelkaev, "Methods and Tools for Simulation and Quality Control of Design and Production of Microwave Devices"
English | ISBN: 152754317X | 2020 | 283 pages | PDF | 47 MB

Bioelectronics and Medical Devices

Posted By: hill0
Bioelectronics and Medical Devices

Bioelectronics and Medical Devices: Applications and Technology
English | 2022 | ISBN: 1771889233 | 255 Pages | PDF (True) | 49 MB

Handbook of Smart Materials, Technologies, and Devices

Posted By: hill0
Handbook of Smart Materials, Technologies, and Devices

Handbook of Smart Materials, Technologies, and Devices: Applications of Industry 4.0
English | 2022 | ISBN: 3030842045 | 2831 Pages | PDF (True) | 80 MB