appl

Application Now Open for Grand Canyon’s Artist-in-Residence Program

Grand Canyon National Park’s Artist-in-Residence (AiR) program is now accepting artist applications for the upcoming North and South Rim AiR seasons https://www.nps.gov/grca/learn/news/2013-02-08_air-app.htm




appl

National Park Service Staff to Apply Herbicide within Developed Areas of Grand Canyon National Park

Throughout the upcoming field season, National Park Service staff will be applying herbicide to targeted high priority invasive plant species in Grand Canyon National Park’s developed areas. Developed areas of the park have increased levels of human disturbance, which contribute to the high concentration of invasive plants in these areas. https://www.nps.gov/grca/learn/news/national-park-service-staff-to-apply-herbicide-within-developed-areas-of-grand-canyon-national-park.htm




appl

Herbicide to be applied along railway in Grand Canyon National Park

On Thursday, February 13th, Grand Canyon Railway, in consultation with the National Park Service (NPS), will be applying herbicide along their railroad tracks including those within Grand Canyon National Park. https://www.nps.gov/grca/learn/news/herbicide-to-be-applied-along-railway-within-grand-canyon-national-park.htm




appl

Herbicide to be applied within Developed Areas of Grand Canyon National Park

Throughout the upcoming field season, National Park Service staff will be applying herbicide to targeted high priority invasive plant species in Grand Canyon National Park's developed areas. https://www.nps.gov/grca/learn/news/herbicide-to-be-applied-within-developed-areas-of-grand-canyon-national-park.htm




appl

Grand Canyon Railway to Apply Herbicide within Grand Canyon National Park

On March 16th or 17th, Grand Canyon Railway, in consultation with the National Park Service, will apply herbicide along their railroad tracks. https://www.nps.gov/grca/learn/news/herbicide-application-railroad.htm




appl

Grand Canyon Railway to Apply Herbicide within Grand Canyon National Park

On April 3, 2019, Grand Canyon Railway, in consultation with the National Park Service (NPS), will be applying herbicide along the railroad tracks including those within Grand Canyon National Park. https://www.nps.gov/grca/learn/news/grand-canyon-railway-herbicide.htm




appl

Grand Canyon National Park to Apply Herbicide Along Colorado River Corridor

From April 15 to 30, 2019 the Grand Canyon National Park Division of Science and Resource Management (SRM) will be applying cut-stump and occasional spot spray treatments of herbicide to invasive plants along the banks of the Colorado River to aid in the control of several invasive plant species for which mechanical removal is ineffective. https://www.nps.gov/grca/learn/news/grca-apply-herbicide-along-co-river-2019.htm




appl

Grand Canyon National Park Resource Management Staff to Apply Herbicide to Invasive Plants in Developed Areas of North Rim

From Tuesday, May 16 to Wednesday, May 17 the Grand Canyon National Park Division of Science and Resource Management (SRM) will apply minor spot spray treatments of herbicide around the Grand Canyon Lodge and campground in the North Rim Developed Area to aid in the control of an especially invasive grass species for which mechanical removal is ineffective. https://www.nps.gov/grca/learn/news/grca-apply-herbicide-on-nr-2019.htm




appl

A field guide to predict delayed mortality of fire-damaged ponderosa pine: application and validation of the Malheur model.

The Malheur model for fire-caused delayed mortality is presented as an easily interpreted graph (mortality-probability calculator) as part of a one-page field guide that allows the user to determine postfire probability of mortality for ponderosa pine (Pinus ponderosa Dougl. ex Laws.).




appl

Overview and example application of the Landscape Treatment Designer

The Landscape Treatment Designer (LTD) is a multicriteria spatial prioritization and optimization system to help design and explore landscape fuel treatment scenarios. The program fills a gap between fire model programs such as FlamMap, and planning systems such as ArcFuels, in the fuel treatment planning process. The LTD uses inputs on spatial treatment objectives, activity constraints, and treatment thresholds, and then identifies optimal fuel treatment locations with respect to the input parameters.




appl

Pushing boundaries: new directions in inventory techniques and applications: Forest Inventory and Analysis (FIA) symposium 2015

