| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465841903316 |
|
|
Titolo |
Automata, Languages and Programming [[electronic resource] ] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II / / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-38771-8 |
9786613565631 |
3-642-14162-5 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2010.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXIV, 614 p. 78 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 6199 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer programming |
Computer networks |
Software engineering |
Algorithms |
Computer science |
Programming Techniques |
Computer Communication Networks |
Software Engineering |
Theory of Computation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- Informative Labeling Schemes -- Noetherian Spaces in Verification -- Towards a Theory of Time-Bounded Verification -- Physical Algorithms -- Session 1-Track B. Automata -- Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular Post Embedding Problem -- Alternation Removal in Büchi Automata -- Linear Orders in the Pushdown Hierarchy -- Session 1-Track C. Communication in Networks -- The Serializability of Network Codes -- How Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange) -- Efficient Information Exchange in the Random Phone-Call Model -- An O(logn)-Competitive |
|
|
|
|
|
|
|
|
|
|
Online Centralized Randomized Packet-Routing Algorithm for Lines -- Session 2-Track B. Formal Languages -- A Topological Approach to Recognition -- On LR(k)-Parsers of Polynomial Size -- On Erasing Productions in Random Context Grammars -- Session 4-Track B. Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided Abstraction Simplification -- Compositional Closure for Bayes Risk in Probabilistic Noninterference -- Session 4-Track C. Fault Tolerance, Ranking -- Asynchronous Throughput-Optimal Routing in Malicious Networks -- Improved Fault Tolerance and Secure Computation on Sparse Networks -- Sparse Reliable Graph Backbones -- Approximation Algorithms for Diversified Search Ranking -- Session 5-Track B. Graphs, Categories and Quantum Information -- Rewriting Measurement-Based Quantum Computations with Generalised Flow -- The Compositional Structure of Multipartite Quantum Entanglement -- Compositionality in Graph Transformation -- Session 6-Track B. Best Paper Award -- On p-Optimal Proof Systems and Logics for PTIME -- Session 6-Track C. Best Paper Award -- Placing Regenerators in Optical Networks to Satisfy Multiple Sets of Requests -- Session 7-Track B. Logic -- Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals -- B and D Are Enough to Make the Halpern–Shoham Logic Undecidable -- Parameterized Modal Satisfiability -- Automata for Coalgebras: An Approach Using Predicate Liftings -- Session 7-Track C. Privacy, Selfishness -- Resolving the Complexity of Some Data Privacy Problems -- Private and Continual Release of Statistics -- Envy-Free Pricing in Multi-item Markets -- Contention Resolution under Selfishness -- Session 8-Track B. Concurrency -- On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi -- On Bisimilarity and Substitution in Presence of Replication -- The Downward-Closure of Petri Net Languages -- Reachability Games on Extended Vector Addition Systems with States -- Session 8-Track C. Mobile Agents -- Modelling Mobility: A Discrete Revolution -- Tell Me Where I Am So I Can Meet You Sooner -- Rendezvous of Mobile Agents without Agreement on Local Orientation -- Session 9-Track B. Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space-Efficient Scheduling of Stochastically Generated Tasks -- Exponential Lower Bounds for Policy Iteration -- Session 10-Track B. Automata -- Regular Temporal Cost Functions -- Model Checking Succinct and Parametric One-Counter Automata -- Pebble Weighted Automata and Transitive Closure Logics -- Energy Parity Games. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910595050203321 |
|
|
Titolo |
Novel Food Grade Enzymes : Applications in Food Processing and Preservation Industries / / edited by Abhishek Dutt Tripathi, Kianoush Khosravi- Darani, Suresh Kumar Srivastava |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (490 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Food - Microbiology |
Food science |
Biotechnology |
Food - Analysis |
Chemistry |
Food Microbiology |
Food Science |
Food Engineering |
Food Chemistry |
Enzims |
Biotecnologia alimentària |
Tecnologia dels aliments |
Innovacions tecnològiques |
Llibres electrònics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Chapter 1. Food Enzymes- General properties and Kinetics -- Chapter 2. Plants and Animal Derived Enzymes & their Potential Application -- Chapter 3. Enzymes in Fruits & Vegetable Processing Industries-II -- Chapter 4. Production of α, β and γ- Cyclodextrin Gluconotransferase (CGTase) and their Applications in Food Industry -- Chapter 5. Enzyme in Milk and Milk Products: Role and Application -- Chapter 6. Enzymes in Brewing and Wine Industries -- Chapter 7. Enzymes Immobilization and Its Infusion Strategy in Food Products -- Chapter 8. Enzymes in |
|
|
|
|
|
|
|
|
|
|
|
Meat, Fish and Poultry Products Processing & Preservation-I -- Chapter 9. Enzymes in Meat, Fish and Poultry Products Processing & Preservation-II -- Chapter 10. Enzymes in Functional Food Development -- Chapter 11. Enzymes as Active Packaging System -- Chapter 12. Enzymes as Tool in Food Analysis & Food Borne Pathogen Detection. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book covers all the aspects of food-grade enzymes, including their classification, kinetics, microbial production, biosynthetic pathways, commodity-wise industrial applications, and downstream processing strategies. The broad focus of this book is on the application of various classes of enzymes in dairy, fruits and vegetables, cereals and oilseeds, meat and poultry, and brewing and food packaging industries. Certain recent areas such as nanotechnological perspective in enzyme immobilization, infusion strategies as well as its efficient usage in food packaging and preservation are some of the salient highlights of this book. This book also discusses the aspects related to application of enzymes in functional food development and shelf life extension of various commodities food products. This book is beneficial for researchers, students, entrepreneurs, and industry experts in broad disciplines such as food processing, food biotechnology, food microbiology, biochemistry, agriculture, biotechnology, biochemical engineering, and bioprocess technology. |
|
|
|
|
|
|
|
| |