Search Results - "K'"

PERANAN HAKIM TERHADAP PUTUSAN PERKARAPERSEKONGKOLAN TENDER DALAM KASUS PT. INDOMOBIL SUKSES INTERNASIONAL DAN PT. PERTAMINA by Supriyanto, -

Link Metadata

MEKANISME KERJASAMA PUSAT PELAPORAN DAN ANALISIS TRANSAKSI KEUANGAN (PPATK) DAN ISTANSI TERKAIT DALAM PENYELIDIKAN DAN PENYIDIKAN TINDAK PIDANA PENCUCIAN UANG by Herlangga Wisnu Murdianto, -

Link Metadata

EFEKTIFITAS PEMBERIAN PENGHARGAAN KEPADA MASYARAKAT DALAM UPAYA PENCEGAHAN DAN PEMBERANTASAN TINDAK PIDANA KORUPSI by Jehan Roselynn Darwin, -

Link Metadata

TINJAUAN PERTIMBANGAN HAKIM ATAS PENJATUHAN PIDANA BAGI PELAKU TINDAK PIDANA PEMBUNUHAN BERENCANA(Studi Putusan Nomor 777/Pid.B/2016/PN.Jkt.Pst) by Widharma Jaya Sentosa, -

Link Metadata

2. Uluslararası Prof. Dr. Fuat Sezgin İslâm Bilim Tarihi Sempozyumu Bildiriler Kitabı

DOAB: download the publication
DOAB: description of the publication

Isolasi Karakterisasi Bakteri Pendegradasi Asam Monokloroasetat dari Tanah by Vina Juliana Anggraeni, Enny Ratnaningsih, Zeily Nurachman

Connect to this object online.

A Review of e-Learning in Canada: A Rough Sketch of the Evidence, Gaps and Promising Directions by Philip C Abrami, Robert Bernard, Anne Wade, Richard F. Schmid, Eugene Borokhovski, Rana Tamin, Michael Surkes, Gretchen Lowerison, Dai Zhang, Iolie Nicolaidou, Sherry Newman, Lori Wozney, Anna Peretiatkowicz

Connect to this object online.

Prevention strategies for sickness absence: sick individuals or sick populations? by Alex Burdorf

Connect to this object online.

Capacidad de diferentes procedimientos de irrigación para la remoción del barro dentinario del orificio pulpar de conductos laterales simulados Capacity of different irrigation p... by Fernando Goldberg, Liliana Artaza, Denise Alfie

Connect to this object online.

Development of immunoassay for the detection of protein allergens in natural rubber products by Kitiphong Harncharoen

Connect to this object online.

Phytochemical study of Canavalia Rosea and Elateriospermum Tapos by Duangpen Pattamadilok

Get full text

Illiberal Trends and Anti-EU Politics in East Central Europe

Table of Contents: “…Comparing European Citizens' Attitudes toward Cross-Border Solidarity 2016 (Florian K. Kley and Holger Lengfeld) -- Part II: Rhetoric and Practice of Illiberal and Anti-EU Politics -- Chapter 5: Differential Illiberalism. …”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Genre in a Changing World

Table of Contents: “…Swales -- From Speech Genres to Mediated Multimodal Genre Systems: Bakhtin, Voloshinov, and the Question of Writing, Paul Prior -- To Describe Genres: Problems and Strategies, Maria Antónia Coutinho and Florencia Miranda -- Relevance and Genre: Theoretical and Conceptual Interfaces, Fábio José Rauen -- Part 2: Genre and the Professions -- Accusation and Defense: The Ideational Metafunction of Language in the Genre Closing Argument, Cristiane Fuzer and Nina Célia Barros -- The Sociohistorical Constitution of the Genre Legal Booklet: A Critical Approach, Leonardo Mozdzenski -- Uptake and the Biomedical Subject, Kimberly K. Emmons -- Stories of Becoming: A Study of Novice Engineers Learning Genres of Their Profession, Natasha Artemeva -- The Dissertation as Multi-Genre: Many Readers, Many Readings, Anthony Paré, Doreen Starke-Meyerring, and Lynn McAlpine -- Part 3: Genre and Media -- The Distinction Between News and Reportage in the Brazilian Journalistic Context: A Matter of Degree, Adair Bonini -- The Organization and Functions of the Press Dossier: The Case of Media Discourse on the Environment in Portugal, Rui Ramos -- Multi-semiotic Communication in an Australian Broadsheet: A New News Story Genre, Helen Caple -- Narrative and Identity Formation: An Analysis of Media Personal Accounts from Patients of Cosmetic Plastic Surgery, Débora de Carvalho Figueiredo -- Part 4: Genre in Teaching and Learning -- Genre and Cognitive Development: Beyond Writing to Learn, Charles Bazerman -- Bakhtin Circle's Speech Genres Theory: Tools for a Transdisciplinary Analysis of Utterances in Didactic Practices, Roxane Helena Rodrigues Rojo -- The Role of Context in Academic Text Production and Writing Pedagogy, Désirée Motta-Roth -- Teaching Critical Genre Awareness, Amy Devitt -- Curricular Proposal of Santa Catarina State: Assessing the Route, Opening Paths, Maria Marta Furlanetto -- Intertextual Analysis of Finnish EFL Textbooks: Genre Embedding as Recontextualization, Salla Lähdesmäki -- Part 5: Genre in Writing Across the Curriculum -- Exploring Notions of Genre in "Academic Literacies" and "Writing Across the Curriculum": Approaches Across Countries and Contexts , David R. …”
Access online version

