Search results for " Modeling"
showing 10 items of 2411 documents
Mobile radio channel models for present and future wireless communication systems
2008
From the beginnings of mobile communication, there is a high demand for realistic models for mobile fading channels. The reason for the demand is that channel models are essential for the performance evaluation, parameter optimisation, and test of mobile communication systems. Design methods for mobile fading channels are therefore of great importance for system engineers who are involved in the development of present and future mobile communication systems. In this presentation, an overview will be given about several design methodologies commonly used for the design of mobile radio channel models in present and future wireless communication systems. All presented channel models have in co…
Verifying a medical protocol with temporal graphs: the case of a nosocomial disease.
2014
Abstract Objective Our contribution focuses on the implementation of a formal verification approach for medical protocols with graphical temporal reasoning paths to facilitate the understanding of verification steps. Materials and methods Formal medical guideline specifications and background knowledge are represented through conceptual graphs, and reasoning is based on graph homomorphism. These materials explain the underlying principles or rationale that guide the functioning of verifications. Results An illustration of this proposal is made using a medical protocol defining guidelines for the monitoring and prevention of nosocomial infections. Such infections, which are acquired in the h…
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
2008
International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…
Integrated Tool for Assisted Predictive Analytics
2021
Organizations use predictive analysis in CRM (customer relationship management) applications for marketing campaigns, sales, and customer services, in manufacturing to predict the location and rate of machine failures, in financial services to forecast financial market trends, predict the impact of new policies, laws and regulations on businesses and markets, etc. Predictive analytics is a business process which consists of collecting the data, developing accurate predictive model and making the analytics available to the business users through a data visualization application. The reliability of a business process can be increased by modeling the process and formally verifying its correctn…
A heuristic for problem formalization in agent based simulation studies
2015
Agent Based Modeling and Simulation (ABMS) is considered an effective approach for conducting simulation studies in many fields. In order to develop high quality simulation models, methodological approaches are demanded. In such direction we are moving by proposing a heuristic for the formalization of agent based simulation problems. The proposed heuristic is based on some guidelines developed for identifying the main elements of the problem domain description by analysing verbs and their common taxonomy in grammar.
Concept of Client-Server Environment for Agent-Based Modeling and Simulation of Living Systems
2015
In the paper a concept for integrated and simple-to-use agent-based modeling and simulation environment is presented. The modeling environment allows simulating massive agent-based systems. Modeling environment itself is not domain specific, but it is expandable and allows creating domain-specific models. Hierarchical environment structure is supported. Individual agents could evolve by its individual path and pace. We use the General Living Systems theory as a reference model to check whether proposed modeling and simulation environment may also be used to describe models of living systems that are most complex systems around. The main concepts of proposed modeling environment such as agen…
Modelización computacional cardiaca
2020
Resumen Las enfermedades cardiovasculares tienen en la actualidad un gran impacto social y economico y constituyen una de las principales causas de mortalidad y morbilidad. Los modelos computacionales personalizados del corazon estan demostrando ser utiles tanto para ayudar a comprender los mecanismos subyacentes a las patologias cardiacas como para optimizar su tratamiento prediciendo la respuesta del paciente. En este contexto, se ha puesto en marcha la Red Espanola de Investigacion en Modelizacion Computacional Cardiaca (V-Heart SN). El objetivo general de V-Heart SN es el desarrollo de un modelo computacional multifisico y multiescala integrado del corazon. Este objetivo general se abor…
Maintenance of a Protein Structure in the Dynamic Evolution of TIMPs over 600 Million Years
2016
Deciphering the events leading to protein evolution represents a challenge, especially for protein families showing complex evolutionary history. Among them, TIMPs represent an ancient eukaryotic protein family widely distributed in the animal kingdom. They are known to control the turnover of the extracellular matrix and are considered to arise early during metazoan evolution, arguably tuning essential features of tissue and epithelial organization. To probe the structure and molecular evolution of TIMPs within metazoans, we report the mining and structural characterization of a large data set of TIMPs over approximately 600 Myr. The TIMPs repertoire was explored starting from the Cnidaria…
Cytotoxicity of Novel Sulfanilamides Towards Sensitive and Multidrugresistant Leukemia Cells
2014
Novel sulfa Schiff bases were synthesized and characterized by a reaction between aromatic sulfonamides and aromatic aldehydes or heterocyclic ketones in equimolar ratios. Their cytotoxicity was evaluated by the resazurin assay towards human sensitive CCRF-CEM and multidrug-resistant CEM/ADR5000 leukemia cells. Three of the tested compounds viz., 4-(anthracen-9-ylmethyleneamino)-N-(pyrimidin-2-yl)benzenesulfonamide (4), 4-(anthracen-9- ylmethyleneamino)benzenesulfonamide, (5) and 4-((3-phenylallylidene)amino)benzene-sulfonamide, (6) were cytotoxic (IC 50 values: 5.38-19.96 µM). CEM/ADR5000 cells were not cross-resistant to these compounds, indicating activity against otherwise drug-resistan…
A Structural Model of the Human α7 Nicotinic Receptor in an Open Conformation
2015
International audience; Nicotinic acetylcholine receptors (nAchRs) are ligand-gated ion channels that regulate chemical transmission at the neuromuscular junction. Structural information is available at low resolution from open and closed forms of an eukaryotic receptor, and at high resolution from other members of the same structural family, two prokaryotic orthologs and an eukary- otic GluCl channel. Structures of human channels however are still lacking. Homology modeling and Molecular Dynamics simulations are valuable tools to predict structures of unknown proteins, however, for the case of human nAchRs, they have been unsuccessful in providing a stable open structure so far. This is du…