DSpace Principal
→
IIMAS
→
Listar IIMAS fecha de publicación

Listar IIMAS por fecha de publicación

Mostrando ítems 1-20 de 42

Página siguiente

CTL update of Kripke models through protections

Rosenblueth Laguette, David Arturo (Elsevier B.V., 2014-03-02)

We present a nondeterministic, recursive algorithm for updating a Kripke model so as to satisfy a given formula of computation-tree logic (CTL). Recursive algorithms for model update face two dual difficulties: (1) Removing ...
Entropy Methods in Guided Self-Organisation

Gershenson, Carlos (MDPI, 2014-10-09)

Self-organisation occurs in natural phenomena when a spontaneous increase in order is produced by the interactions of elements of a complex system. Thermodynamically, this increase must be offset by production of entropy ...
Concept and Functional Structure of a Service Robot

Rodríguez, Arturo; Fuentes, Gibran; Rascon, Caleb; Meza, Ivan V. (SAGE journals, 2015-01-01)

In this paper, we present a concept of service robot and a framework for its functional specification and implementation. The present discussion is grounded in Newell's system levels hierarchy which suggests organizing ...
P300 Detection Based on EEG Shape Features

Garduño, Edgar; Bribiesca, Ernesto; Yáñez-Suárez, Oscar; Medina-Bañuelos, Verónica (Hindawi, 2016-01-10)

We present a novel approach to describe a P300 by a shape-feature vector, which offers several advantages over the feature vector used by the BCI2000 system. Additionally, we present a calibration algorithm that reduces ...
Measuring the Complexity of Continuous Distributions

Gershenson, Carlos; Fernández, Nelson (MDPI, 2016-02-26)

We extend previously proposed measures of complexity, emergence, and self-organization to continuous distributions using differential entropy. Given that the measures were based on Shannon’s information, the novel continuous ...
Design of a Fuzzy Networked Control Systems. Priority Exchange Scheduling Algorithm

Ortega-Arjona, Jorge; Duran-Chavesti, Adrian; Rojas-Vargas, Jared Arturo (CCC PUBL-AGOR, 2016-04-01)

This work presents a supervisory control strategy for Networked Control Systems (NCSs). This shows the identification and control of the plant using fuzzy theory. The fuzzy model incorporates the delay dynamics within the ...
FRNA Bacteriophages as Viral Indicators of Faecal Contamination in Mexican Tropical Aquatic Systems

Diaz-Avalos, Carlos; Lopez-Vidal, Yolanda; Castillo-Rojas, Gonzalo; Mazari-Hiriart, Marisa (Public Library Science, 2017-01-23)

A particular challenge to water safety in populous intertropical regions is the lack of reliable faecal indicators to detect microbiological contamination of water, while the numerical relationships of specific viral ...
Numerical study of the 3D-shape of a drop immersed in a fluid under an elongational flow with vorticity

Geffroy Aguilar, Enrique; Minzoni Alessio, Antonmaria; Reyes Huesca, Marco Antonio (IOP PUBLISHING LTD, 2017-02-08)

This work focuses on a three-dimensional analysis of the deformation of a drop — immersed in a Newtonian fluid— generated by a 2D elongational flow with vorticity. The study of steady-state deformations of the cross-section ...
The combination of the functionalities of feedback circuits is determinant for the attractors’ number and size in pathway-like Boolean networks

Muñoz, Stalin; González-Tokman, Daniel; Martínez-Sánchez, Mariana Esther; Weinstein, Nathan; Álvarez-Buylla, Elena R.; Rosenblueth Laguette, David Arturo; Mendoza, Luis; Naldi, Aurélien (Springer Nature, 2017-02-10)

Molecular regulation was initially assumed to follow both a unidirectional and a hierarchical organization forming pathways. Regulatory processes, however, form highly interlinked networks with non-hierarchical and ...
Towards the complete proteinaceous regulome of Acinetobacter baumannii

Weiss, Andy; Pérez-Rueda, Ernesto; Ibarra, J. Antonio; Shaw, Lindsey N. (MICROBIOLOGY SOC, 2017-03-23)

