Search Results - "Wapping"

Mobile Edge Computing by Zhang, Yan

Subjects: “…WAP (wireless) technology bicssc…”
DOAB: download the publication
DOAB: description of the publication

Mobile Edge Computing by Zhang, Yan

Subjects: “…WAP (wireless) technology bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Chapter Adaptive High Linearity Intensity Modulator for Advanced Microwave Photonic Links by Dingel, Benjamin

Subjects: “…WAP (wireless) technology bicssc…”
DOAB: download the publication
DOAB: description of the publication

Chapter Adaptive High Linearity Intensity Modulator for Advanced Microwave Photonic Links by Dingel, Benjamin

Subjects: “…WAP (wireless) technology bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach - A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !…”
Link to Metadata

Digital Action Plan (Web App) for Managing Asthma Exacerbations: Randomized Controlled Trial by Nicole Beydon, Camille Taillé, Harriet Corvol, Judith Valcke, Jean-Jacques Portal, Laurent Plantier, Gilles Mangiapan, Caroline Perisson, Guillaume Aubertin, Alice Hadchouel, Guillaume Briend, Laurent Guilleminault, Catherine Neukirch, Pierrick Cros, Corinne Appere de Vecchi, Bruno Mahut, Eric Vicaut, Christophe Delclaux

Connect to this object online.

Where and how have written action plans for atopic eczema/dermatitis been developed and evaluated? Systematic review by Charankumal Singh Thandi, Sophie Constantinou, Rosie Vincent, Matthew J. Ridd

Connect to this object online.

Weekly azathioprine pulse versus betamethasone oral mini-pulse in the treatment of moderate-to-severe alopecia areata by Prashant Gupta, Kaushal K Verma, Sujay Khandpur, Neetu Bhari

Connect to this object online.

The Structure Features and Improving Effects of Polysaccharide from <i>Astragalus membranaceus</i> on Antibiotic-Associated Diarrhea by Shanshan Li, Yuli Qi, Duoduo Ren, Di Qu, Yinshi Sun

Connect to this object online.

Possible causes for the decline in Adélie Penguin population numbers at anvers island, Western antarctic Peninsula by Christopher Gallacher

Connect to this object online.

Randomised controlled trial and economic evaluation of a task-based weight management group programme by Hayden McRobbie, Peter Hajek, Sarrah Peerbux, Brennan C. Kahan, Sandra Eldridge, Dominic Trépel, Steve Parrott, Chris Griffiths, Sarah Snuggs, Katie Myers Smith

Connect to this object online.

Designing an Information and Communications Technology Tool With and for Victims of Violence and Their Case Managers in San Francisco: Human-Centered Design Study by Patel, Devika, Sarlati, Siavash, Martin-Tuite, Patrick, Feler, Joshua, Chehab, Lara, Texada, Michael, Marquez, Ruben, Orellana, F Julia, Henderson, Terrell L, Nwabuo, Adaobi, Plevin, Rebecca, Dicker, Rochelle Ami, Juillard, Catherine, Sammann, Amanda

Connect to this object online.

Aplikasi web penjana kumpulan elektronik / Rosilah Hassan, Syahanim Mohd Salleh and Zaihosnita Hood by Hassan, Rosilah, Mohd Salleh, Syahanim, Hood, Zaihosnita

Link Metadata

Innate immune defences in the human endometrium by Kelly Rodney W, Critchley Hilary OD, King Anne E

Connect to this object online.

PENGENALAN SUARA PADA SISTEM NOTULEN RAPAT MENGGUNAKAN CONVOLUTIONAL NEURAL NETWORK (CNN) by Mulyani, Rachmi

Link Metadata

Green Extraction of Bioactive Compounds from Apple Pomace from the Cider Industry by Rosa Pando Bedriñana, Roberto Rodríguez Madrera, María Dolores Loureiro Rodríguez, Karelmar López-Benítez, Anna Picinelli Lobo

Connect to this object online.

Comparison in gene expression of secretory human endometrium using laser microdissection by Aida Tadateru, Koide Keiko, Iwasaki Shinji, Otsuka Yukiko, Yanaihara Atsushi, Okai Takashi

Connect to this object online.

Growth assessment in Egyptian children with cystic fibrosis: A single center study by Mona Mohsen El Attar, Noha Musa Azab, Dina Hossam El Dine Hamed, Ahmed Shawky Abdelbasir Tawfik

Connect to this object online.

Sensor piezoelektrik hablur kuartza untuk mengesan sebatian organik meruap / Ruziana Mohamed, Muhamad Mat Salleh and Muhammad Yahaya by Mohamed, Ruziana, Mat Salleh, Muhamad, Yahaya, Muhammad

Link Metadata

Perubahan Iklim Malaysia / Chm. Nurul Ain Jamion and Ts. Dr. Ratna Zuarni Ramli by Jamion, Nurul Ain, Ramli, Ratna Zuarni

Link Metadata