845,760 Hits in 3.9 sec

Information-Flow Interfaces [article]

Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2020 arXiv   pre-print
Finally, we provide three plausible trace semantics to stateful information-flow interfaces and we show that only two correspond to temporal logics for specifying hyperproperties, while the third defines  ...  A theory of formal contracts can be formalized as an interface theory, which supports the composition and refinement of both assumptions and guarantees.  ...  Stateless Interfaces In this section, we introduce a stateless interface and component algebra for secure information flow.  ... 
arXiv:2002.06465v3 fatcat:qndy4q57y5c2dodmymkv63acei

Towards quantum simulations of biological information flow

R. Dorner, J. Goold, V. Vedral
2012 Interface Focus  
For instance, in classical information theory, information is encoded within a bit that exists in one of two computational states, '0' or '1', at all times.  ...  Accordingly, the field quantum information theory has exploited quantum coherence to develop information processing schemes of superior power to their classical counterparts [7] .  ... 
doi:10.1098/rsfs.2011.0109 pmid:23919131 pmcid:PMC3363031 fatcat:6yyxw5j2lzehbcvfvl42u5odty

Maximum flow and minimum-cost flow in multi-interface networks

Gianlorenzo D'Angelo, Gabriele Di Stefano, Alfredo Navarra
2011 Proceedings of the 5th International Confernece on Ubiquitous Information Management and Communication - ICUIMC '11  
By switching among interfaces or by combining the available interfaces, each device might establish several connections.  ...  A connection is established when the devices at its endpoints share at least one active interface. Each interface is assumed to require an activation cost, and provides a communication bandwidth.  ...  Graph transformation Informally, for each interface of each node, there is an arc which has the same cost and bandwidth of the considered interface.  ... 
doi:10.1145/1968613.1968637 dblp:conf/icuimc/DAngeloSN11 fatcat:4nxurnu7dvfxleezmjc67k54ye

Improving the flow of scientific information across the interface of forest science and policy

Linda A. Joyce
2003 Forest Policy and Economics  
These attributes are important elements of improving the flow of information across the science-policy interface. ᮊ  ...  Scientific assessments have been used as a process to synthesize information on a variety of resource issues, including climatic change.  ...  These attributes are important elements of improving the flow of scientific information across the science-policy interface. * Tel.: q1-970-498-2560; fax: q1-970-498-1314.  ... 
doi:10.1016/s1389-9341(03)00033-9 fatcat:3w7zmokw3jeblk3yuxq3xhyrnm

Inferring incompressible two-phase flow fields from the interface motion using physics-informed neural networks

Aaron B. Buhendwa, Stefan Adami, Nikolaus A. Adams
2021 Machine Learning with Applications  
In this work, physics-informed neural networks are applied to incompressible two-phase flow problems.  ...  For the forward problem, we solve the two-phase Couette and Poiseuille flow.  ...  From the CFD solution, the information of the interface position over time is retrieved. The neural network predictions are then compared to the CFD solution.  ... 
doi:10.1016/j.mlwa.2021.100029 fatcat:wvatvqgiqnap3fbs5yfnklwpd4

Social insect colony as a biological regulatory system: modelling information flow in dominance networks

A. K. Nandi, A. Sumana, K. Bhattacharya
2014 Journal of the Royal Society Interface  
Social insects provide an excellent platform to investigate flow of information in regulatory systems since their successful social organization is essentially achieved by effective information transfer  ...  specific substructure-the 'feed-forward loop'-a key functional component in many other information transfer networks.  ...  flow [27] .  ... 
doi:10.1098/rsif.2014.0951 pmid:25320069 pmcid:PMC4223920 fatcat:tpbndvkiwjfznhirpso2cakjsa

An Algorithm for Static Tracing of Message Passing Interface Programs Using Data Flow Analysis

Alaa I. Elnashar, Said F. El-Zoghdy
2014 International Journal of Computer Network and Information Security  
In this paper we present a new algorithm that statically generates the execution trace of a given MPI program using data flow analysis technique.  ...  Message Passing Interface (MPI) is a well know paradigm that is widely used in coding explicit parallel programs. MPI programs exchange data among parallel processes using communication routines.  ...  Communication flow refers to information exchange among the parallel processes which needs some kind of synchronization either implicit or explicit to guarantee a proper information exchange among these  ... 
doi:10.5815/ijcnis.2015.01.01 fatcat:yvupaupzbbdaxhetnef34kzqwa

Reducing schedule instability by identifying and omitting complexity-adding information flows at the supplier–customer interface

Suja Sivadasan, Janet Smart, Luisa Huaccho Huatuco, Anisoara Calinescu
2013 International Journal of Production Economics  
However, if these updating information flows are unreliable and likely to be over-ridden by subsequent updated schedules, then the problem of schedule instability at the supplier-customer interface is  ...  Using empirical results, it is shown that supply chain partners may reduce schedule instability at the supplier-customer interface by identifying and omitting complexity-adding information flows.  ...  Fig. 4 . 4 Information flows monitored at the Company C-Company D interface.  ... 
doi:10.1016/j.ijpe.2013.04.043 fatcat:egv6fmlzpnejhagf7guzebr3ou

Logical Interface based HNP Change Scheme for Flow Mobility in PMIPv6 Domains
PMIPv6 도메인에서 플로우 이동성 지원을 위한 논리인터페이스 기반 HNP 변환 기법

