|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2692 occurrences of 1600 keywords
|
|
|
Results
Found 11930 publication records. Showing 11929 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
83 | Jonghwa Choi, Dongkyoo Shin, Dongil Shin |
Research on Design and Implementation of Adaptive Physics Game Agent for 3D Physics Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Agent Computing and Multi-Agent Systems, 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings, pp. 614-619, 2006, Springer, 3-540-36707-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
3D Game Engine, Game Simulation, Physics Engine |
63 | Stefan Zickler, Manuela M. Veloso |
Efficient physics-based planning: sampling search via non-deterministic tactics and skills. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (1) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, pp. 27-33, 2009, IFAAMAS, 978-0-9817381-6-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
kinodynamic, physics-based, robot, planning, control, behavioral, rigid body, tactics |
59 | Evi Makri-Botsari, Sarantos Psycharis |
Enhancing Motivation, School Competence and Self-perception of Physics in the Environment of the Cognitive Tutor CTAT during Physics Instruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSKS (2) ![In: The Open Knowlege Society. A Computer Science and Information Systems Manifesto, First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings, pp. 342-353, 2008, Springer, 978-3-540-87782-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
school competence, self-perception, motivation, physics, Cognitive tutors |
59 | Rubin H. Landau, Steven Gottlieb |
Advancing the Cause of Computation in the Physics Curriculum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 12(2), pp. 6-7, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
physics curriculum, computational physics textbooks, computational physics, physics education |
57 | Thomas Y. Yeh, Petros Faloutsos, Sanjay J. Patel, Glenn Reinman |
ParallAX: an architecture for real-time physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 34th International Symposium on Computer Architecture (ISCA 2007), June 9-13, 2007, San Diego, California, USA, pp. 232-243, 2007, ACM, 978-1-59593-706-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
real-time physics, chip multiprocessor, physics based animation, stream processing, interactive entertainment, application specific processor |
57 | Jaime R. Taylor, B. Alex King III |
Using Computational Methods to Reinvigorate an Undergraduate Physics Curriculum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 8(5), pp. 38-43, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computational physics, physics education |
53 | Rubin H. Landau |
Computational Physics: A Better Model for Physics Education? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 8(5), pp. 22-30, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
education, curricula, computational physics |
52 | David Winch |
Guest Editor's Introduction: Computation in Physics Courses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 8(5), pp. 11-15, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
physics curricula, education, computational physics |
51 | The H. S. F. Physics Event Generator WG |
Challenges in Monte Carlo Event Generator Software for High-Luminosity LHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Softw. Big Sci. ![In: Comput. Softw. Big Sci. 5(1), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
50 | Vladimir M. Krasnopolsky, Michael S. Fox-Rabinovitz, Alexei A. Belochitski |
Using neural network emulations of model physics in numerical model ensembles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2008, part of the IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, pp. 1523-1530, 2008, IEEE, 978-1-4244-1820-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Byungyoon Lee, Jonghwa Choi, Dongkyoo Shin, Dongil Shin |
Design and Implementation of a Game Physics Editor Using XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edutainment ![In: Technologies for E-Learning and Digital Entertainment, First International Conference, Edutainment 2006, Hangzhou, China, April 16-19, 2006, Proceedings, pp. 696-699, 2006, Springer, 3-540-33423-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
50 | Chun Wai Liew, Donald E. Smith |
Reasoning about Systems of Physics Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 6th International Conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2-7, 2002, Proceedings, pp. 463-472, 2002, Springer, 3-540-43750-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
49 | Marty Johnston |
Implementing Curricular Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 8(5), pp. 32-37, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computational physics, physics education |
46 | Paul Kanyuk |
Brain Springs: Fast Physics for Large Crowds in WALL•E. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 29(4), pp. 19-25, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
motion signal processing, spring physics, fake physics, computer graphics, physics-based animation, crowd simulation, behavioral animation |
46 | Robert G. Fuller |
Numerical Computations in US Undergraduate Physics Courses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 8(5), pp. 16-21, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computational physics, physics education |
46 | Kelly R. Roos |
An Incremental Approach to Computational Physics Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 8(5), pp. 44-50, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computational physics, physics education |
46 | Petros Faloutsos, Michiel van de Panne, Demetri Terzopoulos |
Composable controllers for physics-based character animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ![In: Proceedings of the 28th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2001, Los Angeles, California, USA, August 12-17, 2001, pp. 251-260, 2001, ACM, 1-58113-374-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
physics-based animation control, computer animation, physics-based modeling, character animation |
46 | Jiebo Luo, Robert T. Gray, Hsien-Che Lee |
Towards physics-based segmentation of photographic color images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 58-61, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
physics-based segmentation, photographic color images, digital image processing applications, local image regions, semantically coherent objects, physically coherent objects, color segmentation algorithm, k-mode algorithm, adaptive Bayesian k-means algorithm, physics-based distance metric, color space partitioning, spatial homogeneity constraints, spatial adaptivity, color difference metric, image segmentation, photography |
45 | Li Ding, Wang Yun-Lin |
Social Physics and the Flow of Migrant Peasant Workers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex (2) ![In: Complex Sciences, First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 2, pp. 2276-2282, 2009, Springer, 978-3-642-02468-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Social Physics, Migrant peasant workers, Flow |
45 | Andrew D. Wilson, Shahram Izadi, Otmar Hilliges, Armando Garcia-Mendoza, David S. Kirk |
Bringing physics to the surface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 21st Annual ACM Symposium on User Interface Software and Technology, Monterey, CA, USA, October 19-22, 2008, pp. 67-76, 2008, ACM, 978-1-59593-975-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
game physics engines, interactive surfaces |
45 | Gideon Kowadlo, R. Andrew Russell |
Using naïve physics for odor localization in a cluttered indoor environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 20(3), pp. 215-230, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Naive physics, Odor localization, Mobile robotics |
44 | Saeid Nourian, Xiaojun Shen, Nicolas D. Georganas |
XPHEVE: An Extensible Physics Engine for Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 1546-1549, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Jonghwa Choi, Dongkyoo Shin, Jinsung Choi, Dongil Shin |
Research on Artificial Intelligence Character Based Physics Engine in 3D Car Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (2) ![In: Advances in Natural Computation, First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II, pp. 552-556, 2005, Springer, 3-540-28325-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Romualdas Karazija, Alina Momkauskaite |
The Nobel prize in physics - regularities and tendencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 61(2), pp. 191-205, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Eric G. Parker, James F. O'Brien |
Real-time deformation and fracture in a game environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Computer Animation ![In: Proceedings of the 2009 ACM SIGGRAPH/Eurographics Symposium on Computer Animation, SCA 2009, New Orleans, Louisiana, USA, August 1-2, 2009, pp. 165-175, 2009, ACM, 978-1-60558-610-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Star Wars: The Force Unleashed, game physics, real-time physics, simulation, deformation, fracture, physics engine |
44 | Eduardo Casado Revuelta, Pilar Martínez Jiménez, A. Blanca-Pancorbo, J. Leon-Alvarez, M. Cuevas-Rubiño, D. González-Caballero |
Design of an environment for physical phenomena simulation: application to visualization and animation of electrostatic field and potential. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 201-, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
electric fields, electric potential, electrostatic potential, interactive laboratories, physical phenomena simulation, Visual Basic Pro for Windows, easy management, easy use, graphical menus, graphical options, 3D coordinates, 2D coordinates, interactive character, integrator character, educative process, tutorial simulation, tutorial evaluation, visualization, software engineering, animation, software, computer animation, interactive systems, digital simulation, data visualisation, physics, courseware, physics computing, computational physics, work environment, electrostatic field |
44 | Erco Argante, Peter van der Stok, Ian Willers |
On-line event reconstruction using a parallel in-memory database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 207-210, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
particle detectors, high energy physics instrumentation computing, on-line event reconstruction, parallel in-memory database, PORS system, high energy physics experiments, CPREAD reconstruction program, communication medium, parallel workers, farming control structure, structured data storage, high energy physics software, systematic data structuring, code maintenance, code development, SPARCcenter 2000 8-node shared memory computer, parallel programming, parallelization, data structures, software maintenance, distributed databases, shared memory systems, data conversion |
40 | Xiaohu Guo, Hong Qin 0001 |
Meshless methods for physics-based modeling and simulation of deformable models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(3), pp. 401-417, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
deformable models, physics-based modeling, physics-based simulation, meshless method |
39 | Alejandro L. Garcia, Alice A. Carter, J. Courtney Granner, David Chai |
Physics for animation artists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Posters ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2009, New Orleans, Louisiana, USA, August 3-7, 2009, Poster Proceedings, 2009, ACM, 978-1-4503-7928-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
art education, physics education |
39 | Sylvia Irawati, Sengpyo Hong, Jinwook Kim, Heedong Ko |
3D edutainment environment: learning physics through VR/AR experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2008, Yokohama, Japan, December 3-5, 2008, pp. 21-24, 2008, ACM, 978-1-60558-393-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
experience-based learning, virtual reality, augmented reality, edutainment, physics-based simulation |
39 | José Arturo González Gómez |
Simulation as an intuition building tool for factory physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 36, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
factory physics, science of manufacturing, intuition, learning tool, operations management |
39 | Adrian Boeing, Thomas Bräunl |
Evaluation of real-time physics simulation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings of the 5th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2007, Perth, Western Australia, 1-4 December 2007, pp. 281-288, 2007, ACM, 978-1-59593-912-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
evaluation, dynamic simulation, physics engine |
39 | Bruce Mason |
Digital Libraries in Support of Science Education: A Case for Computational Physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 8(4), pp. 62-65, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
astronomy, physics education |
39 | Jonghwa Choi, Dongkyoo Shin, Dongil Shin |
Intelligent Game Agent Based Physics Engine for Intelligent Non Player Characters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Agent Computing and Multi-Agent Systems, 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings, pp. 444-454, 2006, Springer, 3-540-36707-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Non-Player Game Character, Physics Game Engine, AI Game Engine |
39 | Yongjiang Zhong, Ju Liu, Shaochun Zhong, Yamei Zhang, Xiaochun Cheng |
Programming of Informatized Instructional Design Platform for Physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edutainment ![In: Technologies for E-Learning and Digital Entertainment, First International Conference, Edutainment 2006, Hangzhou, China, April 16-19, 2006, Proceedings, pp. 171-177, 2006, Springer, 3-540-33423-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Integration of curriculum, instructional design in physics, lesson planning system |
39 | John R. Schott |
Combining Image Derived Spectra and Physics Based Models for Hyperspectral Image Exploitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPR ![In: 29th Applied Image Pattern Recognition Workshop (AIPR 2000), 16-18 October 2000, Washington, DC, USA, Proceedings, pp. 15-24, 2000, IEEE Computer Society, 0-7695-0978-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
synthetic imagery, remote sensing, physics based models, hyperspectral imagery |
38 | L. Musa |
FPGAS in high energy physics experiments at CERN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: FPL 2008, International Conference on Field Programmable Logic and Applications, Heidelberg, Germany, 8-10 September 2008, pp. 2, 2008, IEEE, 978-1-4244-1961-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Eberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns |
Capturing the Content of Physics: Systems, Observables, and Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings, pp. 165-178, 2006, Springer, 3-540-37104-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Chhandomay Mandal, Hong Qin 0001, Baba C. Vemuri |
Dynamic Modeling of Butterfly Subdivision Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 6(3), pp. 265-287, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
physics-based geometric design, interactive techniques, geometric modeling, deformable models, finite elements, subdivision surfaces, Dynamic modeling, CAGD |
35 | Jean-Pierre Antoine, Robert C. Bishop, Arno Bohm, Sujeev Wickramasekara |
Rigged Hilbert Spaces in Quantum Physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compendium of Quantum Physics ![In: Compendium of Quantum Physics, pp. 640-650, 2009, Springer, 978-3-540-70622-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Oscar Wallace Greenberg |
Color Charge Degree of Freedom in Particle Physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compendium of Quantum Physics ![In: Compendium of Quantum Physics, pp. 109-111, 2009, Springer, 978-3-540-70622-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Kimball A. Milton |
Particle Physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compendium of Quantum Physics ![In: Compendium of Quantum Physics, pp. 455-459, 2009, Springer, 978-3-540-70622-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Allon G. Percus, Gabriel Istrate, Cristopher Moore |
Introduction: Where Statistical Physics Mects Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Statistical Physics ![In: Computational Complexity and Statistical Physics., pp. 3-24, 2006, Oxford University Press, 978-0-19-517738-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
34 | Hyung Joon Kook, Gordon S. Novak |
Representation of Models for Expert Problem Solving in Physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(1), pp. 48-54, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
expert problem solving, APEX, idealized formal models, canonical physical objects, data connection network, representational framework, knowledge representation, expert systems, knowledge engineering, physics, physical models, physics computing, computer program, multiple representations, models representation |
33 | David Rosengrant |
Gaze scribing in physics problem solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the 2010 Symposium on Eye-Tracking Research & Applications, ETRA 2010, Austin, Texas, USA, March 22-24, 2010, pp. 45-48, 2010, ACM, 978-1-60558-994-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
gaze scribing, physics problem solving, education research |
33 | Salim Hariri, Yaser Jararweh, Yeliang Zhang, Talal Moukabary |
Physics aware programming paradigm: approach and evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLADE ![In: 6th International Workshop on Challenges of Large Applications in Distributed Environments, CLADE@HPDC 2008, Boston, MA, USA, June 23, 2008, pp. 1-6, 2008, ACM, 978-1-60558-156-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
heart simulation, physics aware programming paradigm, data mining, autonomic computing |
33 | Zhengjia Wang, Yuhui Wang, Zhouping Yin |
A Multi-physics Simulation Based Parameters Optimization for Anisotropic Conductive Adhesive Interconnection in Electronic Packaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (2) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part II, pp. 896-905, 2008, Springer, 978-3-540-88516-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Anisotropic conductive adhesive (ACA), coupled field, multi-physics simulation, optimization, reliability |
33 | Peng Song 0006, Hang Yu, Stefan Winkler 0001 |
Vision-based 3D finger interactions for mixed reality games with physics simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRCAI ![In: Proceedings of the 7th International Conference on Virtual Reality Continuum and its Applications in Industry, VRCAI 2008, Singapore, December 8-9, 2008, 2008, ACM, 978-1-60558-335-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
finger interaction, mixed reality, physics simulation, finger tracking |
33 | Philip Buchanan, Hartmut Seichter, Mark Billinghurst, Raphaël Grasset |
Augmented reality and rigid body simulation for edutainment: the interesting mechanism - an AR puzzle to teach Newton physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2008, Yokohama, Japan, December 3-5, 2008, pp. 17-20, 2008, ACM, 978-1-60558-393-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Rube Goldberg machine, augmented reality, tangible user interface, edutainment, physics simulation |
33 | Erwin Coumans, Keith Victor |
COLLADA physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceeding of the Twelfth International Conference on 3D Web Technology, Web3D 2007, Perugia, Italy, April 15-18, 2007, pp. 101-104, 2007, ACM, 978-1-59593-652-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
COLLADA, content pipeline, games, collision detection, X3D, physics |
33 | Norman Chonacky |
Has Computing Changed Physics Courses? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 8(5), pp. 4-5, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
engineering, science, computational physics |
33 | Suiping Zhou, Shang-Ping Ting |
Qualitative Physics for Movable Objects in MOUT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2-6 April 2006, Huntsville, Alabama, USA, pp. 320-325, 2006, IEEE Computer Society, 0-7695-2559-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
virtual environments, games, qualitative physics |
33 | Edward Fredkin |
A computing architecture for physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the Second Conference on Computing Frontiers, 2005, Ischia, Italy, May 4-6, 2005, pp. 273-279, 2005, ACM, 1-59593-019-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
discrete-physics, fundamental-processes, models, cellular-automata |
33 | David S. Vogel, Eric Gottschalk, Morgan C. Wang |
Anti-matter detection: particle physics model for KDD Cup 2004. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGKDD Explor. ![In: SIGKDD Explor. 6(2), pp. 109-112, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
MITCH, NICA, particle physics, variable transformation, data mining, neural network, classification, support vector machine, performance measure, logistic regression, KDD Cup |
33 | Hui Xie 0001, Hong Qin 0001 |
A Physics-Based Framework for Subdivision Surface Design with Automatic Rules Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PG ![In: 10th Pacific Conference on Computer Graphics and Applications, PG 2002, Beijing, China, October 9-11, 2002, pp. 304-317, 2002, IEEE Computer Society, 0-7695-1784-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Computer graphics, CAD, Physics-based modeling, subdivision |
33 | Meijing Zhang, Hong Qin 0001 |
Hierarchical D-NURBS Surfaces and Their Physics-Based Sculpting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Shape Modeling International ![In: 2001 International Conference on Shape Modeling and Applications (SMI 2001), 7-11 May 2001, Genoa, Italy, pp. 257-266, 2001, IEEE Computer Society, 0-7695-0853-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Physics-based Modeling and Sculpting, Hierarchical Splines and Editing, Computer Graphics, Dynamics, Deformable Models, Shape Modeling, NURBS, Geometric Constraint, CAGD |
33 | Hong Qin 0001, Demetri Terzopoulos |
D-NURBS: A Physics-Based Framework for Geometric Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 2(1), pp. 85-96, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
computer graphics physics-based models, computer-aided design, dynamics, geometric modeling, finite elements, NURBS |
32 | Julia Andreeva, Simone Campana, Federica Fanzago, Juha Herrala |
High-Energy Physics on the Grid: the ATLAS and CMS Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Grid Comput. ![In: J. Grid Comput. 6(1), pp. 3-13, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
HEP, LCG, Grid, CMS, ATLAS, EGEE |
32 | Marcos García, John Dingliana, Carol O'Sullivan |
Perceptual evaluation of cartoon physics: accuracy, attention, appeal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APGV ![In: Proceedings of the 5th Symposium on Applied Perception in Graphics and Visualization, APGV 2008, Los Angeles, California, USA, August 9-10, 2008, pp. 107-114, 2008, ACM, 978-1-59593-981-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
perceptual validation, computer animation, cartoon animation |
32 | Scott L. Delp, F. Clayton Anderson, Russ B. Altman |
Physics-based simulation of biological structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2006 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Arlington, VA, USA, 6-9 April 2006, pp. 802-805, 2006, IEEE, 0-7803-9577-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Thomas Ellman |
Specification and Synthesis of Hybrid Automata for Physics-Based Animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers, pp. 54-55, 2003, Springer, 3-540-22174-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Kevin McManus, Mark Cross, Chris Walshaw, Nick Croft, Alison J. Williams |
Parallel Performance in Multi-physics Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2002, International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part II, pp. 806-815, 2002, Springer, 3-540-43593-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Jean Luc Bell |
A Specialized Data Management System For Parallel Execution of Particle Physics Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 1-3, 1988., pp. 277-285, 1988, ACM Press, 978-0-89791-268-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
31 | James Brown |
Seeing into the Quantum World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 8(3), pp. 44-45, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
physlets, Physlet Quantum Physics: An Interactive Introduction, M. Belloni, W. Christian and A. Cox, quantum computing, physics |
31 | Nigel Baker, Richard McClatchey, Jean-Marie Le Goff |
Scientific workflow management in a distributed production environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 1st International Enterprise Distributed Object Computing Conference (EDOC '97), 24-26 October 1997, Gold Coast, Australia, Proceedings, pp. 291-299, 1997, IEEE Computer Society, 0-8186-8031-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
high energy physics instrumentation computing, distributed production environment, scientific workflow management, Compact Muon Solenoid high energy physics experiment, large high resolution detectors, precision part production, precision part assembly, CERN, CRISTAL system, PbWO/sub 4/ mono-crystals, fast electronics, CMS Electromagnetic Calorimeter, generic software, distributed computing problems, PbWO/sub 4/, monitoring, control, reusable software |
31 | C. Gaspar, J. J. Schwarz |
The DELPHI experiment control system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 417-423, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
physical instrumentation control, high energy physics instrumentation computing, particle detectors, DELPHI experiment, LEP, physics experiment, global approach, experiment control, homogeneous interface, real-time, automation, maintainability, control systems, control system, safety critical, user-friendly |
31 | James E. Murphy, Michael O'Neill 0001, Hamish A. Carr |
Exploring Grammatical Evolution for Horse Gait Optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroGP ![In: Genetic Programming, 12th European Conference, EuroGP 2009, Tübingen, Germany, April 15-17, 2009, Proceedings, pp. 183-194, 2009, Springer, 978-3-642-01180-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
gait optimisation, quadrupedal locomotion, physics-based animation, Fourier analysis, Grammatical Evolution |
31 | R. Harris, T. Impelluso |
Virtual stress testing machine and the cyber-infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 24(2), pp. 107-117, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Physics-based virtual reality, Cyberinfrastructure, Client/Server |
31 | Wolfgang Christian, Mario Belloni, Douglas Brown |
An Open-Source XML Framework for Authoring Curricular Material. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 8(5), pp. 51-58, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Java, XML, open source, mechanics, quantum mechanics, physics education |
31 | Charles Day |
Engineering in Computing and Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 8(2), pp. 88, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computer scientists, algorithms, engineering, physics |
31 | Qonita M. Shahab, Yong-Moo Kwon, Heedong Ko |
Virtual experience: interactive domino simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2006, Hollywood, California, USA, June 14-16, 2006, pp. 100, 2006, ACM, 1-59593-380-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
collaborative simulation, interactive virtual experience, physics simulation |
31 | Marc Cavazza, Simon Hartley, Jean-Luc Lugrin, Mikael Le Bras |
Alternative reality: a new platform for virtual reality art. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 2003, Osaka, Japan, October 1-3, 2003, pp. 100-107, 2003, ACM, 1-58113-569-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
virtual reality for art and entertainment, modelling and simulation, intelligent virtual environments, qualitative physics |
30 | Norbert Podhorszki, Scott Klasky, Qing Liu 0002, Ciprian Docan, Manish Parashar, Hasan Abbasi, Jay F. Lofstead, Karsten Schwan, Matthew Wolf, Fang Zheng, Julian Cummings |
Plasma fusion code coupling using scalable I/O services and scientific workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-WORKS ![In: Proceedings of the 4th Workshop on Workflows in Support of Large-Scale Science, WORKS 2009, November 16, 2009, Portland, Oregon, USA, 2009, ACM, 978-1-60558-717-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
plasma simulation, parallel I/O, workflow design, code coupling, workflow execution |
30 | Wael R. Elwasif, Donald B. Batchelor, David E. Bernholdt, Lee A. Berry, Eduardo F. D'Azevedo, Wayne A. Houlberg, E. F. Jaeger, James Arthur Kohl, Shuhui Li 0001 |
Coupled Fusion Simulation Using the Common Component Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I, pp. 372-379, 2005, Springer, 3-540-26032-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Claudia Casadio, Bob Coecke, Michael Moortgat, Philip J. Scott (eds.) |
Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![Springer, 978-3-642-54788-1 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Aleks Kissinger |
Abstract Tensor Systems as Monoidal Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 235-252, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Oriol Valentín |
The Hidden Structural Rules of the Discontinuous Lambek Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 402-420, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Denis Béchet |
NP-Completeness of Grammars Based Upon Products of Free Pregroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 51-62, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Raffaella Bernardi |
Distributional Semantics: A Montagovian View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 63-89, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Bart Jacobs 0001, Alexandra Silva 0001 |
Initial Algebras of Terms with Binding and Algebraic Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 211-234, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Peter Hines |
Classical Structures Based on Unitaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 188-210, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Richard Moot |
Extended Lambek Calculi and First-Order Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 297-330, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Claudia Casadio, Aleksandra Kislak-Malinowska |
Italian Clitic Patterns in Pregroup Grammar: State of the Art. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 156-171, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Dusko Pavlovic |
Chasing Diagrams in Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 353-367, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Glyn Morrill |
A Categorial Type Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 331-352, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Michael Moortgat |
A Note on Multidimensional Dyck Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 279-296, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Samson Abramsky, Mehrnoosh Sadrzadeh |
Semantic Unification - A Sheaf Theoretic Approach to Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 1-13, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | V. Michele Abrusci |
On Residuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 14-27, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Wojciech Buszkowski |
Multi-Sorted Residuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 136-155, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Gonzalo E. Reyes |
A Mathematical Analysis of Masaccio's Trinity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 381-392, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Stepan L. Kuznetsov |
L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 268-278, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Arno Bastenhof |
Type Similarity for the Lambek-Grishin Calculus Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 28-50, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Miroslawa Kolowska-Gawiejnowicz |
On Canonical Embeddings of Residuated Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 253-267, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Mati Pentus |
The Monotone Lambek Calculus Is NP-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 368-380, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Alexey Sorokin |
Conjoinability in 1-Discontinuous Lambek Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 393-401, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger |
A Logical Basis for Quantum Evolution and Entanglement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 90-107, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Roberto Bonato, Christian Retoré |
Learning Lambek Grammars from Proof Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 108-135, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Annie Foret |
On Associative Lambek Calculus Extended with Basic Proper Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 172-187, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Anne Preller |
From Sentence to Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Physics and Linguistics ![In: Quantum Physics and Linguistics - A Compositional, Diagrammatic Discourse., pp. 252-282, 2013, Oxford University Press, 978-0-19-964629-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Ross Duncan |
A graphical approach to measurement-based quantum computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Physics and Linguistics ![In: Quantum Physics and Linguistics - A Compositional, Diagrammatic Discourse., pp. 50-89, 2013, Oxford University Press, 978-0-19-964629-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 11929 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|