These proceedings report invited presentations and contributions to the 2015 Forest Inventory and Analysis (FIA) Symposium, which was hosted by the Research and Development branch of the U.S. Forest Service.




appl

Advances in threat assessment and their application to forest and rangeland management.

In July 2006, more than 170 researchers and managers from the United States, Canada, and Mexico convened in Boulder, Colorado, to discuss the state of the science in environmental threat assessment. This two-volume general technical report compiles peer-reviewed papers that were among those presented during the 3-day conference. Papers are organized by four broad topical sections—Land, Air and Water, Fire, and Pests/Biota—and are divided into syntheses and case studies.




appl

ALSC and ACM accepting applications for Forum on Service to Immigrants/Refugees

CHICAGO — The Association for Library Service to Children (ALSC) and the Association of Children’s Museums (ACM) are accepting applications to participate in the Welcoming Spaces National Forum on June 25, 2020 in Chicago, IL, as part of a National Leadership Grant from the Institute of Museum and Library Services.




appl

KWEN (K95.5)/Tulsa’s ‘Apple A Day’ Program Rewarding Deserving Nurses With iPads

COX MEDIA GROUP Country KWEN (K95.5)/TULSA is celebrating National Nurses Week with its “Apple A Day” campaign. In partnership with 19TH AND GRAND RECORDS, the station is giving … more




appl

The Theorem That Applies to Everything from Search Algorithms to Epidemiology

Perron-Frobenius theorem and linear algebra have many virtues to extol

-- Read more on ScientificAmerican.com




appl

Patient groups applaud Supreme Court’s decision to take up health care case

Washington, D.C.—March 2, 2020— Patient and health advocacy groups representing millions of Americans with pre-existing conditions are applauding the U.S. Supreme Court’s decision to hear arguments in the case of Texas v. United States this term. The...




appl

Application deadline extended for college scholarships and school grants from American Heart Association’s school-based programs

DALLAS, April 14, 2020 – The American Heart Association has extended the deadline for individual scholarships and school grants offered through Kids Heart Challenge and American Heart Challenge to June 30. As schools nationwide moved to remote learning,...




appl

Astra Pro with Gutenberg Review – Practical Application

At 3.7 Designs we have an array of strategies we use to solve business problems. For example, when it comes to redesigning a website we might recommend recommend a completely custom design that starts with a design discovery engagement. Typically this process can take three to six months with ample time upfront to research the […]

The post Astra Pro with Gutenberg Review – Practical Application appeared first on Psychology of Web Design | 3.7 Blog.




appl

How to Use apply_filters() and do_action() to Create Extensible WordPress Plugins

How does a single plugin become the basis of a thriving technology ecosystem? Partly by leveraging the extensibilitythat WordPress’s event-driven Hooks system makes possible.




appl

Mobile App Website Inspiration: 20 Application Websites and Tips to Help You Design One

It may seem a bit curious that more than a few app websites are only given a cursory inspection by app owners. It is given before being largely ignored because visitors have gone elsewhere. The reason for a given website may be completely valid in that it addresses a well-established need. It has a poor […]

The post Mobile App Website Inspiration: 20 Application Websites and Tips to Help You Design One appeared first on WebAppers.




appl

How A Web Design Business Can Benefit From Using Accounting Applications

Accounting applications help web design businesses in many ways. As a web design service provider, you should use them to boost your business. Start by browsing some resources online that provide...




appl

Smartwatch Showdown: Apple Watch vs. Fitbit Versa

In the world of smartwatches, the two big contenders are the Apple Watch and the Fitbit Versa. The Smartwatch Showdown infographic from The Watchstrap is very timely with recent news that Google has just acquired Fitbit.

In the world of wearable gadgets, smartwatches are all the rage at the moment. The smartwatch market is growing by the day, and new and improved devices are constantly being released. This means that picking the right smartwatch can be a real head-scratcher. To help you choose the right device for your needs, we’ve compared two of the hottest smartwatches on the market: the Apple Watch Series 4 and Fitbit Versa!

If you want to find out which of these devices came on top in the end, don’t miss the comprehensive infographic below!

First, this is a great use of infographics in content marketing! The Watchstrap is an online retailer of watch bands, and the infographic is a comparison design without being a sales pitch. It draws in traffic by providing valuable information, which build credibility for their brand.