The emergence ofAcinetobacter baumanniistrains, with broad multidrug-resistance phenotypes and novel virulence factorsunique to hypervirulent strains, presents a major threat to human health worldwide. Although a number ...
A Package for Measuring emergence, Self-organization, and Complexity Based on Shannon entropy

Gershenson, Carlos; Fernández, Nelson (Frontiers Media S.A., 2017-03-28)

We present a set of Matlab/Octave functions to compute measures of emergence, self-organization, and complexity applied to discrete and continuous data. These measures are based on Shannon’s information and differential ...
Where There Is Life There Is Mind: In Support of a Strong Life-Mind Continuity Thesis

Froese, Tom (MDPI, 2017-04-14)

This paper considers questions about continuity and discontinuity between life and mind. It begins by examining such questions from the perspective of the free energy principle (FEP). The FEP is becoming increasingly ...
A game-theory modeling approach to utility and strength of interactions dynamics in biomedical research social networks

García Herrera, Rodrigo; Hernández Lemus, Enrique; Alcalá Corona, Sergio (Springer, 2017-05-16)

Collaboration has become a cornerstone in biomedical research today. In contrast to physics which has a long history and experience in collaborative projects, biology is only recently becoming an evermore collaborative ...
Deliberative Self-Organizing Traffic Lights with Elementary Cellular Automata

Gershenson, Carlos; Rosenblueth Laguette, David Arturo (Hindawi, 2017-05-30)

Self-organizing traffic lights have shown considerable improvements compared to traditional methods in computer simulations. Self-organizing methods, however, use sophisticated sensors, increasing their cost and limiting ...
Localization of sound sources in robotics: A review

Meza, Ivan V. (Elsevier B.V., 2017-08-05)

Sound source localization (SSL) in a robotic platform has been essential in the overall scheme of robot audition. It allows a robot to locate a sound source by sound alone. It has an important impact on other robot audition ...
Rank distributions: Frequency vs. Magnitude

Robledo, Alberto (Public Library Science, 2017-10-05)

We examine the relationship between two different types of ranked data, frequencies and magnitudes. We consider data that can be sorted out either way, through numbers of occurrences or size of the measures, as it is the ...
A Sensorimotor Signature of the Transition to Conscious Social Perception: Co-regulation of Active and Passive Touch

Froese, Tom; Oka, Mizuki; Iizuka, Hiroyuki; Ikegami, Takashi (Frontiers Media S.A., 2017-10-13)

It is not yet well understood how we become conscious of the presence of other people as being other subjects in their own right. Developmental and phenomenological approaches are converging on a relational hypothesis: my ...
MEBS, a software platform to evaluate large (meta)genomic collections according to their metabolic machinery: unraveling the sulfur cycle.

Zapata-Peñasco, Icoquih; Poot-Hernández, Augusto César; Eguiarte, Luis E.; Contreras-Moreira, Bruno; Souza, Valeria (OXFORD UNIV PRESS, 2017-10-23)

The increasing number of metagenomic and genomic sequences has dramatically improved our understanding of microbial diversity, yet our ability to infer metabolic capabilities in such datasets remains challenging. We describe ...
Improving public transportation systems with self-organization: A headway-based model and regulation of passenger alighting and boarding

Pineda, Luis Alberto; Gershenson, Carlos (Public Library Science, 2017-12-29)

The equal headway instability-the fact that a configuration with regular time intervals between vehicles tends to be volatile-is a common regulation problem in public transportation systems. An unsatisfactory regulation ...
Combining the ADMM and mathematical homogenization for atmospherical pollutant dispersion modeling

Pérez-Fernández, Leslie Darien; Rui, Karine; Bravo-Castillero, Julián (Sociedade Brasileira de Meteorologia, 2018)

O método multicamadas de advecção-difusão (ADMM) produz soluções semianalíticas precisas dos problemas devalores de contorno/iniciais para equações de advecção-difusão com coeficientes variáveis que modelam a ...

Mostrando ítems 1-20 de 42

Página siguiente

Buscar en DSpace

Búsqueda avanzada

Listar IIMAS por fecha de publicación

Listar IIMAS por fecha de publicación

Buscar en DSpace

Listar

Todo DSpace

Esta comunidad

Mi cuenta