Results 61 to 70 of about 21,615,207 (391)
Computing the behaviour of asynchronous processes
Theoretical Computer Science, 1983 AbstractWe describe a variation of Brock-Ackerman's (1981) model of nondeterministic asynchronous process, and devise a computational method for characterizing asynchronous processes defined by networks. This method is shown to be equivalent to a method of combining traces related to that of Brock and Ackerman.
Staples, John, Nguyen, V.L.
openaire +3 more sources
Scalable reservoir computing on coherent linear photonic processor
Communications Physics, 2021 Photonic neuromorphic computing is of particular interest due to its significant potential for ultrahigh computing speed and energy efficiency. The advantage of photonic computing hardware lies in its ultrawide bandwidth and parallel processing utilizing
M. Nakajima, Kenji Tanaka, T. Hashimoto
semanticscholar +1 more source
The unpredictably eruptive dynamics of spruce budworm populations in eastern Canada
Population Ecology, EarlyView.We examine historical population data for spruce budworm from several locations through the period 1930–1997, and use density‐dependent recruitment curves to test whether the pattern of population growth over time is more consistent with Royama's (1984; Ecological Monographs 54:429–462) linear R(t) model of harmonic oscillation at Green River New ...
Barry J. Cooke, Jacques Régnière
wiley +1 more source
Computable processes and bisimulation equivalence [PDF]
Formal Aspects of Computing, 1996 Abstract A process is called computable if it can be modelled by a transition system that has a recursive structure—implying finite branching. The equivalence relation between transition systems considered is strong bisimulation equivalence. The transition systems studied in this paper can be associated to
openaire +4 more sources
Efficient implicit simulation for incremental forming [PDF]
, 2010 Single Point Incremental Forming (SPIF) is a displacement controlled process performed on a CNC machine. A clamped blank is deformed by the movement of a small sized tool that follows a prescribed tool path.
Boogaard, A.H. van den, Hadoush, A.
core +1 more source
Workpiece Alignment for Hybrid Laser Aided Part Repair Process [PDF]
, 2005 Work piece alignment is a key issue for hybrid laser aided part repair, a process utilizing both machining and laser deposition. Proper alignment can greatly improve the accuracy of the repair process.
Liou, Frank +2 more
core +2 more sources
Network topology drives population temporal variability in experimental habitat networks
Population Ecology, EarlyView.Habitat patches connected by dispersal pathways form habitat networks. We explored how network topology affects population outcomes in laboratory experiments using a model species (Daphnia carinata). Central habitat nodes in complex lattice networks exhibited lower temporal variability in population sizes, suggesting they support more stable ...
Yiwen Xu +3 more
wiley +1 more source
Bit-Table Based Biclustering and Frequent Closed Itemset Mining in High-Dimensional Binary Data
The Scientific World Journal, 2014 During the last decade various algorithms have been developed and proposed for discovering overlapping clusters in high-dimensional data. The two most prominent application fields in this research, proposed independently, are frequent itemset mining ...
András Király +2 more
doaj +1 more source
Power Electronics and Drives, 2021 Due to the external disturbances, model uncertainties, strong coupling, and occurred faults, the winding machine presents a great control challenge. In order to deal with these problems, this paper presents the formulation of a novel scheme of fault ...
Haouari Fouad +4 more
doaj +1 more source
Symbolic computation and signal processing [PDF]
Journal of Symbolic Computation, 2004 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source