Ordered Navigation on Multi-attributed Data Words

We study temporal logics and automata on multi-attributed data words. Recently, BD-LTL was introduced as a temporal logic on data words extending LTL by navigation along positions of single data values. As allowing for navigation wrt. tuples of data values renders the logic undecidable, we introduce ND-LTL, an extension of BD-LTL by a restricted form of tuple-navigation. While complete ND-LTL is still undecidable, the two natural fragments allowing for either future or past navigation along data values are shown to be Ackermann-hard, yet decidability is obtained by reduction to nested multi-counter systems. To this end, we introduce and study nested variants of data automata as an intermediate model simplifying the constructions. To complement these results we show that imposing the same restrictions on BD-LTL yields two 2ExpSpace-complete fragments while satisfiability for the full logic is known to be as hard as reachability in Petri nets

Instream Flows and Tribal Management Goals: The Flathead Indian Reservation Litigation

6 pages

Instream Flows and Tribal Management Goals: The Flathead Indian Reservation Litigation

6 pages

History and future of wildlife damage management conference

The Eastern Wildlife Damage Management (EWDM) Conference was developed (1st conference held in 1983) to focus on people-wildlife interaction issues occurring in the eastern U.S. Developed as a Renewable Resources Extension Act activity, the purpose of the conference was to improve wildlife resource management and increase outputs of agricultural and forestry commodities. A primary planning issue for the 1st EWDM Conference was whether to represent the conference focus as wildlife damage control or management. Control was selected initially, but the title evolved since then to be replaced by management, reflecting the central role of wildlife conflict mitigation in wildlife management. The EWDM Conference series has provided a forum for professional discourse on emerging wildlife problems, technologies to address problems, and mitigation efforts. Both biological and human dimensions aspects of wildlife damage management have been featured. Six important traits of the EWDM Conference series include: (1) impact-focused, outcome-oriented management; (2) community-based management (co-management); (3) technology development; (4) integration of biological and human dimensions; (5) showcase for collaborative effort; and (6) wildlife damage management positioned as an essential component of comprehensive wildlife management

Clio’s toolkit:historical methods beyond theory building from cases

Historical research in organization and management studies continues to be described as a type of inductive theory building from cases. But historical epistemology and methodological practices are better understood as a form of situated scholarly inquiry in which the researcher interprets or analyzes the past from a position in the present through a process of abductive reasoning. This chapter elaborates on the implications of the situated character of historical reasoning for the nature of historical knowledge claims, and for the methodological practices involved in scholarly historical research, including the treatment of evidence, the establishment of explanations, the attempt at understanding, and the foundations for evaluative conclusions. It concludes by considering the implications for the role of historical discourse within management and organization studies more broadly

Using effective medium theories to design tailored nanocomposite materials for optical systems

