Search

Your search keyword '"state graph"' showing total 294 results
Start Over Descriptor "state graph"

Refine your results

more »

more »

more »
294 results on '"state graph"'

1. Studies of Reliability of Power Supply of the Enterprise from the Electric Power System and Autonomous Loaded Generators Based on Markov Processes

Author

Basmanov V.G., Kholmanskikh V.M., and Suntsov K.A.

Subjects
pss, autonomous generators, state graph, availability factor, overpayment for electricity, failure and recovery models., Electrical engineering. Electronics. Nuclear engineering, TK1-9971, Production of electric energy or power. Powerplants. Central stations, TK1001-1841, Renewable energy sources, TJ807-830
Abstract

The purpose of this work is to substantiate the use of probabilistic components of the availabil-ity factor of the power supply system (PSS) of the enterprise consisting of a electric power sys-tem and autonomous loaded generators, to calculate overpayments for electricity. To achieve this purpose, operation of the PSS during the last 5 years was studied. The PSS was considered as a restored system which has spinning reserve. The process of the PSS functioning was repre-sented by a simple non-branching graph with one repair team and described by systems of dif-ferential and algebraic equations. The solution of the latter allowed calculating the probability components of the PSS availability factor. The operating time of the PSS in a calendar year was calculated with a different number of serviceable generators. The method for calculating over-payment for electricity was proposed. The most significant result is the justification of the use of probability components of the PSS availability factor for assessing overpayment for electricity. The significance of the obtained results lies in the fact that the proposed formula for overpay-ment for electricity allows to estimate overpayment, identify main causes and recommend measures to reduce it. The reliability of the results is confirmed by the example of calculating overpayment for electricity for a real enterprise. The newly obtained indicators of generator reli-ability can be used in the analysis of overpayment by other enterprises, which have similar gen-erators.

Published
2024
Full Text
View/download PDF

2. DEVISING AN ANALYTICAL METHOD FOR SOLVING THE EIGHTH-ORDER KOLMOGOROV EQUATIONS FOR AN ASYMMETRIC MARKOV CHAIN.

Author

Kravets, Victor, Kapitsa, Mykhailo, Domanskyi, Illia, Kravets, Volodymyr, Hryshechkina, Tatiana, and Zakurday, Svitlana

Subjects
STOCHASTIC processes, FAILED states, DIFFERENTIAL equations, ANALYTICAL solutions, PROBABILITY theory, MARKOV processes
Abstract

The object of research is a complex system of three subsystems, which function independently of each other and are in a working or failed state. There is a need to analytically model and manage the Markov random process in the system, varying the intensity of their development-restoration and degradation-destruction flows. In the study, an analytical method for solving Kolmogorov equations of the eighth order for an asymmetric Markov chain was devised. The corresponding Kolmogorov equations of the eighth order have an ordered transition probability matrix. The distribution of the eight roots of this equation in the complex plane has central symmetry. The results are analytical solutions for the probabilities of the eight states of the Markov chain in time in the form of ordered determinants with respect to the indices of the eight roots and the indices of the eight states, including the column vector of the initial conditions. Symmetry has been established in the distribution on the complex plane of eight real, negative roots of the characteristic Kolmogorov equation centered at the point defined as Reθ=–a7/8, where a7 is the coefficient of the characteristic equation of the eighth degree at the seventh power. Formulas expressing eight roots of the characteristic Kolmogorov equation have been heuristically derived, one of which is zero, due to the intensities of failures and recovery of three subsystems, the eight states of which in general make up an asymmetric Markov chain. For structures consisting of three independently functioning processes, the random process of the transition of the structure through eight possible states with a known initial state is determined in time. An analytical solution to Kolmogorov differential equations of the eighth order for an asymmetric state graph is proposed in harmonic form for the purpose of analysis and synthesis of a random Markov process in a triple system. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

4. State-based verification of industrial control programs with the use of a digital model.

Author

Schamp, Matthias, Aghezzaf, El-Houssaine, and Cottyn, Johannes

Subjects
INDUSTRIAL controls manufacturing, CONFIRMATION (Logic), ENGINEERS, DIGITAL twins, ELECTRONIC records, AUTOMATION
Abstract

