Miracle-dz/UniFAR-FTUs huggingface dataset:
CREB is Required in Excitatory Neurons in the Forebrain to Sustain Wakefulness

The molecular and intracellular signaling processes that control sleep and wake states remain largely unknown. A consistent observation is that the cyclic-AMP response element binding protein (CREB), an activity-dependent transcription factor, is differentially activated during sleep and wakefulness. CREB is phosphorylated by the cyclic AMP/protein kinase A (cAMP/PKA) signaling pathway as well as other kinases, and phosphorylated CREB (pCREB) promotes transcription of target genes. Genetic studies in flies and mice suggest that CREB signaling influences sleep/wake states by promoting and stabilizing wakefulness. However, it remains unclear where in the brain CREB is required to drive wakefulness. In rats, CREB phosphorylation increases in the cerebral cortex during wakefulness and decreases during sleep, but it is not known if this change is functionally relevant to the maintenance of wakefulness. Here, we used the cre/lox system to conditionally delete CREB in the forebrain and in the locus coereleus (LC), two regions known to be important for the production of arousal and wakefulness. We used polysomnography to measure sleep/wake levels and sleep architecture in conditional CREB mutant mice and control littermates. We found that forebrain-specific deletion of CREB decreased wakefulness and increased non-rapid eye movement (NREM) sleep. Mice lacking CREB in the forebrain were unable sustain normal periods of wakefulness. On the other hand, deletion of CREB from LC neurons did not change sleep/wake levels or sleep/wake architecture. Taken together, these results suggest that CREB is required in neurons within the forebrain but not in the LC to promote and stabilize wakefulness.
Power Electronic Modules: Design and Manufacture

Introduction Selection Procedure Materials Insulating Substrate and Metallization Base Plate Bonding Material Power Interconnection and Terminal Encapsulant Plastic Case and Cover Manufacturing of Power IGBT Modules Manufacturing Process Process Control/Long-Term Reliability Manufacturing Facilities Manufacturing Flow Charts Design Thermal Management Circuit Partitioning Design Guidelines and Considerations Thermal Results of Different Samples
Experimental Analisys for Applying Aidded Systems

The work is aimed at creating an integrated system capable of receiving information from different systems of navigation through the communication protocol computing NMEA 0183 is also capable of using a computer algorithm to contrast the digital signal obtained by adapting a magnetometer (not fluxgate) the magnetic compass, signal receiver and Satellite validate these results for later use in the different teams of the bridge. Taking as its main objective to obtain the full correction and the subsequent diversion of discrimination by applying the magnetic declination (although in principle it manually). Once developed the work could be adapted to Automatic Pilots as last generation equipment as ECDIS and AIS, resulting in a great help to the figure of the pilot or navigators in general.
Deals from Hell: M&A Lessons that Rise Above the Ashes

"Deals from Hell" surveys failure in mergers and acquisitions, drawing on an extensive review of research, original study of 2,804 transactions, and detailed case studies of ten prominent failures. The conclusions challenge conventional wisdom about MA returns to investors vary significantly across the segments. For this reason, broad assertions about M&A success and failure are less meaningful. All M&A is local: pay attention to the peculiarities of the deal including its motives, design, context, and implementation. - The detailed comparison of failure cases finds six elements in common. While these elements are individually widespread in the business environment, it is their convergence in the context of a merger that greatly elevates the likelihood of failure. Since merger failure results from a "perfect storm" of factors, failure prevention must attack the systemic combination of factors. The detailed case studies consist of the following: - Merger of the Pennsylvania and New York Central Railroads, 1968. - Leveraged buyout of Revco Drug Stores, 1986. - Acquisition of Columbia Pictures by Sony Corporation, 1989. - Acquisition of NCR Corporation by AT&T Corporation, 1991. - Renault's proposed merger with Volvo, 1993. - Acquisition of Snapple by Quaker Oats, 1994. - Mattel's acquisition of The Learning Company, 1999. - Merger of AOL and Time Warner, 2001. - Dynegy's proposed merger with Enron, 2001. - Acquisition program of Tyco International 2002. Each case study of failure is accompanied by one or more comparison cases that vary in some instructive way. The downloadable document contains the foreword, table of contents, and introductory chapter.
Designing for the Cooperative Use of Multi-user, Multi-device Museum Exhibits