There are a handful of things I didn’t like about the design itself that could be easily improved to make this a better infographic design:

  • Too much text. I realize there isn’t much data to work with, but they need to cut down the text in the infographic. Paragraphs of explanation don’t belong in the infographic, they belong on the landing page. The infographic should be short and draw in readers to the website if they want to learn more.

  • The scale is wrong in the Size & Design section of the infographic. The dimensions of the Apple Watch are larger, but the graphic illustration on the page is smaller. The illustrations should be visually correct to scale.

  • Eliminate any word wrap when possible. There are a number of list points that have one hanging word wrapping to a second line. This could be avoided by shortening the text or just widening the text box. There’s room in the design without wrapping some of these words.

  • The URL in the footer should link to the infographic landing page, not the home page of the company site.

  • Copyright or Creative Commons license is completely missing.

  • Don’t obscure the source by only listing the home page URL. What’s the link to the research data?




appl

Astra Pro with Gutenberg Review – Practical Application

At 3.7 Designs we have an array of strategies we use to solve business problems. For example, when it comes to redesigning a website we might recommend recommend a completely custom design that starts with a design discovery engagement. Typically this process can take three to six months with ample time upfront to research the […]

The post Astra Pro with Gutenberg Review – Practical Application appeared first on Psychology of Web Design | 3.7 Blog.




appl

Simulation of Integro-Differential Equation and Application in Estimation of Ruin Probability with Mixed Fractional Brownian Motion. (arXiv:1709.03418v6 [math.PR] UPDATED)

In this paper, we are concerned with the numerical solution of one type integro-differential equation by a probability method based on the fundamental martingale of mixed Gaussian processes. As an application, we will try to simulate the estimation of ruin probability with an unknown parameter driven not by the classical L'evy process but by the mixed fractional Brownian motion.




appl

A Class of Functional Inequalities and their Applications to Fourth-Order Nonlinear Parabolic Equations. (arXiv:1612.03508v3 [math.AP] UPDATED)

We study a class of fourth order nonlinear parabolic equations which include the thin-film equation and the quantum drift-diffusion model as special cases. We investigate these equations by first developing functional inequalities of the type $ int_Omega u^{2gamma-alpha-eta}Delta u^alphaDelta u^eta dx geq cint_Omega|Delta u^gamma |^2dx $, which seem to be of interest on their own right.




appl

A reaction-diffusion system to better comprehend the unlockdown: Application of SEIR-type model with diffusion to the spatial spread of COVID-19 in France. (arXiv:2005.03499v1 [q-bio.PE])

A reaction-diffusion model was developed describing the spread of the COVID-19 virus considering the mean daily movement of susceptible, exposed and asymptomatic individuals. The model was calibrated using data on the confirmed infection and death from France as well as their initial spatial distribution. First, the system of partial differential equations is studied, then the basic reproduction number, R0 is derived. Second, numerical simulations, based on a combination of level-set and finite differences, shown the spatial spread of COVID-19 from March 16 to June 16. Finally, scenarios of unlockdown are compared according to variation of distancing, or partially spatial lockdown.




appl

The Cascade Transformer: an Application for Efficient Answer Sentence Selection. (arXiv:2005.02534v2 [cs.CL] UPDATED)

Large transformer-based language models have been shown to be very effective in many classification tasks. However, their computational complexity prevents their use in applications requiring the classification of a large set of candidates. While previous works have investigated approaches to reduce model size, relatively little attention has been paid to techniques to improve batch throughput during inference. In this paper, we introduce the Cascade Transformer, a simple yet effective technique to adapt transformer-based models into a cascade of rankers. Each ranker is used to prune a subset of candidates in a batch, thus dramatically increasing throughput at inference time. Partial encodings from the transformer model are shared among rerankers, providing further speed-up. When compared to a state-of-the-art transformer model, our approach reduces computation by 37% with almost no impact on accuracy, as measured on two English Question Answering datasets.




appl

Safe non-smooth black-box optimization with application to policy search. (arXiv:1912.09466v3 [math.OC] UPDATED)

