Suggested Topics within your search.
Suggested Topics within your search.
-
401
AGTS: Novel automated generation of smart contract test suites for Hyperledger Fabric
Published 2025-08-01“…Combining the test cases, their executable scripts were generated. Finally, we tested all the targeted smart contracts rigorously against the predefined criteria. …”
Get full text
Article -
402
Discretion and assumption choices for closed supplementary pension plans
Published 2025-04-01Get full text
Article -
403
Participação social no ciberespaço: o caso da atenção primária no Twitter em contexto de pandemia
Published 2024-12-01Get full text
Article -
404
Development of an Automated Management System for Agricultural Technologies in Horticulture
Published 2021-06-01“…Jquery (a set of JavaScript functions) served as the main framework for working with the client-side of the program code. …”
Get full text
Article -
405
Two-Matchings with Respect to the General Sum-Connectivity Index of Trees
Published 2024-09-01“…In this work, we solve the extremal value problem for the number of 2-matchings with respect to general sum-connectivity indices <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mi mathvariant="bold-script">SC</mi><mi mathvariant="bold-italic">α</mi></msub></semantics></math></inline-formula>, over the set <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mi mathvariant="script">T</mi><mi>n</mi></msub></semantics></math></inline-formula> of trees with <i>n</i> vertices, when <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>α</mi></semantics></math></inline-formula> is a real number in the interval <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mfenced separators="" open="[" close=")"><mo>−</mo><mn>1</mn><mo>,</mo><mn>0</mn></mfenced><mo>.…”
Get full text
Article -
406
Universal Covering System and Borsuk’s Problem in Finite Dimensional Banach Spaces
Published 2025-04-01“…As an example, a universal covering system is constructed in <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msubsup><mi mathvariant="script">ℓ</mi><mn>1</mn><mn>3</mn></msubsup></semantics></math></inline-formula> and it is shown that <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi>β</mi><mo>(</mo><msubsup><mi mathvariant="script">ℓ</mi><mn>1</mn><mn>3</mn></msubsup><mo>,</mo><mn>8</mn><mo>)</mo><mo>≤</mo><mn>11</mn><mo>/</mo><mn>12</mn></mrow></semantics></math></inline-formula> by a feasible partitioning of members in this universal covering system.…”
Get full text
Article -
407
-
408
-
409
Respuesta fisiológica de cilantro (Coriandrum sativum L.) a la disponibilidad de agua en el suelo
Published 2014-09-01Get full text
Article -
410
The shape of the human lumbar vertebral canal A forma do canal vertebral lombar humano
Published 1996-09-01Get full text
Article -
411
-
412
Communicating Atonal Music: Alban Berg as Lecturer and Dialogue Partner
Published 2024-02-01“…A detailed analysis of the dialogue script shows that Bistron acted as a representative of various audience segments throughout the lecture. …”
Get full text
Article -
413
Fitomassa e produção do girassol cultivado sob diferentes níveis de reposição hídrica e adubação potássica
Published 2015-04-01Get full text
Article -
414
-
415
-
416
Perda de pressão estática em uma coluna de grãos de quinoa
Published 2013-08-01Get full text
Article -
417
-
418
-
419
-
420
A new semi-synthetic carboximidamide mitigates sickness behavior in mice
Published 2025-06-01Get full text
Article