Today, the verification of the control logic of automation projects is mainly a manual task during real commissioning phase on the physical installation. This involves a lot of risks towards possible damage and unanticipated delays in project completion. Virtual commissioning allows the verification to start earlier in the project timeline but is often also a manual task and requires a lot of human knowledge and expertise. This paper proposes a workflow to provide additional support to the automation engineer based on a 3D Digital Model that interacts with the real control logic. The digital model records all occurring states and transitions in the background and visualizes the state graph to highlight unexpected behaviour and to support troubleshooting. The proposed approach is validated on a test case confirming (1) the effectiveness of highlighting unexpected behaviour during programming phase and (2) the substantial reduction in real commissioning time. The added value of the approach is concluded, although a number of limitations still exist. Future research includes the validation of the approach on real industrial cases. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

5. Mathematical Modeling of Pumping Stations Reliability

Author

Guzynin, Aleksandr, di Prisco, Marco, Series Editor, Chen, Sheng-Hong, Series Editor, Vayas, Ioannis, Series Editor, Kumar Shukla, Sanjay, Series Editor, Sharma, Anuj, Series Editor, Kumar, Nagesh, Series Editor, Wang, Chien Ming, Series Editor, Onyshchenko, Volodymyr, editor, Mammadova, Gulchohra, editor, Sivitska, Svitlana, editor, and Gasimov, Akif, editor

Published
2023
Full Text
View/download PDF

6. Models and Algorithms for Analysis the Software Quality of the System of Automatic Segmentation and Pathology Analysis of the Lumbar Spine MRI Images

Author

Selyutin, Alexander D., Kushnikov, V. A., Bogomolov, A. S., Rezchikov, A. F., Ivashchenko, V. A., Kotyga, M. M., Toropova, O. A., Kumova, S. V., Kulakova, E. M., Petrova, T. Y., Bolshelapov, M. A., Kacprzyk, Janusz, Series Editor, Gomide, Fernando, Advisory Editor, Kaynak, Okyay, Advisory Editor, Liu, Derong, Advisory Editor, Pedrycz, Witold, Advisory Editor, Polycarpou, Marios M., Advisory Editor, Rudas, Imre J., Advisory Editor, Wang, Jun, Advisory Editor, and Silhavy, Radek, editor

Published
2022
Full Text
View/download PDF

7. Dynamic Coupling Between Links of Articulated Transport Systems

Author

Bazhenov, E., Zelenin, A., Chernyshev, D., Cavas-Martínez, Francisco, Series Editor, Chaari, Fakher, Series Editor, di Mare, Francesca, Series Editor, Gherardini, Francesco, Series Editor, Haddar, Mohamed, Series Editor, Ivanov, Vitalii, Series Editor, Kwon, Young W., Series Editor, Trojanowska, Justyna, Series Editor, Radionov, Andrey A., editor, and Gasiyarov, Vadim R., editor

Published
2022
Full Text
View/download PDF

8. On greedy algorithms for binary de Bruijn sequences.

Author

Chang, Zuling, Ezerman, Martianus Frederic, and Fahreza, Adamas Aqsa

Subjects
*GREEDY algorithms, *BINARY sequences, *ALGORITHMS
Abstract

We propose a general greedy algorithm for binary de Bruijn sequences, called Generalized Prefer-Opposite Algorithm, and its modifications. By identifying specific feedback functions and initial states, we demonstrate that most previously-known greedy algorithms that generate binary de Bruijn sequences are particular cases of our algorithm. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

9. Fuzzy Algorithm for Situational Control of Urban Transport Traffic

Author

О. Стенін, В. Пасько, I. Дроздович, М. Солдатова, and С. Стенін

Subjects
urban transport, operational dispatch control, minibus taxi, state graph, emergency situations, information uncertainty, Automation, T59.5
Abstract

