Результати пошуку - algorithm section

Feature Paper Collection in the Section ‘Energy Science and Technology’

Отримати повний текст

Applied Mathematics to Mechanisms and Machines II

Отримати повний текст

The Inner World of Artificial Intelligence

Отримати повний текст

Electromagnetic Wave Scattering by Aerial and Ground Radar Objects

“...This must-have book provides essential background for computing electromagnetic wave scattering in the presence of different kinds of irregularities, as well as Summarizes fundamental electromagnetic statements such as the Lorentz reciprocity theorem and the image principle Contains integral field representations enabling the study of scattering from various layered structures Describes scattering computation techniques for objects with surface fractures and radar-absorbent coatings Covers elimination of "terminator discontinuities" appearing in the method of physical optics in general bistatic cases Includes radar cross-section (RCS) statistics and high-range resolution profiles of assorted aircrafts, cruise missiles, and tanks Complete with radar backscattering diagrams, echo signal amplitude probability distributions, and other valuable reference material, Electromagnetic Wave Scattering by Aerial and Ground Radar Objects is ideal for scientists, engineers, and researchers of electromagnetic wave scattering, computational electrodynamics, and radar detection and recognition algorithms....”
Отримати повний текст

Tools and Algorithms for the Construction and Analysis of Systems

“...The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. ...”
Отримати повний текст

Tools and Algorithms for the Construction and Analysis of Systems

“...This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. ...”
Отримати повний текст

Computer Aided Verification

“...The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. ...”
Отримати повний текст

Tools and Algorithms for the Construction and Analysis of Systems

“...The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. ...”
Отримати повний текст

Tools and Algorithms for the Construction and Analysis of Systems

“...This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. ...”
Отримати повний текст

Digital Humanities and Digital Media: Conversations on Politics, Culture, Aesthetics and Literacy

“...Other recurrent questions address the relationship between cyberspace and government, the Googlization, quantification and customization of everything, and the culture of sharing and transparency. The section on art and aesthetics evaluates the former hopes for hypertext and hyperfiction, the political facet of digital art, the transition from the “passive” to “active” and from “social” to “transparent reading”; the section on media literacy discusses the loss of deep reading, the prospect of “distant reading” and “algorithmic criticism” as well as the response of the university to the upheaval of new media and the expectations or misgivings towards the rise of the Digital Humanities....”
Отримати повний текст

Computer Aided Verification

“...The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. ...”
Отримати повний текст

Electromagnetic Wave Scattering by Aerial and Ground Radar Objects

Предмети: “...Radar Cross-Section Prediction...”
Отримати повний текст

Forecasting and Assessing Risk of Individual Electricity Peaks за авторством Jacob, Maria, Neves, Cláudia, Vukadinović Greetham, Danica

“...A cross-section of popular demand forecasting algorithms from statistics, machine learning and mathematics is presented, followed by extreme value theory techniques with examples. ...”
Отримати повний текст

Additive Manufacturing: Alloy Design and Process Innovations за авторством Wang, Zhi, Konda Gokuldoss, Prashanth

Отримати повний текст

Additive Manufacturing: Alloy Design and Process Innovations за авторством Wang, Zhi, Konda Gokuldoss, Prashanth

Отримати повний текст

Development and Application of Optical Coherence Tomography (Oct) за авторством Michael Pircher (Ed.)

“...In OCT, broad bandwidth light is used in order to produce cross sectional images of turbid and translucent samples with high axial resolution (in the order of a few µm). ...”
Отримати повний текст

Intelligent Control in Energy Systems за авторством Dounis, Anastasios

Предмети: “...neutral section...”
Отримати повний текст

Intrinsic motivations and open-ended development in animals, humans, and robots за авторством Tom Stafford, Marco Mirolli, Richard Michael Ryan, Gianluca Baldassarre, Andrew Barto, Peter Redgrave

“...The aim of this Research Topic for Frontiers in Psychology under the section of Cognitive Science and Frontiers in Neurorobotics is to present state-of-the-art research, whether theoretical, empirical, or computational investigations, on open-ended development driven by intrinsic motivations. ...”
Отримати повний текст

MAPPING MAnagement and Processing of images for Population ImagiNG за авторством Wiro Niessen, David N. Kennedy, Michel Dojat

“...This subject is the main objective of this research topic (RT), cross-listed between the specialty section “Computer Image Analysis” of Frontiers in ICT and Frontiers in Neuroinformatics. ...”
Отримати повний текст

Methods in Computational Biology за авторством Carlson, Ross, Sauro, Herbert

Отримати повний текст