Selected Lectures of the XXIV National Congress of the Italian Society of Neonatology (Società Italiana di Neonatologia, SIN); Rome (Italy); September 26-29, 2018 by -

Connect to this object online.

Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings /

Table of Contents: “…Multivariate Time Series as Images: Imputation Using Convolutional Denoising Autoencoder -- Dual Sequential Variational Autoencoders for Fraud Detection -- A Principled Approach to Analyze Expressiveness and Accuracy of Graph Neural Networks -- Efficient Batch-Incremental Classification Using UMAP for Evolving Data Streams -- GraphMDL: Graph Pattern Selection Based on Minimum Description Length -- Towards Content Sensitivity Analysis -- Gibbs Sampling Subjectively Interesting Tiles -- Even Faster Exact k-Means Clustering -- Ising-Based Consensus Clustering on Special Purpose Hardware -- Transfer Learning by Learning Projections from Target to Source -- Computing Vertex-Vertex Dissimilarities Using Random Trees: Application to Clustering in Graphs -- Towards Evaluation of CNN Performance in Semantically Meaningful Latent Spaces -- Vouw: Geometric Pattern Mining Using the MDL Principle -- A Consensus Approach to Improve NMF Document Clustering -- Discriminative Bias for Learning Probabilistic Sentential Decision Diagrams -- Widening for MDL-Based Retail Signature Discovery -- Addressing the Resolution Limit and the Field of View Limit in Community Mining -- Estimating Uncertainty in Deep Learning for Reporting Confidence: An Application on Cell Type Prediction in Testes Based on Proteomics -- Adversarial Attacks Hidden in Plain Sight -- Enriched Weisfeiler-Lehman Kernel for Improved Graph Clustering of Source Code -- Overlapping Hierarchical Clustering (OHC) -- Digital Footprints of International Migration on Twitter -- Percolation-Based Detection of Anomalous Subgraphs in Complex Networks -- A Late-Fusion Approach to Community Detection in Attributed Networks -- Reconciling Predictions in the Regression Setting: an Application to Bus Travel Time Prediction -- A Distribution Dependent and Independent Complexity Analysis of Manifold Regularization -- Actionable Subgroup Discovery and Urban Farm Optimization -- AVATAR - Machine Learning Pipeline Evaluation Using Surrogate Model -- Detection ofDerivative Discontinuities in Observational Data -- Improving Prediction with Causal Probabilistic Variables -- DO-U-Net for Segmentation and Counting -- Enhanced Word Embeddings for Anorexia Nervosa Detection on Social Media -- Event Recognition Based on Classification of Generated Image Captions -- Human-to-AI Coach: Improving Human Inputs to AI Systems -- Aleatoric and Epistemic Uncertainty with Random Forests -- Master your Metrics with Calibration -- Supervised Phrase-Boundary Embeddings -- Predicting Remaining Useful Life with Similarity-Based Priors -- Orometric Methods in Bounded Metric Data -- Interpretable Neuron Structuring with Graph Spectral Regularization -- Comparing the Preservation of Network Properties by Graph Embeddings -- Making Learners (More) Monotone -- Combining Machine Learning and Simulation to a Hybrid Modelling Approach -- LiBRe: Label-Wise Selection of Base Learners in Binary Relevance for Multi-Label Classification -- Angle-Based Crowding Degree Estimation for Many-Objective Optimization.…”
Link to Metadata

Antibody Repertoire and Graft Outcome Following Solid Organ Transplantation by Ajay Kumar Baranwal

DOAB: download the publication
DOAB: description of the publication

Major Histocompatibility Complex (MHC) in Health and Disease by Shiina, Takashi

DOAB: download the publication
DOAB: description of the publication

Guitars and Makerspace: Examining the Experience of First Nations Students | Guitares et laboratoires ouverts : examen de l'expérience d'élèves des Premières Nations by Jay R Wilson, Marc Gobeil

Connect to this object online.