Results 261 to 270 of about 407,207 (305)

Applications of applicative proof search

Proceedings of the 1st International Workshop on Type-Driven Development, 2016
In 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, 2023
Abstract 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

Ultrasonics
Ultrasonic 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, Zhicheng, Wang, Xinhao, Wang, Shuyao, Huangfu, Zhongbing, Luo   +4 more
openaire   +2 more sources

Testers and their applications

Proceedings of the 5th conference on Innovations in theoretical computer science, 2014
We 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), 2020
Serverless 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, 2003
TCP/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, Masami Noro, Han-Myung Chang, Yoshinari Hachisu   +3 more
openaire   +1 more source

Mathematics—Application and Applicability

2005
Abstract To an unappreciated degree, the history of Western philosophy is the history of attempts to understand why mathematics is applicable to Nature, despite apparently good reasons to believe that it should not be. A cursory look at the great books of philosophy bears this out.
openaire   +1 more source

Testing internet applications - terminology and applicability

Acta Cybern., 2020
Summary: This paper examines the applicability of OSI conformance test methodology to Internet protocols. It summarizes the differences between them and introduces the Internet Reference Model along with a new abstract test method, which was designed for the practical purposes of conformance testing of TCP/IP protocols.
Mazen Malek, Roland Gecse
openaire   +2 more sources

Applications

The International Journal of High Performance Computing Applications, 2001
David A. Bader, Rob Pennington
openaire   +1 more source

Applications

Proceedings of the 1st annual computer science conference on Program information abstracts - CWC '73, 1973
  +6 more sources