One of the main open problems in the qualitative theory of real planar differential systems is the study of limit cycles. In this article, we present an algorithmic approach for detecting how many limit cycles can bifurcate from the periodic orbits of a given polynomial differential center when it is perturbed inside a class of polynomial differential systems via the averaging method. We propose four symbolic algorithms to implement the averaging method. The first algorithm is based on the change of polar coordinates that allows one to transform a considered differential system to the normal form of averaging. The second algorithm is used to derive the solutions of certain differential systems associated to the unperturbed term of the normal of averaging. The third algorithm exploits the partial Bell polynomials and allows one to compute the integral formula of the averaged functions at any order. The last algorithm is based on the aforementioned algorithms and determines the exact expressions of the averaged functions for the considered differential systems. The implementation of our algorithms is discussed and evaluated using several examples. The experimental results have extended the existing relevant results for certain classes of differential systems.

Few people are at this point in time willing to bet their money on .Net Framework, simply because .Net Core is obviously the future. This creates problems for us developers, since a lot of the tools we have grown used to, simply doesn't exist in .Net Core. One example of such a tool is Microsoft Workflow Foundation. According to what I've read, Microsoft is not willing to port Workflow Foundation to .Net Core either, so as you cross the bridge into ".Net Core land", you'll have to leave workflows behind.

What is Microsoft Workflow Foundation?

To find out how to replace Workflow Foundation, we must first ask ourselves what its primary feature is. As in, what makes MWF valuable for developers, and why have so many chosen to use it over the years?

[IMAGE-1] Watching Rian Johnson's Knives Out, I was reminded of my middle school English teacher Mrs. Soderbergh, who loved Agatha Christie books almost as much as she loved diagramming sentences. There was a week when she brought in a box stacked high with her own Christie paperbacks, set it down in front of the classroom and had each of us pick a book based solely on the plot summary on the back.…

[IMAGE-1] Before smartphones and Instagram, there were influencers, and they could be as shallow, overconfident and pejorative as they are today. This new adaptation of Jane Austen's Emma — the feature debuts of photographer and music-video director Autumn de Wilde and Man Booker Prize-winning novelist turned screenwriter Eleanor Catton — brings that sort of modern frisson to its retelling of the tale of a very rich young woman who amuses herself by interfering in the romantic lives of those around her.…

Loved, or loathed, depending on who you ask, mushrooms come in many forms, including those readily available in the grocery store, and others — like morels — that require more determined sourcing.…

Heterocyclic compounds of formula (I) useful as imaging probes of Tau pathology in Alzheimer's disease are described. Compositions and methods of making such compounds are also described.

Example embodiments relate to a bad area managing method of a nonvolatile memory device. The nonvolatile memory device may include a plurality of memory blocks and each block may contain memory layers stacked on a substrate. According to example embodiments, a method includes accessing one of the memory blocks, judging whether the accessed memory block includes at least one memory layer containing a bad memory cell. If a bad memory cell is detected, the method may further include configuring the memory device to treat the at least one memory layer of the accessed memory block as a bad area.

Certain exemplary embodiments can provide a system, machine, device, manufacture, circuit, composition, and/or user interface adapted for and/or resulting from, and/or a method and/or machine-readable medium comprising machine-implementable instructions for, activities that can comprise and/or relate to, in a treatment zone, reacting an oxygen-comprising gas, one or more selected ferric/ferrous chelates, one or more selected nitrates and/or nitrites, and/or anaerobic wastewater.

Systems, methods and computer program products may provide managing utilization of one or more physical processors in a shared processor pool. A method of managing utilization of one or more physical processors in a shared processor pool may include determining a current amount of utilization of the one or more physical processors and generating an instruction message. The instruction message may be at least partially determined by the current amount of utilization. The method may further include sending the instruction message to a guest operating system, the guest operating system having a number of enabled virtual processors.

In mainframe computer system, workload tasks are accomplished using a logically partitioned data processing system, where the partitioned data processing system is divided into multiple logical partitions. In a system and method managing such a computer system, each running workload tasks that can be classified based on time criticality, and groups of logical partitions can be freely defined. Processing capacity limits for the logical partitions in a group of logical partitions based upon defined processing capacity thresholds and upon an iterative determination of how much capacity is needed for time critical workload tasks. Workload can be balanced between logical partitions within a group, to prevent surplus processing capacity being used to run not time critical workload on one logical partition when another logical partition running only time critical workload tasks faces processing deficit.