Due to the constant growth of cities in terms of population and territory, the volume of passenger traffic is sharply increasing. A lot of attention is paid to the study of transport infrastructure in scientific works, but the current problems of the functioning of various types of transport in large cities remain not fully covered. First of all this concerns the great uncertainty in the current information about the movement of transport and their work in the event of emergency situations. The article proposes to use the mathematical apparatus of the theory of queuing systems for the analysis of passenger traffic on urban transport. As an example, a graph of states for fixed-route taxis is constructed and ratios are obtained for evaluating the main indicators of the quality of their work. In the conditions of frequent changes in road situations and uncertainty of the conditions for obtaining information about the current situation, it is proposed to carry out traffic management using intelligent decisionmaking support tools. In this regard, it is advisable to use an approach based on fuzzy situational management. For this purpose, the article proposes an algorithm for fuzzy situational management, which is the basis of intelligent IDSS. . For an optimal transition from the current situation to a situation that meets the new operating conditions, in the sense of the selected criterion, it is proposed to use the dynamic programming method. Ref. 12, pic. 4.

Published
2022
Full Text
View/download PDF

10. A graph-based data quality analysis in distributed telemedicine systems.

Author

Jánki, Zoltán Richárd

Subjects
DATA quality, TELEMEDICINE, GRAPH coloring, DATA analysis
Abstract

Telemedicine is one of the most rapidly developing areas of healthcare and it plays an increasing role in modern medicine. As the amount of data and demand for features increase, the data paths are becoming ever-more complex. Owing to this, it is vital in telemedicine to find a proper balance between consistency and availability under any given circumstances. However, making a trade-off can significantly influence the quality of the data. This study seeks to get an in-depth view of the problem by considering a real-world telemedicine use-case and elaborating the formal system specification of the scenario. After evaluating the specification, the constructed state graph is examined using graph coloring and other graph algorithms. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

11. A Semi-Markov Model of the Functioning of Redundant Measuring Instruments Relative to the Frequency of Verification.

Author

Mishchenko, V. I., Kravtsov, A. N., and Mamleev, T. F.

Subjects
*SPARE parts, *MEASURING instruments, *SOFTWARE reliability
Abstract

The problem of modeling the process of functioning of redundant measuring instruments is considered. The determination of the frequency of verification of complex duplicate measuring instruments is validated on the basis of a semi-Markov model of the process of functioning of the instruments. The importance of the use of the theory of semi-Markov processes for modeling the functioning of redundant technical systems, including measurement systems, is demonstrated. A semi-Markov model of the process of functioning of measuring instruments by means of which the influence of such factors as the frequency of verification, support of measuring instruments with spare parts, level of failure-free performance, and degree of maintainability on the reliability of measuring instruments may be taken into account is developed. A method of specifying a semi-Markov process that correctly and adequately approximates the true process is found. The availability factor of the measuring instruments is selected as the indicator of the operating efficiency of the functioning of a measuring instruments and of the corresponding model. [ABSTRACT FROM AUTHOR]

Published
2021
Full Text
View/download PDF

12. Interactive Visualization for Understanding of Attention Patterns

Author

Nguyen, Truong-Huy D., El-Nasr, Magy Seif, Isaacowitz, Derek M., Hege, Hans-Christian, Series editor, Hoffman, David, Series editor, Johnson, Christopher R., Series editor, Polthier, Konrad, Series editor, Rumpf, Martin, Series editor, Burch, Michael, editor, Chuang, Lewis, editor, Fisher, Brian, editor, Schmidt, Albrecht, editor, and Weiskopf, Daniel, editor

Published
2017
Full Text
View/download PDF

13. FORMAL APPROACH BASED ON PETRI NETS FOR MODELING AND VERIFICATION OF VIDEO GAMES.

Author

Barreto, Franciny M. and Julia, Stephane

Subjects
PETRI nets, VIDEO games, VIDEO game design
Abstract

Video games are complex systems that combine technical and artistic processes. The specification of this type of system is not a trivial task, making it necessary to use diagrams and charts to visually specify sets of requirements. Therefore, the underlying proposal of this work is to present an approach based on the formalism of Petri nets for aiding in the design process of video games. The activities of the game are represented by a specific type of Petri net called Work-Flow net. The definition of a topological map can be represented by state graphs. Using Colored Petri nets, it is possible to define formal communication mechanisms between the model of activity and the model of the map. The simulation of the timed models allows then to produce an estimated time that corresponds to the effective duration a player will need to complete a level of a game. Furthermore, a kind of Soundness property related to gameplay in a game Quest can be verified through state space analysis. For a better understanding of the approach, the video game Silent Hill II is used. [ABSTRACT FROM AUTHOR]

