|
|
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. |
PRIMA |
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. |
AAMAS (1) |
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. |
WSKS (2) |
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. |
Comput. Sci. Eng. |
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. |
ISCA |
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. |
Comput. Sci. Eng. |
2006 |
DBLP DOI BibTeX RDF |
computational physics, physics education |
53 | Rubin H. Landau |
Computational Physics: A Better Model for Physics Education? |
Comput. Sci. Eng. |
2006 |
DBLP DOI BibTeX RDF |
education, curricula, computational physics |
52 | David Winch |
Guest Editor's Introduction: Computation in Physics Courses. |
Comput. Sci. Eng. |
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. |
Comput. Softw. Big Sci. |
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. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Byungyoon Lee, Jonghwa Choi, Dongkyoo Shin, Dongil Shin |
Design and Implementation of a Game Physics Editor Using XML. |
Edutainment |
2006 |
DBLP DOI BibTeX RDF |
|
50 | Chun Wai Liew, Donald E. Smith |
Reasoning about Systems of Physics Equations. |
Intelligent Tutoring Systems |
2002 |
DBLP DOI BibTeX RDF |
|
49 | Marty Johnston |
Implementing Curricular Change. |
Comput. Sci. Eng. |
2006 |
DBLP DOI BibTeX RDF |
computational physics, physics education |
46 | Paul Kanyuk |
Brain Springs: Fast Physics for Large Crowds in WALL•E. |
IEEE Computer Graphics and Applications |
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. |
Comput. Sci. Eng. |
2006 |
DBLP DOI BibTeX RDF |
computational physics, physics education |
46 | Kelly R. Roos |
An Incremental Approach to Computational Physics Education. |
Comput. Sci. Eng. |
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. |
SIGGRAPH |
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. |
ICIP (3) |
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. |
Complex (2) |
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. |
UIST |
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. |
Auton. Robots |
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. |
CCECE |
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. |
ICNC (2) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Romualdas Karazija, Alina Momkauskaite |
The Nobel prize in physics - regularities and tendencies. |
Scientometrics |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Eric G. Parker, James F. O'Brien |
Real-time deformation and fracture in a game environment. |
Symposium on Computer Animation |
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. |
Annual Simulation Symposium |
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. |
ICECCS |
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. |
Sci. China Ser. F Inf. Sci. |
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. |
SIGGRAPH Posters |
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. |
Advances in Computer Entertainment Technology |
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. |
SCSC |
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. |
GRAPHITE |
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. |
Comput. Sci. Eng. |
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. |
PRIMA |
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. |
Edutainment |
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. |
AIPR |
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. |
FPL |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Eberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns |
Capturing the Content of Physics: Systems, Observables, and Experiments. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Chhandomay Mandal, Hong Qin 0001, Baba C. Vemuri |
Dynamic Modeling of Butterfly Subdivision Surfaces. |
IEEE Trans. Vis. Comput. Graph. |
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. |
Compendium of Quantum Physics |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Oscar Wallace Greenberg |
Color Charge Degree of Freedom in Particle Physics. |
Compendium of Quantum Physics |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Kimball A. Milton |
Particle Physics. |
Compendium of Quantum Physics |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Allon G. Percus, Gabriel Istrate, Cristopher Moore |
Introduction: Where Statistical Physics Mects Computation. |
Computational Complexity and Statistical Physics |
2006 |
DBLP BibTeX RDF |
|
34 | Hyung Joon Kook, Gordon S. Novak |
Representation of Models for Expert Problem Solving in Physics. |
IEEE Trans. Knowl. Data Eng. |
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. |
ETRA |
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. |
CLADE |
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. |
ICIRA (2) |
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. |
VRCAI |
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. |
Advances in Computer Entertainment Technology |
2008 |
DBLP DOI BibTeX RDF |
Rube Goldberg machine, augmented reality, tangible user interface, edutainment, physics simulation |
33 | Erwin Coumans, Keith Victor |
COLLADA physics. |
Web3D |
2007 |
DBLP DOI BibTeX RDF |
COLLADA, content pipeline, games, collision detection, X3D, physics |
33 | Norman Chonacky |
Has Computing Changed Physics Courses? |
Comput. Sci. Eng. |
2006 |
DBLP DOI BibTeX RDF |
engineering, science, computational physics |
33 | Suiping Zhou, Shang-Ping Ting |
Qualitative Physics for Movable Objects in MOUT. |
Annual Simulation Symposium |
2006 |
DBLP DOI BibTeX RDF |
virtual environments, games, qualitative physics |
33 | Edward Fredkin |
A computing architecture for physics. |
Conf. Computing Frontiers |
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. |
SIGKDD Explor. |
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. |
PG |
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. |
Shape Modeling International |
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. |
IEEE Trans. Vis. Comput. Graph. |
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. |
J. Grid Comput. |
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. |
APGV |
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. |
ISBI |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Thomas Ellman |
Specification and Synthesis of Hybrid Automata for Physics-Based Animation. |
LOPSTR |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Kevin McManus, Mark Cross, Chris Walshaw, Nick Croft, Alison J. Williams |
Parallel Performance in Multi-physics Simulation. |
International Conference on Computational Science (2) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Jean Luc Bell |
A Specialized Data Management System For Parallel Execution of Particle Physics Codes. |
SIGMOD Conference |
1988 |
DBLP DOI BibTeX RDF |
|
31 | James Brown |
Seeing into the Quantum World. |
Comput. Sci. Eng. |
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. |
EDOC |
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. |
ICECCS |
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. |
EuroGP |
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. |
Eng. Comput. |
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. |
Comput. Sci. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Java, XML, open source, mechanics, quantum mechanics, physics education |
31 | Charles Day |
Engineering in Computing and Science. |
Comput. Sci. Eng. |
2006 |
DBLP DOI BibTeX RDF |
computer scientists, algorithms, engineering, physics |
31 | Qonita M. Shahab, Yong-Moo Kwon, Heedong Ko |
Virtual experience: interactive domino simulation. |
Advances in Computer Entertainment Technology |
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. |
VRST |
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. |
SC-WORKS |
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. |
International Conference on Computational Science (1) |
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 |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Aleks Kissinger |
Abstract Tensor Systems as Monoidal Categories. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Oriol Valentín |
The Hidden Structural Rules of the Discontinuous Lambek Calculus. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Denis Béchet |
NP-Completeness of Grammars Based Upon Products of Free Pregroups. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Raffaella Bernardi |
Distributional Semantics: A Montagovian View. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Bart Jacobs 0001, Alexandra Silva 0001 |
Initial Algebras of Terms with Binding and Algebraic Structure. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Peter Hines |
Classical Structures Based on Unitaries. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Richard Moot |
Extended Lambek Calculi and First-Order Linear Logic. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Claudia Casadio, Aleksandra Kislak-Malinowska |
Italian Clitic Patterns in Pregroup Grammar: State of the Art. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Dusko Pavlovic |
Chasing Diagrams in Cryptography. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Glyn Morrill |
A Categorial Type Logic. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Michael Moortgat |
A Note on Multidimensional Dyck Languages. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Samson Abramsky, Mehrnoosh Sadrzadeh |
Semantic Unification - A Sheaf Theoretic Approach to Natural Language. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | V. Michele Abrusci |
On Residuation. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Wojciech Buszkowski |
Multi-Sorted Residuation. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Gonzalo E. Reyes |
A Mathematical Analysis of Masaccio's Trinity. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Stepan L. Kuznetsov |
L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Arno Bastenhof |
Type Similarity for the Lambek-Grishin Calculus Revisited. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Miroslawa Kolowska-Gawiejnowicz |
On Canonical Embeddings of Residuated Groupoids. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Mati Pentus |
The Monotone Lambek Calculus Is NP-Complete. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Alexey Sorokin |
Conjoinability in 1-Discontinuous Lambek Calculus. |
Categories and Types in Logic, Language, and Physics |
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. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Roberto Bonato, Christian Retoré |
Learning Lambek Grammars from Proof Frames. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Annie Foret |
On Associative Lambek Calculus Extended with Basic Proper Axioms. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Anne Preller |
From Sentence to Concept. |
Quantum Physics and Linguistics |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Ross Duncan |
A graphical approach to measurement-based quantum computing. |
Quantum Physics and Linguistics |
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][ >>] |
|