Methods and systems for managing a removal of a passthrough device from a guest managed by a hypervisor in virtualized computing environment. A hypervisor receives a request from the guest for access to a passthrough device. The hypervisor sets, in a memory, a last accessed state associated with a virtual machine executing the guest. The hypervisor forwards the request to the passthrough device and configures the host CPU to send a subsequent access request directly to the passthrough device. In response to a virtual machine reset, the hypervisor clears the last accessed state and instructs the host CPU to send a post-reset access request to the hypervisor.

The technology of the present application provides a networked computer system with at least one workstation and at least one shared resource such as a database. Access to the database by the workstation is managed by a database management system. An access engine reviews job requests for access to the database and allows job requests access to the resource based protocols stored by the system.

Disclosed is a reactor and agitator useful in a high pressure process for making 1-chloro-3,3,3-trifluoropropene (1233zd) from the reaction of 1,1,1,3,3-pentachloropropane (240fa) and HF, wherein the agitator includes one or more of the following design improvements: (a) double mechanical seals with an inert barrier fluid or a single seal;(b) ceramics on the rotating faces of the seal;(c) ceramics on the static faces of seal;(d) wetted o-rings constructed of spring-energized Teflon and PTFE wedge or dynamic o-ring designs; and(e) wetted metal surfaces of the agitator constructed of a corrosion resistant alloy.

An adaptable integrated circuit is disclosed having a plurality of heterogeneous computational elements coupled to an interconnection network. The interconnection network changes interconnections between the plurality of heterogeneous computational elements in response to configuration information. A first group of computational elements is allocated to form a first version of a functional unit to perform a first function by changing interconnections in the interconnection network between the first group of heterogeneous computational elements. A second group of computational elements is allocated to form a second version of a functional unit to perform the first function by changing interconnections in the interconnection network between the second group of heterogeneous computational elements. One or more of the first or second group of heterogeneous computational elements are reallocated to perform a second function by changing the interconnections between the one or more of the first or second group of heterogeneous computational elements.

A multiprocessor system includes a first microprocessor and a second microprocessor. A first signaling pathway is configured to send message transmission coordination signals from the first microprocessor to the second microprocessor. The first signaling pathway may be coupled to at least two flag registers associated with the second microprocessor. A second signaling pathway is configured to send message transmission coordination signals from the second microprocessor to the first microprocessor. The second signaling pathway may be coupled to at least two flag registers associated with the first microprocessor. The first signaling pathway is independent of the second signaling pathway.

Methods, devices, and systems for management of a cloud computing environment for use by a software application. The cloud computing environment may be an N-tier environment. Multiple cloud providers may be used to provide the cloud computing environment.

Methods are provided to facilitate automated creation and management of design rule checking or DRC waiver descriptions. Embodiments include receiving a plurality of first checksums corresponding to respective first geometric element violations waived in association with a block of an integrated circuit design, the first checksums being based on a first version of at least one design verification rule and/or of the block, receiving a second checksum corresponding to a second geometric element violation associated with the block, the second checksum being based on a second version of the design verification rule and/or of the block, determining whether the second checksum corresponds to at least one of the first checksums, and, if the second checksum does not correspond to at least one first checksum, generating a waiver request for the second geometric element error.

A superconducting magnet device is configured to include: a refrigerant circulation flowpath in which a refrigerant (R) circulates; a refrigerator for cooling vapor of the refrigerant (R) in the refrigerant circulation flowpath; a superconducting coil cooled by the circulating refrigerant (R); a protective resistor thermally contacting the superconducting coil and having an internal space (S); a high-boiling-point refrigerant supply section for supplying a high-boiling-point refrigerant having a higher boiling point than the refrigerant (R) and frozen by the refrigerant (R) to the internal space (S) in the protective resistor; and a vacuum insulating container for at least accommodating the refrigerant circulation flowpath, the superconducting coil, and the protective resistor.