For safety-critical black-box optimization tasks, observations of the constraints and the objective are often noisy and available only for the feasible points. We propose an approach based on log barriers to find a local solution of a non-convex non-smooth black-box optimization problem $min f^0(x)$ subject to $f^i(x)leq 0,~ i = 1,ldots, m$, at the same time, guaranteeing constraint satisfaction while learning an optimal solution with high probability. Our proposed algorithm exploits noisy observations to iteratively improve on an initial safe point until convergence. We derive the convergence rate and prove safety of our algorithm. We demonstrate its performance in an application to an iterative control design problem.




appl

A Fast and Accurate Algorithm for Spherical Harmonic Analysis on HEALPix Grids with Applications to the Cosmic Microwave Background Radiation. (arXiv:1904.10514v4 [math.NA] UPDATED)

The Hierarchical Equal Area isoLatitude Pixelation (HEALPix) scheme is used extensively in astrophysics for data collection and analysis on the sphere. The scheme was originally designed for studying the Cosmic Microwave Background (CMB) radiation, which represents the first light to travel during the early stages of the universe's development and gives the strongest evidence for the Big Bang theory to date. Refined analysis of the CMB angular power spectrum can lead to revolutionary developments in understanding the nature of dark matter and dark energy. In this paper, we present a new method for performing spherical harmonic analysis for HEALPix data, which is a central component to computing and analyzing the angular power spectrum of the massive CMB data sets. The method uses a novel combination of a non-uniform fast Fourier transform, the double Fourier sphere method, and Slevinsky's fast spherical harmonic transform (Slevinsky, 2019). For a HEALPix grid with $N$ pixels (points), the computational complexity of the method is $mathcal{O}(Nlog^2 N)$, with an initial set-up cost of $mathcal{O}(N^{3/2}log N)$. This compares favorably with $mathcal{O}(N^{3/2})$ runtime complexity of the current methods available in the HEALPix software when multiple maps need to be analyzed at the same time. Using numerical experiments, we demonstrate that the new method also appears to provide better accuracy over the entire angular power spectrum of synthetic data when compared to the current methods, with a convergence rate at least two times higher.




appl

ErdH{o}s-P'osa property of chordless cycles and its applications. (arXiv:1711.00667v3 [math.CO] UPDATED)

A chordless cycle, or equivalently a hole, in a graph $G$ is an induced subgraph of $G$ which is a cycle of length at least $4$. We prove that the ErdH{o}s-P'osa property holds for chordless cycles, which resolves the major open question concerning the ErdH{o}s-P'osa property. Our proof for chordless cycles is constructive: in polynomial time, one can find either $k+1$ vertex-disjoint chordless cycles, or $c_1k^2 log k+c_2$ vertices hitting every chordless cycle for some constants $c_1$ and $c_2$. It immediately implies an approximation algorithm of factor $mathcal{O}(sf{opt}log {sf opt})$ for Chordal Vertex Deletion. We complement our main result by showing that chordless cycles of length at least $ell$ for any fixed $ellge 5$ do not have the ErdH{o}s-P'osa property.




appl

A Local Spectral Exterior Calculus for the Sphere and Application to the Shallow Water Equations. (arXiv:2005.03598v1 [math.NA])

We introduce $Psimathrm{ec}$, a local spectral exterior calculus for the two-sphere $S^2$. $Psimathrm{ec}$ provides a discretization of Cartan's exterior calculus on $S^2$ formed by spherical differential $r$-form wavelets. These are well localized in space and frequency and provide (Stevenson) frames for the homogeneous Sobolev spaces $dot{H}^{-r+1}( Omega_{ u}^{r} , S^2 )$ of differential $r$-forms. At the same time, they satisfy important properties of the exterior calculus, such as the de Rahm complex and the Hodge-Helmholtz decomposition. Through this, $Psimathrm{ec}$ is tailored towards structure preserving discretizations that can adapt to solutions with varying regularity. The construction of $Psimathrm{ec}$ is based on a novel spherical wavelet frame for $L_2(S^2)$ that we obtain by introducing scalable reproducing kernel frames. These extend scalable frames to weighted sampling expansions and provide an alternative to quadrature rules for the discretization of needlet-like scale-discrete wavelets. We verify the practicality of $Psimathrm{ec}$ for numerical computations using the rotating shallow water equations. Our numerical results demonstrate that a $Psimathrm{ec}$-based discretization of the equations attains accuracy comparable to those of spectral methods while using a representation that is well localized in space and frequency.




