Bilaketaren emaitzak - section (algorithm OR algorithms)

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

Testu osoa

Applied Mathematics to Mechanisms and Machines II

Testu osoa

The Inner World of Artificial Intelligence

Testu osoa

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....”
Testu osoa

Tools and Algorithms for the Construction and Analysis of Systems

“...The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. ...”
Testu osoa

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. ...”
Testu osoa

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. ...”
Testu osoa

Tools and Algorithms for the Construction and Analysis of Systems

“...The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. ...”
Testu osoa

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. ...”
Testu osoa

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....”
Testu osoa

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. ...”
Testu osoa

Electromagnetic Wave Scattering by Aerial and Ground Radar Objects

Gaiak: “...Radar Detection Algorithms...”
Testu osoa

Forecasting and Assessing Risk of Individual Electricity Peaks nork 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. ...”
Testu osoa

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

Testu osoa

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

Testu osoa

Development and Application of Optical Coherence Tomography (Oct) nork 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). ...”
Testu osoa

Intelligent Control in Energy Systems nork Dounis, Anastasios

Gaiak: “...neural network algorithm...”
Testu osoa

Intrinsic motivations and open-ended development in animals, humans, and robots nork Tom Stafford, Marco Mirolli, Richard Michael Ryan, Gianluca Baldassarre, Andrew Barto, Peter Redgrave

“...Computational approaches are characterizing the space of possible reinforcement learning algorithms and their augmentation by intrinsic reinforcements of different kinds. ...”
Testu osoa

MAPPING MAnagement and Processing of images for Population ImagiNG nork Wiro Niessen, David N. Kennedy, Michel Dojat

“...For the analysis of large datasets, image processing pipelines should be constructed based on the best algorithms available and their performance should be objectively compared to diffuse the more relevant solutions. ...”
Testu osoa

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

Testu osoa