Results 51 to 60 of about 53,156,886 (365)
, 2015 Conditional Simple Temporal Network (CSTN) is a constraint-based graph-formalism for conditional temporal planning. It offers a more flexible formalism than the equivalent CSTP model of Tsamardinos, Vidal and Pollack, from which it was derived mainly as ...
Comin, Carlo, Rizzi, Romeo
core +1 more source
Population and species neighbor identity impact trait–trait relationships and plant performance
Population Ecology, EarlyView.We evaluated how populations and species identity influence plant performance and trait outcomes in mixtures, and assessed trait variation among populations of two forb species native to the western United States (Dieteria canescens and Heterotheca villosa) following three interaction treatments (single‐population monoculture, two‐population mixture ...
Alicia J. Foxx +2 more
wiley +1 more source
Partially Punctual Metric Temporal Logic is Decidable
, 2014 Metric Temporal Logic $\mathsf{MTL}[\until_I,\since_I]$ is one of the most studied real time logics. It exhibits considerable diversity in expressiveness and decidability properties based on the permitted set of modalities and the nature of time interval
Krishna, Shankara Narayanan +2 more
core +1 more source
Accurate Settling-Time Modeling and Design Procedures for Two-Stage Miller-Compensated Amplifiers for Switched-Capacitor Circuits [PDF]
, 2009 We present modeling techniques for accurate estimation of settling errors in switched-capacitor (SC) circuits built with Miller-compensated operational transconductance amplifiers (OTAs).
Delgado Restituto, Manuel +2 more
core +1 more source
Real‐time and dynamic time transfer method based on double‐differenced real‐time kinematic mode
IET Radar, Sonar & Navigation, 2021 In this study, a real‐time and dynamic time transfer method based on double‐differenced (DD) real‐time kinematic (RTK) mode is proposed. First, the method forms the DD observations of Global Navigation Satellite System (GNSS) to fix the DD ambiguity, and
Rui Tu +7 more
doaj +1 more source
Effects of chronic browsing on life‐history traits of an irruptive large herbivore population
Population Ecology, EarlyView.This study aimed to determine the relationship between diet quality, body mass, and size (hind foot length), and female reproduction and sought to identify the mechanism by which high density under severe food limitations is maintained. Our results demonstrated that sika deer introduced to Nakanoshima Island have maintained high densities through high ...
Koichi Kaji +9 more
wiley +1 more source
N=2 6-dimensional Supersymmetric $E_6$ Breaking [PDF]
Phys.Lett.B530:218-226,2002, 2001 We study the $N=2$ supersymmetric $E_6$ models on the 6-dimensional space-time where the supersymmetry and gauge symmetry can be broken by the discrete symmetry. On the space-time $M^4\times S^1/(Z_2\times Z_2') \times S^1/(Z_2\times Z_2')$, for the zero modes, we obtain the 4-dimensional $N=1$ supersymmetric models with gauge groups $SU(3)\times SU(2)
arxiv +1 more source
Dendritic cells steering antigen and leukocyte traffic in lymph nodes
FEBS Letters, EarlyView.Dendritic cells are key players in the activation of T cells and their commitment to effector function. In this In a Nutshell Review, we will discuss how dendritic cells guide the trafficking of antigen and leukocytes in the lymph node, thus influencing T‐cell activation processes. Dendritic cells (DCs) play a central role in initiating and shaping the
Enrico Dotta +3 more
wiley +1 more source
LTL Fragments are Hard for Standard Parameterisations
, 2015 We classify the complexity of the LTL satisfiability and model checking problems for several standard parameterisations. The investigated parameters are temporal depth, number of propositional variables and formula treewidth, resp., pathwidth.
Lück, Martin, Meier, Arne
core +1 more source
Definition of the on-time delivery indicator in rapid software development [PDF]
, 2018 Rapid software development (RSD) is an approach for developing software in rapid iterations. One of the critical success factors of an RSD project is to deliver the product releases on time and with the planned features.
Ayala Martínez, Claudia Patricia +6 more
core +1 more source