| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466116203316 |
|
|
Titolo |
Developments in Language Theory [[electronic resource] ] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings / / edited by Tero Harju, Juhani Karhumäki, Arto Lepistö |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 428 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 4588 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Machine theory |
Computer science |
Computer science—Mathematics |
Discrete mathematics |
Formal Languages and Automata Theory |
Theory of Computation |
Computer Science Logic and Foundations of Programming |
Discrete Mathematics in Computer Science |
Symbolic and Algebraic Manipulation |
|
|
|
|
|
|
|
|
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 -- On First-Order Fragments for Words and Mazurkiewicz Traces -- Quantitative Generalizations of Languages -- What Do We Know About Language Equations? -- Information Distance and Applications -- Finite Automata and the Writing of Numbers -- Descriptional Complexity of Nondeterministic Finite Automata -- Contributed Papers -- From Determinism to Non-determinism in Recognizable Two-Dimensional Languages -- Coding Partitions: Regularity, Maximality and Global Ambiguity -- Multi-letter Reversible and Quantum Finite Automata -- Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids -- The Dynamics of Cellular Automata in Shift-Invariant Topologies -- Two Element Unavoidable Sets of Partial Words -- Hairpin Finite Automata -- Characterizing Reduction Graphs for Gene |
|
|
|
|
|
|
|
|
|
|
Assembly in Ciliates -- 2-Visibly Pushdown Automata -- An Efficient Computation of the Equation -Automaton of a Regular -Expression -- An Extension of Newton’s Method to ?-Continuous Semirings -- Non-constructive Methods for Finite Probabilistic Automata -- The Unambiguity of Segmented Morphisms -- Commutation of Binary Factorial Languages -- Inapproximability of Nondeterministic State and Transition Complexity Assuming P???NP -- State Complexity of Union and Intersection of Finite Languages -- Bisimulation Minimisation for Weighted Tree Automata -- Conjunctive Grammars Can Generate Non-regular Unary Languages -- Deterministic Blow-Ups of Minimal Nondeterministic Finite Automata over a Fixed Alphabet -- Reduced Languages as ?-Generators -- Avoiding Approximate Squares -- Duplication Roots -- Complexity Theory for Splicing Systems -- Descriptional Complexity of Bounded Context-Free Languages -- Definable Transductions and Weighted Logics for Texts -- A Star Operation for Star-Free Trace Languages -- Finite Automata on Unranked and Unordered DAGs -- On Almost Periodicity Criteria for Morphic Sequences in Some Particular Cases -- A Local Balance Property of Episturmian Words -- Suffix Automata and Standard Sturmian Words -- Fine Hierarchy of Regular Aperiodic ?-Languages -- On Transition Minimality of Bideterministic Automata. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910711229403321 |
|
|
Autore |
Cheng Yi-Wen |
|
|
Titolo |
Fitness-for-service criteria for assessing the significance of fatigue cracks in offshore structures / / Yi-Wen. Cheng |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 1985 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
NBS technical note ; ; 1088 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
Bridges - Welded joints - Cracking - United States |
Offshore structures - Welding - Standards - United States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
1985. |
Contributed record: Metadata reviewed, not verified. Some fields updated by batch processes. |
Title from PDF title page. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910220131303321 |
|
|
Titolo |
Networked forces in stability operations : 101st Airborne Division, 3/2 and 1/25 Stryker brigades in northern Iraq / / Daniel Gonzales ... [et al.] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Santa Monica, Calif., : Rand Corp., 2007 |
|
|
|
|
|
|
|
ISBN |
|
1-281-43023-4 |
9786611430238 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (221 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Command and control systems - United States - Evaluation |
Communications, Military - Evaluation |
Stryker brigade combat teams - Evaluation |
Iraq War, 2003-2011 - Campaigns |
United States Armed Forces Stability operations Evaluation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"Prepared for the Office of the Secretary of Defense. Approved for public release; distribution unlimited." |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 171-178). |
|
|
|
|
|
|
Nota di contenuto |
|
Cover; Preface; Contents; Figures; Tables; Summary; Acknowledgments; Abbreviations; Chapter One - Introduction; Background; Objectives; Analytic Approach; Sources of Information; Organization of Monograph; Chapter Two - Iraqi Operational Setting and Unit Characteristics; Characteristics of Anti-Iraqi Forces; Phases of the Insurgency; Unit Organization; Areas of Operation; AO Sizes, Personnel, Funding, and Attached Units; Timeline of Events; U.S. Casualties; Chapter Three - Force Networking, Quality of Information, and Quality of Shared Situation Awareness; Networking Systems |
Effect of Networking Systems on Quality of InformationSpecific Effects of Networking Systems on Quality of Information; Effect of Networking Systems on Quality of Collaboration; Quality of Shared Situation Awareness; Chapter Four - Tactical Stability Missions, NCO-Enabled Processes, and Tactical Mission Effectiveness; Tactical Military Operations in Stability Operations; NCO-Enabled Processes; Speed and Agility of Command; Responsive Maneuver; Networking with Aerial |
|
|
|
|
|
|
|
|
|
|
|
Support and Surveillance Assets; Robustness to Enemy Attack; Stability Operations Intelligence Needs |
Chapter Five - Mission Effectiveness in Stability OperationsU.S. Strategic Objectives and MNF-I Campaign Plan; Assessment Framework; Assessment of Effectiveness-Political Progress; Assessment of Effectiveness-Defeating Terrorists and Containing the Insurgency; Summary of Mission Effectiveness; Chapter Six - Summary: Findings and Recommendations; Assessment of 101st ABD Mission Effectiveness in Stability Operations; Assessment of 3/2 SBCT Mission Effectiveness in Stability Operations; Assessment of 1/25 SBCT Mission Effectiveness in Stability Operations |
Role of NCO Capabilities in Improving Force Effectiveness in Stability OperationsSummary of Network and Intelligence Capabilities; Additional Findings; Recommendations; Appendix A - Director, Office of Force Transformation, Study Authorization Memorandum; Appendix B - SBCT Tactics, Techniques, and Procedures Used in OIF; Appendix C - Detailed Results of the Quality of Information and Collaboration Surveys; Appendix D - Iraqi National Elections; Bibliography |
|
|
|
|
|
|
Sommario/riassunto |
|
The Stryker brigade, one of the Army's newest units, has a full complement of Army digital networked communications and battle command systems. An important issue for the Department of Defense and the Army is whether these networking capabilities translate into an information advantage and, if so, whether that advantage results in greater mission effectiveness in stability operations. To answer those two questions, the authors compare three units that operated in the same area in Iraq's northern provinces between 2003 and 2005: the 101st Airborne Division (ABD) (which had only limited digital communications), the 3/2 Stryker brigade combat team (SBCT), and the 1/25 SBCT (both equipped with digital networks) and finds that leadership, training, and tactics and procedures are just as important as networking capabilities for improving mission effectiveness in stability operations. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910299258403321 |
|
|
Titolo |
Data Management Technologies and Applications : Third International Conference, DATA 2014, Vienna, Austria, August 29-31, 2014, Revised Selected papers / / edited by Andreas Holzinger, Markus Helfert, Orlando Belo, Chiara Francalanci |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2015.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 199 p. 76 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Communications in Computer and Information Science, , 1865-0937 ; ; 178 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Database management |
Information storage and retrieval systems |
Data mining |
Application software |
Database Management |
Information Storage and Retrieval |
Data Mining and Knowledge Discovery |
Computer and Information Systems Applications |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Databases -- Data warehousing -- Data mining -- Data management -- Data security -- Knowledge and information systems and technologies -- Advanced application of data. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed proceedings of the Third International Conference on Data Technologies and Applications, DATA 2014, held in Vienna, Austria, in August 2014. The 12 revised full papers were carefully reviewed and selected from 87 submissions. The papers deal with the following topics: databases, data warehousing, data mining, data management, data security, knowledge and information systems and technologies; advanced application of data. |
|
|
|
|
|
|
|
| |