This work explores software-based museum exhibits that allow groups of visitors to employ their own personal mobile devices as impromptu user interfaces to the exhibits. Personal devices commandeered into service in this fashion are dubbed Opportunistic User Interfaces (O-UIs). Because visitors usually prefer to engage in shared learning experiences, emphasis is placed on how to design software interfaces to support collaborative learning. To study the issue, a Design-Based Research approach was taken to construct an externally valid exemplar of this type of exhibit, while also conducting more traditional experiments on specific features of the O-UI design. Three analyses, of—(1) museums as a context, (2) existing computer-based museum exhibits, and (3) computer support of collaborative processes in both work and classroom contexts—produced guidelines that informed the design of the software-based exhibit created as a testbed for O-UI design. The exhibit was refined via extensive formative testing on a museum floor. The experimental phase of this work examined the impact of O-UI design on (1) the visual attention and (2) collaborative learning behaviors of visitors. Specifically, an O-UI design that did not display any graphical output (the "simple" condition) was contrasted against an O-UI design that displayed multi-element, dynamically animated graphics (the "complex" condition). The "complex" O-UIs promoted poor visual attention management, an effect known as the heads-down phenomenon, wherein visitors get so enmeshed with their OUIs that they miss out on the shared context, to the detriment of group outcomes. Despite this shortcoming, the "complex" O-UIs better promoted goal awareness, on-task interactions between visitors, and equity in participation and performance. The tight output coupling (visitors see only one shared display) of the "simple" O-UI condition promoted emergent competition, and it encouraged some visitors (especially males) to become more engaged than others. Two design recommendations emerge: (1) incorporating devices with private displays (e.g., O-UIs with output) as interfaces to a single large display better promotes collaboration (especially equity), and (2) O-UIs with "complex" displays may be used in museum exhibits, but visitors would benefit from mechanisms to remind or encourage them to direct their attention to the shared display periodically.
Süt Siğirlarinda Topallik ve Topalliğin Bazi Özelliklere Etkisi

Foot diseases in dairy cattle are a serious welfare problem and causes significant economic losses. Lameness is often an important indicator of foot diseases. Most economic loss due to lameness results from costs of early culling, treatment, discarded milk, decreased in milk production and reduced reproductive efficiency. Normal behavior of lame cows changes such as lie down longer, enter the milking parlor later, lift their feet more frequently, and shift weight from one foot to another more often during milking compared to non-lame cows. Lameness scoring can be used early detection of lameness and it can used to determine the effect of management, environmental and nutritional changes on prevalence and severity of lameness. The aim of this article is to advertise the lameness scoring system, to show the effects of lameness on reproductive performance, milk yield and some behavior of cows.
Kenneth Snelson: Forces Made Visible

Kenneth Snelson's sculpture is a familiar presence in public plazas and museum galleries around the world. Composed of steel or aluminium tubes held together with tension wires, they defy gravity while assuming intricate and evocative configurations that seem to extend impossibly into space. This richly illustrated overview of Snelson's remarkable five-decade career reveals a lifelong exploration of the structures of nature. Snelson has also been engaged for many years in dialogue with physicists and mathematicians over the structure of the atom and the problems posed by quantum mechanics. Comprised of photo essays which track Snelson's artistic and personal development and his working process, as well as an analytical text by Eleanor Heartney, this book offers a full rounded portrait of a man charged with having 'designs on the universe'.
Efcient, physically plausible nite elements

This paper discusses FEM-based simulations of soft bodies in terms of speed and robustness. To be physically plausible, three fundamental laws must be respected: rotational invariance, Newton’s law and Euler’s law. We show that precomputed strain-displacement matrices generate nonphysical torques which can lead to visual artifacts. We then derive the fastest FEM-based method meeting our criteria of plausibility and robustness and discuss their limitations.
Virtual Teams: People Working Across Boundaries with Technology, Second Edition

From the Publisher: "Virtual teams and networks-effective, value-based, swiftly reconfiguring, high-performing, cost-sensitive, and decentralized-will profoundly reshape our shared world. As members of many virtual groups, we will all contribute to these ephemeral webs of relationships that together weave our future. &$151;from Virtual Teams, Second Edition There are no such things as boundaries in today's work environment. Virtual teams from all over the world use technologies like the Internet, intranets, and groupware to work together on projects-but the major drawback to these teams is their high failure rate. Virtual Teams examines the numerous problems that arise and provides you with proven techniques to solve them. Written by the two leading experts in networked organizations, this Second Edition shows you how to effectively start, implement, and maintain virtual teams in your own organization. Lipnack and Stamps present a comprehensive framework that makes virtual teams accessible and practical, describing the best practices to use in order to make your group excel. The authors present the 90/10 Rule, which stresses how a virtual team's success is based 90% on the people involved and 10% on the technology. They also take you through the seven steps that every team must complete in order to achieve their results. These include: Creating a team identity Drafting a mission statement and setting goals Determining milestones and establishing a schedule Identifying team members and their roles Choosing the appropriate media Along with the authors' experiences, case studies from Sun Microsystems, Shell Oil, Pfizer, Motorola, Ernst & Young, and others are integrated throughout, offering insights from key executives on virtual teams and adapting to the virtual workplace. With its in-depth look at this increasingly important way to work, Virtual Teams, Second Edition gives you the tools you'll need to create and build a winning virtual team for your own organization. About the Authors: JESSICA LIPNACK and JEFFREY STAMPS, PhD, are cofounders and Directors of NetAge Inc., developers of virtualteams.com®. They are considered the world's leading experts in virtual teams and networked organizations. For over twenty years, they have lectured, consulted, and been widely published. They have also launched virtual organizations (teams) for Fortune 100 companies, small and medium-sized businesses, nonprofit organizations, and more.
Make Garfield (6 axis robot arm) Smart through the design and implementation of voice recognition and control