appl

Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture. (arXiv:2005.03454v1 [cs.LG])

Sparse models require less memory for storage and enable a faster inference by reducing the necessary number of FLOPs. This is relevant both for time-critical and on-device computations using neural networks. The stabilized lottery ticket hypothesis states that networks can be pruned after none or few training iterations, using a mask computed based on the unpruned converged model. On the transformer architecture and the WMT 2014 English-to-German and English-to-French tasks, we show that stabilized lottery ticket pruning performs similar to magnitude pruning for sparsity levels of up to 85%, and propose a new combination of pruning techniques that outperforms all other techniques for even higher levels of sparsity. Furthermore, we confirm that the parameter's initial sign and not its specific value is the primary factor for successful training, and show that magnitude pruning cannot be used to find winning lottery tickets.




appl

A Gentle Introduction to Quantum Computing Algorithms with Applications to Universal Prediction. (arXiv:2005.03137v1 [quant-ph])

In this technical report we give an elementary introduction to Quantum Computing for non-physicists. In this introduction we describe in detail some of the foundational Quantum Algorithms including: the Deutsch-Jozsa Algorithm, Shor's Algorithm, Grocer Search, and Quantum Counting Algorithm and briefly the Harrow-Lloyd Algorithm. Additionally we give an introduction to Solomonoff Induction, a theoretically optimal method for prediction. We then attempt to use Quantum computing to find better algorithms for the approximation of Solomonoff Induction. This is done by using techniques from other Quantum computing algorithms to achieve a speedup in computing the speed prior, which is an approximation of Solomonoff's prior, a key part of Solomonoff Induction. The major limiting factors are that the probabilities being computed are often so small that without a sufficient (often large) amount of trials, the error may be larger than the result. If a substantial speedup in the computation of an approximation of Solomonoff Induction can be achieved through quantum computing, then this can be applied to the field of intelligent agents as a key part of an approximation of the agent AIXI.




appl

Evaluation, Tuning and Interpretation of Neural Networks for Meteorological Applications. (arXiv:2005.03126v1 [physics.ao-ph])

Neural networks have opened up many new opportunities to utilize remotely sensed images in meteorology. Common applications include image classification, e.g., to determine whether an image contains a tropical cyclone, and image translation, e.g., to emulate radar imagery for satellites that only have passive channels. However, there are yet many open questions regarding the use of neural networks in meteorology, such as best practices for evaluation, tuning and interpretation. This article highlights several strategies and practical considerations for neural network development that have not yet received much attention in the meteorological community, such as the concept of effective receptive fields, underutilized meteorological performance measures, and methods for NN interpretation, such as synthetic experiments and layer-wise relevance propagation. We also consider the process of neural network interpretation as a whole, recognizing it as an iterative scientist-driven discovery process, and breaking it down into individual steps that researchers can take. Finally, while most work on neural network interpretation in meteorology has so far focused on networks for image classification tasks, we expand the focus to also include networks for image translation.




appl

Constrained de Bruijn Codes: Properties, Enumeration, Constructions, and Applications. (arXiv:2005.03102v1 [cs.IT])

The de Bruijn graph, its sequences, and their various generalizations, have found many applications in information theory, including many new ones in the last decade. In this paper, motivated by a coding problem for emerging memory technologies, a set of sequences which generalize sequences in the de Bruijn graph are defined. These sequences can be also defined and viewed as constrained sequences. Hence, they will be called constrained de Bruijn sequences and a set of such sequences will be called a constrained de Bruijn code. Several properties and alternative definitions for such codes are examined and they are analyzed as generalized sequences in the de Bruijn graph (and its generalization) and as constrained sequences. Various enumeration techniques are used to compute the total number of sequences for any given set of parameters. A construction method of such codes from the theory of shift-register sequences is proposed. Finally, we show how these constrained de Bruijn sequences and codes can be applied in constructions of codes for correcting synchronization errors in the $ell$-symbol read channel and in the racetrack memory channel. For this purpose, these codes are superior in their size on previously known codes.




