1.2k citations
- Boston UniversityUS20 papers
- Hebrew University of JerusalemIL15 papers
- Tel Aviv UniversityIL14 papers
- Institute of Radio AstronomyUA13 papers
- Brookhaven National LaboratoryUS12 papers
- Harvard UniversityUS12 papers
- Technion – Israel Institute of TechnologyIL12 papers
- University of WürzburgDE12 papers
- Ben-Gurion University of the NegevIL10 papers
- Ariel UniversityIL7 papers
- Weizmann Institute of ScienceIL7 papers
- University of ChicagoUS6 papers
13 papers · 1 filter
Algebraic logic and logically-geometric types in varieties of algebras
Boris Plotkin, Elena Aladova, Eugene Plotkin
The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algeb…
A New Formula for the Natural Logarithm of a Natural Number
Shahar Nevo
For every natural number we write $\Ln T$ as a series, generalizing the known series for $\Ln 2.$
Effects of thermal motion on electromagnetically induced absorption
E. Tilchin, O. Firstenberg, A. D. Wilson-Gordon
We describe the effect of thermal motion and buffer-gas collisions on a four-level closed N system interacting with strong pump(s) and a weak probe. This is the simplest system tha…
Additive Pattern Database Heuristics
A. Felner, S. Hanan, R. E. Korf
We explore a method for computing admissible heuristic evaluation functions for search problems. It utilizes pattern databases, which are precomputed tables of the exact cost of so…
PHA*: Finding the Shortest Path with A* in An Unknown Physical Environment
A. Ben-Yair, A. Felner, S. Kraus +2
We address the problem of finding the shortest path between two points in an unknown real physical environment, where a traveling agent must move around in the environment to explo…
Space Lower Bounds for Online Pattern Matching
Raphael Clifford, Markus Jalsenius, Ely Porat +1
We present space lower bounds for online pattern matching under a number of different distance measures. Given a pattern of length m and a text that arrives one character at a time…