The voice is a powerful tool used in everyday life. It expresses our feelings, emotions and is unique to every individual. Developing a system to decipher its functionality and deal with the complexities involved in its digitalisation, becomes quite the task. Once harnessed, it has the potential to become one of the most popular methods of control throughout the world. Garfield (a 6 axis robotic arm) is in need of an extra method of control that can essentially make it ‘smarter’. In trend with current popularity, Voice Recognition has been selected as the method for control and the processes taken to implement such a system are explored in the following dissertation. Its outlines the design, development and implementation of a working voice recognition system used in conjunction with robotic arm software. In essence, this project explores the application of such a technology to the industrial robot industry and tests its performance as a whole. A signal processing methodology was investigated, designed and developed in order to implement the voice as a control tool on the robotic system. This included the research and development of a voice detection algorithm based on the principles of voice recognition and required integration with robotic control software to execute appropriate movement. Existing literature was explored in order to understand and apply the concepts of voice recognition and integrate it into a system responsive to user utterances. The basic outline of the processing techniques used followed those involved with Mel Frequency Cepstral Coefficients (Kumar & Rao 2011) and the recognition techniques involved with Euclidean distances (Muda, Begam & Elamvazuthi 2010). In applying these techniques within the Matlab platform, some Voice Processing tools (Brookes 1998) were sort out and used. A number of final design parameters were evaluated and tested in order provide recommendation to further system users and set objectives for future work. The results of system performance testing discovered that jogging the system via the voice controlled method was viable with further improvement to the system response and quality of the control algorithm. Furthermore, possible solutions to the blemishes in the system are explored and avenues for further research and development stated.
Extending Project Lombok to improve JUnit tests

In this thesis, we look at unit and integration test suites and look for ways to improve the quality of the tests. The first step in this research is the development of the JUnitCategorizer tool to distinguish between unit tests and integration tests. JUnitCategorizer determines the actual class under test using a new heuristic and ultimately decides whether the test method is a unit or integration test. We show that JUnitCategorizer correctly determines the class under test with an accuracy of over 90%. Our analysis also shows an accuracy of 95.8% on correctly distinguishing unit and integration tests. We applied JUnitCategorizer on several open and closed source projects to obtain a classification of the test suites based on their ratio of integration tests. The second part of this research looks at applicable methods to increase the quality of the tests, for example elimination of boiler-plate code and detection (and possibly generation) of missing tests. Using the classification of test suites, we show that the aforementioned test problems occur in both unit as integration tests. We then propose a new tool called Java Test Assistant (JTA), which can generate boiler-plate tests and some hard tests. An experiment was conducted to assess JTA and showed promising results. Code coverage increased and several of our generated tests fail on the current code base because the implementations are not entirely correct.
Statistical process control for lathes

The Oak Ridge Y-12 Plant produces large numbers of hemishell workpieces using precision computer-controlled lathes. In order to improve the quality/productivity of these machines, a pilot project is under way to demonstrate the utility of automatic, on-machine measurement of key workpiece features. This system utilizes tough-trigger probes and on automatic tool changer to generate data for a host data base that monitors and adjusts the machine's operations for variable machining conditions. This paper discusses the individual components, control software and data communications that are used to achieve an automated machining system which incorporates statistical process control.
Guide for Developing Security Plans for Federal Information Systems

