22 Hits in 8.7 sec

Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs [article]

Martin Líška, Petr Sojka, Michal Růžička
2014 arXiv   pre-print
We are designing and developing a web user interface for digital mathematics libraries called WebMIaS. It allows queries to be expressed by mathematicians through a faceted search interface.  ...  We further describe the issues addressed by formulae canonicalization and by extending the MIaS indexing engine with Content MathML support.  ...  Acknowledgements This work has been financed in part by the EU through its Competitiveness and Innovation Programme (Information and Communication Technologies Policy Support Programme, "Open access to  ... 
arXiv:1404.6476v2 fatcat:3d63iptuazdzbcqj6n3kfq3m4i

Math information retrieval

Jin Zhao, Min-Yen Kan, Yin Leng Theng
2008 Proceedings of the 8th ACM/IEEE-CS joint conference on Digital libraries - JCDL '08  
We first review the current approaches and resources for math retrieval, then report on the interviews of a small group of potential users to properly ascertain their needs.  ...  We report on the user requirements study and preliminary implementation phases in creating a digital library that indexes and retrieves educational materials on math.  ...  questions above to find out whether the current work by the math providers really matches what math searchers need.  ... 
doi:10.1145/1378889.1378921 dblp:conf/jcdl/ZhaoKT08 fatcat:av7u7a4lkbekrdxpisl7iq6smy

Developing a 21st Century Global Library for Mathematics Research [article]

Committee on Planning a Global Library of the Mathematical Sciences (Board on Mathematical Sciences and Their Applications, Division on Engineering and Physical Sciences, National Research Council of the National Academies)
2014 arXiv   pre-print
Many of the tools necessary to make this information system a reality will require much more than indexing and will instead depend on community input paired with machine learning, where mathematicians'  ...  work; and the mobilization and coordination of the mathematical community to take the first steps toward these capabilities.  ...  In particular, • There is some level of formula search in EuDML, using MIaS/ WebMIaS (Math Indexer and Searcher), 22 a math-aware, full-textbased search engine developed by Petr Sojka and his group (Sojka  ... 
arXiv:1404.1905v1 fatcat:mf5mzrxwuncyzphoj44g2rmwga

4. From Universal Classification to a Postcoordinated Universe [chapter]

2020 Engines of Order  
system to the query and, by extension, to the information seeker.  ...  This chapter starts off from standard takes on knowledge organization and classification in libraries and encyclopedias, but then zeros in on the field of information retrieval, which develops in fundamental  ...  First, compared to existing indexing practices, the attribution of uniterms or descriptors was seen as easier, faster, cheaper and more adapted to the needs of searchers.  ... 
doi:10.1515/9789048537419-006 fatcat:pbf4ugqkafd75m57apcn5c2lxe

Engaging and maintaining a sense of being informed: Understanding the tasks motivating twitter search

David Elsweiler, Morgan Harvey
2014 Journal of the Association for Information Science and Technology  
The first, a diary study (p=68), provides descriptions of Twitter information needs (n=117) and important meta-data from active study participants.  ...  Micro-blogging services such as Twitter represent constantly evolving, user-generated sources of information.  ...  This is another example of a key information need expressed, which may not be easy to fulfil using more traditional tools on the web.  ... 
doi:10.1002/asi.23182 fatcat:bhhe72finfbodfuwomt5uzmzd4

Thursday sessions

2011 2011 Frontiers in Education Conference (FIE)  
As energy technology evolves to meet demands for development and ecological sustainability, engineers need to have up-to-date skills and knowledge to meet the creative challenges our energy problems demand  ...  Because energy engineers will need the full range of capabilities outlined in ABET's learning outcomes, modules address outcomes not often addressed in conventional thermodynamics courses: design within  ...  innovation index.  ... 
doi:10.1109/fie.2011.6143155 fatcat:imkz5klofbe3bl42dkrhm5h6du

Modelling Early Transitions Toward Autonomous Protocells [article]

Benjamin John Shirt-Ediss
2016 arXiv   pre-print
The autonomy approach allows a careful and thorough reformulation of the origins of cellular life problem as the problem of how integrated autopoietic chemical organisation, present in all full-fledged  ...  The central subject matter addressed is the emergence and maintenance of compartmentalised chemistries as precursors of more complex systems with a proper cellular organization.  ...  of! indexes! that! can! be! al!automaton.!An!index!belongs!to!a!cell!and!points!to!  ... 
arXiv:1606.03620v1 fatcat:pzkyjtpuorgjxbcvvv75h2p55e

International Union of History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science Bulletin no. 11

Risto Hilpinen
1987 Studia Logica: An International Journal for Symbolic Logic  
Kepler explicitly claimed to have used the laws of Archimedes, to have revealed the sense of his theorems, and the hidden strength of his demonstrations.  ...  This paper is about how about how ancient Chinese conceptualized nature and how they used their conceptions and understandings of nature to think about standards of the good, the just, and the valuable  ...  Remediation did not begin until August 1986 and was cmpleted in Since late 1930', there had been some Japanese astronomers who felt the strong need to reform Gregorio Caleandar that was adopted as the  ... 
doi:10.1007/bf00396908 fatcat:mgrd45qn4zfd3nystwqf34jv6m

The archive of unrealized devices

Lisa Stansbie
2014 Journal of Writing in Creative Practice  
would do I dipped into the Collection's catalogue and subject index.  ...  After outlining its history and current situation, the article focuses on my modes of entry into this large body of material. The Collection has a catalogue and cross-referencing subject index.  ...  My experiences while teaching on a Foundation course have helped to inform my thinking about Hudson's pedagogy (methods of instruction) and educational philosophy (underlying ethos).  ... 
doi:10.1386/jwcp.7.3.447_1 fatcat:6lm3xpdqfffoxoepcth75o42im

Evaluating the Information Architecture of Digital Museums

Megan Sellmer
Digital museums need to prioritize the information architecture found in their website design in order to optimize the structure and organization of their collection for users.  ...  The information architecture principles found during the heuristic evaluation were compared and summarized in order to create a list of criteria that select digital museums can use to facilitate interoperability  ...  (IA) is the art and science of structuring and organizing information environments to help people effectively fulfill their information needs."  ... 
doi:10.7939/r3sq8qx6z fatcat:pywpmusdivdsbcetjcs6ge7gya

Evolution of the big deals use in the public universities of the Castile and Leon region, Spain

Andrés Fernández-Ramos, Blanca Rodríguez-Bravo, María-Luisa Alvite-Díez, Lourdes Santos-De-Paz, María-Antonia Morán-Suárez, Josefa Gallego-Lorenzo, Isabel Olea
2020 El Profesional de la Informacion  
catalog with all the search and other informational advantages of a Web site.  ...  The hosted software model offers an opportunity to break through that, by letting professionals deal with most of the complexity and using the Web browser as a universal user interface and shield from  ...  , 231, Andy, 79 samples, 135, 208 Saturday Night Live, [80] [81] 223 of information, 53 mindset of, 167, 222 of products, 8, 9, 18, 23, 40, 116, 122, 145, 156, 165 Schaffer, Akiva, 79 Schaffer  ... 
doi:10.3145/epi.2019.nov.19 fatcat:7hb7lt2ryrdt5o33xjjcoduuli

Semantic Web methods for knowledge management [online]

Stefan Decker
Web pages it is very likely that a few will match the expectations of the searcher).  ...  Google recently reported indexing 1.6 billion pages -which is so far the largest index available. However, this would be just 32% of the indexable Web and just 0.01% of the 'deep' Web.  ...  Then the process of continually applying transformations (a),...,(j) to P terminates after a finite number of steps and results in a normal logic program (called the normal form of P.  ... 
doi:10.5445/ir/1862002 fatcat:c5matrx3tfhrhmcmccfz3sdl2i

Genetic Programming III - Darwinian Invention and Problem Solving

Peter Nordin
1999 Evolutionary Computation  
Acknowledgments We would like to acknowledge the help of our editor, Denise Penrose, and that of Edward Wade and Emilia Thiuri, at Morgan Kaufmann Publishers.  ...  Special thanks goes to our reviewers, who stuck with us through a major reorganization of the book and provided insightful and useful comments.  ...  Evolution, or life in the broader sense, fails to make sense as a method for fulfillment of the individual's needs.  ... 
doi:10.1162/evco.1999.7.4.451 fatcat:27732t6mfvgt7mzpbvkrv6wcqm

Vol. 2, No. 1 (Full Issue)

2003 Journal of Modern Applied Statistical Methods  
in all math classes (a mandatory subject).  ...  It is exhilarating in its richness and flexibility and ways of comparing and showing information. People with simpler needs prefer N6 -there is less to learn and the power remains great.  ...  If there were, it would surely be in a place of honor in some great scientific museum, and past it would file a steady stream of mathematicians, gazing at 1 in wonder and awe" -John B.  ... 
doi:10.22237/jmasm/1051747200 fatcat:ocysn75vi5e5lgk2il76ctuxyy

2012 Jahresbericht Annual Report Jahresbericht Annual Report

Kontakt Geschäftsstelle, Schloss Dagstuhl, Heike Clemens, Jutka Gasiorowski
2013 unpublished
Acknowledgments Many thanks to the Dagstuhl office and its helpful and patient staff; huge thanks to the organizers of the previous seminars in the series for setting us up for success; and thanks to all  ...  the participants, who worked hard and were amiable company all week.  ...  /semantic data, supporting complex information needs (long tail), and requiring efficient traversal algorithms and specialized indexes, and various models for ranking).  ... 
« Previous Showing results 1 — 15 out of 22 results