Concept

Object-modeling technique

Related publications (19)

Object-oriented modelling of advanced computer cooling solutions

Modern computing systems are so energy- intensive to make efficient cooling vital for their operation. This is giving rise to a variety of innovative cooling solutions based on a mix of traditional and new techniques. The design and engineering of these so ...

Elsevier2023

Every Elementary Higher Topos Has A Natural Number Object

Nima Rasekh

We prove that every elementary (infinity, 1)-topos has a natural number object. We achieve this by defining the loop space of the circle and showing that we can construct a natural number object out of it. Part of the proof involves showing that various de ...

2021

A Novel Approach to Modeling Enterprise Services Leveraging Object Cloning and Multilevel Classification

Alain Wegmann, Lam Son Lê

Object-oriented modeling is concerned with capturing common properties of objects. The dominant thinking in this realm is to classify objects that share certain properties into what is called a class, which in turn enables us to instantiate additional obje ...

IEEE2019

Using A Priori Knowledge to Improve Scene Understanding

Alexandre Massoud Alahi

Semantic segmentation algorithms that can robustly segment objects across multiple camera viewpoints are crucial for assuring navigation and safety in emerging applications such as autonomous driving. Existing algorithms treat each image in isolation, but ...

IEEE2019

Virtual Prototyping Methodology for Power Automation Cyber-Physical-Systems

Juan Sebastian Rodriguez Estupinan

In this thesis, the author proposes a circular system development model which considers all the stages in a typical development process for industrial systems. In particular, the present work shows that the use of virtual prototyping at early stages of the ...

EPFL2017

OsmoseLua – An Integrated Approach to Energy Systems Integration with LCIA and GIS

François Maréchal, Maziar Kermani, Min-Jung Yoo, Lindsay Dianne Lessard

In this paper, we present our recent work on the implementation of an Energy Systems Integration platform allowing the modeling of Energy Systems integrating LCI (Life Cycle Inventory), LCIA (Life Cycle Impact Assessment) and GIS (Geographical Information ...

Elsevier2015

A Situated and Embodied Approach to Service-oriented Modeling

Anshuman Bahadur Saxena

[Context] As opposed to the traditional approach to problem solving, which limits the scope of the solution to the stated problem, the mandate for services is to go deeper and focus on the value that the proposed solution creates for the entities affected ...

EPFL2014

Analysis of Transmission Lines With Arrester Termination, Considering the Frequency-Dependence of Grounding Systems

Mario Paolone, Farhad Rachidi-Haeri, Keyhan Sheshyekani

The paper proposes a modeling technique to analyze the response of a transmission line terminated by a lightning arrester connected to a grounding system buried in a lossy ground. In this technique, the transmission line is modeled in the frequency domain ...

Institute of Electrical and Electronics Engineers2010

Modélisation géométrique itérative sous contraintes

Gilles Gouaty

Iterative models are widely used today in CAD. They allow, with a limited number of parameters, to represent relatively complex forms through a subdivision algorithm. There is a wide variety of such models (Catmull-Clark, Doo-Sabin, L-Systems...). Most ite ...

EPFL2010

A Class Of Mean Field Interaction Models for Computer and Communication Systems

Jean-Yves Le Boudec

We consider models of N interacting objects, where the interaction is via a common resource and the distribution of states of all objects. We introduce the key scaling concept of intensity; informally, the expected number of transitions per object per time ...

2008

Model refactoring using transformations

Slavisa Markovic

Modern software is reaching levels of complexity encountered in biological systems; sometimes comprising systems of systems each of which may include tens of millions of lines of code. Model Driven Engineering (MDE) advocates raising the level of abstracti ...

EPFL2008

Correctly defined concrete syntax

Due to their complexity, the syntax of modern modeling languages is preferably defined in two steps. The abstract syntax identifies all modeling concepts whereas the concrete syntax should clarify how these concepts are rendered by graphical and/or textual ...

Springer-Verlag2008

Embedding Motion in Model-Based Stochastic Tracking

Daniel Gatica-Perez, Jean-Marc Odobez, Silèye Oumar Ba

Particle filtering (PF) is now established as one of the most popular methods for visual tracking. Within this framework, two assumptions are generally made. The first is that the data are temporally independent given the sequence of object states, and the ...

2006

RoclET– Refactoring OCL Expressions by Transformations

Slavisa Markovic, Cédric Jeanneret, Leander Eyer

The role of UML models in software development has changed considerably over the last years. While UML was used in its early days mostly as a notation for sketching ideas, developers more and more recognize now the value of a UML model as a formal document ...

2006

Correctly Defined Concrete Syntax for Visual Modeling Languages

The syntax of modeling languages is usually defined in two steps. The abstract syntax identifies modeling concepts whereas the concrete syntax clarifies how these modeling concepts are rendered by visual and/or textual elements. While the abstract syntax i ...

2006

Modelling and schedulling of remanufacturing systems

In this thesis, the modelling and scheduling of remanufacturing systems is considered. An eXtended two-level Coloured Petri Net (XCPN) model is proposed for the objective of modelling remanufacturing shops. The extended model integrates the formalism of an ...

EPFL2005

The KeY Tool

KeY is a tool that provides facilities for formal specification and verification of programs within a commercial platform for UML based software development. Using the KeY tool, formal methods and object-oriented development techniques are applied in an in ...

Springer2005

Object-oriented approach for dynamic system modelling and simulation

Adel Besrour

Software engineering always cares to provide solutions for building applications as close as possible to what they should be, according to the requirements and the final users needs. Systems behavior simulation is a very common application to virtually rep ...

EPFL2005

An object-oriented model for adaptive high-performance computing on the computational GRID

Tuan Anh Nguyen

The dissertation presents a new parallel programming paradigm for developing high performance (HPC) applications on the Grid. We address the question "How to tailor HPC applications to the Grid?" where the heterogeneity and the large scale of resources are ...

EPFL2005