We consider the synthesis of reactive systems from specifications with identifiers. Identifiers are useful to parametrize the input and output of a reactive system, for example, to state which client requests a grant from an arbiter, or the type of object that a robot is expected to fetch. Traditional reactive synthesis algorithms only handle a constant bounded range of such identifiers. Howeve...

Passive testing of a network protocol is the process of detecting faults in the protocol implementation by passively observing its input/output behaviors (execution trace) without interrupting the normal network operations. In observing the trace, we can focus on the most expected relevant properties of the protocol specification by defining some invariants on the specification and checking the...

Greater virtual machine density ............................................................................................................. 3 Performance and reliability features ................................................................................................... 4 Queue depth throttling ..............................................................................................

Greater virtual machine density ............................................................................................................. 3 Performance and reliability features ................................................................................................... 4 Queue depth throttling ..............................................................................................

Property-oriented concept lattices are systems of conceptual clusters called property-oriented concepts, which are partially ordered by the subconcept/superconcept relationships. Property-oriented concept lattices are basic structures used in formal concept analysis. In general, a property-oriented concept lattice may contain overlapping clusters and is not to be a tree construction. Additional...

Agricultural production currently faces many challenges worldwide, mainly due to its dependence on high amounts of input for food production, which may cause environmental issues. The present study evaluated whether the inoculation Bacillus subtilis, Trichoderma harzianum, and rock powder into soil would benefit fertility plant growth in vase conditions. results showed that some nutrients incre...

Photoexcited radical reactions are critical to processes in both nature and materials, and yet they can be challenging for electronic structure methods due to the presence of strong electron correlation. Reduced-density-matrix (RDM) methods, based on solving the anti-Hermitian contracted Schrödinger equation (ACSE) for the two-electron RDM (2-RDM), are examined for studying the strongly correla...

Este trabalho objetivou desenvolver significados dos conteúdos matemáticos por meio do treino da capacidade de armazenar informações na memória longo prazo (MLP). Ele enfatizou uma abordagem metodológica usando recursos didáticos manipuláveis (RDM) no ensino das noções sólidos geométricos e seus elementos formadores. Essa prática constatou a eficiência aprendizado, possibilitando aos alunos reg...