Results 1 to 10 of about 7,669,484 (262)
Assessment of dynamic knee angle deviations in the frontal plane in physiotherapy clinical practice: intra- and inter-rater reliability of an application and agreement with two AI-models. [PDF]
Janisch L +3 more
europepmc +1 more source
Arbuscular Mycorrhizal Fungi and Exogenous Calcium Synergistically Alleviate Arsenic Stress in Cotton Seedlings. [PDF]
Zhang Q +7 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Application-to-application priority with STREAMS
Proceedings LCN 2001. 26th Annual IEEE Conference on Local Computer Networks, 2002STREAMS-based protocol stacks have become integral components of many desktop operating systems. We explore the UNIX STREAMS architecture in providing priority to networked applications at the end system. We modified the underlying network device driver (a STREAMS-based Ethernet device driver) to enable demultiplexing of packets based on their ...
Davis Ford, Sherali Zeadally
openaire +1 more source
Applicabilities and Applications
2018In accordance with J. R. Higgins [199] sampling a signal is considered in two variants within this book: the first stating the fact that a bandlimited function is completely determined by its samples, the second describing how to decompose or reconstruct a function using its samples in an appropriate way.
Willi Freeden +2 more
openaire +1 more source
Language and Linguistics Compass, 2008
Abstract An applicative is a syntactic element adding an extra object to a clause. In some cases, the direct and applied objects are generated within a small clause; in others, the applied object is generated outside the main verb phrase.
openaire +1 more source
Abstract An applicative is a syntactic element adding an extra object to a clause. In some cases, the direct and applied objects are generated within a small clause; in others, the applied object is generated outside the main verb phrase.
openaire +1 more source
Applications of applicative proof search
Proceedings of the 1st International Workshop on Type-Driven Development, 2016In this paper, we develop a library of typed proof search procedures, and demonstrate their remarkable utility as a mechanism for proof-search and automation. We describe a framework for describing proof-search procedures in Agda, with a library of tactical combinators based on applicative functors. This framework is very general, so we demonstrate the
openaire +1 more source
Applicability of Coverage Criteria for Serverless Applications
2020 IEEE International Conference on Service Oriented Systems Engineering (SOSE), 2020Serverless computing is a popular trend in cloud computing based on serverless functions. These functions are stateless which can be utilized by the cloud platform provider to scale functions dynamically. While these small functions are easy to test in isolation, integrating them with other resources provided by the cloud platform provider or third ...
Stefan Winzinger, Guido Wirtz
openaire +1 more source
Testers and their applications
Proceedings of the 5th conference on Innovations in theoretical computer science, 2014We develop a new notion called tester of a class M of functions f : A → C that maps the elements α ∈ A in the domain A of the function to a finite number (the size of the tester) of elements b1,...,bt in a smaller sub-domain B ⊂ A where the property f(α) ≠ 0 is preserved for all f ∈ M. I.e., for all f ∈ M and - ∈ A if f(α) ≠ 0 then f(bi) ≠ 0 for some i.
openaire +2 more sources

