Filters








174,709 Hits in 6.1 sec

A Formal Approach to Modeling the Memory of a Living Organism [article]

Dan Guralnik
2010 arXiv   pre-print
We consider a living organism as an observer of the evolution of its environment recording sensory information about the state space X of the environment in real time.  ...  On the algorithmic level, sensory input is used for updating a database, the memory of the observer whose purpose is to serve as a geometric/combinatorial model of X, whose nodes are weighted by the excitation  ...  contending for the high title of "model of the memory of living organisms".  ... 
arXiv:1003.3821v1 fatcat:j4yck2ri6bb2tcaq4gfjw6chua

Signal propagation and neuronal avalanches analysis in networks of formal neurons

Mauricio Girardi-Schappo, Marcelo HR Tragtenberg, Osame Kinouchi
2011 BMC Neuroscience  
Our simulations are made with KTz model, which is a formal neuron, but keeps the usual behaviors of living cells, connected through CSM on a square lattice.  ...  Avalanches are described by power law distributions and when the branching parameter equals to unity, the system is said to be a self-organized critical (SOC) system [13] .  ...  Our simulations are made with KTz model, which is a formal neuron, but keeps the usual behaviors of living cells, connected through CSM on a square lattice.  ... 
doi:10.1186/1471-2202-12-s1-p172 pmcid:PMC3240270 fatcat:r7isg5kxrzbqzdgrjmv4kvkcwa

Special issue: 2nd World Congress on Formal Methods

Ana Cavalcanti, Dennis Dams
2010 Formal methods in system design  
In Reasoning about Memory Layouts (by Holger Gast), we have a method for mechanically verifying the layout of data structures and their components in a program's memory space.  ...  We celebrated this by organizing FM 2009 as the 2nd World Congress in the FM series, aiming to once again bring together the formal methods communities from all over the world.  ...  This is used in the automated verification of realtime systems against requirements that are provided as LSCs. The verification is enabled by a reduction to real-time CTL model checking.  ... 
doi:10.1007/s10703-011-0113-5 fatcat:x67tgz3uq5aodgvape3ftblwwe

Model of Self-organizing Knowledge Representation and Organizational Knowledge Transformation

Oleg Vasylovych Moroz
2020 American Journal of Artificial Intelligence  
Due to postulating the knowledge self-organizing, the hierarchical knowledge structures in memory and the process of thinking as a kind of syntax for the procedure of new knowledge generation are described  ...  Because of the native activity of knowledge, it is impossible to build a knowledge management system without considering the internal structure of knowledge and its emergent ability to self-organize.  ...  The "Japanese" approach is characterized by the organization is to be viewed as a living organism with memory and knowledge being created on the basis of subjective, individual tacit knowledge.  ... 
doi:10.11648/j.ajai.20200401.11 fatcat:r2a3umtc4ne55f6kdx3sl2m5cm

Verifying MPI Applications with SimGridMC

Anh Pham, Thierry Jéron, Martin Quinson
2017 Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17  
It is integrated to SimGrid, a framework mostly dedicated to predicting the performance of distributed applications.  ...  SimGridMC (also dubbed Mc SimGrid) is a stateful Model Checker for MPI applications.  ...  In this work, we propose a practical approach to automatically perform the Model Checking directly of HPC codes written with the Message Passing Interface (MPI).  ... 
doi:10.1145/3145344.3145345 dblp:conf/sc/PhamJQ17 fatcat:ukeeghgjercblc6ef34flsi4fm

Improvising in Creative Symbolic Interaction [chapter]

Gérard Assayag
2016 Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore  
Creative Symbolic Interaction brings together the advantages from the worlds of interactive real-time computing and intelligent, content-level analysis and processing, in order to enhance and humanize  ...  Symbolic interaction aims at defining a new artificial creativity paradigm in computer music, and extends to other fields as well : The idea to bring together composition and improvisation by combining  ...  Acknowledgments Thanks to the others OMax Brothers: M. Chemillier, S. Dubnov, G. Bloch, B. Lévy, L. Bonnasse-Gahot, J. Nika.  ... 
doi:10.1142/9789813140103_0004 fatcat:zz2avfpjxbapfakzpkesy54pga

History is not just stories: a proposal for an operative use of popular architectural heritage

Pedro Fonseca Jorge
2010 Zenodo  
A Type is therefore set according to its formal and spacial aspects, defining two kinds of approaches in the design of contemporary dwellings: Architectural Heritage as a shape, where architectural forms  ...  According to these sources it was defined for the gathered information a timeline around the 1960's in order to produce a Typological Study on formal and organizational schemes of the Popular dwelling  ...  A Type is therefore set according to its formal and spacial aspects, defining two kinds of approaches in the design of contemporary dwellings: Architectural Heritage as a shape, where architectural forms  ... 
doi:10.5281/zenodo.2554220 fatcat:on4l4yhj55bmxjlgb527ibisza

A participative approach to systems analysis : An action research in the local government [chapter]