appl

New music we love: Fiona Apple's thrilling Fetch the Bolt Cutters is a rush of lacerating lyrics and swirling sonics

You don't have to wander around the internet long before bumping into a rave review of Fiona Apple's new record Fetch the Bolt Cutters: It has inspired breathless acclaim, has already been labeled a masterwork and is notably the first new album in nearly a decade that Pitchfork has assigned a perfect 10/10 rating.…




appl

Fast efficient vocabulary computation with hashed vocabularies applying hash functions to cluster centroids that determines most frequently used cluster centroid IDs

The disclosed embodiments describe a method, an apparatus, an application specific integrated circuit, and a server that provides a fast and efficient look up for data analysis. The apparatus and server may be configured to obtain data segments from a plurality of input devices. The data segments may be individual unique subsets of the entire data set obtained by a plurality input devices. A hash function may be applied to an aggregated set of the data segments. A result of the hash function may be stored in a data structure. A codebook may be generated from the hash function results.




appl

Composite material for structural applications

Composite material that contain epoxy resin which is toughened and strengthened with thermoplastic materials and a blend of insoluble particles. The uncured matrix resins include an epoxy resin component, a soluble thermoplastic component, a curing agent and an insoluble particulate component composed of elastic particles and rigid particles. The uncured resin matrix is combined with a fibrous reinforcement and cured/molded to form composite materials that may be used for structural applications, such as primary structures in aircraft.




appl

Compatibilized polypropylene heterophasic copolymer and polylactic acid blends for injection molding applications

Injection molded articles and process of forming the same are described herein. The processes generally include providing a polyolefin including one or more propylene heterophasic copolymers, the polyolefin having an ethylene content of at least 10 wt. % based on the total weight of the polyolefin; contacting the polyolefin with a polylactic acid and a reactive modifier to form a compatiblized polymeric blend, wherein the reactive modifier is produced by contacting a polypropylene, a multifunctional acrylate comonomer, and an initiator under conditions suitable for the formation of a glycidyl methacrylate grafted polypropylene (PP-g-GMA) having a grafting yield in a range from 1 wt. % to 15 wt. %; and injection molding the compatibilized polymeric blend into an article.




appl

Additive combination for sealants applications

The present invention pertains to an additive combination comprising at least two sterically hindered amines, at least one further stabilizer, a dispersing agent and a plasticizer. The present invention also pertains to a composition comprising an organic material susceptible to degradation by light, oxygen and/or heat, and the additive combination and to the use and the process for stabilizing organic material against degradation by light, oxygen and/or heat by the additive combination.




appl

Phosphorylcholine-based amphiphilic silicones for medical applications

Amphiphilic biomimetic phosphorylcholine-containing silicone compounds for use in both topical and internal applications as components in biomedical devices. The silicone compounds, which include zwitterionic phosphorylcholine groups, may be polymerizable or non-polymerizable. Specific examples of applications include use as active functional components in ophthalmic lenses, ophthalmic lens care solutions, liquid bandages, wound dressings, and lubricious and anti-thrombogenic coatings.




appl

Error data generation and application for disk drive applications

Generating error data associated with decoding data is disclosed, including: processing an input sequence of samples associated with data stored on media using a detector and a decoder during a global iteration; and generating one or more error values based at least in part on one or more decision bits output by the detector or the decoder and the input sequence of samples.




appl

Method and apparatus for applying plasma particles to a liquid and use for disinfecting water

The invention provides a method and apparatus for creating plasma particles and applying the plasma particles to a liquid. Liquid feedstock (e.g., water and/or hydrocarbons mixed with biomass) is pumped through a pipeline; the single-phase stream is then transformed into a biphasic liquid-and-gas stream inside a chamber. The transformation is achieved by transitioning the stream from a high pressure zone to a lower-pressure zone. The pressure drop may occur when the stream further passes through a device for atomizing liquid. Inside the chamber, an electric field is generated with an intensity level that exceeds the threshold of breakdown voltage of the biphasic medium leading to a generation of a plasma state. Furthermore, the invention provides an energy-efficient highly adaptable and versatile method and apparatus for sanitizing water using plasma particles to inactivate biological agents contaminating water.




