Resultados de procura - section algorithm

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

Ligazón do recurso

Applied Mathematics to Mechanisms and Machines II

Ligazón do recurso

The Inner World of Artificial Intelligence

Ligazón do recurso

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....”
Ligazón do recurso

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. ...”
Ligazón do recurso

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. ...”
Ligazón do recurso

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. ...”
Ligazón do recurso

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. ...”
Ligazón do recurso

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. ...”
Ligazón do recurso

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....”
Ligazón do recurso

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. ...”
Ligazón do recurso

Electromagnetic Wave Scattering by Aerial and Ground Radar Objects

Subjects: “...Radar Cross-Section Prediction...”
Ligazón do recurso

Forecasting and Assessing Risk of Individual Electricity Peaks por 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. ...”
Ligazón do recurso

Additive Manufacturing: Alloy Design and Process Innovations por Wang, Zhi, Konda Gokuldoss, Prashanth

Ligazón do recurso

Additive Manufacturing: Alloy Design and Process Innovations por Wang, Zhi, Konda Gokuldoss, Prashanth

Ligazón do recurso

Development and Application of Optical Coherence Tomography (Oct) por 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). ...”
Ligazón do recurso

Intelligent Control in Energy Systems por Dounis, Anastasios

Subjects: “...neutral section...”
Ligazón do recurso

Intrinsic motivations and open-ended development in animals, humans, and robots por 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. ...”
Ligazón do recurso

MAPPING MAnagement and Processing of images for Population ImagiNG por 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. ...”
Ligazón do recurso

Methods in Computational Biology por Carlson, Ross, Sauro, Herbert

Ligazón do recurso