A self-shield open magnetic resonance imaging superconducting magnet comprises five pairs of coils: shim coils, first main magnetic coils, second main magnetic coils, third main magnetic coils, and shielding coils. The five pairs of coils are symmetric about the center. The shim coils are arranged closest to the center point; the first main magnetic coils, the second main magnetic coils, the third main magnetic coils, and the shielding coils are arranged in sequence outside. The first main magnetic coils are connected with reverse current. The second and third main magnetic coils are connected with positive current for providing the main magnetic field strength. The shim coils are connected with positive current for compensating the magnetic field in the central region. The shielding coils are connected with reverse current for creating a magnetic field opposite to the main magnetic field for compensating the stray magnetic field in the space.

A superconducting magnet device and a magnetic resonance imaging system not only avoid the need for costly aluminum alloy formers but also lower quench pressure effectively, have a baffle covering the former and the coil, with a gap between the baffle and the coil.

A messaging response system is disclosed wherein a service providing system provides services to users via messaging communications. In accordance with an exemplary embodiment of the present invention, multiple respondents servicing users through messaging communications may appear to simultaneously use a common “screen name” identifier.

A message screen display comprises a static non-scrollable display area for display of at least part of a first message, the first message having an associated first message time. The message screen display further comprises a scrollable display area for display of at least part of a second message, the second message having an associated second message time. The message screen display further comprises a feature applied to at least part of the first message that varies based on time as referenced to the associated first message time.

A method includes displaying a first application view. A first input is detected, and an application view selection mode is entered for selecting one of concurrently open applications for display in a corresponding application view. An initial group of open application icons in a first predefined area and at least a portion of the first application view adjacent to the first predefined area are concurrently displayed. The initial group of open application icons corresponds to at least some of the concurrently open applications. A gesture is detected on a respective open application icon in the first predefined area, and a respective application view for a corresponding application is displayed without concurrently displaying an application view for any other application in the concurrently open applications. The open application icons in the first predefined area cease to be displayed, and the application view selection mode is exited.

An exemplary embodiment of the invention relates to a system and method for providing digital messaging services received from multiple sources over a communications network. The system includes a client system, including a display screen coupled to a communications link; a workstation including a web browser, a memory, and a processor, said workstation coupled to said communications link; a hosting system, including a graphics server, a content server, and a scheduling server, each in communication with each other via a communications link; and a workstation and data storage device coupled to the communications link; and a data storage device for storing data utilized by said hosting system. The client system requests and receives digital messaging services from said hosting system under a subscription agreement. Digital messaging services include advertisements procured from said client system, and one or more local content providers, national advertisers, local advertisers, corporate marketing groups, and advertising agencies. Interactive digital messaging services are also available through the present invention. A user accesses these services via a variety of input devices; such as a bar code scanner, a wireless telephone or personal digital assistant, a kiosk with touch screen design, microphone, or other similar input device.

A method, system and computer program product are disclosed for user initiated rule based restrictions on sending messages from a sender to a receiver in a communications network. The receiver establishes a set of rules for the sender that allows the sender a limited number of defined messages events with the receiver. The defined message events may be messages or message sessions. When the sender attempts to send a message to the receiver, it is determined whether a message session currently exists between the sender and the receiver. If a current session exists, the rules set by the receiver are used to determine if the message is allowed to be sent to the receiver. If a session does not currently exist, the rules are used to determine whether a new session is allowed. If a new message session is allowed, a new session is established, and the message is sent to the receiver during the new session.

A radio paging selective receiver determines that a received message is unread based on the time difference between the message reception time and the current time being larger that some predetermined value of time, and the paging selective receiver provides an indication of the unread message by displaying the reception time of the unread message in a second fashion which is visibly different from a first fashion normally used to display the current time.

A partition manager relocates a logical partition from a primary shared processor pool to a secondary shared processor pool in response to a predetermined condition, such as a hardware failure. The relocated logical partition is allocated a smaller quantity of processing units from the secondary pool than it was allocated from the primary pool. A quantity of processing units reserved for a second logical partition is identified in the secondary shared processor pool, and a portion of those reserved processing units are allocated to the relocated logical partition. The reserved processing units may be redistributed among multiple relocated logical partitions.

