Results 131 to 140 of about 29,356 (295)
American Journal of Agricultural Economics, EarlyView.Abstract This paper derives a firm‐level threshold, the Herfindahl Neutral Point, from the standard concentration index used in merger review. At this threshold, a marginal expansion leaves the index unchanged. Firms below the threshold reduce concentration when they expand; firms above it increase concentration.
Andrew J. Keller, Krishna P. Paudel
wiley +1 more source
A verified algebra for read-write linked data
The aim of this work is to verify an algebra for high level languages for reading and writing Linked Data. Linked Data refers to a collection of standards which aim to enhance the world’s data, by interlinking datasets through the Web. The starting point
Horne, Ross, Sassone, Vladimiro
core
JACK: A Framework for Process Algebra Implementation in Java [PDF]
, 2002 The construction of concurrent programs is especially complex due mainly to the inherent non-determinism of their execution, which makes it difficult to repeat test scenarios.
Freitas, Leonardo +5 more
core
Asia-Pacific Journal of Chemical Engineering, EarlyView.ABSTRACT Efficient thermal management in advanced industrial systems requires improved heat transfer performance, particularly under non‐Newtonian fluid behavior and complex surface geometries. This study investigates the two‐dimensional flow and heat transfer characteristics of ternary hybrid nanofluids over both stationary and moving wedge surfaces ...
A. O. Akindele +4 more
wiley +1 more source
Process Algebra with Combinators
, 1994 We introduce typed combinatory process algebra, a system combining process algebra with types and combinators. We describe its syntax and semantics, and by way of example, verify within this framework the Simple Alternating Bit Protocol. Key Words &
Alban Ponse +5 more
core
Asia-Pacific Journal of Chemical Engineering, EarlyView.ABSTRACT This study carries significant consequences in various engineering applications, such as cooling rotating disk surfaces, improving chemical reactor performance, and designing filtration systems. Considering these main applications in view, the aim of this study is to investigate time‐dependent Casson hybrid nanofluid flow on a permeable ...
Ebrahem A. Algehyne +6 more
wiley +1 more source
Long‐Range Interactions in Topological Superconducting Systems: A Mini Review
Advanced Physics Research, EarlyView.Long‐range interacting quantum systems are surveyed in this review, with an emphasis on the long‐range topological superconductor and its variants. Long‐range interactions decaying in a power‐law manner can lead to exotic phenomena that finds no analogue in short‐range regimes.
Juntong Ren, Haifeng Lü
wiley +1 more source
Studying the effects of adding spatiality to a process algebra model
, 2009 We use NetLogo to create simulations of two models of disease transmission originally expressed in WSCCS. This allows us to introduce spatiality into the models and explore the consequences of having different contact structures among the agents.
McCaig, Chris +2 more
core
Advanced Physics Research, EarlyView.ABSTRACT We introduce a family of bosonic quantum error‐correcting codes built as a rotation‐symmetric superposition of squeezed vacuum states, which promise protection against both loss and dephasing noise channels. The robustness of these “squeezed‐vacuum codes” arises from being arranged at evenly spaced angles in phase‐space, and simultaneously in ...
Nir Gutman +4 more
wiley +1 more source
, 2001 Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math,
Bergstra, J. A. +2 more
core