Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
90 | Rob T. Udink, Joost N. Kok |
On the Relation Between Unity Properties and Sequences of States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 594-608, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Semantic models - Unity, program refinement |
82 | Edgar Knapp |
Soundness and Completeness of UNITY Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings, pp. 378-389, 1994, Springer, 3-540-58715-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Classification Theory of Programming Languages, Logic in Computer Science, Theory of Parallel and Distributed Computation |
81 | Yih-Kuen Tsay, Rajive L. Bagrodia |
Deducing Fairness Properties in UNITY Logic - A New Completeness Result. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 17(1), pp. 16-27, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
fairness properties, temporal logic, completeness, UNITY |
76 | Naima Brown, Dominique Méry |
A Proof Environment for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings, pp. 196-215, 1993, Springer, 3-540-56662-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
formal specifications, concurrency, program verification, Automated theorem proving, B, Unity |
71 | Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni |
Complexity results in revising UNITY programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Auton. Adapt. Syst. ![In: ACM Trans. Auton. Adapt. Syst. 4(1), pp. 5:1-5:28, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
formal methods, UNITY |
71 | Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun |
Mobile UNITY: Reasoning and Specification in Mobile Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 6(3), pp. 250-282, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
mobile UNITY, transient interactions, mobile computing, formal methods, synchronization, weak consistency, shared variables |
68 | Carlos Ulises Moulines |
The Unity of Science and The Unity of Being: a Sketch of a Formal Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Epistemology, and the Unity of Science ![In: Logic, Epistemology, and the Unity of Science, pp. 151-161, 2004, Springer, 978-90-481-2486-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
63 | Anas A. Hamoui, Mohammad Sukhon, Franco Maloberti |
Digitally-enhanced 2nd-order DeltaSigma modulator with unity-gain signal transfer function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 1664-1667, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
63 | Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden |
Mobile agent security with the IPEditor development tool and the mobile UNITY language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents ![In: Proceedings of the Fifth International Conference on Autonomous Agents, AGENTS 2001, Montreal, Canada, May 28 - June 1, 2001, pp. 656-662, 2001, ACM, 1-58113-326-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
62 | Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour |
Revising UNITY Programs: Possibilities and Limitations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers, pp. 275-290, 2005, Springer, 3-540-36321-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Formal Methods, Program Synthesis, UNITY |
62 | Daniel M. Zimmerman |
A UNITY-Based Formalism for Dynamic Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 236, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dynamic distributed systems, program composition, formal methods, UNITY |
62 | Peter J. McCann, Gruia-Catalin Roman |
Modeling Mobile IP in Mobile UNITY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 8(2), pp. 115-146, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
mobile UNITY, transient interactions, mobile computing, formal methods, synchronization, IP, weak consistency, shared variables |
62 | H. Conrad Cunningham, Gruia-Catalin Roman |
A UNITY-Style Programming Logic for Shared Dataspace Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 1(3), pp. 365-376, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
UNITY-style programming logic, shared dataspace programs, program verification, Swarm, proof system, program correctness |
53 | Luís Moniz Pereira |
Evolutionary Psychology and the Unity of Sciences: Towards an Evolutionary Epistemology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Special Sciences and the Unity of Science ![In: Special Sciences and the Unity of Science, pp. 163-175, 2012, Springer, 978-94-007-2029-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
53 | Paco Calvo Garzón |
Plant Neurobiology: Lessons for the Unity of Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Special Sciences and the Unity of Science ![In: Special Sciences and the Unity of Science, pp. 121-136, 2012, Springer, 978-94-007-2029-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
53 | Luc Faucher |
Unity of Science and Pluralism: Cognitive Neurosciences of Racial Prejudice as a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Special Sciences and the Unity of Science ![In: Special Sciences and the Unity of Science, pp. 177-204, 2012, Springer, 978-94-007-2029-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
53 | J. R. Croca |
The Principle of Eurhythmy: A Key to the Unity of Physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Special Sciences and the Unity of Science ![In: Special Sciences and the Unity of Science, pp. 19-51, 2012, Springer, 978-94-007-2029-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
53 | Sheldon Steed, Gabriele Contessa, Nancy Cartwright |
Keeping Track of Neurath's Bill: Abstract Concepts, Stock Models and the Unity of Classical Physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 95-108, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Jan Wolenski |
Naturalism and the Unity of Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 191-199, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Otto Neurath, Thomas Bonk |
Unity of Science and Logical Empiricism: A Reply. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 15-30, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Hossein Sheykh Rezaee |
The Flat Analysis of Properties and the Unity of Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 213-220, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera |
Searching for the Unity of Science: From Classical Logic to Abductive Logical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 201-212, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Andrés Rivadulla |
Scientific Reasonableness and the Pragmatic Approach to the Unity of Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 221-237, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Olga Pombo |
Neurath and the Encyclopaedic Project of Unity of Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 59-70, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Daniel Andler |
Unity Without Myths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 129-144, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Juan Manuel Torres |
The Role of Biology in the Unity of Science Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 181-190, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
53 | Shahid Rahman, John Symons |
Logic, Epistemology and the Unity of Science: An Encyclopedic Project in the Spirit of Neurath and Diderot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Epistemology, and the Unity of Science ![In: Logic, Epistemology, and the Unity of Science, pp. 3-15, 2004, Springer, 978-90-481-2486-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Herbert Gintis |
Towards a Unity of the Human Behavioral Sciences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Epistemology, and the Unity of Science ![In: Logic, Epistemology, and the Unity of Science, pp. 25-39, 2004, Springer, 978-90-481-2486-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | John Woods, Kent A. Peacock |
Quantum Logic and the Unity of Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Epistemology, and the Unity of Science ![In: Logic, Epistemology, and the Unity of Science, pp. 257-287, 2004, Springer, 978-90-481-2486-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Gerhard Schurz |
Normic Laws, Non-Monotonic Reasoning, and the Unity of Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Epistemology, and the Unity of Science ![In: Logic, Epistemology, and the Unity of Science, pp. 181-211, 2004, Springer, 978-90-481-2486-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Sumit Kumar Basu |
t-UNITY - A Formal Framework for Modeling and Reasoning About Timing Constraints in Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDC ![In: Distributed Computing - IWDC 2004, 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings, pp. 138-143, 2004, Springer, 3-540-24076-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Gruia-Catalin Roman, Jamie Payton |
Mobile UNITY Schemas for Agent Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 126-150, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
53 | Flemming Andersen, Ulla Binau, Karsten Nyblad, Kim Dam Petersen, Jimmi S. Pettersson |
The HOL-UNITY Verification System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 795-796, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
53 | Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson |
Program Verification using HOL-UNITY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 1-15, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
52 | Yutaka Ohtake, Alexander G. Belyaev, Marc Alexa, Greg Turk, Hans-Peter Seidel |
Multi-level partition of unity implicits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 22(3), pp. 463-470, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
adaptive distance, error-controlled subdivision, field approximation, partition of unity approximation, implicit modeling |
52 | Ernest H. Page, Marc Abrams |
Simulation Model Development and Analysis in UNITY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 104(1-4), pp. 181-212, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
simulation specification, simulation verification, parallel simulation protocols, UNITY |
52 | Lawrence C. Paulson |
Mechanizing UNITY in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 1(1), pp. 3-32, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
concurrency, UNITY, Isabelle, compositional reasoning |
51 | Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann |
Expressing Code Mobility in Mobile UNITY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Software Engineering - ESEC/FSE '97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings, pp. 500-518, 1997, Springer, 3-540-63531-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
mobile UNITY, mobile code languages, mobile computing, coordination, UNITY, code mobility |
47 | Boutheina Chetali |
Formal Verification of Concurrent Programs Using the Larch Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(1), pp. 46-62, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
theorem prover methodology, Larch prover, computer-checked proof, Formal verification, communication protocol, protocol verification, UNITY |
47 | Boutheina Chetali, Barbara Heyd |
Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings, pp. 69-85, 1997, Springer, 3-540-63379-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
theorem prover methodology, Larch Prover, Computer Checked Proof, Formal Verification, Unity, Coq |
47 | David M. Goldschlag |
Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 1005-1023, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity |
43 | Nadav Aharony, Jamie Zigelbaum |
Comm.unity: leveraging social and physical proximity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 3497-3498, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
privacy, ubiquitous computing, mobile, trust, pervasive computing, social, network interface |
43 | Pierre Collette |
Application of the Composition Principle to Unity-like Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings, pp. 230-242, 1993, Springer, 3-540-56610-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
43 | Rob T. Udink, Joost N. Kok |
Two Fully Abstract Models for UNITY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 339-352, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
43 | Joao Paulo Gois, Valdecir Polizelli-Junior, Tiago Etiene, Eduardo Tejada, Antônio Castelo Filho, Luis Gustavo Nonato, Thomas Ertl |
Twofold adaptive partition of unity implicits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 24(12), pp. 1013-1023, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Algebraic triangulation, Partition of unity implicits, Orthogonal polynomials |
43 | Takato Hirano, Koichiro Wada, Keisuke Tanaka |
Public-Key Cryptosystems with Primitive Power Roots of Unity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008, Proceedings, pp. 98-112, 2008, Springer, 978-3-540-69971-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Paillier encryption scheme, factoring assumption, power roots of unity, homomorphism |
43 | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
Revising Distributed UNITY Programs Is NP-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings, pp. 408-427, 2008, Springer, 978-3-540-92220-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Automated revision, Complexity, Formal methods, Transformation, Distributed programs, Repair, UNITY |
43 | Sergey P. Tarasov, Mikhail N. Vyalyi |
An Efficient Algorithm for Zero-Testing of a Lacunary Polynomial at the Roots of Unity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings, pp. 397-406, 2007, Springer, 978-3-540-74509-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
algorithm, sparse representation, root of unity, cyclotomic polynomial |
43 | Weimin Han, Wing Kam Liu |
Flexible piecewise approximations based on partition of unity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 23(1-2), pp. 191-199, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
smooth piecewise approximation, partition of unity, polynomial reproducing, nodal interpolation, Galerkin method |
43 | Sidi O. Ehmety, Lawrence C. Paulson |
Program Composition in Isabelle/UNITY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
program composition, universal and existential properties, UNITY, Isabelle |
43 | Lawrence C. Paulson |
Mechanizing a theory of program composition for UNITY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 23(5), pp. 626-656, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
concurrency, UNITY, Isabelle, compositional reasoning |
39 | Philippe Huneman |
Computer Science Meets Evolutionary Biology: Pure Possible Processes and the Issue of Gradualism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Special Sciences and the Unity of Science ![In: Special Sciences and the Unity of Science, pp. 137-162, 2012, Springer, 978-94-007-2029-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | A. Yazdani |
Appearance or Existence of the Entity Realism 'Sense' or Mind. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Special Sciences and the Unity of Science ![In: Special Sciences and the Unity of Science, pp. 269-276, 2012, Springer, 978-94-007-2029-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Nathalie Gontier |
Introducing Universal Symbiogenesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Special Sciences and the Unity of Science ![In: Special Sciences and the Unity of Science, pp. 89-111, 2012, Springer, 978-94-007-2029-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Catherine Laurent |
Plurality of Science and Rational Integration of Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Special Sciences and the Unity of Science ![In: Special Sciences and the Unity of Science, pp. 219-231, 2012, Springer, 978-94-007-2029-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Christian Möckel |
The Cultural Sciences and Their Basis in Life. On Ernst Cassirer's Theory of the Cultural Sciences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Special Sciences and the Unity of Science ![In: Special Sciences and the Unity of Science, pp. 259-267, 2012, Springer, 978-94-007-2029-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | María de la Concepción Caamaño Alegre |
Pragmatic Continuities in Empirical Science: Some Examples from the History of Astronomy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Special Sciences and the Unity of Science ![In: Special Sciences and the Unity of Science, pp. 5-18, 2012, Springer, 978-94-007-2029-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Vítor Neves |
Sciences as Open Systems - The Case of Economics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Special Sciences and the Unity of Science ![In: Special Sciences and the Unity of Science, pp. 205-217, 2012, Springer, 978-94-007-2029-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | A. Perera, F. Sokolic |
Looking at Water Through Paradigms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Special Sciences and the Unity of Science ![In: Special Sciences and the Unity of Science, pp. 81-87, 2012, Springer, 978-94-007-2029-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Olga Pombo, Juan Manuel Torres, John Symons |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Special Sciences and the Unity of Science ![In: Special Sciences and the Unity of Science, pp. 1-3, 2012, Springer, 978-94-007-2029-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | César Lorenzano |
A Physicalist Reconstruction of a Theory: The Case of the Freudian Theory of Hysteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Special Sciences and the Unity of Science ![In: Special Sciences and the Unity of Science, pp. 233-257, 2012, Springer, 978-94-007-2029-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Francisco Carrapiço |
The Symbiotic Phenomenon in the Evolutive Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Special Sciences and the Unity of Science ![In: Special Sciences and the Unity of Science, pp. 113-119, 2012, Springer, 978-94-007-2029-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Edwin J. Beggs, José Félix Costa |
Unifying Science Through Computation: Reflections on Computability and Physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Special Sciences and the Unity of Science ![In: Special Sciences and the Unity of Science, pp. 53-80, 2012, Springer, 978-94-007-2029-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Brian Hill |
Fiction, Counterfactuals: The Challenge for Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Special Sciences and the Unity of Science ![In: Special Sciences and the Unity of Science, pp. 277-299, 2012, Springer, 978-94-007-2029-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Karlheinz Barck |
The Neurath-Horkeimer-Controversy Reconsidered: Otto Neurath's Erwiderung to Max Horkheimer's Attack Against the Vienna Circle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 31-40, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Thomas Bonk |
Conceptions of Reality - Schlick, Carnap, Neurath. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 83-93, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Jan Sebestik |
Otto Neurath's Epistemology and Its Paradoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 41-57, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Robert L. Causey |
A Comprehensible World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 159-180, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Ahti-Veikko Pietarinen |
Principles and Practices of Neurath's Picture Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 71-82, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Carlos Ulises Moulines |
Does Scientific Progress Necessarily Lead to a Unified Science? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 239-252, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Mario Bunge |
Two Unification Strategies: Analysis or Reduction, and Synthesis or Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 145-157, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Gideon Freudenthal, Tatiana Karachentsev |
G. Itelson - A Socratic Philosopher. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 109-126, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Cornelia Schöck |
Name (ism), Derived Name (ism mushtaqq) and Description (waṣf) in Arabic Grammar, Muslim Dialectical Theology and Arabic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Unity of Science in the Arabic Tradition ![In: The Unity of Science in the Arabic Tradition - Science, Logic, Epistemology and their Interactions, pp. 329-360, 2008, Springer, 978-1-4020-8404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Hassan Tahiri |
The Birth of Scientific Controversies The Dynamics of the Arabic Tradition and Its Impact on the Development of Science: Ibn al-Haytham's Challenge of Ptolemy's Almagest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Unity of Science in the Arabic Tradition ![In: The Unity of Science in the Arabic Tradition - Science, Logic, Epistemology and their Interactions, pp. 183-225, 2008, Springer, 978-1-4020-8404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Allan Bäck |
Islamic Logic? ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Unity of Science in the Arabic Tradition ![In: The Unity of Science in the Arabic Tradition - Science, Logic, Epistemology and their Interactions, pp. 255-279, 2008, Springer, 978-1-4020-8404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Hans P. van Ditmarsch |
Logical Fragments in Ibn Khaldūn's Muqaddimah. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Unity of Science in the Arabic Tradition ![In: The Unity of Science in the Arabic Tradition - Science, Logic, Epistemology and their Interactions, pp. 281-294, 2008, Springer, 978-1-4020-8404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Albrecht Heeffer |
A Conceptual Analysis of Early Arabic Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Unity of Science in the Arabic Tradition ![In: The Unity of Science in the Arabic Tradition - Science, Logic, Epistemology and their Interactions, pp. 89-128, 2008, Springer, 978-1-4020-8404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Asad Ahmed |
Jiha/Tropos-Mādda/Hūlē Distinction in Arabic Logic and its Significance for Avicenna's Modals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Unity of Science in the Arabic Tradition ![In: The Unity of Science in the Arabic Tradition - Science, Logic, Epistemology and their Interactions, pp. 229-253, 2008, Springer, 978-1-4020-8404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Jon McGinnis |
Avicenna's Naturalized Epistemology and Scientific Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Unity of Science in the Arabic Tradition ![In: The Unity of Science in the Arabic Tradition - Science, Logic, Epistemology and their Interactions, pp. 129-152, 2008, Springer, 978-1-4020-8404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Shahid Rahman, Tony Street, Hassan Tahiri |
Introduction: The Major Breakthrough in Scientific Pratice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Unity of Science in the Arabic Tradition ![In: The Unity of Science in the Arabic Tradition - Science, Logic, Epistemology and their Interactions, pp. 1-40, 2008, Springer, 978-1-4020-8404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Paul Thom |
Logic and Metaphysics in Avicenna's Modal Syllogistic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Unity of Science in the Arabic Tradition ![In: The Unity of Science in the Arabic Tradition - Science, Logic, Epistemology and their Interactions, pp. 361-376, 2008, Springer, 978-1-4020-8404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Roshdi Rashed |
The Philosophy of Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Unity of Science in the Arabic Tradition ![In: The Unity of Science in the Arabic Tradition - Science, Logic, Epistemology and their Interactions, pp. 153-182, 2008, Springer, 978-1-4020-8404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Ahmad Hasnawi |
Avicenna on the Quantification of the Predicate (with an Appendix on [Ibn Zur'a]). ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Unity of Science in the Arabic Tradition ![In: The Unity of Science in the Arabic Tradition - Science, Logic, Epistemology and their Interactions, pp. 295-328, 2008, Springer, 978-1-4020-8404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Deborah L. Black |
Avicenna on Self-Awareness and Knowing that One Knows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Unity of Science in the Arabic Tradition ![In: The Unity of Science in the Arabic Tradition - Science, Logic, Epistemology and their Interactions, pp. 63-87, 2008, Springer, 978-1-4020-8404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Mohammad Ardeshir |
Ibn Sī: nā's Philosophy of Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Unity of Science in the Arabic Tradition ![In: The Unity of Science in the Arabic Tradition - Science, Logic, Epistemology and their Interactions, pp. 43-61, 2008, Springer, 978-1-4020-8404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Stephen Read |
The Truth Schema and the Liar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 3-17, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Jan Wolenski |
Read about T-Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 199-203, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Terence Parsons |
Comments on Stephen Read's "The Truth-Schema and the Liar". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 129-134, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Claude Panaccio |
Restrictionism: A Medieval Approach Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 229-253, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Stephen Read |
Further Thoughts on Tarski's T-scheme and the Liar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 205-225, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Bradley Armour-Garb |
Read and Indirect Revenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 19-40, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Barry Hartley Slater |
Out of the Liar Tangle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 187-197, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Fabienne Pironet |
William Heytesbury and the Treatment of Insolubilia in Fourteenth-Century England Followed by a Critical Edition of Three Anonymous Treatises De Insolubilibus Inspired by Heytesbury. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 255-333, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | José M. Sagüillo |
On a New Account of the Liar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 149-157, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Laurence Goldstein |
Doubting Thomas: From Bradwardine Back to Anon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 65-85, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | György Serény |
The Liar Cannot Be Solved. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 159-186, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Gyula Klima |
Logic Without Truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 87-112, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Eugene Mills |
Scheming and Lying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 113-128, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Catarina Dutilh Novaes |
Tarski's Hidden Theory of Meaning: Sentences Say Exactly One Thing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 41-63, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Greg Restall |
Models for Liars in Bradwardine's Theory of Truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unity, Truth and the Liar ![In: Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox, pp. 135-147, 2008, Springer, 978-1-4020-8467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|