The invention pertains to a memory management unit for a microprocessor system, the memory management unit being connected or connectable to at least one processor core of the microprocessor system and being connected or connectable to a physical memory of the microprocessor system. The memory management unit is adapted to selectively operate in a hypervisor mode or in a supervisor mode, the hypervisor mode and the supervisor mode having different privilege levels of access to hardware The memory management unit comprises a first register table indicating physical address information for mapping at least one logical physical address and at least one actual physical address onto each other; a second register table indicating an allowed address range of physical addresses accessible to a process running in or under supervisor mode; wherein the memory management unit is adapted to prevent write access to the second register table by a process not in hypervisor mode. The memory management unit is further adapted to allow write access to the first register table of a process running in or under supervisor mode to reconfigure the physical address information indicated in the first register table with memory mapping information relating to at least one physical address, if the at least one physical address is in the allowed address range, and to prevent write access to the first register table of the process running in or under supervisor mode if the at least one physical address is not in the allowed address range. The invention also pertains to a microprocessor system and a method for managing memory.

A method uses a firmware interface setup program for a selected compute node (“node”) to cause a firmware interface to enable a trusted platform module (TPM) on the selected node to receive a physical presence (PP) signal. The selected node is selected from a plurality of nodes within a multi-node chassis, wherein each node includes a firmware interface and a TPM. A device within the multi-node chassis is manually actuated to transmit a PP signal to each of the plurality of nodes, such that each node receives the PP signal. The PP signal is asserted to the TPM of the selected node in response to both enabling the TPM of the selected node to be able to receive the PP signal and receiving the PP signal. Still further, the method allows modification of a security setting of the selected node in response to the TPM receiving the PP signal.

There is provided a power management apparatus including: a managed appliance registering unit carrying out authentication on an electronic appliance connected to a power network and registering an electronic appliance for which the authentication has succeeded as a managed appliance, a control unit controlling operation of the managed appliance and supplying of power to the managed appliance, a managed appliance information acquiring unit acquiring, from the managed appliance, as managed appliance information, at least any of appliance information including identification information that is unique to the electronic appliance, information indicating an operation state of the electronic appliance, information indicating an usage state of the electronic appliance and power information of the electronic appliance, and an appliance state judging unit judging a state of the managed appliance based on the managed appliance information acquired by the managed appliance information acquiring unit.

Systems and methods for processing magnetic resonance imaging (MRI) data are provided. A method includes receiving MRI data comprising a plurality of k-space points and deriving a plurality of image data sets based on the MRI data, each of the plurality of MRI image sets obtained by zeroing a different one of the plurality of k-space points. The method further includes computing image space metric values for each of the plurality of image data sets and adjusting a portion of the MRI data associated with ones of the image space metric values that fail to meet a threshold value to yield adjusted MRI data.

A magnetic resonance imaging apparatus includes an acoustic control unit and an image data acquisition unit. The acoustic control unit applies a gradient magnetic field for controlling a sound in synchronization with a signal representing a respiratory body motion. The image data acquisition unit acquires imaging data by subsequently imaging to control the sound and generate image data based on the imaging data.

An intracorporeal marker, for marking a site within living tissue of a host, includes an outer body portion of biodegradable material. An inner body portion is located in the outer body portion. The inner body portion includes biological material that becomes calcified in the living tissue of the host over time. An agent interacts with the biological material to promote calcification of the biological material of the inner body portion in the living tissue of the host.

A three dimensional imaging system includes a first laser emitting light at a first wavelength, and a scanner for scanning the laser light in a pattern on the target area. A photo detector receives light reflected from the target area as a contrasted vein image, resulting from differential absorption and reflection therein of the first wavelength of light. The intensity of the first laser is incrementally increased, and the photo detector thereby receives a plurality of contrasted vein images, each being at incrementally distinct depths beneath the target skin surface. Image processing is performed on the plurality of vein images to successively layer the veins in the images according to their depth, to create a single processed vein image. A second laser emitting a second wavelength of light is used in combination with the scanner to project the processed vein image onto the target area to overlay the veins therein.