Technology promotes the United States economy and public welfare by providing technical leadership for the Nation's measurement and standards infrastructure. ITL develops tests, test methods, reference data, proof-of-concept implementations, and technical analyses to advance the development and productive use of information technology. ITL's responsibilities include the development of management, administrative, technical, and physical standards and guidelines for the cost-effective security and privacy of non-national-security-related information in federal information systems. This Special Publication 800 series reports on ITL's research, guidelines, and outreach efforts in information system security and its collaborative activities with industry, government, and academic organizations. Authority This document has been developed by the National Institute of Standards and Technology (NIST) in furtherance of its statutory responsibilities under the Federal Information Security Management Act of 2002, Public Law 107-347. NIST is responsible for developing standards and guidelines, including minimum requirements, for providing adequate information security for all agency operations and assets, but such standards and guidelines shall not apply to national security systems. This guideline is consistent with the This guideline has been prepared for use by federal agencies. It may be used by nongovernmental organizations on a voluntary basis and is not subject to copyright. (Attribution would be appreciated by NIST.) Nothing in this document should be taken to contradict standards and guidelines made mandatory and binding on federal agencies by the Secretary of Commerce under statutory authority. Nor should these guidelines be interpreted as altering or superseding the existing authorities of the Secretary of Commerce, Director of the OMB, or any other federal official. Certain commercial entities, equipment, or materials may be identified in this document in order to describe an experimental procedure or concept adequately. Such identification is not intended to imply recommendation or endorsement by the National Institute of Standards and Technology, nor is it intended to imply that the entities, materials, or equipment are necessarily the best available for the purpose.
Smart Cities: Big Data, Civic Hackers, and the Quest for a New Utopia

We live in a world defined by urbanization and digital ubiquity, where mobile broadband connections outnumber fixed ones, machines dominate a new "internet of things," and more people live in cities than in the countryside. In Smart Cities, urbanist and technology expert Anthony Townsend takes a broad historical look at the forces that have shaped the planning and design of cities and information technologies from the rise of the great industrial cities of the nineteenth century to the present. A century ago, the telegraph and the mechanical tabulator were used to tame cities of millions. Today, cellular networks and cloud computing tie together the complex choreography of mega-regions of tens of millions of people. In response, cities worldwide are deploying technology to address both the timeless challenges of government and the mounting problems posed by human settlements of previously unimaginable size and complexity. In Chicago, GPS sensors on snow plows feed a real-time "plow tracker" map that everyone can access. In Zaragoza, Spain, a "citizen card" can get you on the free city-wide Wi-Fi network, unlock a bike share, check a book out of the library, and pay for your bus ride home. In New York, a guerrilla group of citizen-scientists installed sensors in local sewers to alert you when stormwater runoff overwhelms the system, dumping waste into local waterways. As technology barons, entrepreneurs, mayors, and an emerging vanguard of civic hackers are trying to shape this new frontier, Smart Cities considers the motivations, aspirations, and shortcomings of them all while offering a new civics to guide our efforts as we build the future together, one click at a time.
Polyominoes

recurrence relation a n = 5 a n − 1 − 7 a n − 2 + 4 a n − 3 for n ≥ 5 with initial values a 1 = 1 , a 2 = 2 , a 3 = 6 , and a 4 = 19
Development of a Highway Incident Management Operational and Training Guide: Phase II

The overall goal of both phases of this project was to reduce responder fatalities and injuries, as well as to prevent secondary crashes, especially those involving incident responders. The phases of this project worked toward this goal by creating training materials to help incident responders work more safely and effectively. To address the need for promptly training all traffic incident responders in the state of Illinois, Phase II of this project created online modules to supplement the in-class training developed in Phase I. Based on the recommendations of the Technical Review Panel, responder feedback, and suggestions from the Federal Highway Administration, material was identified that could be presented online as a prerequisite to the classroom-based training. Additionally, this project modified the existing in-class training to obtain endorsement by the Federal Highway Administration as equivalent to their national program. The researchers created 11 online training modules, each lasting between 15 and 30 minutes, to allow responders to view a whole module in one sitting. The researchers also created an online training video game and an in-class trivia game. The video game allows responders to refine their traffic control and vehicle-positioning skills. The trivia game helps reinforce knowledge gained during the in-class training. Together, the online and in-class training materials created throughout both phases of this research project can provide education to those responding to traffic incidents in Illinois. It is expected that as more responders completing this training program, their incident-scene safety will also improve.
Understanding Industrial Energy Use through Sliding Regression Analysis

Due to rising energy costs and global climate change, many industries seek to improve their energy efficiency. This paper describes a three-step method to analyze utility billing, weather, and production data to understand a company’s energy performance over time. The method uses regression modeling of utility billing data against weather and production data. The regression models are then driven with typical weather and production data to calculate the ‘normal annual consumption’, NAC. These steps are repeated on sequential sets of 12 months of data to generate a series of ‘sliding’ NACs and regression coefficients. The method can quantify successful energy efficiency initiatives and lend insight into the cause of the energy savings. In addition, the method is able to proactively identify energy saving opportunities. The method is demonstrated with a case study. The case study shows that the method is able to disaggregate energy use into weather, production and independent components, accurately measure changes in plant energy efficiency, lend insight into the nature of the those changes, identify savings opportunities and identify changes in overall process control.