Results 111 to 120 of about 133,463 (288)
Leida xuebao, 2017 Only a subset of transmitters and receivers in a distributed Multi-Input Multi-Output (MIMO) radar network is allowed to actively track a target at a particular instance due to the limited time and energy resource of a MIMO radar network. It is therefore
Lu Yanxi +3 more
doaj +1 more source
Boom: Taking Boolean Program Model Checking One Step Further [PDF]
, 2010 We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent variant of counter abstraction, where thread counters are used in a program-context aware way.
Basler G. +5 more
openaire +3 more sources
Material‐Based Intelligence: Autonomous Adaptation and Embodied Computation in Physical Substrates
Advanced Intelligent Systems, EarlyView.This perspective formulates a unifying framework for Material‐Based Intelligence (MBI), defining the physical requirements for materials to achieve embodied action, active memory and embodied information processing through intrinsic nonequilibrium dynamics. The design of intelligent materials often draws parallels with the complex adaptive behaviors of
Vladimir A. Baulin +4 more
wiley +1 more source
Over-Approximating Boolean Programs with Unbounded Thread Creation
2006 Formal Methods in Computer Aided Design, 2006 This paper describes a symbolic algorithm for over-approximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting the state of the threads to the globally visible parts, which are finite. Our algorithm models recursion by over-approximating the call stack that contains the return locations of ...
Cook, B, Kroening, D, Sharygina, N
openaire +2 more sources
Racism and racial disparities in firearm violence: A scoping review
American Journal of Community Psychology, EarlyView.Abstract Firearm violence (i.e., interpersonal, police firearm violence) disproportionately affects racially minoritized communities. Researchers recently shifted their focus from race to racism to better understand the factors that contribute to racial disparities in firearm violence.
Daniel B. Lee +8 more
wiley +1 more source
Research progress in animal models of dry eye disease: Types, mechanisms, and application prospects
Animal Models and Experimental Medicine, EarlyView.Pivotal multifactorial animal models for translational dry eye disease research. Abstract Dry eye disease (DED) is a prevalent and complex multifactorial ocular surface disorder, leading to significant visual discomfort and diminished quality of life.
Jinshen Liu +12 more
wiley +1 more source
Модели, системы, сети в экономике, технике, природе и обществеBackground. The development of mathematical models of complex objects is usually accompanied by an analysis of their admissibility using both strict formal criteria and procedures, and various heuristic techniques.
S.I. Noskov, S.V. Belyaev, Yu.A. Bychkov
doaj +1 more source
Survey on Combinatorial Register Allocation and Instruction Scheduling
, 2018 Register allocation (mapping variables to processor registers or memory) and instruction scheduling (reordering instructions to increase instruction-level parallelism) are essential tasks for generating efficient assembly code in a compiler.
Lozano, Roberto Castañeda +1 more
core
Deriving Trading Rules Using Gene Expression Programming [PDF]
Informatică economică, 2011 This paper presents how buy and sell trading rules are generated using gene expression programming with special setup. Market concepts are presented and market analysis is discussed with emphasis on technical analysis and quantitative methods. The use of
Adrian VISOIU
doaj
Hybrid Behaviour of Markov Population Models [PDF]
, 2013 We investigate the behaviour of population models written in Stochastic Concurrent Constraint Programming (sCCP), a stochastic extension of Concurrent Constraint Programming.
Bortolussi, Luca
core