Search Results - "complexity"

Editorial on Special Issue "Recent Advances in Hydrogels for Biomedical Applications" by Marija M. Babić Radić

Connect to this object online.

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata

The Effects of distilled Cervi Pantotrichum Cornu Pharmacopuncture and Zizyphi Spinosi Semen Pharmacopuncture on the Heart Rate Variability by Kim Hui-Jun, Song Beom-Yong, Yook Tae-Han

Connect to this object online.

Food Taxes: How Likely Are Likely Effects? by Ignaas Devisch

Connect to this object online.

KOMPLEKSITAS ARGUMENTASI BERBASIS ISU SOSIOSAINTIFIK PADA JENJANG SD, SMP, DAN SMA by Amalia, Nur Fildzah

Link Metadata

PENERAPAN ALGORITMA ENHANCED CONFIX STRIPPING DALAM PENGUKURAN KETERBACAAN TEKS MENGGUNAKAN GUNNING FOG INDEX by Yessi Nurul Fadziah, -

Link Metadata

Comprehensive Pain Management Using Opioids for Children and Adolescents: Still a Wild Goose to Chase? by Johanna M. C. Blom, Cristina Benatti

Connect to this object online.

Orthodontic considerations for patients presenting with Goldenhar Syndrome: A long-term case report by Fowler Peter, Gray Emily, Haworth Jennifer

Connect to this object online.

La rencontre pacifique de deux mondes chrétiens Les monastères de la Péribleptos et de la Pantanassa à Mistra by Louvi-Kizi, Aspasia

DOAB: download the publication
DOAB: description of the publication

Non-conventional Yeast in the Wine Industry by Jose Manuel Guillamon

DOAB: download the publication
DOAB: description of the publication

Scenarios and Indicators for Sustainable Development-Towards A Critical Assessment of Achievements and Challenges by Spangenberg, Joachim H.

DOAB: download the publication
DOAB: description of the publication

Current Topics in Children's Learning and Cognition

DOAB: download the publication
DOAB: description of the publication

Drivers, uncertainties, and future scenarios of the Iranian health system by Mozhgan Emami, Ali Akbar Haghdoost, Vahid Yazdi-Feyzabadi, Mohammad Hossein Mehrolhassani

Connect to this object online.

Transdisciplinariedad y educación universitaria. Visión filosófica sobre retos y potencialidades Higher Education and Subject relationships. Philosophic vision on challenges and... by Freddy Varona Domínguez

Connect to this object online.

Facilitators and barriers to communication in rehabilitation services across healthcare levels: a qualitative case study in a Norwegian context by Randi Skumsnes, Hilde Thygesen, Karen Synne Groven

Connect to this object online.

Population genetics of two key mosquito vectors of Rift Valley Fever virus reveals new insights into the changing disease outbreak patterns in Kenya. by David P Tchouassi, Armanda D S Bastos, Catherine L Sole, Mawlouth Diallo, Joel Lutomiah, James Mutisya, Francis Mulwa, Christian Borgemeister, Rosemary Sang, Baldwyn Torto

Connect to this object online.

A Quantitative Golgi Study of Dendritic Morphology in the Mice Striatal Medium Spiny Neurons by Ana Hladnik, Ana Hladnik, Ivana Bicanic, Ivana Bicanic, Zdravko Petanjek, Zdravko Petanjek

Connect to this object online.

Dual diagnosis of achondroplasia and mandibulofacial dysostosis with microcephaly by Ekaterina Lyulcheva-Bennett, Christopher Kershaw, Eleanor Baker, Stuart Gillies, Emma McCarthy, Jenny Higgs, Natalie Canham, Dawn Hennigan, Chris Parks, Daimark Bennett

Connect to this object online.

Unmet rehabilitation needs in the first 6 months post-injury in a trauma centre population with moderate-to-severe traumatic injuries by Håkon Øgreid Moksnes, Nada Andelic, Christoph Schäfer, Audny Anke, Helene Lundgaard Soberg, Cecilie Røe, Emilie Isager Howe, Marit V. Forslund, Olav Røise, Hilde Margrete Dahl, Frank Becker, Marianne Løvstad, Paul B. Perrin, Juan Lu, Unni Sveen, Torgeir Hellstrøm, Mari S. Rasmussen

Connect to this object online.

Exploring high-throughput synchrotron X-Ray powder diffraction for the structural analysis of pharmaceuticals by M. Reinle-Schmitt, D. Šišak Jung, M. Morin, F.N. Costa, N. Casati, F. Gozzo

Connect to this object online.