English
Related papers

Related papers: Functional Component Descriptions for Electrical C…

200 papers

Cause-consequence Diagram (CCD) is widely used as a deductive safety analysis technique for decision-making at the critical-system design stage. This approach models the causes of subsystem failures in a highly-critical system and their…

Formal Languages and Automata Theory · Computer Science 2021-01-21 Mohamed Abdelghany , Sofiene Tahar

Transformers generate valid and diverse chemical structures, but little is known about the mechanisms that enable these models to capture the rules of molecular representation. We present a mechanistic analysis of autoregressive…

Machine Learning · Computer Science 2025-12-11 Kristof Varadi , Mark Marosi , Peter Antal

A wiring diagram is a labeled directed graph that represents an abstract concept such as a temporal process. In this article, we introduce the notion of a quasi-skeleton wiring diagram graph, and prove that quasi-skeleton wiring diagram…

Artificial Intelligence · Computer Science 2025-11-26 Jason Lo , Mohammadnima Jafari

Component-based development is one of the core principles behind modern software engineering practices. Understanding of causal relationships between components of a software system can yield significant benefits to developers. Yet modern…

Software Engineering · Computer Science 2023-03-17 Andrei Paleyes , Siyuan Guo , Bernhard Schölkopf , Neil D. Lawrence

The superconducting diode effect (SDE) allows polarity-dependent critical currents when time-reversal and current-inverting spatial symmetries are broken. Superconducting diodes show promise for applications, but inversion asymmetry is…

This paper continues the application of circuit theory to experimental design started by the first two authors. The theory gives a very special and detailed representation of the kernel of the design model matrix. This representation turns…

Computation · Statistics 2021-06-22 Roberto Fontana , Fabio Rapallo , Henry P. Wynn

Concept Hierarchies and Formal Concept Analysis are theoretically well grounded and largely experimented methods. They rely on line diagrams called Galois lattices for visualizing and analysing object-attribute sets. Galois lattices are…

Machine Learning · Statistics 2013-03-12 Michel Crampes , Michel Plantié

Graphical tensor notation is a simple way of denoting linear operations on tensors, originating from physics. Modern deep learning consists almost entirely of operations on or between tensors, so easily understanding tensor operations is…

Machine Learning · Computer Science 2024-02-06 Jordan K. Taylor

This work is about diagrammatic languages, how they can be represented, and what they in turn can be used to represent. More specifically, it focuses on representations and applications of string diagrams. String diagrams are used to…

Category Theory · Mathematics 2012-03-23 Aleks Kissinger

System-level design, once the province of board designers, has now become a central concern for chip designers. Because chip design is a less forgiving design medium -- design cycles are longer and mistakes are harder to correct --…

Hardware Architecture · Computer Science 2025-07-15 Shuvra S. Bhattacharyya , Marilyn Wolf

Science is rich in abstract concepts that capture complex processes in astonishingly simple ways. A prominent example is the reduction of molecules to simple graphs. This work introduces a design principle for parametrized quantum circuits…

Quantum Physics · Physics 2023-08-09 Jakob S. Kottmann

Devices built using circuit quantum electrodynamics architectures are one of the most popular approaches currently being pursued to develop quantum information processing hardware. Although significant progress has been made over the…

Quantum Physics · Physics 2021-04-15 Thomas E. Roth , Weng C. Chew

In this paper, a monad-based denotational model is introduced and shown adequate for the Proto-Quipper family of calculi, themselves being idealized versions of the Quipper programming language. The use of a monadic approach allows us to…

Programming Languages · Computer Science 2025-12-01 Ken Sakayori , Andrea Colledan , Ugo Dal Lago

Nested graphs have been used in different applications, for example to represent knowledge in semantic networks. On the other hand, graphs with cycles are really important in surface reconstruction, periodic schedule and network analysis.…

Combinatorics · Mathematics 2018-11-08 María Carrasco , Zenaida Castillo , Nerio Borges , Ramón Pino Pérez

A system of diagrams is introduced that allows the representation of various elements of a quantum circuit, including measurements, in a form which makes no reference to time (hence ``atemporal''). It can be used to relate quantum dynamical…

Quantum Physics · Physics 2009-11-11 Robert B. Griffiths , Shengjun Wu , Li Yu , Scott M. Cohen

Functionals are an important research subject in Mathematics and Computer Science as well as a challenge in Information Technologies where the current programming paradigm states that only symbolic computations are possible on higher order…

Logic · Mathematics 2018-09-13 Stanislaw Ambroszkiewicz

Electronic exams (e-exams) have the potential to substantially reduce the effort required for conducting an exam through automation. Yet, care must be taken to sacrifice neither task complexity nor constructive alignment nor grading…

Computers and Society · Computer Science 2023-08-17 Ole Lübke , Konrad Fuger , Fin Hendrik Bahnsen , Katrin Billerbeck , Sibylle Schupp

Floorplans are commonly used to represent the layout of buildings. In computer aided-design (CAD) floorplans are usually represented in the form of hierarchical graph structures. Research works towards computational techniques that…

Machine Learning · Computer Science 2021-06-04 Vahid Azizi , Muhammad Usman , Honglu Zhou , Petros Faloutsos , Mubbasir Kapadia

Analog and mixed-signal (AMS) circuit designs still rely on human design expertise. Machine learning has been assisting circuit design automation by replacing human experience with artificial intelligence. This paper presents TAG, a new…

Hardware Architecture · Computer Science 2022-09-09 Keren Zhu , Hao Chen , Walker J. Turner , George F. Kokai , Po-Hsuan Wei , David Z. Pan , Haoxing Ren

The development of an IT strategy and ensuring that it is the best possible one for business is a key problem many organizations face. This problem is that of linking business architecture to IT architecture in general and application…

Software Engineering · Computer Science 2024-07-25 Suresh Kamath