Published
2021
Full Text
View/download PDF

14. Modeling of Diesel Engine Fuel Systems Reliability When Operating on Biofuels

Author

Dmytro Zhuravel, Kyrylo Samoichuk, Serhii Petrychenko, Andrii Bondar, Taras Hutsol, Maciej Kuboń, Marcin Niemiec, Lyudmyla Mykhailova, Zofia Gródek-Szostak, and Dmytro Sorokin

Subjects
biodiesel, reliability modeling, fuel system, state graph, Technology
Abstract

One of the main trends in the development of modern engine building is the use of biodiesel fuel, which can lead to a decrease in the reliability of engines that are not adapted to it. However, at present there is no general method for determining the reliability of fuel systems of internal combustion engines. In this paper, a reliability model of engine fuel systems when operating on biofuel has been developed. Comprehensive indicators for assessing the reliability of diesel engine fuel systems are the coefficient of readiness and technical use. The availability factor of the fuel system when operating on biodiesel fuel without the replacement of structural materials was 0.66, while with the replacement it was 0.71, and the coefficient of technical utilization without replacement of materials was 0.36, and with the replacement of 0.4. Recommendations are given to improve the reliability of the engine fuel system components. The resulting model allows for complex comparisons of the effectiveness of various ways to improve the reliability of engines running on biodiesel fuel.

Published
2022
Full Text
View/download PDF

15. Bounded Cycle Synthesis

Author

Finkbeiner, Bernd, Klein, Felix, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Chaudhuri, Swarat, editor, and Farzan, Azadeh, editor

Published
2016
Full Text
View/download PDF

16. Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus

Author

Dal Zilio, Silvano, Berthomieu, Bernard, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Hajiaghayi, Mohammad Taghi, editor, and Mousavi, Mohammad Reza, editor

Published
2016
Full Text
View/download PDF

17. Maximizing the number of jobs scheduled at their baseline starting times in case of machine failures.

Author

Chrétienne, Philippe

Subjects
SCHEDULING, OPEN-ended questions, DEADLINES
Abstract

We investigate the problem of keeping the maximum number of starting times of a baseline schedule if some machines happen to be out of order when the baseline schedule is to be implemented. If the machines are identical, we show that the problem is polynomially solved when no deadline is imposed on the reactive schedule and is strongly NP-hard otherwise. If the number of unrelated machines is fixed and if no deadline is imposed on the reactive schedule, a polynomial algorithm, based on a state graph, has been developed. We conclude with an open complexity question and some further research directions for this class of problems. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

18. An integrated approach for modelling of aircraft maintenance processes

Author

D. Yu. Kiselev and Yu. V. Kiselev

Subjects
functional model, system of maintenance and repair, state graph, block diagram, case-tools, Motor vehicles. Aeronautics. Astronautics, TL1-4050
Abstract

The paper deals with modeling of the processes of maintenance and repair of aircraft. The role of information in im-proving the effectiveness of maintenance systems is described. The methodology for functional modelling of maintenance processes is given. A simulation model is used for modelling possible changes.

Published
2016

19. Compositional Reachability in Petri Nets

Author

Rathke, Julian, Sobociński, Paweł, Stephens, Owen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ouaknine, Joël, editor, Potapov, Igor, editor, and Worrell, James, editor

Published
2014
Full Text
View/download PDF

20. Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations

Author

Lemos Junior, Luiz Carlos, André da Costa Cavalheiro, Simone, Foss, Luciana, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Iyoda, Juliano, editor, and de Moura, Leonardo, editor

Published
2013
Full Text
View/download PDF

21. Graph-Based Object-Oriented Hoare Logic

Author

Zhao, Liang, Wang, Shuling, Liu, Zhiming, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Liu, Zhiming, editor, Woodcock, Jim, editor, and Zhu, Huibiao, editor

Published
2013
Full Text
View/download PDF

22. Brzozowski’s Minimization Algorithm—More Robust than Expected : (Extended Abstract)

Author

