A modeling framework for product development process considering its characteristics

About
Privacy
Disclaimer

Graph Chatbot

Related publications (28)

Formula Normalizations in Verification

Viktor Kuncak, Mario Bucev, Simon Guilloud, Dragana Milovancevic

We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...

2023

Capturing trade-offs between daily scheduling choices

Michel Bierlaire, Janody Pougala, Timothy Michael Hillel

We propose a new modelling approach for daily activity scheduling which integrates the different daily scheduling choice dimensions (activity participation, location, schedule, duration and transportation mode) into a single optimisation problem. The funda ...

ELSEVIER SCI LTD2022

Modeling of second-order nonlinear metasurfaces

Olivier Martin, Karim Achouri, Andrei Kiselev

We present a frequency-domain modeling technique for second-order nonlinear metasurfaces. The technique is derived from the generalized sheet transition conditions (GSTCs), which have been so far mostly used for modeling linear metasurfaces. In this work, ...

IOP Publishing Ltd2022

ECCE: Entity-centric Corpus Exploration Using Contextual Implicit Networks

Maud Ehrmann, Matteo Romanello, Andreas Oliver Spitz

In the Digital Age, the analysis and exploration of unstructured document collections is of central importance to members of investigative professions, whether they might be scholars, journalists, paralegals, or analysts. In many of their domains, entities ...

ACM Digital Press2022

Conceptual frameworks in indicator‐based assessments of urban sustainability—An analysis based on 67 initiatives

Albert Merino, Pekka Jaakko Halla

Urban sustainability is today commonly considered to be a crucial determinant of global sustainable development, and indicator-based assessments represent a popular means of operationalizing this complex concept. An important aspect of these assessments co ...

2022

Combining hypothesis- and data-driven neuroscience modeling in FAIR workflows

Daniel Keller

Modeling in neuroscience occurs at the intersection of different points of view and approaches. Typically, hypothesis-driven modeling brings a question into focus so that a model is constructed to investigate a specific hypothesis about how the system work ...

2022

Dynamic Probabilistic Pruning: A General Framework for Hardware-Constrained Pruning at Different Granularities

Alexandre Schmid, Lizeth Gonzalez Carabarin

Unstructured neural network pruning algorithms have achieved impressive compression ratios. However, the resulting-typically irregular-sparse matrices hamper efficient hardware implementations, leading to additional memory usage and complex control logic t ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

A Theory of Value for Service Ecosystems

Blagovesta Hristova Kostova

In this thesis, we present a theory of value for the design and analysis of service ecosystems. The theory is based on general systems thinking. The concept of a system is used for relating knowledge from different disciplines (such as software engineering ...

EPFL2022

Page 2 of 2