Computable modelsTurner, RaymondRead- Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedingsCooper, S. B;Löwe, Benedikt;Sorbi, AndreaRead
- Elements of computation theorySingh, ArindamaRead
- Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedingsBeckmann, Arnold;Dimitracopoulos, Costas;Löwe, BenediktRead
- Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedingsBeckmann, ArnoldRead
- Mathematical theory and computational practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedingsAmbos-Spies, K;Löwe, Benedikt;Merkle, WolfgangRead
- Models of computation : an introduction to computability theoryFernández, MaribelRead
- Models of computation in context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27-July 2, 2011, proceedingsLöwe, BenediktRead
- New computational paradigms : changing conceptions of what is computableCooper, S. B;Löwe, Benedikt;Sorbi, AndreaRead
- New computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, the Netherlands, June 8-12, 2005 ; proceedingsCooper, S. B;Löwe, Benedikt;Torenvliet, LeenRead
- Programs, proofs, processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedingsFerreira, FernandoRead
Detecting Magic States via Characteristic Functions182 days agoRead- Computability in Harmonic Analysis404 days agoRead
- Systems, Vol. 9, Pages 44: A Note on the Reality of Incomputable Real Numbers and Its Systemic Significance431 days agoRead
- Generalized Conditional Gradient with Augmented Lagrangian for Composite Minimization685 days agoRead
- Generalized Conditional Gradient with Augmented Lagrangian for Composite Minimization642 days agoRead
- A framework to efficiently smooth L1 penalties for linear regression697 days agoRead
- Exploiting Large Datasets Improves Accuracy Estimation for Multiple Sequence Alignment85 days agoRead
- Brains versus computers - Watson versus Jennings and opinion from Kurzweil, Wolfram, Moravec and more4202 days agoRead
- An Oligopoly Game of CDR Strategy Deployment in a Steady-State Net-Zero Emission Climate Regime664 days agoRead
- Symmetry, Vol. 12, Pages 2078: miRID: Multi-Modal Image Registration Using Modality-Independent and Rotation-Invariant Descriptor611 days agoRead
- Mathematics, Vol. 9, Pages 3079: Beyond Topological Persistence: Starting from Networks261 days agoRead
- Recursion in programs, thought, and language245 days agoRead
- Bottom-up coarse-grain modeling of nanoscale shear bands in shockedα-RDX146 days agoRead
- Binocular Imaging with The Conformal Eyes70 days agoRead
- Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007 : proceedingsKučera, A;Kučera, LuděkRead
- Theory and applications of models of computation : 4th international conference, TAMC 2007, Shanghai, China, May 22-25, 2007 : proceedingsCai, Jin-yi;Cooper, S. B;Zhu, HongRead
- Theory and applications of models of computation : 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedingsAgrawal, ManindraRead
- Mathematical foundations of computer science 2006 : 31st international symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006 ; proceedingsRead
- Mathematical foundations of computer science 2009 : 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedingsKrálovič, Rastislav;Niwiński, DamianRead
- Hypercomputation : computing beyond the Church-Turing barrierSyropoulos, ApostolosRead
- Theory and applications of models of computation : 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedingsOgihara, Mitsunori;Tarui, JunRead
- Mathematical foundations of computer science 2011 : 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedingsMurlak, Filip;Sankowski, PiotrRead
- Theory and applications of models of computation : third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedingsCai, Jin-yi;Cooper, S. B;Li, AngshengRead
- Theory and applications of models of computation : 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 : proceedingsChen, Jianer;Cooper, S. BRead
- How the world computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. ProceedingsCooper, S. B;Dawar, Anuj;Löwe, BenediktRead
- Theory of computationTourlakis, George JRead
- Hilbert's tenth problemMatii͡asevich, I͡U. VRead
- Three Views of Logic : Mathematics, Philosophy, and Computer ScienceLoveland, Donald W;Hodel, Richard E;Sterrett, S. GRead
- Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. ProceedingsBeckmann, Arnold;Mitrana, Victor;Soskova, MariyaRead
- Foundations of computability theory, TheRobič, BorutRead
- Higher-order computabilityLongley, John;Normann, DagRead
- Pursuit of the universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27-July 1, 2016, ProceedingsBeckmann, Arnold;Bienvenu, Laurent;Jonoska, NatašaRead
- Turing computability : theory and applicationsSoare, R. IRead
- Incomputable : journeys beyond the Turing barrier, TheCooper, S. B;Soskova, MariyaRead
- Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997Cooper, S. B;Truss, J. KRead
- Symbolic computation and educationLi, Shangzhi;Wang, Dongming;Zhang, JingzhongRead
- Theory and practice of computation : proceedings of Workshop on Computation Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September-1 October 2013Caro, Jaime D. L;Nishizaki, Shin-ya;Numao, Masayuki;Suarez, Merlin Teodosia CRead
- Proofs and ComputationsSchwichtenberg, Helmut;Wainer, S. SRead
- Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papersBlanck, Jens;Brattka, Vasco;Hertling, PeterRead
Please Wait- Medicine - All Feeds
- Allergology and Immunology
- Anatomy and Physiology
- Anesthesiology and Intensive Care
- Biochemistry
- Bioengineering
- Biophysics
- Biotechnology
- Cardiology
- Cardiothoracic Surgery
- Clinical Chemistry
- Clinical Medicine
- Complementary Medicine
- Cytology and Histology
- Dentistry
- Dermatology
- Endocrinology
- Forensic Medicine
- Gastroenterology
- General Practice
- Genetics
- Geriatrics
- Health services and Administration
- Hematology
- Infectious Diseases
- Internal Medicine
- Logopedics
- Medical Education and Humanities
- Medical Microbiology
- Medicine - Other
- Nephrology
- Neurology
- Neurosurgery
- Nursing
- Nutritional Sciences
- Obstetrics and Gynecology
- Occupational Health
- Oncology
- Ophthalmology
- Oral and Maxillofacial Surgery
- Orthopedics and Traumatology
- Otorhinolaryngology and Phoniatrics
- Pathology
- Pediatrics
- Pharmacology and Pharmacotherapy
- Physical and Rehabilitation Medicine
- Plastic Surgery
- Psychiatry
- Psychology
- Public Health
- Radiology
- Respiratory Medicine
- Rheumatology
- Sports Medicine
- Surgery
- Urology
