English
Related papers

Related papers: Functional Component Descriptions for Electrical C…

200 papers

The great majority of engineered products are subject to thermo-mechanical loads which vary with the product environment during the various phases of its life-cycle (machining, assembly, intended service use...). Those load variations may…

Classical Physics · Physics 2009-05-07 Guillaume Mandil , Alain Desrochers , Alain Rivière

Call graphs depict the static, caller-callee relation between "functions" in a program. With most source/target languages supporting functions as the primitive unit of composition, call graphs naturally form the fundamental control flow…

Software Engineering · Computer Science 2016-11-17 Ganesh M. Narayan , K. Gopinath , V. Sridhar

Functional decomposition is the process of breaking down a function $f$ into a composition $f=g(f_1,\dots,f_k)$ of simpler functions $f_1,\dots,f_k$ belonging to some class $\mathcal{F}$. This fundamental notion can be used to model…

Computational Complexity · Computer Science 2026-01-14 Mateus de Oliveira Oliveira , Wim Van den Broeck

Function is defined as the ensemble of tasks that enable the product to complete the designed purpose. Functional tools, such as functional modeling, offer decision guidance in the early phase of product design, where explicit design…

Machine Learning · Computer Science 2021-07-16 Vincenzo Ferrero , Kaveh Hassani , Daniele Grandi , Bryony DuPont

Electronic transport properties through some model quantum systems are re-visited. A simple tight-binding framework is given to describe the systems where all numerical calculations are made using the Green's function formalism. First, we…

Mesoscale and Nanoscale Physics · Physics 2015-03-19 Santanu K. Maiti

This document is an elementary introduction to string diagrams. It takes a computer science perspective: rather than using category theory as a starting point, we build on intuitions from formal language theory, treating string diagrams as…

Logic in Computer Science · Computer Science 2023-11-23 Robin Piedeleu , Fabio Zanasi

Introductory courses on electric circuits at undergraduate level are usually presented in quite abstract terms, with questions and problems quite far from practical problems. This causes the students have difficulties to apply that theory…

Systems and Control · Electrical Eng. & Systems 2024-01-31 Sebastian Martin , Salvador Pineda , Juan Perez-Ruiz , Natalia Alguacil , Antonio Ruiz-Gonzalez

Complex models, such as neural networks (NNs), are comprised of many interrelated components. In order to represent these models, eliciting and characterising the relations between components is essential. Perhaps because of this, diagrams,…

Human-Computer Interaction · Computer Science 2022-06-13 Guy Clarke Marshall , Caroline Jay , Andre Freitas

Motivated by deep learning regimes with multiple interacting yet distinct model components, we introduce learning diagrams, graphical depictions of training setups that capture parameterized learning as data rather than code. A learning…

Machine Learning · Computer Science 2025-01-06 Mason Lary , Richard Samuelson , Alexander Wilentz , Alina Zare , Matthew Klawonn , James P. Fairbanks

The aim of this review is to provide quantum engineers with an introductory guide to the central concepts and challenges in the rapidly accelerating field of superconducting quantum circuits. Over the past twenty years, the field has…

Reliability has become an increasing concern in modern computing. Integrated circuits (ICs) are the backbone of modern computing devices across industries, including artificial intelligence (AI), consumer electronics, healthcare,…

Systems and Control · Electrical Eng. & Systems 2025-03-28 Shaik Jani Babu , Fan Hu , Linyu Zhu , Sonal Singhal , Xinfei Guo

We propose $\mathcal{E}^{\downarrow}$-logic as a formal foundation for the specification and development of event-based systems with local data states. The logic is intended to cover a broad range of abstraction levels from abstract…

Logic in Computer Science · Computer Science 2019-02-11 Rolf Hennicker , Alexandre Madeira , Alexander Knapp

Knowledge graphs and ontologies are becoming increasingly important in the context of making data and metadata findable, accessible, interoperable, and reusable (FAIR). We introduce the concept of Semantic Units for organizing Knowledge…

Databases · Computer Science 2023-11-09 Lars Vogt

The development of safety-critical systems requires the control of hazards that can potentially cause harm. To this end, safety engineers rely during the development phase on architectural solutions, called safety patterns, such as safety…

Systems and Control · Electrical Eng. & Systems 2020-09-23 Yuri Gil Dantas , Antoaneta Kondeva , Vivek Nigam

Dynamical systems are widely used in science and engineering to model systems consisting of several interacting components. Often, they can be given a causal interpretation in the sense that they not only model the evolution of the states…

Artificial Intelligence · Computer Science 2022-03-29 Stephan Bongers , Tineke Blom , Joris M. Mooij

A graph theoretic perspective is taken for a range of phenomena in continuum physics in order to develop representations for analysis of large scale, high-fidelity solutions to these problems. Of interest are phenomena described by partial…

Computational Physics · Physics 2019-05-22 R. Banerjee , K. Sagiyama , G. H. Teichert , K. Garikipati

Electromagnetic theory is central to physics. An undergraduate major in physics typically takes a semester or a year of electromagnetic theory as a junior or senior, and a graduate student in physics typically takes an additional semester…

Programming Languages · Computer Science 2024-07-19 Scott N. Walck

Software product line engineering is a very common method for designing complex software systems. Feature modeling is the most common approach to specify product lines. The main part of a feature model is a special tree of features called a…

Software Engineering · Computer Science 2016-01-26 Aliakbar Safilian , Tom Maibaum

This paper presents a challenging computer vision task, namely the detection of generic components on a PCB, and a novel set of deep-learning methods that are able to jointly leverage the appearance of individual components and the…

Computer Vision and Pattern Recognition · Computer Science 2018-11-21 Chia-Wen Kuo , Jacob Ashmore , David Huggins , Zsolt Kira

We build on the theory of ontology logs (ologs) created by Spivak and Kent, and define a notion of wiring diagrams. In this article, a wiring diagram is a finite directed labelled graph. The labels correspond to types in an olog; they can…

Logic in Computer Science · Computer Science 2025-07-02 Jason Lo
‹ Prev 1 8 9 10 Next ›