Holzer, Markus, Jakobi, Sebastian, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Konstantinidis, Stavros, editor

Published
2013
Full Text
View/download PDF

23. Introduction

Author

Futer, David, Kalfagianni, Efstratia, Purcell, Jessica, Futer, David, Kalfagianni, Efstratia, and Purcell, Jessica

Published
2013
Full Text
View/download PDF

27. Group Behavior Metrics for P2P Botnet Detection

Author

Felix, John, Joseph, Charles, Ghorbani, Ali A., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Chim, Tat Wing, editor, and Yuen, Tsz Hon, editor

Published
2012
Full Text
View/download PDF

29. Verification of Timed Erlang Programs Using McErlang

Author

Earle, Clara Benac, Fredlund, Lars-Åke, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Giese, Holger, editor, and Rosu, Grigore, editor

Published
2012
Full Text
View/download PDF

30. SDL-2010: Background, Rationale, and Survey

Author

Reed, Rick, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Ober, Iulian, editor, and Ober, Ileana, editor

Published
2012
Full Text
View/download PDF

31. A MODERN APPROACH TO MASV TECHNICAL TESTING: THE TESTING CONCEPT

Author

Smolentsev, S.V. and Stepanova, V.I.

Subjects
marine technology, crewless navigation, marine autonomous surface vessels, state graph, modes of operation, testing
Abstract

The article deals with the concept of testing of offshore autonomous surface vessels (MASV), which is a part of the unified system for equipment monitoring, diagnostics and testing (USMD&T) and defines the main types of checks required in accordance with the ship’s condition. It describes the implementation of the test function, discusses the different types of MASV checks and explores the relationship of the test function to the ship’s condition. Requirements for MASV, such as having a unified condition monitoring and diagnostic system and a self- diagnostic function for each component, are also discussed. The article also defines the main modes of ship state: normal, abnormal and recovery. All this will make sure that MASV is reliable and efficient.

Published
2023
Full Text
View/download PDF

33. Multi-core Nested Depth-First Search

Author

Laarman, Alfons, Langerak, Rom, van de Pol, Jaco, Weber, Michael, Wijs, Anton, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bultan, Tevfik, editor, and Hsiung, Pao-Ann, editor

Published
2011
Full Text
View/download PDF

34. Nondeterministic Moore Automata and Brzozowski’s Algorithm

Author

Castiglione, Giusi, Restivo, Antonio, Sciortino, Marinella, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bouchou-Markhoff, Béatrice, editor, Caron, Pascal, editor, Champarnaud, Jean-Marc, editor, and Maurel, Denis, editor

Published
2011
Full Text
View/download PDF

35. Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework

Author

Paulevé, Loïc, Magnin, Morgan, Roux, Olivier, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Istrail, Sorin, editor, Pevzner, Pavel, editor, Waterman, Michael S., editor, Priami, Corrado, editor, Back, Ralph-Johan, editor, Petre, Ion, editor, and de Vink, Erik, editor

Published
2011
Full Text
View/download PDF

36. Uniform Sampling of Digraphs with a Fixed Degree Sequence

Author

Berger, Annabell, Müller-Hannemann, Matthias, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Thilikos, Dimitrios M., editor

Published
2010
Full Text
View/download PDF

37. Symbolic Execution of Acyclic Workflow Graphs

Author

Favre, Cédric, Völzer, Hagen, Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Hull, Richard, editor, Mendling, Jan, editor, and Tai, Stefan, editor

Published
2010
Full Text
View/download PDF

38. On the Use of Temporal Formal Logic to Model Gene Regulatory Networks

Author

Bernot, Gilles, Comet, Jean-Paul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Istrail, Sorin, editor, Pevzner, Pavel, editor, Waterman, Michael S., editor, Masulli, Francesco, editor, Peterson, Leif E., editor, and Tagliaferri, Roberto, editor

Published
2010
Full Text
View/download PDF

39. Nonlocal and Light Cone Dynamics Emergent from Information-Propagating Complete Graph.

Author

Wood, Thomas L.

Subjects
THEORY, QUANTUM information theory, MICROSCOPY, COMPUTATIONAL mechanics, GEOMETRIC vertices
Abstract

