Cerca risorse accademiche

The effects of human loads on structures are difficult to predict because they depend on the type of activity people are performing. However, models for typical activities such as standing, sitting and jumping have been ...

Simply put, a multiagent system can be understood as a collection of autonomous agents able to accomplish as a whole goals beyond the capabilities of any of its members. The traditional example depicts a heavy armchair t...

Oil well logs are frequently used to determine the mineralogy and physical properties of potential reservoir rocks, and the nature of the fluids they contain. Recently we reported an exploratory use of neural network ens...

Materie / parole chiave: RICHARDSON, GEORGE P; MIT PRESS; 003.85 R525i

Materie / parole chiave: LEWIS, TRACY R; CALIFORNIA INSTITUTE OF TECHNOLOGY; 333.956 L676s

Educational modules – concise units of study capable of integrating theoretical/practical contents and supporting tools – can be seen as relevant mechanisms to facilitate the student’s apprenticeship. The establish...

Petri Nets are tools for the analysis and design of concurrent systems. There is a formal theory, which supports Petri Nets. We propose Petri Nets with Clocks which has a high expressive power in the concurrent and async...

The Unified Modeling Language (UML) is a semi-formal graphical language that has been accepted as standard to model object-oriented software systems. This language defines various kinds of diagrams that are used to descr...

Various worms have a devastating impact on Internet. Packet level network modeling and simulation has become an approach to find effective countermeasures against worm threat. However, current alternatives are not fit en...

In this work, we discuss aspects of a framework to support the understanding and the improvement in hypermedia development processes. The framework is built taking into account two modeling approaches and four domain lev...

We present P♤, a Stochastic Process Algebra (SPA) that allows for the modeling of timed systems with priorities and urgency. We de ne the semantics of P♤ in terms of Prioritized Stochastic Automata (PSA), an extensio...

Classical methods for representing and reasoning with knowledge rely on the assumption that the available information is complete, certain and consistent. In real-world problems this is usually not the case, and Al has l...

We present in this work an outline of an ongoing research line in the framework of the Software Engineering Group (SEG) at the National University of San Luis. We describe here the previous work carried out by the group ...

The increasing complexity of software systems makes their development complicated and error prone. A widely used and generally accepted technique in software engineering is the combination of different models (or views) ...

Discrete combinatorial problems can be solved with Constraint Programming (CP) as long as they are formulated as Constraint Satisfaction Problems (CSP). In this paper we propose an object oriented model to solve combinat...

We propose an extension of Coalitional ATL (a logic for reasoning about coalitions and their formation process, see [10]) by goals. This goal framework allows for a finer grained modeling of coalitions: Coalitional frame...

"This paper presents the mechatronics design, modeling, simulation, implementation and control of an inverted pendulum by applying controlled torques to a reaction wheel. We present a method for finding an optimal mechan...

This paper shows a modeling and developing methodology for mobile web applications using the MDA (Model Driver Architecture) approach. It´s based on a conservative extension of UML allowing modeling with any existing to...

UML is a language for visualizing, specifying, constructing, and documenting the artifacts of a software-intensive system. UML supports the typical software modeling problems. However, due to the diversity of software de...

Se asume que el lector ya tiene conocimientos previos de un lenguaje de modelado conceptual y de bases de datos relacionales. En este libro se aborda la problemática y la multiplicidad que supone obtener un esquema rela...

La presente documentación puede servir como guía para todas aquellas personas que quieran formarse en el ámbito de la ingeniería del software. Más concretamente, su objetivo principal es explicar cómo debe realizar...

La metodología BIM (Building Information Modeling), el Gemelo Digital y el Big Data son conceptos que han irrumpido en los nuevos procesos de desarrollo y modelización de proyectos de edificación y obra civil. La apli...

Este libro le ayudará a saber en qué consiste y cómo trabajar con el programa Revit Architecture. Se trata de un software que admite un flujo de trabajo de BIM (Building Information Modeling) y permite al usuario mode...

Transatlantic Landscapes: Environmental Awareness, Literature and the Arts considers culture as an outcome of nature as its fundamental principle. The biosemiotic suggestion that life itself is a process of signification...