C. Ciborra, G. Gasbarri, P. C. Maggiolini
1978 Lecture Notes in Computer Science  
The description of an action research in the local goverr~ent shows a possible approach to the analysis and design of Information Systems and Organizational Systems in a hypointegrated context.  ...  The local government appears to be an organization which controls a "hypointegrated system" composed of differently g o a l -d i r e c t e d socio-economic units operating on a portion of land.  ...  memory seems to be a component of the "real power" within organization.  ... 
doi:10.1007/3-540-08934-9_73 fatcat:z2jtrc4ldnb4he2xxp3jngdo3u

Creative Symbolic Interaction

Gérard Assayag
2014 Proceedings of the SMC Conferences  
(Abstract to follow)  ...  Acknowledgments Thanks to the other OMax Brothers: M. Chemillier, S. Dubnov, G. Bloch, B. Lévy, L. Bonnasse-Gahot, J. Nika.  ...  and in-teraction, taking into account the formal organization of music as it is learned and modeled into a structured an-notated memory.  ... 
doi:10.5281/zenodo.850441 fatcat:arpsr4vnd5ddhmha4vcyw4e2v4

Proceedings of the XXXVIIIth Seminar of the French-Speaking Society for Theoretical Biology; Saint-Flour (Cantal), France, 11–13 June, 2018

Nicolas Glade, Ibrahim Cheddadi, Sergiu Ivanov
2020 Acta Biotheoretica  
This theme is often represented in SFBT annual seminars, but we noticed this year a clear decline of the Living viewed as a Machine paradigm, which maintains a mechanistic and computer-like vision of living  ...  Is this ability to travel in a large phenotype landscape in order to escape deleterious conditions the result of another control * Nicolas Glade  ...  Biological modeling helps to consider alternate visions of cell, organism or ecosystem functioning.  ... 
doi:10.1007/s10441-020-09378-9 pmid:32095926 pmcid:PMC7183256 fatcat:rxygp7cfmjau7la4p7cas7qofu

Learning that Reflects the Living: Aligning Anticipation and Edusemiotics

Cary Campbell
2017 The public journal of semiotics  
By 'living', I am referring to the integrated dynamics of reaction and anticipation that is definitional of living organisms, as distinguished from (non-living) inanimate matter.  ...  Following this recent turn in scholarship this paper argues for a perspective of learning rooted in the dynamics of the living.  ...  Acknowledgements This work was partially funded by a Social Science and Humanities Research Council (SSHRC) grant from the Canadian government. My thanks goes out to Dr.  ... 
doi:10.37693/pjos.2017.8.16686 fatcat:d2fwds3i55eo5ixnqgdctb45pu

Graph-based process mining [article]

Amin Jalali
2020 arXiv   pre-print
The increasing amount of event logs in organizations challenges current process mining techniques, which tend to load data into the memory of a computer.  ...  This issue limits the organizations to apply process mining on a large scale and introduces risks due to the lack of data management capabilities.  ...  Approach This section formalizes the approach and explains it through an example. We simplify the formal definition by limiting the set of attributes to hold information about activities.  ... 
arXiv:2007.09352v1 fatcat:5x53mwptjzf3xphtobscty3mjq

Communication by analogy: the contribution of memory as a facilitator of the perception of biomimetic artifacts

Thamyres Oliveira Clementino, Theska Laila De F. Soares, Amilton José Vieira de Arruda
2021 Cuadernos del Centro de Estudios en Diseño y Comunicación. Ensayos  
La función formal-estética está relacionada con la experiencia de impresiones sensoriales de elementos formales-morfología, en la que la relación entre el objeto y el usuario se da a nivel de procesos  ...  Este artículo tiene como objetivo mostrar la Analogía como un camino para el desarrollo comunicacional de los artefactos industriales, que pueden enfatizar sus usos a través de memorias y anticipos de  ...  Memory is capable of reminding the individual of what he lived/learned from observing the natural environment, being able to generate associations through the formal-aesthetic function of bioinspired artifacts  ... 
doi:10.18682/cdc.vi149.5522 fatcat:tuhkut4yd5h67fohfjxuieog4i

System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications

Marion Guthmuller, Martin Quinson, Gabriel Corona
2015 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing  
For example, a memory area of 64 bytes will be used to serve a request of 48 bytes.  ...  Since the byte per byte memory comparison leads to the detection of syntactic differences that are not significant, a memory introspection and a semantic comparison is necessary.  ... 
doi:10.1109/pdp.2015.95 dblp:conf/pdp/GuthmullerQC15 fatcat:6h3fddcczfa4vb2fzqay4ho2eu

Extended Informatics Paradigm in Biological and Psychological Education

Dobilas KIRVELIS, Kastytis BEITAS
2003 Informatics in Education. An International Journal  
The essential difference of EIP is an especial attention to nature and purpose of information in organized biological and/or psychological systems.  ...  Therefore, the scope of bioinformatics which is generally taught as a skill to deal with biological data bases should be extended, as well as the subject of informational psychology.  ...  Replication here is a making of copy, and implantation -a joining to existing information units' network (gene joins the network of interacting genes; model -the system of models in human mind; computer  ... 
doi:10.15388/infedu.2003.04 fatcat:rcmlhpnbgjc2vhgrtezzqpivmm
« Previous Showing results 1 — 15 out of 174,709 results