Theories relating to the discretization of spacetime and results from quantum information theory have indicated that physically observable behavior may be emergent from such an underlying yet unknown microscopic theory. In this paper, a candidate discrete system based on the structure presented in [1] is explored via direct computational implementation. The microstates of the system evolve via information transfer mechanisms on dynamic complete graphs built upon substitution networks developed in [1]. Using the positive integer edge weights as measures of distance, the system is artificially embedded in ïžµn by treating the flat space violations as stress, resulting in a curved geometry (Figure 1). This stress then effects a force on the vertices. In this paper, light cone dynamics of the motion of the minima of this stress are observed, along with superluminal motion of the vertices. We argue that this superluminal velocity corresponds to the quantum mechanical discontinuous motion of particles and provides possibilities for descriptions of entanglement and particle spin within the system. Further to this, that the compatibility of this type of dynamics with relativistic behavior makes this system nontrivial and worthy of further investigation. [ABSTRACT FROM AUTHOR]

Published
2018
Full Text
View/download PDF

40. State Joining and Splitting for the Symbolic Execution of Binaries

Author

Hansen, Trevor, Schachte, Peter, Søndergaard, Harald, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bensalem, Saddek, editor, and Peled, Doron A., editor

Published
2009
Full Text
View/download PDF

42. A Retrospective on Murϕ

Author

Dill, David L., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Grumberg, Orna, editor, and Veith, Helmut, editor

Published
2008
Full Text
View/download PDF

43. On the Deterministic Tracking of Moving Objects with a Binary Sensor Network

Author

Busnel, Yann, Querzoni, Leonardo, Baldoni, Roberto, Bertier, Marin, Kermarrec, Anne-Marie, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Nikoletseas, Sotiris E., editor, Chlebus, Bogdan S., editor, Johnson, David B., editor, and Krishnamachari, Bhaskar, editor

Published
2008
Full Text
View/download PDF

44. Program Repair Suggestions from Graphical State-Transition Specifications

Author

Wang, Farn, Cheng, Chih-Hong, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Suzuki, Kenji, editor, Higashino, Teruo, editor, Yasumoto, Keiichi, editor, and El-Fakih, Khaled, editor

Published
2008
Full Text
View/download PDF

45. MakeIt: Integrate User Interaction Times in the Design Process of Mobile Applications

Author

Holleis, Paul, Schmidt, Albrecht, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Indulska, Jadwiga, editor, Patterson, Donald J., editor, Rodden, Tom, editor, and Ott, Max, editor

Published
2008
Full Text
View/download PDF

47. Infinite-state graph transformation systems under adverse conditions

Author

Okan Özkan

Subjects
Discrete mathematics, General Computer Science, Computer science, Adverse conditions, Transformation systems, State graph
Abstract

We present an approach for modeling adverse conditions by graph transformation systems. To this end, we introduce joint graph transformation systems which involve a system, an interfering environment, and an automaton modeling their interaction. For joint graph transformation systems, we present notions of correctness under adverse conditions. Some instances of correctness are expressible in LTL (linear temporal logic), or in CTL (computation tree logic), respectively. In these cases, verification of joint graph transformation systems is reduced to temporal model checking. To handle infinite state spaces, we incorporate the concept of well-structuredness. We discuss ideas for the verification of joint graph transformation systems using results based on well-structuredness.

Published
2021
Full Text
View/download PDF

48. Extending the Notion of Rationality of Selfish Agents: Second Order Nash Equilibria

Author

Bilò, Vittorio, Flammini, Michele, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Kučera, Luděk, editor, and Kučera, Antonín, editor

Published
2007
Full Text
View/download PDF

49. A Novel Fast Negative Selection Algorithm Enhanced by State Graphs

Author

Luo, Wenjian, Wang, Xin, Wang, Xufa, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, de Castro, Leandro Nunes, editor, Von Zuben, Fernando José, editor, and Knidel, Helder, editor

Published
2007
Full Text
View/download PDF

50. State Isomorphism in Model Programs with Abstract Data Structures

Author

Veanes, Margus, Ernits, Juhan, Campbell, Colin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Derrick, John, editor, and Vain, Jüri, editor

Published
2007
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results