Modern optical systems are subject to very restrictive performance, size and cost requirements. Especially in portable systems size often is the most important factor, which necessitates elaborate designs to achieve the desired specifications. However, current designs already operate very close to the physical limits and further progress is difficult to achieve by changing only the complexity of the design. Another way of improving the performance is to tailor the optical properties of materials specifically to the application at hand. A class of novel, customizable materials that enables the tailoring of the optical properties, and promises to overcome many of the intrinsic disadvantages of polymers, are nanocomposites. However, despite considerable past research efforts, these types of materials are largely underutilized in optical systems. To shed light into this issue we, in this paper, discuss how nanocomposites can be modeled using effective medium theories. In the second part, we then investigate the fundamental requirements that have to be fulfilled to make nanocomposites suitable for optical applications, and show that it is indeed possible to fabricate such a material using existing methods. Furthermore, we show how nanocomposites can be used to tailor the refractive index and dispersion properties towards specific applications.Comment: This is a draft manuscript of a paper published in Proc. SPIE (Proceedings Volume 10745, Current Developments in Lens Design and Optical Engineering XIX, Event: SPIE Optical Engineering + Applications, 2018

Extent and Nature of Deer Damage to Commercial Nurseries in New York

We surveyed nursery producers in New York to determine the extent, nature and economic impact of deer damage to their operations, and to assess their attitudes towards deer. Seventy-three percent of the producers experienced deer damage to their crops in 1988. Average costs for replacement were nearly $6,000 per grower for those reporting damage estimates (and over$8,000 if 1 extreme value was included). Statewide damage estimates ranged from $500,000 to$1.2 million (depending on assumptions). Forty-six percent used damage control, which cost an average of about $2,000 per grower. More than 80% of the producers were classified as nonaccepting of deer damage and deer populations. We also reviewed several deer damage studies to compare economic and attitudinal impacts of deer damage to various agricultural constituencies. Nursery producers, orchardists, and Christmas tree growers appear to incur the greatest per capita deer damage costs. Of agriculturists, nursery producers and orchardists appear to be the least accepting of deer and deer damage. Deer managers and policy makers may need to consider the nursery producers in the same at risk category as orchardists

Inconsistency-tolerant business rules in distributed information systems

The final publication is available at Springer via http://10.1007/978-3-642-41033-8_41Business rules enhance the integrity of information systems. However, their maintenance does not scale up easily to distributed systems with concurrent transactions. To a large extent, that is due to two problematic exigencies: the postulates of total and isolated business rule satisfaction. For overcoming these problems, we outline a measure-based inconsistency-tolerant approach to business rules maintenance.Supported by ERDF/FEDER and MEC grants TIN2009-14460-C03, TIN2010-17139, TIN2012-37719-C03-01.Decker, H.; Muñoz Escoí, FD. (2013). Inconsistency-tolerant business rules in distributed information systems. En On the Move to Meaningful Internet Systems: OTM 2013 Workshops. Springer Verlag (Germany). 8186:322-331. https://doi.org/10.1007/978-3-642-41033-8_41S3223318186Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)Berenson, H., Bernstein, P., Gray, J., Melton, J., O’Neil, E., O’Neil, P.: A critique of ANSI SQL isolation levels. In: Proc. SIGMOD 1995, pp. 1–10. ACM Press (1995)Bernstein, P., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley (1987)Butleris, R., Kapocius, K.: The Business Rules Repository for Information Systems Design. In: Proc. 6th ADBIS, vol. 2, pp. 64–77. Slovak Univ. of Technology, Bratislava (2002)Davis, C.T.: Data Processing sphere of control. IBM Systems Journal 17(2), 179–198 (1978)Decker, H.: Partial Repairs that Tolerante Inconsistency. In: Eder, J., Bielikova, M., Tjoa, A.M. (eds.) ADBIS 2011. LNCS, vol. 6909, pp. 389–400. Springer, Heidelberg (2011)Decker, H.: Causes of the violation of integrity constraints for supporting the quality of databases. In: Murgante, B., Gervasi, O., Iglesias, A., Taniar, D., Apduhan, B.O. (eds.) ICCSA 2011, Part V. LNCS, vol. 6786, pp. 283–292. Springer, Heidelberg (2011)Decker, H.: New measures for maintaining the quality of databases. In: Murgante, B., Gervasi, O., Misra, S., Nedjah, N., Rocha, A.M.A.C., Taniar, D., Apduhan, B.O. (eds.) ICCSA 2012, Part IV. LNCS, vol. 7336, pp. 170–185. Springer, Heidelberg (2012)Decker, H.: Controlling the Consistency of the Evolution of Database Systems. In: Proc. 24th ICSSEA, Paris (2012)Decker, H., Martinenghi, D.: Inconsistency-tolerant Integrity Checking. IEEE Transactions on Knowledge and Data Engineering 23(2), 218–234 (2011)Decker, H., Muñoz-Escoí, F.D.: Revisiting and Improving a Result on Integrity Preservation by Concurrent Transactions. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2010 Workshops. LNCS, vol. 6428, pp. 297–306. Springer, Heidelberg (2010)Eswaran, K., Gray, J., Lorie, R., Traiger, I.: The Notions of Consistency and Predicate Locks in a Database System. CACM 19(11), 624–633 (1976)Gilbert, S., Lynch, N.: Brewer’s Conjecture and the feasibility of Consistent, Available, Partition-tolerant Web Services. ACM SIGACT News 33(2), 51–59 (2002)Ibrahim, H.: Checking Integrity Constraints - How it Differs in Centralized, Distributed and Parallel Databases. In: Proc. 17th DEXA Workshops, pp. 563–568. IEEE (2006)Lynch, N., Blaustein, B., Siegel, M.: Correctness Conditions for Highly Available Replicated Databases. In: Proc. 5th PODC, pp. 11–28. ACM Press (1986)Martinenghi, D., Christiansen, H.: Transaction Management with Integrity Checking. In: Andersen, K.V., Debenham, J., Wagner, R. (eds.) DEXA 2005. LNCS, vol. 3588, pp. 606–615. Springer, Heidelberg (2005)Christiansen, H., Decker, H.: Integrity checking and maintenance in relational and deductive databases and beyond. In: Ma, Z. (ed.) Intelligent Databases: Technologies and Applications, pp. 238–285. Idea Group (2006)Morgan, T.: Business Rules and Information Systems - Aligning IT with Business Goals. Addison-Wesley (2002)Muñoz-Escoí, F.D., Ruiz-Fuertes, M.I., Decker, H., Armendáriz-Íñigo, J.E., de Mendívil, J.R.G.: Extending Middleware Protocols for Database Replication with Integrity Support. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part I. LNCS, vol. 5331, pp. 607–624. Springer, Heidelberg (2008)Nicolas, J.-M.: Logic for improving integrity checking in relational data bases. Acta Informatica 18, 227–253 (1982)Novakovic, I., Deletic, V.: Structuring of Business Rules in Information System Design and Architecture. Facta Universitatis Nis, Ser. Elec. Energ. 22(3), 305–312 (2009)Pipino, L., Lee, Y., Yang, R.: Data Quality Assessment. CACM 45(4), 211–218 (2002)Stonebraker, M.: Errors in Database Systems, Eventual Consistency, and the CAP Theorem (2010), http://cacm.acm.org/blog/blog-cacm/83396-errors-in-database-systems-eventual-consistency-and-the-cap-theoremStonebraker, M.: In search of database consistency. CACM 53(10), 8–9 (2010)Stonebraker, M.: Technical perspective - One size fits all: an idea whose time has come and gone. Commun. ACM 51(12), 76 (2008)Taveter, K.: Business Rules’ Approach to the Modelling, Design and Implementation of Agent-Oriented Information Systems. In: Proc. CAiSE workshop AOIS, Heidelberg (1999)Vidyasankar, K.: Serializability. In: Liu, L., Özu, T. (eds.) Encyclopedia of Database Systems, pp. 2626–2632. Springer (2009)Weikum, G., Vossen, G.: Transactional Information Systems. Morgan Kaufmann (2002)Vogels, W.: Eventually Consistent. ACM Queue 6(6), 14–19 (2008)Pereira Ziwich, P., Procpio Duarte, E., Pessoa Albini, L.: Distributed Integrity Checking for Systems with Replicated Data. In: Proc. ICPADS, vol. 1, pp. 363–369. IEEE CSP (2005

Identifying Capacity for Local Community Participation in Wildlife Management Planning Case 1: White-tailed Deer Issues at Fire Island National Seashore

Click on the PDF for an Executive Summary and the full report. Visit the HDRU website for a complete listing of HDRU publications at: http://hdru.dnr.cornell.edu

WILDLIFE DAMAGE TO CROPS: PERCEPTIONS OF AGRICULTURAL AND WILDLIFE PROFESSIONALS IN 1957 AND 1987

We surveyed state wildlife agencies, state agricultural departments, Wildlife Extension Specialists, U.S.D.A. Animal Damage Control agents, and state Farm Bureau officials to develop a national perspective of wildlife damage to agricultural crops in the U.S. A broad concensus existed that wildlife damage was a major problem, although groups often differed in their perceptions of the seriousness of specific problems. The complexity of the wildlife damage problem was apparent in that 27 different wildlife species were cited as causing the greatest problem to a state\u27s farmers. Nevertheless, 38-80% of the respondents from every group surveyed stated that deer were their worst problem. Most respondents believed that wildlife damage had increased in the last 30 years. Increasing levels of wildlife damage also were apparent when we compared our findings to those of a similar survey conducted in 1957 (McDowell and Pillsbury 1958). For instance in 1957, 16 states reported that deer were either no problem or only caused localized problems, while in our survey, 15 of these 16 states stated that deer were now causing more damage to crops than any other wildlife species