Product Hunt is a curation of the best new products, every day. Discover the latest mobile apps, websites, and technology products that everyone's talking about.
ZoteroBib is a free service that helps you build a bibliography instantly from any computer or device, without creating an account or installing any software.
swMATH not only provides access to an extensive database of information on mathematical software, but also includes a systematic linking of software packages with relevant mathematical publications.
- Zentralblatt MATH (zbMATH) is the world’s most comprehensive and longest-running abstracting and reviewing service in pure and applied mathematics
- The zbMATH database contains about 4 million bibliographic entries with reviews or abstracts currently drawn from about 3,000 journals and serials, and 180,000 books.
- The coverage starts in the 18th century and is complete from 1868 to the present by the integration of the "Jahrbuch über die Fortschritte der Mathematik" database.
Jiqizhixin("The heart of the machine") is China's leading cutting-edge technology media and industry service platform, focusing on artificial intelligence, robotics and neurocognitive science, and insisting on providing high-quality content and various industrial services for practitioners.
机器之心是国内领先的前沿科技媒体和产业服务平台,关注人工智能、机器人和神经认知科学,坚持为从业者提供高质量内容和多项产业服务。
Elasticlunr.js is a lightweight full-text search engine in Javascript for browser search and offline search. Elasticlunr.js is developed based on Lunr.js, but more flexible than lunr.js. Elasticlunr.js provides Query-Time boosting and field search. Elasticlunr.js is a bit like Solr, but much smaller and not as bright, but also provide flexible configuration and query-time boosting.
You can use words or symbols called search operators to filter your Gmail search results. You can also combine operators to filter your results even more.
How to use a search operator Go to
Hoogle is a Haskell API search engine, which allows you to search many standard Haskell libraries by either function name, or by approximate type signature.
Paperscape is a tool to visualise the arXiv, an open, online repository for scientific research papers. The Paperscape map currently includes all (non-withdrawn) papers from the arXiv and is updated daily
Best GitHub stars, repositories tagger and organizer. Search over projects from Github, Bitbucket, Google Code, Codeplex, Sourceforge, Fedora Project, GitLab to find real-world usage variable names.
Sourcetrail is a productivity tool for software developers on Windows, Mac and Linux. It uses static source code analysis to provide a visualization that lets you follow calls and other dependencies.
Talk to Books is a new way to explore ideas and discover books. Make a statement or ask a question to browse passages from books using experimental AI.
You need to find a specific Unicode character? With Shapecatcher.com you can search through a database of characters by simply drawing your character into a box. It can find the most similar character shapes for your drawing.
Google search shows you hundreds of programming courses/tutorials, but Hackr.io tells you which is the best one. Find the best online courses & tutorials voted by the community.
InstaSearch is an Eclipse plug-in for doing fast text search in the workspace. The search is performed instantly as-you-type and resulting files are displayed in an Eclipse view. It is a lightweight plug-in based on Apache Lucene search engine. Each file then can be previewed using few most matching and relevant lines. A double-click on the match leads to the matching line in the file. Main Features Instantly shows search results Shows suggestions using auto-completion
T. Völker, J. Pfister, T. Koopmann, and A. Hotho. Proceedings of the 2024 Conference on Human Information Interaction and Retrieval, page 386–390. New York, NY, USA, Association for Computing Machinery, (2024)
T. Völker, J. Pfister, T. Koopmann, and A. Hotho. Proceedings of the 2024 Conference on Human Information Interaction and Retrieval, page 386–390. New York, NY, USA, Association for Computing Machinery, (May 2024)
T. Völker, J. Pfister, T. Koopmann, and A. Hotho. Proceedings of the 2024 Conference on Human Information Interaction and Retrieval, page 386–390. New York, NY, USA, Association for Computing Machinery, (2024)
D. Schlör, J. Pfister, and A. Hotho. 2023 the 7th International Conference on Medical and Health Informatics (ICMHI), page 136–141. New York, NY, USA, Association for Computing Machinery, (2023)