A device for fluorescence-based imaging and monitoring of a target comprising: a light source emitting light for illuminating the target, the emitted light including at least one wavelength or wavelength band causing at least one biomarker associated with the target to fluoresce; and a light detector for detecting the fluorescence.

The present embodiments disclose the preparation of hyperpolarized 13C dialkyl succinate compounds and hyperpolarized 13C dialkyl fumarate compounds and their use in real time, in vivo metabolic imaging of the TCA cycle.

The present invention provides a method to label phospholipids in vivo based on the metabolic incorporation of an alkynyl- or azido-labeled metabolic precursor into phospholipids. The resulting phospholipids have alkynyl or azido moieties, which, upon reaction with a labeled azide or alkyne, respectively, form labeled compounds that can be visualized using optical or electron microscopy with high sensitivity and spatial resolution in cells or tissue. The present method provides a valuable tool for imaging phospholipid synthesis, turnover and subcellular localization in cultured cells as well as in animals.

Tissue slices and whole organisms offer substantial challenges to fluorescence imaging. Autofluorescence and absorption via intrinsic chromophores, such as flavins, melanin, and hemoglobins, confound and degrade output from all fluorescent tags. An “optical window,” farther red than most autofluorescence sources and in a region of low hemoglobin and water absorbance, lies between 650 and 900 nm. This valley of relative optical clarity is an attractive target for fluorescence-based studies within tissues, intact organs, and living organisms. Novel fluorescent tags were developed herein, based upon a genetically targeted fluorogen activating protein and cognate fluorogenic dye that yields emission with a peak at 733 nm exclusively when complexed as a “fluoromodule”. This tool improves substantially over previously described far-red/NIR fluorescent proteins in terms of brightness, wavelength, and flexibility by leveraging the flexibility of synthetic chemistry to produce novel chromophores.

A method and corresponding apparatus provide a determination of available power capacity of a phase of a power supply in a data center rack. The method includes metering the power of a power supply and calculating an average peak power draw per phase of the power supply. Using average peak power draw per phase of the power supply and the expected power draw data corresponding to data center equipment coupled to the power supply, the available power capacity can be calculated on a per phase of the power supply. A method and corresponding apparatus for managing data center equipment may use the phase based available power capacity calculations to determine the optimal placement of new data center equipment within a data center configuration.

A thermal dye image receiver element has a substrate comprising a voided compliant layer and metalized layer. Disposed on the metalized layer is an opacifying layer that includes an opacifying agent and a dye receiving layer. This thermal dye image receiver element can be a duplex element with image receiving layers on both sides of the substrate, and it can be used in association with a thermal donor element to provide a thermal image on either or opposing sides of the receiver element. The metalized layer provides increased specular reflectance under resulting thermal dye images.

Various technologies and techniques are disclosed for using transactional memory hardware to accelerate virtualization or emulation. State isolation can be facilitated by providing isolated private state on transactional memory hardware and storing the stack of a host that is performing an emulation in the isolated private state. Memory accesses performed by a central processing unit can be monitored by software to detect that a guest being emulated has made a self modification to its own code sequence. Transactional memory hardware can be used to facilitate dispatch table updates in multithreaded environments by taking advantage of the atomic commit feature. An emulator is provided that uses a dispatch table stored in main memory to convert a guest program counter into a host program counter. The dispatch table is accessed to see if the dispatch table contains a particular host program counter for a particular guest program counter.

A foot massaging device having a plurality of parallel cylindrical rollers mounted within a frame. The frame includes adjustment slots allowing the rollers to be relocated within the frame to present various massaging configurations. The foot massaging device is adjustable by seating the rearwardly disposed rollers between a raised and lowered position to configure the rollers to contact different portions of a user's foot.

A method and system uniquely capable of generating thermal bubbles for improved ultrasound imaging and therapy. Several embodiments of the method and system contemplates the use of unfocused, focused, or defocused acoustic energy at variable spatial and/or temporal energy settings, in the range of about 1 kHz-100 MHz, and at variable tissue depths. The unique ability to customize acoustic energy output and target a particular region of interest makes possible highly accurate and precise thermal bubble formation. In an embodiment, the energy is acoustic energy. In other embodiments, the energy is photon based energy (e.g., IPL, LED, laser, white light, etc.), or other energy forms, such radio frequency electric currents (including monopolar and bipolar radio-frequency current). In an embodiment, the energy is various combinations of acoustic energy, electromagnetic energy and other energy forms or energy absorbers such as cooling.