Yong-Geun Hong, Ky-Jun Han, Joo-Sang Youn
2012 The Journal of the Korean Institute of Information and Communication Engineering  
Thus, in this paper, when a mobile node connects to PMIPv6 domain through multi-interface, as a way to support flow mobility, the design of logical interface and Home Network Prefix change scheme based  ...  However, this protocol can not support flow mobility.  ...  이동노드의 논리인터페이스에서 upstream 플로우의 HNP 변화 과정 Fig. 5 The HNP change process of upstream flow in logical interface of mobile node 변환 후 변환된 HNP와 output interface(인터페이스 2)로 플로우를 전달한다.  ... 
doi:10.6109/jkiice.2012.16.4.677 fatcat:ft3tud62cbghjlbtlgdxgor2si

Supplementary Information to the paper in J. R. Soc. Interface \Model Predictions of Deformation, Embolization, and Permeability of Partially Obstructive Blood Clots under Variable Shear Flow" from Model predictions of deformation, embolization and permeability of partially obstructive blood clots under variable shear flow

Shixin Xu, Zhiliang Xu, Oleg V. Kim, Rustem I. Litvinov, John W. Weisel, Mark Alber
2017 Figshare  
The total energy functional E tot of the system used for modeling deformation of already formed blood clot, combines macroscopic kinetic energy E kin , which arises from the macroscopic flow, and microscopic  ...  The second term represents friction induced by the porous media flow inside the clot and last three terms describe interactions among different phases.  ...  The SUPG scheme modifies the weight function of standard Galerkin method by adding a streamline upwind perturbation which acts only in the flow direction. Eqs.  ... 
doi:10.6084/m9.figshare.5555209.v1 fatcat:yqqagffp2nhqxcchid3y373vfu

Educational Interface of Load Flow Methods Using Matlab Graphic User's Interface Software

Osama Wafa
The load flow solution uses iterative techniques that are namely, Newton-Raphson, Gauss-Seidel and Fast Decouple.  ...  After obtaining their results, line changes like line switching, tap changer and bus changing such as bus deletion or any specific information at the same bus can be easily achieved.  ...  CONCLUSION As discussed in this paper, the Graphic User's Interface (GIU) in the MATLAB program can be used to simplify the load flow studies.  ... 

Go with the flow or seize control? interaction principles that make games enjoyable

C. Grundy, A. Blake
27th International Conference on Information Technology Interfaces, 2005.  
A series of design principles relevant to creating graphics for games interfaces were interpreted from the work of leading interaction experts.  ...  Here we might make a comparison with someone who talks too much or gives us more information than we need compared with a character who is not forthcoming.  ...  "When people are able to concentrate wholeheartedly on an activity, they lose awareness of peripheral problems and distractions" The notion of Flow is further defined by Mihaly Csikszentmihalhi in "Flow  ... 
doi:10.1109/iti.2005.1491138 fatcat:vfotn5sdjfennky27ufsp4sbl4

Spatio-temporal image segmentation using optical flow and clustering algorithm

S. Galic, S. Loncaric
IWISPA 2000. Proceedings of the First International Workshop on Image and Signal Processing and Analysis. in conjunction with 22nd International Conference on Information Technology Interfaces. (IEEE Cat. No.00EX437)  
The second feature is the Euclidean norm of the optical flow vector. The optical flow field is computed using a Horn-Schunck algorithm.  ...  The second feature is the Euclidean norm of the optical flow vector defined by Equation 4 . ) ( 2 2 v u E of + = (4) By using the above features, we obtain both the spatial and temporal information about  ...  Figure 7 7 Computed optical flow.  ... 
doi:10.1109/ispa.2000.914892 fatcat:232aj2tnj5a53fqokj2jax36iu

3D cardiac motion estimation by point-constrained optical flow algorithm

T. Macan, S. Loncaric
ISPA 2001. Proceedings of the 2nd International Symposium on Image and Signal Processing and Analysis. In conjunction with 23rd International Conference on Information Technology Interfaces (IEEE Cat. No.01EX480)  
Optical flow is computed from the sequence of images using gradient-based Horn-Schunck method, additionally constrained with motion estimates for characteristic surface points.  ...  Our work demonstrates application of Horn-Schunck optical flow algorithm for 3-D cardiac motion estimation, and proposes to improve the accuracy of estimation by introducing constraints obtained by shape-based  ...  In this paper we propose an optical flow algorithm enhanced by initial motion information obtained by shape-based matching method.  ... 
doi:10.1109/ispa.2001.938637 fatcat:c2asxwqsnffanfkotqlijim7t4

Design and Simulation of a Flow Mobility Scheme Based on Proxy Mobile IPv6

Hyon-Young Choi, Sung-Gi Min, Youn-Hee Han, Rajeev Koodli
2012 Journal of Information Processing Systems  
As new functional modules, the flow interface manager is placed at the MN's logical interface and the flow binding manager in the Local Mobility Anchor (LMA) is paired with the MN's flow interface manager  ...  In the existing PMIPv6-based flow mobility support, although the MN's logical interface can solve the well-known problems of flow mobility in a heterogeneous network, some missing procedures, such as an  ...  flow interface binding information.  ... 
doi:10.3745/jips.2012.8.4.603 fatcat:lg66nbxrqzbp7c6geyb7ehgos4
« Previous Showing results 1 — 15 out of 845,760 results