Results 141 to 150 of about 10,008,131 (190)
Raman‐based label‐free microscopic analysis of the pancreas in living zebrafish larvae
FEBS Open Bio, EarlyView.Forward stimulated Raman scattering (F‐SRS) and epi coherent anti‐Stokes Raman scattering (E‐CARS) allow label‐free discrimination of distinct subcellular structures in the pancreas of living zebrafish larvae. Given the straightforward applicability, we anticipate broad implementation of Raman microscopy in other organs and across various biomedical ...
Noura Faraj +3 more
wiley +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
Internal Applications and Puzzles of the Applicability of Mathematics
Philosophia Mathematica, 2023Abstract Just as mathematics helps us to represent and reason about the natural world, in its internal applications one branch of mathematics helps us to represent and reason about the subject matter of another. Recognition of the close analogy between internal and external applications of mathematics can help resolve two persistent ...
openaire +1 more source
Applicability and applications of alternative TOFD techniques
UltrasonicsUltrasonic time-of-flight diffraction (TOFD) technique is applied to non-destructive testing in engineering, but the dead zone influences its applicable range. Alternative TOFD techniques adopt the indirect diffracted waves having long propagation times to decouple from the lateral wave and detect near-surface defects.
Shijie, Jin +4 more
openaire +2 more sources
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
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
An application framework for TCP/IP applications
Proceedings 26th Annual International Computer Software and Applications, 2003TCP/IP applications have become increasingly important in this network generation. Their development, however, is troublesome in practice since reusable components are usually system-call-level service routines. We describe an application framework which we have developed for TCP/IP applications.
Atsushi Kumazaki +3 more
openaire +1 more source