The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for physics with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1953-1968 (20) 1969-1975 (16) 1976-1978 (18) 1979-1981 (19) 1982-1984 (21) 1985 (17) 1986-1987 (22) 1988 (25) 1989 (19) 1990 (29) 1991 (32) 1992 (37) 1993 (37) 1994 (47) 1995 (120) 1996 (62) 1997 (76) 1998 (80) 1999 (86) 2000 (143) 2001 (153) 2002 (181) 2003 (182) 2004 (261) 2005 (267) 2006 (362) 2007 (353) 2008 (372) 2009 (562) 2010 (190) 2011 (193) 2012 (237) 2013 (236) 2014 (268) 2015 (405) 2016 (266) 2017 (304) 2018 (538) 2019 (628) 2020 (812) 2021 (936) 2022 (1301) 2023 (1629) 2024 (367)
Publication types (Num. hits)
article(5552) book(46) data(2) incollection(331) inproceedings(5756) phdthesis(209) proceedings(33)
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
83Jonghwa Choi, Dongkyoo Shin, Dongil Shin Research on Design and Implementation of Adaptive Physics Game Agent for 3D Physics Game. Search on Bibsonomy PRIMA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF 3D Game Engine, Game Simulation, Physics Engine
63Stefan Zickler, Manuela M. Veloso Efficient physics-based planning: sampling search via non-deterministic tactics and skills. Search on Bibsonomy AAMAS (1) The full citation details ... 2009 DBLP  BibTeX  RDF kinodynamic, physics-based, robot, planning, control, behavioral, rigid body, tactics
59Evi 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 WSKS (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF school competence, self-perception, motivation, physics, Cognitive tutors
59Rubin H. Landau, Steven Gottlieb Advancing the Cause of Computation in the Physics Curriculum. Search on Bibsonomy Comput. Sci. Eng. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF physics curriculum, computational physics textbooks, computational physics, physics education
57Thomas Y. Yeh, Petros Faloutsos, Sanjay J. Patel, Glenn Reinman ParallAX: an architecture for real-time physics. Search on Bibsonomy ISCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF real-time physics, chip multiprocessor, physics based animation, stream processing, interactive entertainment, application specific processor
57Jaime R. Taylor, B. Alex King III Using Computational Methods to Reinvigorate an Undergraduate Physics Curriculum. Search on Bibsonomy Comput. Sci. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computational physics, physics education
53Rubin H. Landau Computational Physics: A Better Model for Physics Education? Search on Bibsonomy Comput. Sci. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF education, curricula, computational physics
52David Winch Guest Editor's Introduction: Computation in Physics Courses. Search on Bibsonomy Comput. Sci. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF physics curricula, education, computational physics
51The H. S. F. Physics Event Generator WG Challenges in Monte Carlo Event Generator Software for High-Luminosity LHC. Search on Bibsonomy Comput. Softw. Big Sci. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
50Vladimir M. Krasnopolsky, Michael S. Fox-Rabinovitz, Alexei A. Belochitski Using neural network emulations of model physics in numerical model ensembles. Search on Bibsonomy IJCNN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
50Byungyoon Lee, Jonghwa Choi, Dongkyoo Shin, Dongil Shin Design and Implementation of a Game Physics Editor Using XML. Search on Bibsonomy Edutainment The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
50Chun Wai Liew, Donald E. Smith Reasoning about Systems of Physics Equations. Search on Bibsonomy Intelligent Tutoring Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
49Marty Johnston Implementing Curricular Change. Search on Bibsonomy Comput. Sci. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computational physics, physics education
46Paul Kanyuk Brain Springs: Fast Physics for Large Crowds in WALL•E. Search on Bibsonomy IEEE Computer Graphics and Applications The full citation details ... 2009 DBLP  DOI  BibTeX  RDF motion signal processing, spring physics, fake physics, computer graphics, physics-based animation, crowd simulation, behavioral animation
46Robert G. Fuller Numerical Computations in US Undergraduate Physics Courses. Search on Bibsonomy Comput. Sci. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computational physics, physics education
46Kelly R. Roos An Incremental Approach to Computational Physics Education. Search on Bibsonomy Comput. Sci. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computational physics, physics education
46Petros Faloutsos, Michiel van de Panne, Demetri Terzopoulos Composable controllers for physics-based character animation. Search on Bibsonomy SIGGRAPH The full citation details ... 2001 DBLP  DOI  BibTeX  RDF physics-based animation control, computer animation, physics-based modeling, character animation
46Jiebo Luo, Robert T. Gray, Hsien-Che Lee Towards physics-based segmentation of photographic color images. Search on Bibsonomy ICIP (3) The full citation details ... 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
45Li Ding, Wang Yun-Lin Social Physics and the Flow of Migrant Peasant Workers. Search on Bibsonomy Complex (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Social Physics, Migrant peasant workers, Flow
45Andrew D. Wilson, Shahram Izadi, Otmar Hilliges, Armando Garcia-Mendoza, David S. Kirk Bringing physics to the surface. Search on Bibsonomy UIST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF game physics engines, interactive surfaces
45Gideon Kowadlo, R. Andrew Russell Using naïve physics for odor localization in a cluttered indoor environment. Search on Bibsonomy Auton. Robots The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Naive physics, Odor localization, Mobile robotics
44Saeid Nourian, Xiaojun Shen, Nicolas D. Georganas XPHEVE: An Extensible Physics Engine for Virtual Environments. Search on Bibsonomy CCECE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Jonghwa Choi, Dongkyoo Shin, Jinsung Choi, Dongil Shin Research on Artificial Intelligence Character Based Physics Engine in 3D Car Game. Search on Bibsonomy ICNC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Romualdas Karazija, Alina Momkauskaite The Nobel prize in physics - regularities and tendencies. Search on Bibsonomy Scientometrics The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44Eric G. Parker, James F. O'Brien Real-time deformation and fracture in a game environment. Search on Bibsonomy Symposium on Computer Animation The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Star Wars: The Force Unleashed, game physics, real-time physics, simulation, deformation, fracture, physics engine
44Eduardo 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 Annual Simulation Symposium The full citation details ... 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
44Erco Argante, Peter van der Stok, Ian Willers On-line event reconstruction using a parallel in-memory database. Search on Bibsonomy ICECCS The full citation details ... 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
40Xiaohu Guo, Hong Qin 0001 Meshless methods for physics-based modeling and simulation of deformable models. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF deformable models, physics-based modeling, physics-based simulation, meshless method
39Alejandro L. Garcia, Alice A. Carter, J. Courtney Granner, David Chai Physics for animation artists. Search on Bibsonomy SIGGRAPH Posters The full citation details ... 2009 DBLP  DOI  BibTeX  RDF art education, physics education
39Sylvia Irawati, Sengpyo Hong, Jinwook Kim, Heedong Ko 3D edutainment environment: learning physics through VR/AR experiences. Search on Bibsonomy Advances in Computer Entertainment Technology The full citation details ... 2008 DBLP  DOI  BibTeX  RDF experience-based learning, virtual reality, augmented reality, edutainment, physics-based simulation
39José Arturo González Gómez Simulation as an intuition building tool for factory physics. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF factory physics, science of manufacturing, intuition, learning tool, operations management
39Adrian Boeing, Thomas Bräunl Evaluation of real-time physics simulation systems. Search on Bibsonomy GRAPHITE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF evaluation, dynamic simulation, physics engine
39Bruce Mason Digital Libraries in Support of Science Education: A Case for Computational Physics. Search on Bibsonomy Comput. Sci. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF astronomy, physics education
39Jonghwa Choi, Dongkyoo Shin, Dongil Shin Intelligent Game Agent Based Physics Engine for Intelligent Non Player Characters. Search on Bibsonomy PRIMA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Non-Player Game Character, Physics Game Engine, AI Game Engine
39Yongjiang Zhong, Ju Liu, Shaochun Zhong, Yamei Zhang, Xiaochun Cheng Programming of Informatized Instructional Design Platform for Physics. Search on Bibsonomy Edutainment The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Integration of curriculum, instructional design in physics, lesson planning system
39John R. Schott Combining Image Derived Spectra and Physics Based Models for Hyperspectral Image Exploitation. Search on Bibsonomy AIPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF synthetic imagery, remote sensing, physics based models, hyperspectral imagery
38L. Musa FPGAS in high energy physics experiments at CERN. Search on Bibsonomy FPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Eberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns Capturing the Content of Physics: Systems, Observables, and Experiments. Search on Bibsonomy MKM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Chhandomay Mandal, Hong Qin 0001, Baba C. Vemuri Dynamic Modeling of Butterfly Subdivision Surfaces. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF physics-based geometric design, interactive techniques, geometric modeling, deformable models, finite elements, subdivision surfaces, Dynamic modeling, CAGD
35Jean-Pierre Antoine, Robert C. Bishop, Arno Bohm, Sujeev Wickramasekara Rigged Hilbert Spaces in Quantum Physics. Search on Bibsonomy Compendium of Quantum Physics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Oscar Wallace Greenberg Color Charge Degree of Freedom in Particle Physics. Search on Bibsonomy Compendium of Quantum Physics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Kimball A. Milton Particle Physics. Search on Bibsonomy Compendium of Quantum Physics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Allon G. Percus, Gabriel Istrate, Cristopher Moore Introduction: Where Statistical Physics Mects Computation. Search on Bibsonomy Computational Complexity and Statistical Physics The full citation details ... 2006 DBLP  BibTeX  RDF
34Hyung Joon Kook, Gordon S. Novak Representation of Models for Expert Problem Solving in Physics. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 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
33David Rosengrant Gaze scribing in physics problem solving. Search on Bibsonomy ETRA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF gaze scribing, physics problem solving, education research
33Salim Hariri, Yaser Jararweh, Yeliang Zhang, Talal Moukabary Physics aware programming paradigm: approach and evaluation. Search on Bibsonomy CLADE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF heart simulation, physics aware programming paradigm, data mining, autonomic computing
33Zhengjia Wang, Yuhui Wang, Zhouping Yin A Multi-physics Simulation Based Parameters Optimization for Anisotropic Conductive Adhesive Interconnection in Electronic Packaging. Search on Bibsonomy ICIRA (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Anisotropic conductive adhesive (ACA), coupled field, multi-physics simulation, optimization, reliability
33Peng Song 0006, Hang Yu, Stefan Winkler 0001 Vision-based 3D finger interactions for mixed reality games with physics simulation. Search on Bibsonomy VRCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF finger interaction, mixed reality, physics simulation, finger tracking
33Philip 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 Advances in Computer Entertainment Technology The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Rube Goldberg machine, augmented reality, tangible user interface, edutainment, physics simulation
33Erwin Coumans, Keith Victor COLLADA physics. Search on Bibsonomy Web3D The full citation details ... 2007 DBLP  DOI  BibTeX  RDF COLLADA, content pipeline, games, collision detection, X3D, physics
33Norman Chonacky Has Computing Changed Physics Courses? Search on Bibsonomy Comput. Sci. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF engineering, science, computational physics
33Suiping Zhou, Shang-Ping Ting Qualitative Physics for Movable Objects in MOUT. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 2006 DBLP  DOI  BibTeX  RDF virtual environments, games, qualitative physics
33Edward Fredkin A computing architecture for physics. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2005 DBLP  DOI  BibTeX  RDF discrete-physics, fundamental-processes, models, cellular-automata
33David S. Vogel, Eric Gottschalk, Morgan C. Wang Anti-matter detection: particle physics model for KDD Cup 2004. Search on Bibsonomy SIGKDD Explor. The full citation details ... 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
33Hui Xie 0001, Hong Qin 0001 A Physics-Based Framework for Subdivision Surface Design with Automatic Rules Control. Search on Bibsonomy PG The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Computer graphics, CAD, Physics-based modeling, subdivision
33Meijing Zhang, Hong Qin 0001 Hierarchical D-NURBS Surfaces and Their Physics-Based Sculpting. Search on Bibsonomy Shape Modeling International The full citation details ... 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
33Hong Qin 0001, Demetri Terzopoulos D-NURBS: A Physics-Based Framework for Geometric Design. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF computer graphics physics-based models, computer-aided design, dynamics, geometric modeling, finite elements, NURBS
32Julia Andreeva, Simone Campana, Federica Fanzago, Juha Herrala High-Energy Physics on the Grid: the ATLAS and CMS Experience. Search on Bibsonomy J. Grid Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF HEP, LCG, Grid, CMS, ATLAS, EGEE
32Marcos García, John Dingliana, Carol O'Sullivan Perceptual evaluation of cartoon physics: accuracy, attention, appeal. Search on Bibsonomy APGV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF perceptual validation, computer animation, cartoon animation
32Scott L. Delp, F. Clayton Anderson, Russ B. Altman Physics-based simulation of biological structures. Search on Bibsonomy ISBI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Thomas Ellman Specification and Synthesis of Hybrid Automata for Physics-Based Animation. Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Kevin McManus, Mark Cross, Chris Walshaw, Nick Croft, Alison J. Williams Parallel Performance in Multi-physics Simulation. Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Jean Luc Bell A Specialized Data Management System For Parallel Execution of Particle Physics Codes. Search on Bibsonomy SIGMOD Conference The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
31James Brown Seeing into the Quantum World. Search on Bibsonomy Comput. Sci. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF physlets, Physlet Quantum Physics: An Interactive Introduction, M. Belloni, W. Christian and A. Cox, quantum computing, physics
31Nigel Baker, Richard McClatchey, Jean-Marie Le Goff Scientific workflow management in a distributed production environment. Search on Bibsonomy EDOC The full citation details ... 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
31C. Gaspar, J. J. Schwarz The DELPHI experiment control system. Search on Bibsonomy ICECCS The full citation details ... 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
31James E. Murphy, Michael O'Neill 0001, Hamish A. Carr Exploring Grammatical Evolution for Horse Gait Optimisation. Search on Bibsonomy EuroGP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF gait optimisation, quadrupedal locomotion, physics-based animation, Fourier analysis, Grammatical Evolution
31R. Harris, T. Impelluso Virtual stress testing machine and the cyber-infrastructure. Search on Bibsonomy Eng. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Physics-based virtual reality, Cyberinfrastructure, Client/Server
31Wolfgang Christian, Mario Belloni, Douglas Brown An Open-Source XML Framework for Authoring Curricular Material. Search on Bibsonomy Comput. Sci. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Java, XML, open source, mechanics, quantum mechanics, physics education
31Charles Day Engineering in Computing and Science. Search on Bibsonomy Comput. Sci. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computer scientists, algorithms, engineering, physics
31Qonita M. Shahab, Yong-Moo Kwon, Heedong Ko Virtual experience: interactive domino simulation. Search on Bibsonomy Advances in Computer Entertainment Technology The full citation details ... 2006 DBLP  DOI  BibTeX  RDF collaborative simulation, interactive virtual experience, physics simulation
31Marc Cavazza, Simon Hartley, Jean-Luc Lugrin, Mikael Le Bras Alternative reality: a new platform for virtual reality art. Search on Bibsonomy VRST The full citation details ... 2003 DBLP  DOI  BibTeX  RDF virtual reality for art and entertainment, modelling and simulation, intelligent virtual environments, qualitative physics
30Norbert 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 SC-WORKS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF plasma simulation, parallel I/O, workflow design, code coupling, workflow execution
30Wael 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 International Conference on Computational Science (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Claudia 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 Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Aleks Kissinger Abstract Tensor Systems as Monoidal Categories. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Oriol Valentín The Hidden Structural Rules of the Discontinuous Lambek Calculus. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Denis Béchet NP-Completeness of Grammars Based Upon Products of Free Pregroups. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Raffaella Bernardi Distributional Semantics: A Montagovian View. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Bart Jacobs 0001, Alexandra Silva 0001 Initial Algebras of Terms with Binding and Algebraic Structure. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Peter Hines Classical Structures Based on Unitaries. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Richard Moot Extended Lambek Calculi and First-Order Linear Logic. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Claudia Casadio, Aleksandra Kislak-Malinowska Italian Clitic Patterns in Pregroup Grammar: State of the Art. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Dusko Pavlovic Chasing Diagrams in Cryptography. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Glyn Morrill A Categorial Type Logic. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Michael Moortgat A Note on Multidimensional Dyck Languages. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Samson Abramsky, Mehrnoosh Sadrzadeh Semantic Unification - A Sheaf Theoretic Approach to Natural Language. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27V. Michele Abrusci On Residuation. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Wojciech Buszkowski Multi-Sorted Residuation. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Gonzalo E. Reyes A Mathematical Analysis of Masaccio's Trinity. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Stepan L. Kuznetsov L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Arno Bastenhof Type Similarity for the Lambek-Grishin Calculus Revisited. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Miroslawa Kolowska-Gawiejnowicz On Canonical Embeddings of Residuated Groupoids. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Mati Pentus The Monotone Lambek Calculus Is NP-Complete. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Alexey Sorokin Conjoinability in 1-Discontinuous Lambek Calculus. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger A Logical Basis for Quantum Evolution and Entanglement. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Roberto Bonato, Christian Retoré Learning Lambek Grammars from Proof Frames. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Annie Foret On Associative Lambek Calculus Extended with Basic Proper Axioms. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Anne Preller From Sentence to Concept. Search on Bibsonomy Quantum Physics and Linguistics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
27Ross Duncan A graphical approach to measurement-based quantum computing. Search on Bibsonomy Quantum Physics and Linguistics The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license