A method for providing suggestions from a messaging platform. The method includes: identifying, by a computer processor, a set of website-account pairs, wherein each of the set of website-account pairs represents an account of the messaging platform and a website; for each website-account pair of the set of website-account pairs: selecting, by the computer processor, connected accounts having a graph relationship with the account of the website-account pair, and creating an association between at least a subset of the connected accounts and the website of the website-account pair; receiving a set of websites associated with a user, wherein at least one of the set of websites is referenced by a first association of the created associations; and providing, by the computer processor, one or more account suggestions for the user based at least on the first association.

A method of mixing together liquids or liquid/solid combinations, and mixing apparatus/universal combine utilizing a vertical spinning container or vessel having a rib, or a cross rib in its bottom wall. The container is spun about a vertical axis with no wobbling component to the motion. Meshed elements are used for high shear mixing. Start/stop routines, and variable acceleration/speed values are used, to facilitate complete mixing. Use of ‘impeller’ blade stirrers is completely eliminated.

An apparatus for containing and mixing a load of liquids and solids is disclosed. The apparatus includes an elongated tank, which includes a lower portion and an upper portion. The apparatus further includes an elongated rotatable shaft within the tank. At least one blade is connected to the shaft and is configured to mix the liquids and solids when the shaft is rotated. The apparatus also includes a shaft support configured for maintaining the shaft in a rotatable manner within the tank. The shaft support is selectively moveable in a manner permitting the shaft to move in an upward direction from the lower portion toward the upper portion, and in a downward direction from the upper portion toward the lower portion. An is contained with the tank for moving the shaft support in the upward direction and in the downward direction.

Provided are a fluid agitation apparatus using a structure which is simple in shape and short in a fluid passage direction without a movable part so as to produce a sufficient effect from the viewpoint of reducing temperature fluctuation, and a thermostatic apparatus using the fluid agitation apparatus. The fluid agitation apparatus is installed in a fluid passage and includes, in an order from an upstream side thereof: a dividing part for dividing a flow of a fluid into a plurality of flows; a circumvolving part for circumvolving the fluid about an axis in a flow direction of the fluid; and an accelerating part for increasing a flow rate of the fluid.

An agitator, particularly for abrasive media includes a support disk to which agitator blades are connected substantially perpendicular to the support disk. The blades are arranged substantially in a radial direction. The support disk also includes a hub that receives an agitator shaft which is preferably motor-driven. The trailing faces of the blades of the agitator and/or the area of the blade connections to the support disk are designed to largely prevent vortex shedding. This is accomplished by implementing a specific geometry for the agitator blades, the support disk, and the connection of the blades to the support disk.

The present invention pertains to systems and methods for the capture of information regarding scenes using single or multiple three-dimensional LADAR systems. Where multiple systems are included, those systems can be placed in different positions about the imaged scene such that each LADAR system provides different viewing perspectives and/or angles. In accordance with further embodiments, the single or multiple LADAR systems can include two-dimensional focal plane arrays, in addition to three-dimensional focal plane arrays, and associated light sources for obtaining three-dimensional information about a scene, including information regarding the contours of the objects within the scene. Processing of captured image information can be performed in real time, and processed scene information can include data frames that comprise three-dimensional and two-dimensional image data.

An integrated swept wavelength tunable optical source uses a narrowband filtered broadband signal with an optical amplifier and self-tracking filter. This source comprises a micro optical bench, a source for generating broadband light, a tunable Fabry Perot filter, installed on the bench, for spectrally filtering the broadband light from the broadband source to generate a narrowband tunable signal, an amplifier, installed on the bench, for amplifying the tunable signal. The self-tracking arrangement is used where a single tunable filter both generates the narrowband signal and spectrally filters the amplified signal. In some examples, two-stage amplification is provided. The use of a single bench implementation yields a low cost high performance system. For example, polarization control between components is no longer necessary.