appl

Radiation curable temporary laminating adhesive for use in high temperature applications

A radiation curable temporary laminating adhesive composition for use in temperature applications at 150° C. or greater, and typically at 200° C. or greater, comprises (A) a hydrogenated polybutadiene diacrylate; (B) a radical photoinitiator; and (C) a diluent.




appl

Metal nanoparticle dispersion usable for ejection in the form of fine droplets to be applied in the layered shape

According to the present invention, a metal nanoparticle dispersion suitable to multiple layered coating by jetting in the form of fine droplets is prepared by dispersing metal nanoparticles having an average particle size of 1 to 100 nm in a dispersion solvent having a boiling point of 80° C. or higher in such a manner that the volume percentage of the dispersion solvent is selected in the range of 55 to 80% by volume and the fluid viscosity (20° C.) of the dispersion is chosen in the range of 2 mPa·s to 30 mPa·s, and then when the dispersion is discharged in the form of fine droplets by inkjet method or the like, the dispersion is concentrated by evaporation of the dispersion solvent in the droplets in the course of flight, coming to be a viscous dispersion which can be applicable to multi-layered coating.




appl

Conducting verification in event processing applications using formal methods

A method of applying formal verification methodologies to event processing applications is provided herein. The method includes the following stages: representing an event processing application as an event processing network, being a graph with event processing agents as nodes; generating a finite state machine based on the event processing network, wherein the finite state machine is an over-approximation of the event processing application; expressing stateful rules and policies that are associated with the event processing application using temporal logic, to yield a temporal representation of the event processing application; combining the temporal representation and the finite state machine into a model; generating a statement associated with a user-selected verification-related property of the event processing application, wherein the statement is generated using the temporal representation; and applying the statement to the model, to yield an indication for: (i) a correctness of the statement or (ii) a counter example, respectively.




appl

Applying coding standards in graphical programming environments

Graphical programming or modeling environments in which a coding standard can be applied to graphical programs or models are disclosed. The present invention provides mechanisms for applying the coding standard to graphical programs/models in the graphical programming/modeling environments. The mechanisms may detect violations of the coding standard in the graphical model and report such violations to the users. The mechanisms may automatically correct the graphical model to remove the violations from the graphical model. The mechanisms may also automatically avoid the violations in the simulation and/or code generation of the graphical model.




appl

Automated generation of two-tier mobile applications

The disclosure generally describes computer-implemented methods, software, and systems for creating and using two-tier mobile applications. A computer-implemented method includes identifying at least a portion of a database to be associated with a mobile application, retrieving a set of metadata associated with the at least a portion of the identified database, automatically generating a set of mobile application source code for directly accessing the at least a portion of the database based on the set of retrieved metadata, and compiling the set of mobile application source code into a distributable mobile application, the distributable mobile application configured to directly access the identified database associated with the mobile application. In some instances, the identifying, retrieving, generating, and compiling operations are performed at design time, while at runtime, the mobile application is executable by a mobile device and, during runtime execution, can request database-related information directly from the identified database.




appl

Compound versioning and identification scheme for composite application development

The present invention provides a method, a system and a computer program product for defining a version identifier of a service component. The method includes determining various specification levels corresponding to the service component. Thereafter, the determined specification levels are integrated according to a predefined hierarchy to obtain the version identifier of the service component. The present invention also enables the identification of the service components. The service components are identified from one or more service components on the basis of one or more user requirements.




appl

Release management system for a multi-node application

A deployment system provides the ability to deploy a multi-node distributed application, such as a cloud computing platform application that has a plurality of interconnected nodes performing specialized jobs. The deployment system includes a release management system that builds and manages versioned releases of application services and/or software modules that are executed by the plurality of nodes of the cloud computing platform application. The release management system utilizes specification files to define a jobs and application packages and configurations needed to perform the jobs. The jobs and application packages are assembled into a self-contained release bundle that may be provided to the deployment system. The deployment system unwraps the release bundle and provides each job to deployment agents executing on VMs. The deployment agents apply the jobs to their respective VM (e.g., launching applications), thereby deploying the cloud computing platform application.