Search Results - "compiler"
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 75
- Technology: general issues 53
- History of engineering & technology 49
- Biology, life sciences 48
- Computer science 40
- Medicine 36
- History 32
- Artificial intelligence 28
- United States -- Politics and government 28
- Education 27
- Sustainability 25
- Law 24
- Scottish Borders (Scotland) -- Fiction 24
- linguistics 23
- Humanities 21
- Botany & plant sciences 20
- Compilers (Computer programs) 19
- Compilers and Interpreters 19
- European history 18
- Neurosciences 17
- Agricultural science 16
- Environmental management 16
- Environmental science, engineering & technology 16
- Software Engineering 16
- Politics & government 15
- Biodiversity 14
- Central government policies 14
- Language: reference & general 14
- Programming & scripting languages: general 14
- Conservation of the environment 13
-
601
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata
Electronic eBook -
602
Subseafloor Biosphere Linked to Hydrothermal Systems TAIGA Concept /
Published 2015Table of Contents: “…Introduction: concept of TAIGA -- Geochemical constraints on potential biomass sustained by subseafloor water-rock interactions -- Microbial cell densities, community structures, and growth in the hydrothermal plumes of subduction hydrothermal systems -- Systematics of distributions of various elements between ferromanganese oxides and seawater from natural observation, thermodynamics, and structures -- Evaluating hydrothermal system evolution using geochronological dating and biological diversity analyses -- Quantification of microbial communities in hydrothermal vent habitats of the Southern Mariana Trough and the Mid-Okinawa Trough -- Development of hydrothermal and frictional experimental systems to simulate sub-seafloor water-rock-microbe interactions -- Experimental hydrogen production in hydrothermal and fault systems: Significance for habitability of subseafloor H2 chemoautotroph microbial ecosystems -- Experimental assessment of microbial effects on chemical interaction between seafloor massive sulfides and seawater at 4℃ -- A compilation of the stable isotopic compositions of carbon, nitrogen, and sulfur in soft body parts of animals collected from deep-sea hydrothermal vent and methane seep fields: variations in energy source and importance of subsurface microbial processes in the sediment-hosted systems -- Tectonic background of four hydrothermal fields along the Central Indian Ridge -- Indian Ocean hydrothermal systems: seafloor hydrothermal activities, physical and chemical characteristics of hydrothermal fluids, and vent-associated biological communities -- Petrology and geochemistry of mid-ocean ridge basalts from the southern Central Indian Ridge -- Petrology of peridotites and related gabbroic rocks around the Kairei-hydrothermal field in the Central Indian Ridge -- Distribution and Biogeochemical Properties of Hydrothermal Plumes in the Rodriguez Triple Junction -- Vent fauna in the Central Indian Ridge -- The mantle dynamics, the crustal formation, and the hydrothermal activity of the Southern Mariana Trough back-arc Basin -- Seismic structure and seismicity in the Southern Mariana Trough and their relation to hydrothermal activity -- Electrical resistivity structure of the Snail site at the Southern Mariana Trough spreading center -- Asymmetric seafloor spreading of the southern Mariana Trough back-arc basin -- Geochemical characteristics of active backarc basin volcanisms at the southern end of Mariana Trough -- Mineralogical and geochemical characteristics of hydrothermal minerals collected from hydrothermal vent fields in the Southern Mariana spreading center -- Dating of hydrothermal mineralization in active hydrothermal fields in the Southern Mariana Trough -- Intra-field variation of prokaryotic communities on and below the seafloor in the back-arc hydrothermal system of the Southern Mariana Trough -- Vent fauna in the Mariana Trough -- Population history of a hydrothermal vent-endemic snail Alviniconcha hessleri in the Mariana Trough -- Hydrothermal activity in the Okinawa Trough backarc basin -geological background and hydrothermal mineralization- -- Active rifting structures in Iheya Graben and adjacent area of the mid-Okinawa Trough observed through seismic reflection surveys -- ESR dating of barite in sea-floor hydrothermal sulfide deposits in the Okinawa Trough -- Fluid geochemistry of high-temperature hydrothermal fields in the Okinawa Trough -- Sediment‒pore water system associated with native sulfur formation at Jade hydrothermal field in Okinawa Trough -- Comparative investigation of microbial communities associated with hydrothermal activities in the Okinawa Trough -- In situ determination of bacterial growth in mixing zone of hydrothermal vent field on the Hatoma Knoll, Southern Okinawa Trough -- Vent Fauna in the Okinawa Trough -- Brief report of side-scan sonar observations around the Yokoniwa NTO massif -- Examination of volcanic activity: AUV and submersible observations of fine-scale lava flow distributions along the Southern Mariana Trough spreading axis -- Brief report of side-scan sonar imagery observations of the Archaean, Pika, and Urashima hydrothermal sites -- The Yoron Hole: the shallowest hydrothermal site in the Okinawa Trough -- The Irabu Knoll: Hydrothermal site at the eastern edge of the Yaeyama Graben -- Tarama Knoll: Geochemical and biological profiles of hydrothermal activity -- Petrography and geochemistry of basement rocks drilled from Snail, Yamanaka, Archean, and Pika hydrothermal fields at the Southern Mariana Trough by Benthic Multi-coring System (BMS) -- Pore fluid chemistry beneath active hydrothermal fields in the mid-Okinawa Trough: Results of shallow drilling by BMS during TAIGA11 cruise -- The characteristics of the seafloor massive sulfide deposits at the Hakurei Site in the Izena Hole, the Middle Okinawa Trough -- Occurrence of hydrothermal alteration minerals at the Jade hydrothermal field, in the Izena Hole, mid-Okinawa Trough -- Geochemistry of hydrothermal fluids collected from active hydrothermal systems in the southern Mariana Trough backarc spreading center -- Gamma ray doses in water around sea floor hydrothermal area in South Mariana -- 226Ra-210Pb and 228Ra-228Th dating of barite in submarine hydrothermal sulfide deposits collected at Okinawa Trough and South Mariana Trough -- OSL dating of sea floor sediments at the Okinawa Trough -- Immediate change of radiation doses from hydrothermal deposits -- Periodic behavior of deep sea current in the Hatoma Knoll hydrothermal system -- The gelatinous macroplankton community at the Hatoma Knoll hydrothermal vent.…”
Link to Metadata
Electronic eBook -
603
-
604
-
605
-
606
-
607
An Annotated Bibliography of Chinese Painting Catalogues and Related Texts
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
608
An Annotated Bibliography of Chinese Painting Catalogues and Related Texts
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
609
-
610
-
611
Chapter The languages of wine: negotiating intercultural exchanges through translation
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
612
-
613
-
614
-
615
-
616
-
617
-
618
-
619
-
620