The upshot of all this is that after merging the pipelines of all routes, our authorization logic will take place after authentication.
A simplified implementation of withRole is shown below - the full version can be found in our Github repository
fun Route.withRole(val role: String, build: Route.() -> Unit): Route {
 // Create a child route in the route from which this function is called
 val selector = AuthorizedRouteSelector("authorize ($role)")
 val authorizedRoute = createChild(selector)
 // Add our authorization phase and interceptor to this route
 val feature = application.feature(RoleBasedAuthorization)
 feature.interceptPipeline(authorizedRoute, role)
 // Proceed with building child routes and return
 authorizedRoute.build()
 return authorizedRoute
}
First, we create a child Route in the parent from which we are called. This will be the route that will contain our authorization interceptors. (Attached to each route is a selector, which is used when matching a request to possible routes.)
Then we add the actual phases and interceptors, using Ktor's feature mechanism that we will discuss more below.
And finally, we proceed with building the rest of the routing tree by invoking the supplied build function on our newly constructed route.
RoleAuthorization feature
So, what do these lines actually do?
val feature = application.feature(RoleBasedAuthorization)
feature.interceptPipeline(authorizedRoute, role)
Let's look at interceptPipeline first, then discuss the how and why of the feature itself. (Just as before, this is a simplified version of what's on Github.)
fun interceptPipeline(pipeline: ApplicationCallPipeline, role: String) {
 pipeline.insertPhaseAfter(Features, ChallengePhase)
 pipeline.insertPhaseAfter(ChallengePhase, AuthorizationPhase)
 pipeline.intercept(AuthorizationPhase) {
 val principal = call.authentication.principal<Principal>()
 ?: throw AuthorizationException("Missing principal")
 val roles = getRoles(principal)
 if (!roles.contains(role)) {
 throw AuthorizationException("Principal lacks required role ${role}")
 }
 }
}
Here we set up our AuthorizationPhase, making sure it comes after the ChallengePhase as defined by the authentication feature. Then we add an interceptor to the AuthorizationPhase that does a simple role check and throws an exception if the current user does not posess the required role. If the principal does have the required role we just return from the interceptor function, and Ktor will proceed down the pipeline as normal.
The only piece of the puzzle left is the getRoles function we call to get the roles belonging to the current principal. Where does that come from? How do we know how and where to get these roles?
The answer is that that depends very much on the specifics of the application and its chosen implementation of the Principal marker interface. We therefore have made the implementation of getRoles a configuration item, attached to our RoleBasedAuthorization feature.
Setting up a feature requires a bit of boilerplate which isn't very interesting - check the Github repository if you want to see how that works. The essential bit is that it defines a configuration point
var getRoles: (Principal) -> Set<String> = { emptySet() }
which can be overriden when installing the feature in your application. In our example above, we modeled the principal as:
data class UserSession(
 val name: String,
 val roles: Set<String> = emptySet()
) : Principal
So our getRoles implementation then becomes a basic property lookup:
install(RoleBasedAuthorization) {
 getRoles {
 (it as UserSession).roles
 }
}
Demo application
As mentioned before, accompanying this blog post is a Github repository that contains the full source code of a working demo application. I encourage you to check it out and play with it in the debugger to get a feel for how the different parts interact.
Wrap-up and acknowledgements
Implementing role-based authorization in Ktor has been an interesting deep-dive into some of the internal workings of Ktor. My starting point and main inspiration was this Medium post, which provided sufficient pointers into the Ktor source code for further study. I did miss some more explanation of Ktor's design, and a working example to see how all the different parts interact - I hope this blog and demo will be of use to others.


text:
Cairns to the Cape
We are excited to be partnering with Churches of Christ for our Cairns to the Cape Christmas Appeal! Help us bring joy to children, young people, foster and kinship carers across Cape York this Christmas.
What is Cairns to the Cape?
The Churches of Christ Children, Youth and Families division is based in Cairns and serves all foster children and families in Aurukun, Pormpuraaw, Kowanyama, Weipa, Napranum, Mapoon and Lockhart River. Children belong in safe and caring homes, but families are complicated and some face significant challenges that mean it's not safe for children and young people to remain at home. Even while children cannot stay at home, Churches of Christ support them to build positive, healthy relationships with their family through the committed support of foster and kinship carers.
It is thanks to these dedicated individuals and families that children and young people are able to grow and find belonging in their community. Our church is going to bless and encourage them by sending a Christmas gift hamper for each foster family!
How do I participate?
It's super simple:
- Choose a foster family from the list (or decide to buy a few items or make an optional financial donation to contribute to a hamper)
- Use the shopping list we provide to go shopping for hamper items!
- Return the gifts by Sunday 30th October
What should I buy?
We want to fill these hampers to help foster families celebrate, enjoy a shared meal and bring their family together at Christmas. Food is quite difficult to get in remote communities at the moment, so this hamper will be a big blessing.
In addition to what you buy for your hamper, we are going to buy and refrigerate a small ham for each family. Additional financial donations to Cairns to the Cape will cover this cost.
Please buy at least one thing from each list below, and feel free to buy additional items from the lists to fill the hamper. Please don't buy any items that are too big, or in quantities that prevent the lid from staying closed (the hampers are 22cm x 35cm x 29cm).
#1 An item of special Christmas food
- Tinned Christmas fruit e.g. cherries/plums
- Christmas cake & UHT Custard
- Tinned wafer biscuits/sticks
- Tinned meat or soup
#2 An item for a family snack
- Dried fruit
- Tea or coffee
#3 A game for the family to play together
- Card game
- Small board game
#4 A small gift for each child/teenager in the family
- Be mindful of the age and gender of the person you are buying for.
- For children: Book, toy, sport, hobby item, craft kit, hat, puzzle, hairbrush/comb/hair ties (gift set), bath or body lotion (gift set).
- For teenagers: headphones, speaker, comic book, jewellery, fishing item, hairbrush/comb/hair ties (gift set), bath or body lotion (gift set).
#5 Something special to celebrate Christmas
- Christmas crackers (bon bons) or decorations
- A hand-written Christmas greeting card
Frequently Asked Questions
Is there anything I am not allowed to buy?
Please do not include aerosol cans, medicine, vitamins, used clothes, anything easily breakable or food that melts easily or will perish in the next 6 months. You can wrap gifts with clear cellophane, but don't fully seal the wrapping as each item needs to be checked by staff before delivery.
Can I put in bibles, scriptures, or items about Jesus?
We want to respect and honour the reality that some Aboriginal communities may still suffer effects of historical harm by churches. Our goal is not to evangelise, but to show a simple expression of love and generosity – the recipients will know the gifts come from a church community who cares.
Will the recipients know who bought the gifts for them?
Churches of Christ workers will personally deliver the hamper you have filled to each family and explain where the gifts are from. If you include a hand-written Christmas greeting card please only include your first names (e.g. from Nick and Sarah). For any hampers made up of contributions from a number of people, we'll include a greeting card with the first names of those people.
How can I make a financial donation to cover the cost of the hams?
You can give towards this project by credit card on our website (select "Cairns to the Cape donation") or at the Info Desk on Sundays, or by placing cash in a marked envelope in a Giving Box on Sundays.
I have more questions or need help.
Contact us and we will get back to you asap.

source: m-a-p/FineFineWeb


text:
published on June 28, 2017
The Contractualist Dilemma
In moral and political philosophy many contractualist views appeal to hypothetical consent when justifying their proposed normative contents. In this paper I argue that all of them fail. In particular, I defend three claims. First, I consider and develop what I call the common objection to contractualism: that the stipulation of a hypothetical consent adds nothing to the independent reasons offered in contractualist procedures in favor of the normative content in question. Second, I hold that this objection gives rise to what I call the contractualist dilemma. Third, in light of the dilemma, I argue that contractualism should be understood in a non-justificatory way. These three claims might sound familiar to readers versed on the contractualist tradition. It is striking, however, how many contemporary authors continue to defend contractualism as a method of justification despite these arguments. This paper is thus a strong invitation to finally abandon the justificatory interpretation of this view.

source: openbmb/Ultra-FineWeb


text:
Third Grade Reading Guarantee
Implications of Ohio's Third Grade Reading Guarantee
The General Assembly and Governor Kasich pushed through a set of laws requiring the retention of students who fail to demonstrate an established level of mastery in reading by the third grade. This requirement is accompanied by several other mandates affecting teacher assignments and the nature of reading instruction.
This document is designed to present each section of the Third Grade Guarantee as it pertains to retention of students. Guiding questions are presented to help initiate discussions as to the possible classroom effects for students, teachers and families.
This graphics presents teacher qualification options, as set forth in Ohio law and ODE guidance and based upon the implementation years of the Third Grade Guarantee. Updated in June 2013 to reflect Senate Bill 21 as signed by Governor Kasich.


text: In this paper, we introduce a generative model for image enhancement specifically for improving diver detection in the underwater domain. In particular, we present a model that integrates generative adversarial network (GAN)-based image enhancement with the diver detection task. Our proposed approach restructures the GAN objective function to include information from a pre-trained diver detector with the goal to generate images which would enhance the accuracy of the detector in adverse visual conditions. By incorporating the detector output into both the generator and discriminator networks, our model is able to focus on enhancing images beyond aesthetic qualities and specifically to improve robotic detection of scuba divers. We train our network on a large dataset of scuba divers, using a state-of-the-art diver detector, and demonstrate its utility on images collected from oceanic explorations of human-robot teams. Experimental evaluations demonstrate that our approach significantly improves diver detection performance over raw, unenhanced images, and even outperforms detection performance on the output of state-of-the-art underwater image enhancement algorithms. Finally, we demonstrate the inference performance of our network on embedded devices to highlight the feasibility of operating on board mobile robotic platforms.


text:
fly ( flies plural & 3rd person present) ( flying present participle) ( flew past tense) ( flown past participle )
1 n-count A fly is a small insect with two wings. There are many kinds of flies, and the most common are black in colour.
2 verb When something such as a bird, insect, or aircraft flies, it moves through the air.
The planes flew through the clouds... V prep/adv
The bird flew away. V prep/adv, Also V
3 verb If you fly somewhere, you travel there in an aircraft.
He flew back to London... V prep/adv
Mr Baker flew in from Moscow. V prep/adv
4 verb When someone flies an aircraft, they control its movement in the air.
Parker had successfully flown both aircraft... V n
He flew a small plane to Cuba... V n prep/adv
His inspiration to fly came even before he joined the Army. V
...a flying instructor.
5 verb To fly someone or something somewhere means to take or send them there in an aircraft.
The relief supplies are being flown from a warehouse in Pisa. V n adv/prep
6 verb If something such as your hair is flying about, it is moving about freely and loosely in the air.
His long, uncovered hair flew back in the wind... V adv/prep
She was running down the stairs, her hair flying. V
7 verb If you fly a flag or if it is flying, you display it at the top of a pole.
They flew the flag of the African National Congress... V n
A flag was flying on the new military HQ. V
8 verb If you say that someone or something flies in a particular direction, you are emphasizing that they move there with a lot of speed or force., (emphasis)
I flew downstairs... V prep/adv
9 n-count The front opening on a pair of trousers is referred to as the fly, or in British English the flies. It usually consists of a zip or row of buttons behind a band of cloth.
11 If you say that someone wouldn't hurt a fly or wouldn't harm a fly, you are emphasizing that they are very kind and gentle.
wouldn't harm a fly phrase with brd-neg, V inflects (emphasis)
...a lovely girl, who would not have harmed a fly.
12 If you let fly, you attack someone, either physically by hitting them, or with words by insulting them.
let fly phrase V inflects
A simmering row ended with her letting fly with a stream of obscenities.
13 If you send someone or something flying or if they go flying, they move through the air and fall down with a lot of force.
send someone/something flying phrase V inflects, PHR after v
The blow sent the young man flying.
14 If you say that you would like to be a fly on the wall in a situation that does not involve you, you mean that you would like to see or hear what happens in that situation.
fly on the wall phrase v-link PHR
What I'd give to be a fly on the wall when Davis finds out what's happened to his precious cargo.
as the crow flies →
to fly in the face of →
to fly the flag →
to fly off the handle →
a fly in the ointment →
pigs might fly →
sparks fly →
time flies →
time fly at phrasal verb If you fly at someone, you attack them, either physically by hitting them, or with words by insulting them.
(=let fly at) She flew at him for making a very anti-British remark. V P n fly into phrasal verb If you fly into a bad temper or a panic, you suddenly become very angry or anxious and show this in your behaviour. Losing a game would cause him to fly into a rage. V P n
A fly-by-night businessman is someone who wants to make money very quickly, without caring about the quality or honesty of the service they offer.
INFORMAL adj ADJ n (disapproval)
...fly-by-night operators who fail to complete jobs.
On a fly-drive holiday, you travel part of the way to your destination by aeroplane, and collect a hired car at the airport so that you can drive the rest of the way. adj ADJ n
...a fly-drive break in New Zealand.
fly-fishing, fly fishing
Fly-fishing is a method of fishing in which a silk or nylon model of a small winged insect is used as bait. n-uncount
A fly-on-the-wall documentary is made by filming people as they do the things they normally do, rather than by interviewing them or asking them to talk directly to the camera. adj ADJ n
...a fly-on-the-wall documentary about the Queen's life.
a fly on the wall
fruit fly ( fruit flies plural ) Fruit flies are very small flies which eat fruit and rotting plants. n-count
no-fly zone ( no-fly zones plural ) A no-fly zone is an area of sky where military and other aircraft are not allowed to fly, especially because of a war. n-count
tsetse fly ( tsetse flies plural ), tsetse A tsetse fly or a tsetse is an African fly that feeds on blood and can cause serious diseases in the people and animals that it bites. n-var

source: HuggingFaceFW/fineweb-edu


Why turkey has the same name as Turkey
well-ordered set
noun, Mathematics
a totally ordered set in which every nonempty subset has a smallest element with the property that there is no element in the subset less than this smallest element. Unabridged
Cite This Source
Word of the Day
Difficulty index for well-ordered set
Few English speakers likely know this word
Word Value for wellordered
Scrabble Words With Friends


text:
Effects of the Mono Winds
August 30, 2012
Tioga Road near Mono Pass Trailhead
Dramatic evidence of the regional phenomenon known as the Mono Winds can be seen just off the Tioga road near the Mono Pass Trailhead. Numerous trees are down in this area, having been blown down last winter. When a high pressure system is over the Great Basin, the clockwise movement of air pushes up and over the Sierra and picks up speed as it rushes down the western slopes. The rugged topography funnels some of that air, further increasing the speed and intensifying localized effects. The Mono Winds can easily reach 50 mph and in extreme cases exceed 100 mph. It is likely that the wind that knocked these trees down was funneled by the Tioga pass and continued down the Tioga road. Most of the downed trees are near the road and lying parallel with the road. The weather patterns that cause the Mono Winds occur from October to April but are most common in December and January.


Salwah - Meaning of Salwah
What does Salwah mean?
[ syll. sa-lwah, sal-w-ah ] The baby girl name Salwah is pronounced as SAELWAH- †. The origin of Salwah is the Arabic language. Salwah is a variation of the name Salwa (Arabic).
See also the related category arabic.
Baby names that sound like Salwah include Saileigh, Salla, Sallah, Salleigh, Sallya, Sallyah, Salus (English), Saluss, Salusse, Salya, Salyah, Saula, Scelflesh, Scilla (English), Scyla, Seila, Sela (Tongan and English), Selas, Selass, and Selasse.
Meaning of Salwah Meaning of Salwa
Baby Name Explorer for Salwah
Salwah Popularity Charts
blue:boy name
red:girl name
italics:unisex name
bold:primary name


w3resource
JavaScript: Test whether a string ends with a specified string
JavaScript String: Exercise-47 with Solution
Write a JavaScript function to test whether a string ends with a specified string.
Test Data:
console.log(endsWith('JS string exercises', 'exercises'));
true
Pictorial Presentation:
JavaScript: Test whether a string starts with a specified string
Sample Solution:-
HTML Code:
<!DOCTYPE html>
<html>
<head>
 <meta charset="utf-8">
 <title>JavaScript function to test whether a string ends with a specified string</title>
</head>
<body>
</body>
</html>
JavaScript Code:
function endsWith(input, string) {
 var index = input.length - string.length;
 return index >= 0 && input.indexOf(string, index) > -1;
 }
console.log(endsWith('JS string exercises', 'exercises'));
Sample Output:
true
Flowchart:
Flowchart: JavaScript: Test whether a string ends with a specified string
Live Demo:
See the Pen JavaScript Test whether a string ends with a specified string-string-ex-47 by w3resource (@w3resource) on CodePen.
Improve this sample solution and post your code through Disqus
Previous: Write a JavaScript function to test whether a string starts with a specified string.
Next: Write a JavaScript function to get the successor of a string.
What is the difficulty level of this exercise?
JavaScript: Tips of the Day
JavaScript: use strict
function getAge() {
 'use strict';
 age = 21;
 console.log(age);
}
getAge();
With "use strict", you can make sure that you don't accidentally declare global variables. We never declared the variable age, and since we use "use strict", it will throw a reference error. If we didn't use "use strict", it would have worked, since the property age would have gotten added to the global object.
Ref: _URL_


text:
Hear selections from new releases with our weekly Choral Featured Album Fridays at 11 a.m. central on the Choral Stream.
This week's Choral Featured Album is Missa Videte miraculum, the new release from the Choir of Westminster Abbey. Comprising 39 tracks, the record showcases the work of 16th century composer Nicholas Ludford.
About the album (from the Choir of Westminster Abbey's website)
Lesser-known Tudor composer Nicholas Ludford spent his career at the epicentre of English musical life yet is barely known to today's audiences. Born at the start of Henry VII's reign, his life spanned one of the most turbulent periods in the country's history, encompassing Henry VIII's break with Rome, the rise of Protestantism under Edward VI and the Catholic Revival under Mary Tudor. Ludford had strong links with Westminster, working at St. Stephen's Chapel in the Palace of Westminster, and later at St. Margaret's Church.
While his name may not be as familiar to modern audiences as his Tudor near-contemporaries Taverner and Tallis, this disc demonstrates that Ludford's music is equally worthy of attention for its intricacy, opulence and sheer inventiveness.
ResourcesMissa Videte miraculum (Hyperion Records)
The Choir of Westminster Abbey (official site)


text: Large-scale microscopy approaches are transforming brain imaging, but currently lack efficient multicolor contrast modalities. We introduce chromatic multiphoton serial (ChroMS) microscopy, a method integrating one-shot multicolor multiphoton excitation through wavelength mixing and serial block-face image acquisition. This approach provides organ-scale micrometric imaging of spectrally distinct fluorescent proteins and label-free nonlinear signals with constant micrometer-scale resolution and sub-micron channel registration over the entire imaged volume. We demonstrate tridimensional (3D) multicolor imaging over several cubic millimeters as well as brain-wide serial 2D multichannel imaging. We illustrate the strengths of this method through color-based 3D analysis of astrocyte morphology and contacts in the mouse cerebral cortex, tracing of individual pyramidal neurons within densely Brainbow-labeled tissue, and multiplexed whole-brain mapping of axonal projections labeled with spectrally distinct tracers. ChroMS will be an asset for multiscale and system-level studies in neuroscience and beyond.


text:
PictureBox.LoadAsync Method (String)
Loads the image at the specified location, asynchronously.
Assembly: System.Windows.Forms (in System.Windows.Forms.dll)
If the url parameter indicates a local file, the recommended format is a local file path. For example, an image file named myPicture.jpglocated atc:\ would be accessed by passing c:\myPicture.jpg for the url parameter. A full path, such as _URL_ or a relative path, such as./images/image.jpg, can be used. If a relative path is used, it will be considered relative to the working directory. A call to the Load method sets the ImageLocation property to the value of url.
A call to the LoadAsync method sets the ImageLocation property to the value of url. Besides calling the LoadAsync method, you must set the WaitOnLoad property to false to load an image asynchronously. When you load an image asynchronously, you can handle the LoadProgressChanged event to determine the progress of an image load or the LoadCompleted event to determine when an image load has completed. If an error occurs during an asynchronous image-loading operation, it will be caught and reported by the Error property of the AsyncCompletedEventArgs.
The following code example demonstrates how to use the LoadAsync method. To run this example, paste the following code into a Windows Form that contains a PictureBox named pictureBox1 and a Button named startLoadButton. Make sure that the Click event for the button is associated with the startLoadButton_Click method in this example. You must change the image file path to a path that is valid on your system.


text:
History of the Dan Beard Council
The Dan Beard Council has a long history of providing life-changing programs to the young men of the Greater Cincinnati and Northern Kentucky area. There have been a lot changes since the foudnding of the Scounting movement way back in 1910, but the character values of the Scout Oath and Law remain the same. One-hundred plus years later, the Scouting movement is the largest organized movement in the world and the largest youth organization in the United States. The Dan Beard Council's story is one of mergers and changes, progress and growth, and outstanding individual that gave of themselves for the cause of instilling good values in youth. We invite you to learn more about the development of the Scouting movement in the Greater Cincinnati and Northern Kentucky area - a history that begins even before the Boy Scouts of America itself was founded.
Daniel Carter Beard
Daniel Carter Beard was born in 1850 in Cincinnati, Ohio. In his youth, his family moved to 322 E. 3rd Street in Covington, Kentucky where Beard loved exploring the banks of the nearby Ohio River and the Banklick Creek region south of Covington. It was during these explorations, that Beard developed his great love for nature and outdoors living. In 1882, Beard wrote The American Boy's Handy Book, a book which gives instructions and advice on animals, outdoors, knots, tents, fishing and more.
In 1905, Beard founded the "Sons of Daniel Boone," an outdoor education and exploration program for young men. Boys were organized into "forts," uniforms were based on the outfits of frontiersmen and in place of ranks or advancement, boys earned notches and top notches for achievements in a variety of interest areas. In 1910, Beard merged his organization (then known as the "Boy Pioneers of America") into the fledgling Boy Scouts of America and became one of the first National Commissioners, serving Scouting for 30 years. The Daniel Carter Beard Bridge spanning the Ohio River and connecting I-471 in northern Kentucky to I-71 in Ohio was named in his honor and dedicated in 1981.
Mergers and Past Councils
The Dan Beard Council as we know it today is actually a merger of four original Councils that underwent many changes in their time.
- The first to form was the Fort Hamilton Council, founded in 1913, just three years after the founding of the Boy Scouts of America. The Fort Hamilton Council was headquartered in Hamilton, Ohio and the territory of the Council was defined as "Butler County Ohio with the exception of Middletown and Lemon Townships."
- The Middletown Council was chartered in February 1917 in Middletown, Ohio. It began as a provisional (second-class) council, but became a first-class council in 1920.
- In 1918, the Covington Council was founded as a "first-class" or non-provisional Council serving the city of Covington, Kentucky exclusively.
- A fourth Council, the Cincinnati Area Council was formed to serve the city of Cincinnati though its inception date is not known.
- In January 1925, the Covington Council was re-organized as the Northern Kentucky Council, headquartered in Covington, Kentucky, and serving the counties of Boone, Campbell, and Kenton.
- Around the same time, 1926, the Fort Hamilton Council was renamed the Butler County Council. In February 1931, the counties of Bracken, Grant, and Pendleton were added to the Covington Council's territory. The following year, 1932, the counties of Mason, Owen, Robertson and Fleming were added to the Covington Council.
- Meanwhile, in August 1928, the following territory was added to the jurisdiction of the Middletown Council: Warren County, Ohio, and Lemon, Liberty, Madison, and Union Townships in Butler County.
- In 1932, Union Township in Butler County was transferred to the Butler County Council's jurisdiction from the Middletown Council. The territory of the Butler County Council was now Butler County, Ohio, with the exception of the city of Middletown and the Townships of Lemon, Liberty, and Madison.
- In 1933, the Middletown Council changed its name to the Mound Builders Area Council. A 1936 charter renewal application showed the Butler County Council's name had reverted back to the Fort Hamilton Council.
- In 1941, the Northern Kentucky Council moved its headquarters to Newport, Kentucky. In May 1944, Gallatin County was added to the territory jurisdiction. In September 1951, the counties of Bracken, Fleming, Mason, and Robertson were transferred to the jurisdiction of Scioto Area Council, #457, Portsmouth, Ohio.
- In 1952, the Northern Kentucky Council moved its headquarters back to Covington and changed to Dan Beard Council.
- In January 1955, Liberty Township in Butler County was added to the Fort Hamilton Council's territory from Mound Builders Council.
- In October 1956, the Dan Beard Council consolidated with the Cincinnati Area Council, Cincinnati, Ohio, to form the Dan Beard Council, #438, Cincinnati, Ohio. The territory of this consolidated council in 1956 was Boone, Campbell, Gallatin, Grant, Kenton, Owen, and Pendleton counties in Kentucky; and Brown, Clermont, and Hamilton counties in Ohio.
- Effective January 1, 1959, Fort Hamilton Council, #448, Hamilton, Ohio, merged into Dan Beard Council, #438, Cincinnati, Ohio.
- Effective July 1, 1985, Mound Builders Area Council, #454, Middletown, Ohio, merged into Dan Beard Council, #438, Cincinnati, Ohio.
The Dan Beard Council Today
Since the final merger of the Mound Builder's Area Council in 1985, the Dan Beard Council's territory has remained the same until this day. The territoy at present inlcudes Boone, Campbell, Gallatin, Grant, Kenton, Owen, and Pendleton counties in Kentucky; and Brown, Butler, Clermont, Hamilton, and Warren counties in Ohio.
In 2009, the council moved it's headquarters from 2331 Victory Parkway in East Walnut Hills to the new Scout Achievement Center in Evendale, Ohio, ushering in a new century of Scouting for the Greater Cincinnati and Northern Kentucky area. Serving over 33,000 youth led by over 10,000 volunteers, the Dan Beard council has certainly grown from the early days of the Scouting movement and become a tradition of fun, achievement, and character development for families to enjoy for many years to come.
Last Updated on Tuesday, 14 August 2012 14:31


access_time 7 months ago languageEnglish
Microsoft vcpkg C++ Library Manager
visibility 248 comment 0
Microsoft vcpkg is a C++ library managers for Windows, macOS and Linux. For.NET, nuget is the commonly used package manager; for Java, Maven central and many other repositories are used by Maven or other build tools; for JavaScript, npm is a commonly used package manager and it is also the default package manager for JavaScript runtime environment Node.js. Microsoft vcpkg serves as similar purpose for C++ developers.
Install vcpkg on Windows
Before we can install vcpkg, make sure the following criteria are met:
 - Git - for cloning repository from GitHub
 - Windows 7 or newer
 - Visual Studio 2015 Update 3 or greater with the English language pack
Follow these steps to install vcpkg.
 1. Create installation folder. I recommend creating the folder in C drive to avoid path related issues.
 C:\>mkdir dev
 C:\> cd dev
 2. Clone the repository using the following command:
 git clone
 3. Run the following command to install vcpkg:
 4. Wait until the command is completed successfully.
Now we can use vcpkg to install C++ libraries.
Find libraries
Subcommand search is used to search libraries. The syntax looks like the following:
.\vcpkg\vcpkg search [search term]
For example, the following command searches for library openssl:
.\vcpkg\vcpkg search openssl
openssl 1.1.1i OpenSSL is an open source project that provides a robust, commercial-grade, an...
openssl-unix 1.1.1h#1 Deprecated OpenSSL port
openssl-uwp 1.1.1h#1 Deprecated OpenSSL port
openssl-windows 1.1.1h#1 Deprecated OpenSSL port
The results include a number of openssl related libraries.
Integrate vcpkg with Visual Studio
Run the following command to integrate vcpkg with Visual Studio:
.\vcpkg\vcpkg integrate install
The output looks like the following:
C:\dev>.\vcpkg\vcpkg integrate install
Applied user-wide integration for this vcpkg root.
All MSBuild C++ projects can now _TAG_ any installed libraries.
Linking will be handled automatically.
Installing new libraries will make them instantly available.
CMake projects should use: "-DCMAKE_TOOLCHAIN_FILE=C:/dev/vcpkg/scripts/buildsystems/vcpkg.cmake"
As mentioned in the output, you can include any installed libraries in your MSBuild C++ projects.
Use vcpkg in CMake
To use vcpkg with CMake outside of an IDE, you can use the toolchain file for CMake:
cmake -B [build directory] -S. -DCMAKE_TOOLCHAIN_FILE=[path to vcpkg]/scripts/buildsystems/vcpkg.cmake
For this article, the path is:
cmake -B [build directory] -S. -DCMAKE_TOOLCHAIN_FILE=C:/dev/vcpkg/scripts/buildsystems/vcpkg.cmake
Use CMake with Visual Studio
Open the CMake Settings Editor, and under CMake toolchain file, add the path to the vcpkg toolchain file:
Example - openssl
Now let's implement this example that installs openssl: CMake Build Error - Could not Find OpenSSL on Windows 10.
Follow these steps:
 1. Run the following command to install package openssl:
 C:\dev>.\vcpkg\vcpkg install openssl:x64-windows
 Alternatively, you can also use the following command:
 C:\dev>.\vcpkg\vcpkg install openssl --triplet x64-windows
 I am using triplet x64-windows to match my project requirements. By default x86 triplet will be used.
 The following text will be printed out if in your system CMake version is lower than 3.19.2. I would recommending upgrade CMake versions.
 A suitable version of cmake was not found (required v3.19.2). Downloading portable cmake v3.19.2...
 Downloading cmake... -> C:\dev\vcpkg\downloads\
 For the first time, many other dependencies will also be downloaded. It will takes a while to download for the first time.
 2. Test openssl by running the following command:
 C:\dev>openssl version
 OpenSSL 1.1.1g 21 Apr 2020
 3. Create a project folder named C:\hdp\cmaketest.
 4. Create file CMakeLists.txt in the project folder with the following content:
 cmake_minimum_required(VERSION 3.10)
 # set the project name
 # Find package
 find_package(OpenSSL REQUIRED)
 5. Change directory to C:\hdp\cmaketest.
 cd /D C:\hdp\cmaketest
 6. Run CMake command:
 cmake. -DOPENSSL_ROOT_DIR="C:/dev/vcpkg/installed/x64-windows"
 The output looks like the following:
 7. Congratulations, openssl dependency is met.
copyright This page is subject to Site terms.
Like this article?
Share on
Please log in or register to comment.
account_circle Log in person_add Register
Log in with external accounts
Follow Kontext
Get our latest updates on LinkedIn.
Want to contribute on Kontext to help others?
Learn more
More from Kontext
visibility 4610
thumb_up 1
access_time 2 years ago
visibility 240
thumb_up 0
access_time 7 months ago
visibility 10964
thumb_up 0
access_time 6 years ago


text: Mississippi Cake (1860) One pint of the best yellow cornmeal, a pint of buttermilk, two tablespoonfuls of melted butter, two eggs, a teaspoonful of salt, and a teaspoonful of saleratus. This cake sounds like some good cornbread, even if called a cake. The recipe is from "Civil War Recipes Receipts from the Pages of Godey's Lady's Book". Note: Saleratus: Soda bicarbonate (baking soda). It was introduced about 1840. It required the addition of cream of tartar to work.


The dioptre is a unit of measurement used to describe how well a person sees.
Farsightedness is measured in positive dioptres, and nearsightedness is measured in negative dioptres. Astigmatism is measured in dioptres that can be either positive or negative.
With dioptres, the farther a measurement is from 0, the more severe the refractive error. For example, if a person has -4 dioptres of nearsightedness, it means that the farthest point you can see clearly is one-fourth of a metre (about 10 inches) from your eye.
Is it an emergency?
Thanks to our partners and endorsers:


Purpose: How to write a GlideRecord loop to batch update Records in ServiceNow using a Functional Programming style
Use: Use this script in a Server Script. Typically this will be used in a Background Script, Scheduled Job, or Fix Script in order to execute a batch operation to fix records, particularly after a data import, system upgrade, or app upgrade. In the following example, a fix could be applied to every incident record and a comment added to annotate the fix.
 * Applies the callback function to each incident record
 * in the query
 * _USER_ {Function} callback - Callback function applied to each incident record
function forEachIncident(callback) {
 var tableName = 'incident';
 var incident = new GlideRecord(tableName);
 while (incident.next()) {
 callback(incident); // Apply callback to the record
 * Adds comment to a single incident record
 * _USER_ {GlideRecord} incident - An Incident GlideRecord instance
function addComment(incident) {
 incident.comments = 'This comment will be added';
// This example will loop through all incident records and add a comment


How to Examine Events
How to Examine Events
To examine the events that a cell in the main grid summarizes:

1.Click a cell in the main grid to open the Events list. For each event, the list gives details about what happened to cause the event.
2.Optionally, double-click an event in the list to view a history of the vehicle, including the time when the event occurred.


text:
Author(s): P. Sivananda1, T. Sudheer2, P. Varun Kumar3, P. Mani Kumar4
We here report a rare presentation of bilateral anterior dislocation of shoulder with associated fracture of greater tuberosity in a 38 year old male due to minor trauma which he sustained secondary to hyponatremia induced irritability. There was no associated rotator cuff tear which is often associated with BADS which makes this presentation unique. Unilateral dislocation of shoulder is a common condition which is frequently encountered in emergency trauma department. Anterior dislocation is more common than posterior dislocation. However, simultaneous bilateral shoulder dislocations are usually posterior. Bilateral anterior dislocations with fractures of the greater tuberosity are even rarer and are usually associated with trauma or seizures.


text:
In this study, we investigated the change in biodegradability of biodegradable polymer films by deep-ultraviolet laser irradiation with different pulse durations. Measurements of water absorption and mass change as well as microscopic observation revealed that the femtosecond laser irradiation significantly accelerated the degradation rate of the biodegradable polymer films, whereas the nanosecond laser irradiation did not induce a comparable degree of change. Analyses with X-ray photoelectron spectroscopy and X-ray diffraction indicate that the difference in the biodegradability following laser irradiation with different pulse durations is attributable to the difference in chemical structure for amorphous polymers including PLGA, while the difference in chemical structure as well as crystallinity affects the biodegradability for crystalline polymer including PLLA. The obtained results suggest that deep-ultraviolet laser processing enables the fabrication of a tissue scaffold with a desirable degradation rate.
|ジャーナル||Applied Physics A: Materials Science and Processing|
|出版ステータス||Published - 2017 6月 1|
ASJC Scopus subject areas
- 化学 (全般)


text: This is a portal to the FIRE Project. Its primary purpose is to chart the history of the Charles W Morgan which is the last surviving squared-rigged whaleship, built in 1841. The Morgan moved to its current location at Mystic Seaport in Connecticut USA in November 1941. Work began in 2008 on a major restoration that aims to return the Morgan to full sailing condition, to make a Restoration Voyage along the coast of New England in 2013. The first stage in developing this portal will be to post all the historic news relating to the Morgan and then to follow in real-time. In the process, this portal will also consider whaling in history and whaling today.


text:
Step-by-Step Guide to Table Measuring & Pattern-Making
Illustration on how to measure your leafs
To avoid measuring and patterning errors, be sure to keep the following points in mind as you move forward:
- Use a metal tape measure for the best results
- Avoid using the table manufacturer's measurements
- Remove extension leaves before measuring (they should be measured separately).
Measuring your table only takes a few minutes. It's important to avoid measuring slopes or molding. Instead, focus on the flat surface of the table.
- From the center split, measure the table's width to the nearest 1/16"
- Down the center, measure your table's end-to-end length
Unless your table is perfectly round, square, or rectangular, creating a pattern is an essential part of the process. As with measuring, be sure not to include extensions, slopes, or molding.
- Align the pattern paper with the table's center split
- Smooth out any wrinkles
- Weigh the paper down with a heavy object to keep it in place
- Use the side of a pencil or crayon's tip to trace the table's edge


Is Crystal Clear An Idiom?
Is clear as crystal a simile?
They're both very quiet, but "as quiet as a mouse" is the popular simile.
What is as clear as?
to be very easy to see or understand, or to be impossible to doubt. I remember it as clear as day. Synonyms and related words.
What does clear as day mean?
What are the 20 idioms with meaning?
20 English Idioms with Surprising OriginsStraight from the horse's mouth. Meaning: getting information directly from the most reliable source. … Let the cat out of the bag. Meaning: to mistakenly reveal a secret. … Butter someone up. … Pulling someone's leg. … Wolf in sheep's clothing. … Hands down. … Riding shotgun. … Barking up the wrong tree.More items…•Aug 4, 2016
What words are idioms?
How do you use crystal clear in a sentence?
She was in her mid-twenties, with crystal clear blue eyes and porcelain skin. Ouray County was perfect for invigorating outdoor activity, with its crystal clear air and dry, windless temperatures just below freezing. The water is so crystal clear that one inadvertently steps into it.
What is a better word for clear?
1 fair, cloudless, sunny. 2 translucent, limpid, crystalline, diaphanous. 8 intelligible, comprehensible, lucid, plain, perspicuous. 10 obvious, manifest, apparent, unmistakable.
What does idioms mean in English?
An idiom is a phrase or expression that typically presents a figurative, non-literal meaning attached to the phrase; but some phrases become figurative idioms while retaining the literal meaning of the phrase. Categorized as formulaic language, an idiom's figurative meaning is different from the literal meaning.
Is clear as day an idiom?
If something is as clear as day, it is very easy to see, or very obvious and easy to understand. Suddenly she stepped out from behind a tree less than ten yards from me. I saw her face as clear as day.
What does the phrase crystal clear mean?
Water that is crystal clear is absolutely clear and transparent like glass. … If you say that a message or statement is crystal clear, you are emphasizing that it is very easy to understand. [emphasis] The message is crystal clear–if you lose weight, you will feel better.
What is another word for crystal clear?
What is another word for crystal clear?apparentclearclear-cutdistinctevidentlucidobviousperspicuousplaintransparent234 more rows
What does clear as mud mean?
informal. : very difficult to understand : not clear at all The explanation was as clear as mud.
What are the 20 idioms?
Is crystal clear a metaphor?
Origin of crystal-clear Emphatic form of clear in visual and metaphorical "understandable" senses.
What is the opposite of crystal?
An anticrystal is a theoretical solid that is completely disordered, making it the opposite of a crystal. … Amorphous materials may display regions with atoms in repeating patterns, but without crystalline order.


text:
Time from customer order received to customer order delivered.In detail:
Order Lead Time is the longest lead time. When a customer sends an order, the clock starts ticking. This ticking ends onlywhen the order has been fulfilled and the customer has received what was requested. If the order consists of several deliveries, measuring ends when the last delivery is received or each delivery can be tracked on its own. This time represents the ability to respond to orders and is almost always up to the effectiveness of the supply chain. Order Lead Time is the only lead time that is of interest to the customer because the customer only wants to know when he or she will receive what was ordered. This is easy to understand when compared to ordering from the Internet. After one has placed the order, it is nice to get emails telling that it has been processed or sent, but all that one really care about is the date when the products should arrive.
Time from customer order received to sales order created.In detail:
Customer orders can be received through several methods, including fax and email. When the order has been received, measuring of Order Handling Time begins which ends when the order has been entered into the system. Between these two steps, the order has to be validated to ensure its correctness. It has to include all needed information, e.g. requested delivery date, delivery address, products, quantities and prices. Order entry processing includes checks to export control, transportation time, sales availability and product life cycle. Optimally, the Order Handling Time should be a day or less, but in international firms, that might be hard to achieve. Even more important is order correctness, which requires high attention as mistakes can cause severe delays later on down the supply chain.
Time from sales order created to production finished (ready for delivery).In detail:
When the order is input to ERP, it is visible at the factory. It is also when measuring of Manufacturing Lead Time begins as the ball is handed to the factory. It is their job to confirm material availability, plan and begin production and prepare the goods for shipment. For following how fast orders are actually fulfilled at the factory, Manufacturing Lead Time gives the needed information. In Make-to-Stock production, this is the most important phase where time can be saved or wasted. Manufacturing Lead Time is an external measurement; it does not tell what has been made, but how fast the finished goods are ready to be shipped. If inventory value was not important, ready-made units could be simply stored in a huge warehouse and shipped after an order is received, which would lead to an extremely short Manufacturing Lead Time. This is, of course, not a real situation as it is not cost efficient and would lead to a high risk. As Manufacturing Lead Time does not see what is happening inside the factory, it solely is not enough. There has to be an internal measurement as well.
Time from start of physical production of first submodule to production finished (ready for delivery).In detail:
The factory's internal measurement is Production Lead Time. As actual production of the ordered product begins, starts also Production Lead Time. Usually, the finished module is assembled from submodules. Production Lead Time for a certain module is counted from the oldest submodule's production start to the module being packed and ready to ship. For submodules, the moment when production can be seen as started is when it has a serial number, i.e. when the ID label is printed on it. Whereas Manufacturing Lead Time is an external measurement, Production Lead Time is an internal measurement. It does not tell how fast after an order the product was ready, but it tells how long it took to make it. The time it took to produce a finished module tells also how long effort and money were bound to it before it was of any actual value to someone.
Time from production finished to customer order delivered.In detail:
After the work at the factory has finished and the products are packed and ready to ship, delivery process begins. The exact moment for this is pressing post goods issue for outbound delivery, which decreases inventory, enables billing and allows booking transportation. Measurement ends when the delivery is signed as received at the destination and the customer has received the order. Delivery Lead Time is usually quite static and depends on the chosen transportation method and the distance to the destination. It can be shortened only to a certain extent, mainly by reducing extra steps that add waste like non-value handling or waiting. In international deliveries, Delivery Lead Time can be the most time consuming part of the Order Lead Time, especially in the MTS model.
Click a term to show its explanation!
Click again to close!
Lead Time is a widely used measurement in manufacturing. It tells how much time it takes to start and finish something. Lead Time terms can be seen very differently, depending on personal preferences and work background, which is why these terms were defined. The scope of these terms is from customer order received to customer order delivered, which is the most vital measurement for any company and solely up to the structure and effectiveness of the firm. Steps from customer order received to delivery received by the customer are represented by five terms. They are listed in a temporal sequence and explained in detail above. The amount of work each term covers varies and some of them are timely situated parallel to each other.
A restaurant opens up and a customer walks in. A waiter guides him to a table, gives him the menu and asks what he would like to order. The customer selects a dish and the waiter writes it in his notepad. At that moment the customer has made an order which the restaurant has accepted - Order Lead Time and Order Handling Time have begun.
Now the waiter marks the order in the cash register, rips the paper from the notepad, takes it into the kitchen and puts into the order queue. The order has been handled and is waiting in the factory (kitchen) for manufacturing.
As there are no other customers, the waiter decides to stand outside the kitchen, by the door, waiting for the dish to be prepared and begins calculating Manufacturing Lead Time.
Meanwhile, the chef finishes what he was doing, takes the order from the queue, starts his clock as a mark for the start of Production Lead Time and begins cooking. The chef chops the vegetables, fries the meat and boils the pasta. When the dish is ready, the chef rings a bell and stops his clock.
At the same time the waiter stops calculating Manufacturing Lead Time and rushes through the kitchen door to get the food while it's hot.
When he picks it up, begins counting of Delivery Lead Time that ends when the dish is served to the customer, who can now happily say that the Order Lead Time was shorter than he had expected.
As you can see, these terms can be easily applied to other circumstances than telecommunications production. In fact, the only limiting factor is that there needs to be a customer.
Out of the Lead Time terms there are two that have a special relation to each other. These two are Manufacturing Lead Time and Production Lead Time, which both measure the efficiency of production. Manufacturing Lead Time measures exactly the same steps than Production Lead Time but includes also steps before production is started. Production Lead Time on the other hand begins only when the first submodule is started.
What these terms have in common is also the thing differentiating them. They both tell how good the production is in something but with a difference. Manufacturing Lead Time measures how fast an order is fulfilled - how long it takes for the factory to dispatch the ordered products calculated from the moment the order was input to the system. It is an external measurement. Once the order is in the system, it is the factory's task to produce it as fast as possible. In the perspective of Manufacturing Lead Time, speed can be achieved by having huge buffers of ready-made products simply waiting to be delivered. This way it would be possible to fulfill orders in a few moments. The model could be compared to a supermarket - just pick up the products requested.
However, having a large buffer of expensive basestations that are not necessarily ordered even weekly would introduce sky high inventory costs. This is where Production Lead Time can be seen as useful. It measures how long resources are tied up before they are of actual value to someone. It is an internal measurement. Once production starts, expensive components are used to build the modules, but it doesn't create any profit before a while after the customer has received it. Basically any time spent in a buffer or a warehouse is a waste of resources and should be avoided. For these buffered products Production Lead Time would be painstakingly long as the time measured doesn't end when the product is finished and packed. Instead, it ends when the delivery of these products starts, so having an extremely short Manufacturing Lead Time on the expense of Production Lead Time is definitely not the correct approach.
A balance can be found between the terms - a situation where both give out good metrics. This is achieved when a short Manufacturing Lead Time is gotten through improving production so that Production Lead Time is also short. Lets consider a production that is run by purchase orders. Once an order is in the system, production begins at the first available time in the schedule and all the required components and parts are available without extra procurement delay. In this case the best results overall are gotten when the production is efficient so the product is made quickly. In a situation like this, Manufacturing Lead Time is not the shortest possible but instead it is quite close to Production Lead Time, being only slightly longer due to scheduling delay. But it has to be longer in a PO controlled production to avoid high inventory costs.


text:
Estonia studies mobile geolocation data to analyse movements
Estonia's Government Crisis Commission has instructed the state statistical office, Statistics Estonia, to use mobile geolocation data from companies such as Telia, Elisa, and Tele 2 in order to study people's movements to prevent the spread of COVID-19. Statistics Estonia hoped to launch the project during the week of March 24, 2020. Mart Mägi, the director general of Statistics Estonia, said the intention was to analyse people's movements before and after emergency measures were implemented, and that, if the telcos agreed it was feasible, data processing would take place only within Statistics Estonia's secure environment. The data protection inspectorate has agreed that this tracking is legitimate as long as the data is not personalised and it is used only for the purpose of providing generalised results.


text:
In a Post-Truth culture, objective facts are less influential in shaping opinion. Instead, appeals to emotion and personal belief become the major governing factors. How does this impact youth ministry? How do we elevate Scripture as true and relevant? Join the YMI team as we explore Youth Ministry in a Post-Truth Culture.
Event: Youth Ministry Institute Youth Leadership Conference
Location: Johnson Ferry Baptist Church, 955 Johnson Ferry Rd, Marietta, GA 30068


text:
All students doing any nationally recognised training, need to have a Unique Student Identifier (USI). The Unique Student Identifier or USI is a reference number made up of 10 numbers and letters that:
- Creates a secure online record of your recognised training and qualifications gained in Australia, even from different training organisations
- Will give you access to your training records and transcripts
- Can be accessed online, anytime and anywhere
- Is free and easy to create and stays with you for life
Your USI must be provided to and verified by MPAQ before a student can be issued with, or receive, a statement of attainment.
If you already have a USI, this must be provided to MPAQ during enrolment, upon completing the enrolment form, consent is requested for MPAQ to apply for a USI on your behalf. If a USI is created by MPAQ on your behalf you will be notified of this via email or SMS from the USI Registry.
MPAQ requires one of the following documents below to create and/or verify your USI:
- Australian Driver's Licence
- Australian Passport
- Australian Visa (with non-Australian passport)
- Australian Birth Certificate
If you don't have one of the above documents you can use one of the following:
- Medicare Card
- Certificate of Registration by Descent
- Citizenship Certificate
The personal details on the enrolment form must match your Identification. When creating the USI, it will be created as per the information displayed on the Identification. If the details on the enrolment form and USI do not match MPAQ will be unable to verify the USI. MPAQ is not able to Issue your qualification or certificate without your USI being verified first.
The following details are used to create your USI:
- First Name and Family Name
- Date of Birth
- Country of Birth
- Town/City of Birth
- Mobile Number and/or email address.


PAOs vs PAGs
PAO_vs_PAG
Q: What's the main difference between PAOs & PAGs?
Let's start off with definitions!
PAO: Polyalphaolefin
PAG: Polyalklene Glycol
While both are synthetic oils they are classified under different Groups of Base oils. PAOs have their own Base oil Group IV while PAGs fall into the Group V (catch all).
PAOs
PAOs are actually hydrogenated oligomers of an α-olefin and there are different methods of oligomerisation. Due to this process, PAOs have very good low temperature properties and the products are wax free! Additionally, their lower volatilities also allow them to operate over a wide temperature range. Usually, they can be used in a lot of versatile applications such as gearboxes, screw compressors, fans, motors and even automotive!
However, PAOs have a low polarity which gives rise to poor solvency of polar compounds and issues with seal performance.1
PAGs
On the other hand, PAGs can differ depending on their structure. For instance, Ethylene is water soluble while Propylene is not, however, neither are oil soluble. Both experience significant chemical reactions producing sludge like deposits when mixed with mineral oil.
Usually, their properties include a wide viscosity range, low pour points, good lubricity, low toxicity and non-flammable in aqueous solutions. PAGs are typically always found in fire-resistant hydraulic fluids as well as industrial gear oils, compressor lubricants, heat transfer liquids and metalworking fluids.1
Compatibility
Both products need to be tested for compatibility with mineral oils before any mixing occurs. Additionally, most lubricant suppliers deem PAOs & PAGS as "filled for life" solutions which last for a longer time compared to mineral oils. Typically, the purchase of these products are more expensive than mineral oils, however if one looks at the cost of waste disposal and reduced downtime (due to decreased shutdowns for oil changes) the overall cost of the lubricant is by far less than that of mineral oil.

References:
 1. Chemistry and Technology of Lubricants 3rd Edition, Chapter 2, R.M. Mortier, M.F. Fox, S.T. Orszulik
Share
You may also like


Lezgian also called Lezgi or Lezgin, is a language that belongs to the Lezgic languages. It is spoken by the Lezgins, who live in southern Dagestan and northern Azerbaijan. Lezgian is a literary language and an official language of Dagestan. It is a Caucasian language of the Nakh-Daghestanian language family ( Archi, Tabassaran, Agul, Rutul, Tsakhur, Budukh, Kryz, Khinalug, and Udi ) spoken in Azerbaijan and Daghestan. More specifically, it falls under Eastern Samur group of Lezgic languages (Lezgi, Agul, Tabassaran)
Key spoken dialects: Küre and Axty in Daghestan; and Qusar (Quba) and Ismayilli in Azerbaijan. Standard Lezgi which is the standard dialect is based on the Küre dialect.


phrases, sayings, idioms and expressions at
The meaning and origin of the expression: Back to basics
Browse phrases beginning with:
Back to basics
A return to previously held values of decency.
This became prominent in current language in the UK with a 1993 speech by UK Prime Minister John Major, although it had been used in everyday language long before that.
"The style and tone of the churches have undergone a major adjustment, gradually turning toward a 'back-to-basics' approach. "


Diffing Customization
It is possible for an application to be OutOfSync even immediately after a successful Sync operation. Some reasons for this might be:
 - There is a bug in the manifest, where it contains extra/unknown fields from the actual K8s spec. These extra fields would get dropped when querying Kubernetes for the live state, resulting in an OutOfSync status indicating a missing field was detected.
 - The sync was performed (with pruning disabled), and there are resources which need to be deleted.
 - A controller or mutating webhook is altering the object after it was submitted to Kubernetes in a manner which contradicts Git.
 - A Helm chart is using a template function such as randAlphaNum, which generates different data every time helm template is invoked.
 - For Horizontal Pod Autoscaling (HPA) objects, the HPA controller is known to reorder spec.metrics in a specific order. See kubernetes issue #74099. To work around this, you can order spec.replicas in Git in the same order that the controller prefers.
In case it is impossible to fix the upstream issue, Argo CD allows you to optionally ignore differences of problematic resources. The diffing customization can be configured for single or multiple application resources or at a system level.
Application Level Configuration
Argo CD allows ignoring differences at a specific JSON path. The following sample application is configured to ignore differences in spec.replicas for all deployments:
spec:
 ignoreDifferences:
 - group: apps
 kind: Deployment
 jsonPointers:
 - /spec/replicas
The above customization could be narrowed to a resource with the specified name and optional namespace:
spec:
 ignoreDifferences:
 - group: apps
 kind: Deployment
 name: guestbook
 namespace: default
 jsonPointers:
 - /spec/replicas
System-Level Configuration
The comparison of resources with well-known issues can be customized at a system level. Ignored differences can be configured for a specified group and kind in resource.customizations key of argocd-cm ConfigMap. Following is an example of a customization which ignores the caBundle field of a MutatingWebhookConfiguration webhooks:
data:
 resource.customizations: |
 admissionregistration.k8s.io/MutatingWebhookConfiguration:
 ignoreDifferences: |
 jsonPointers:
 - /webhooks/0/clientConfig/caBundle


text:
Introducing the sub-photon as a basis of the structure of photons
Considering that the smallest, fastest, and lightest object in the universe is photon and the universe mass is about 1053 kg, if we consider the photon as the basis of the Big Bang, the volume and density are far different from the information that obtained for the Big Bang before. In other words, the photon is not the desired particle that could have formed the Big Bang sphere. Therefore, we define a special particle called "sub-photon" with dimensions of one billionth of a photon (in terms of radius value). In this paper we will show that this fundamental particle could be the basis of the structure of photons.
Author: Gh Saleh.


Coperion Newsletter Plastics InFocus Headerimage
How to Handle Liquids in Compounding Applications
While most of the ingredients for compounding processes are in solid form, liquids are also regularly used and can offer advantages in certain situations and particular applications.
Coperion K-Tron Liquid Feeder
Coperion K-Tron's modular liquid loss-in-weight feeders offer high accuracy addition of liquid additives in compounding processes.
Liquid ingredients such as oils or silicas can mix and disperse more effectively and can deliver faster reaction times in reactive processing. However, there are also a number of issues to consider when feeding liquids in plastics compounding operations.
Learn more about benefits and challenges when feeding liquids in these Questions & Answers.
What challenges can be encountered when feeding liquids and how can these be overcome?
Liquids tend to be incompressible, which means when they are fed the physical properties do not change. Variations in bulk density can be a massive issue in feeding bulk solids, but with liquids provided you have a consistent "volumetric" throughput you should get the equivalent "gravimetric" throughput.
Unfortunately, as flow rates and pressures increase the flow becomes less predictable, because of slippage back through the pump and cavitation (irregular filling of pump head), it becomes essential to provide a secondary measurement. As flow-meters suffer in the same way as described above the best way to measure and therefore control these materials is using a precise weighing system such as a loss-in-weight liquid feeder with high accuracy weighing technology.
Viscosity is a challenge because when a liquid is highly viscous it does not want to flow. This affects the type of pump that can be used. In most cases Coperion K-Tron recommends the use of gear pumps because they result in a very linear flow. Depending on the material characteristics we sometimes use membrane pumps instead. When a liquid is too viscous, one solution is to heat it up to reduce the viscosity. Coperion K-Tron then incorporates heating systems in the feeder to keep the liquid flowing as it is fed into the process.
Coperion K-Tron Liquid Feeder
Coperion K-Tron's modular liquid loss-in-weight feeders are available with insulation and heating systems to keep viscous liquids flowing.
What are the latest developments in liquid feeders?
When feeding liquids, the special requirements of each application vary widely. Thanks to the new modular design of the Coperion K-Tron Loss-in-Weight Liquid Feeders, a broad range of pumps and tanks can easily be combined to constitute a reliable liquid feeding system representing the ideal configuration for the specific application.
Although each liquid feeder is custom-designed to meet the desired feed rate, the process demands, the characteristics of the liquid, and the new modular concept streamlines the layout and engineering process of a feeder, thus reducing its lead time and initial cost. The new modularity also provides benefits in terms of a uniform mechanical construction as well as identical operation and maintenance for multiple differently sized units. This simplifies feeder operation, maintenance and spares inventory which in turn saves effort and cost. The same applies for retrofits..
Coperion K-Tron's modular liquid feeders are ideal for accurate gravimetric feeding of liquids in either continuous or batch operation. The liquid is metered by a pump outside the scale area. The feed pump is selected according to the feeding capacity which is required and the characteristics of the liquid to be fed. The modular concept makes it easy to tailor each liquid feeder to the parameters of the customer process.
The foundation of this modular liquid feeder is a base frame, available in various lengths and widths, which can be outfitted with optional feet or casters. The pump and weigh bridge are mounted on the base frame. The pump technology is selected depending on the viscosity of the liquid, for example gear or membrane pump.
The exclusive, patented Smart Force Transducer (SFT) weighing technology features vibrating wire technology and an on-board microprocessor with fine-tuned control algorithms to ensure high feeder accuracy. The storage tank is mounted on the scale; standard sizes range from 7.5 up to 300 liters, but larger custom systems have also been realized. A flexible connecting line is required between tank and pump. Depending on the needs of the application, additional options such as insulation or heating systems to maintain the process temperature can be supplied as well. ATEX configurations are also available.
Coperion K-Tron Liquid Feeder
Anatomy of a mineral oil feeder for an extrusion system
What are the most important key features in liquid feeding for sheet foam manufacture?
Within many compounding processes the liquid component is introduced downstream under melt pressure to avoid early degradation of anti-static properties, for example. Working together with an international customer in the UK, Coperion K-Tron has developed several special configurations to handle low pressure addition to an atmospheric port in the case of cross-linking promoters / catalysts in sheet foam manufacture.
The addition rate is critical, hence the need for accurate gravimetric feeding and the nature of these fluids means that the pump selection is critical, requiring extensive trials to ensure long life. We discovered progressive cavity PD pumps with stainless rotors and fluoropolymer elastomer or EPDM stators worked extremely well, with a linear flow rate, but only for a short time because the elastomer absorbed the fluid and became deformed. Switching to conventional gear pumps with a loading valve worked well until the shaft seals failed due to rubber ingress. The final solution, which is now in production on many foam lines, uses our SFT weighing technology coupled with magnetically driven gear pumps, sealed from all mechanical forces.
Your Contact


text:
This study examines how probation officers' (POs) knowledge of juveniles' trauma influences probation practices. The study was conducted with POs who responded to a Web-based survey (n = 308). The POs were directed to randomly select one juvenile from their caseload and to complete the Probation Practices Assessment Survey to assess their knowledge of the youth's lifetime trauma and past-year stressful life experience and their practice approaches. Nineteen percent of youths were reported as having had lifetime exposure to at least one type of trauma (for example, physical assault, sexual assault, witness violent death). The most common traumatic experience was sexual assault, with 11% of POs reporting this experience among the study youths. Structural equation modeling results indicated that POs' knowledge of cumulative exposure to trauma is associated with treatment-oriented probation and counseling approaches. Results of this study signal the importance of careful assessments of exposure to trauma and stressful life events among youths on probation. The use of specialized trauma-informed assessment strategies also are recommended to increase the sensitivity of juvenile justice programs to trauma.
- _TAG_ the UN in Geneva | UNICEF
- Varieties of Moral Orders and the Dual Structure of Society: A Perspective from Positioning Theory
- Costa Rica has made major socio-economic progress but more efforts needed to reduce inequality and poverty
- Mandated reporters' experiences with reporting child maltreatment: a meta-synthesis of qualitative studies
- Unfortunate Cautionary Tale of Poverty in Maine
Category Specific RSS


How Employee Voice and Recognition Boosted Engagement at Bayhealth
How employee voice and recognition boosted engagement at Bayhealth
Taking a clue from their adage to strengthen the health of their communities one life at a time, Bayhealth prioritized the strength of their teams with a strategic focus on employee voice and recognition, and the goal of improving engagement.
For all organizations, improving a culture of approval is critical to driving the booking needed to succeed. In fact, according to the Brandon Hall Group's 2020 Culture of Recognition report, organizations that rate their culture of recognition highly are 2. 5x more likely to see increased hire engagement–a known outcome of frequent and meaningful approval.
Here's how Bayhealth, Delaware's largest not-for-profit healthcare system with 4,000 hires, encouraged a culture of acceptance and boosted action across the organization.
Turning top-down recognition into greater transparency
Grappling with outdated approval traditions that were siloed and without discernible significance, Bayhealth departed in search of a new mixture. They needed a platform that would take them from handwritten notes committed from overseer to employee, to a dynamic tech-forward solution that was easy to use, allowed for transparency across the organization, and altered their growing–and largely mobile–workforce.
Understanding that their employees too required recognition that was in-the-moment, two-way and technology-focused, Bayhealth opted to partner with Achievers, the chairwoman in acceptance and wages technology.
Using Achievers Employee Success Platform, Bayhealth launched their new recognition curriculum and appointed it Driven–a testament to their commitment to doing, and being, better. Upon its launch, Driven began to move the needle on engagement in a big way.
Previously among the lowest values on their date cross-examine, acknowledgment at Bayhealth met a. 11 stage mount to 3.79( on a scale of 1-5) in the first year of their program. Similarly, changes to the frequency and opennes of peer-to-peer identifications impacted action values, rapidly moving them out of the bottom quarter of the industry average, where they previous seat. These chassis and their real impact on the organization are largely attributed to the enthusiastic adoption of their Achievers program among Bayhealth employees. Despite being a primarily portable personnel, works were agitated and interested to recognize and reward their peers and interact with the recognitions of others employing the platform's mobile and social capabilities.
98 percent of Bayhealth works have activated their planned accounting and 84 percentage are using the programme monthly
Implementing easy ways to recognize and has an influence
90 percent of workers say that when they receive approval, it causes them to work harder. While optimal hire accomplishment was something that Bayhealth strived for, they understood that the positive effects of recognition went beyond merely laborer output.
To Bayhealth, acknowledgment is not only about the employee, it was about the customer–or in such cases, the patient. The society understood matters by aligning its values with actions that drive improved employee booking and performance, the patient experience could be positively affected.
Using the robust reporting capabilities in the Achievers platform, supervisors at Bayhealth were able to find brand-new and artistic ways to recognize their teams in times that would have maximum significance. For instance, Bayhealth's chief nurse detective captured "great catches" each day and shared the good news tales and recognitions during safe huddles. This public recognition was two-fold: it aroused a culture of recognition and reinforced Bayhealth's focus on patient safety.
Leveling up hire listening
To genuinely make their employee engagement to the next grade, Bayhealth chose to complement their acceptance planned with Achievers Listen, Achievers' dynamic work expres solution.
Seamlessly integrated with their Driven program, Listen lets Bayhealth to uncover how hires feel about the performance of their duties and why, in the moments that matter most to them. Bayhealth can now tap into real-time feedback with Listen's Check-Ins feature and gathering a robust and timely given of insights through its frequent Pulse examinations. This approach has allowed them to understand engagement at different points throughout the year and accomplish awfully change by addressing employee concerns as they arise.
Using their hire feedback and data-driven insights from Listen, commanders at Bayhealth are able to take action and upshot positive change that drives engagement across their teams. When it comes to feeling heard, 90 percent of workers say that they are more likely to stay at a company that takes and acts on feedback. That's an important figure for organizations like Bayhealth that want to keep their immense talent.
Seem forward with a 360 thought
By pairing two dynamic technologies together, Bayhealth is empowered with a holistic 360 -degree view of their hire ordeal. Armed with real-time feedback and a program supported by science, they continue to bolster commitment across the organization.
Download Case Study Red CTA Button
What do you think about this article? Share your observes below.
The post How Employee Voice and Recognition Boosted Engagement at Bayhealth sounded first on Engage Blog.
Read more: feedproxy.google.com


webMathematica > Configuration >
 - KernelBaseMemoryLimit is a configuration setting that sets the limit in bytes for the base amount of memory that a Mathematica kernel can use. The base amount of memory is measured as the memory usage at the start or end of a computation, and is not influenced by temporary usages of memory inside of a calculation. When the memory limit is exceeded the kernel is restarted. To limit temporary usages you should use KernelPeakMemoryLimit.


#73 Ignacio Nicknamed Nacho
Written by Food Non-Fiction October 20, 2020
This is the incredible true story behind the cheesy, crunchy dish that everyone loves - Nachos! This story of nachos was uncovered by children's book author, Sandra Nickel, who wrote the illustrated children's book titled "Nacho's Nachos The Story Behind the World's Favorite Snack".
Sandra found descendants of three key people involved in the creation of nachos and heard the nachos origin story directly from them. She corresponded with 1) Luis Ignacio Anaya (the grandson of the person who invented nachos), 2) Patricia Finan de los Santos (the granddaughter of the customer that nachos were first created for), and Rodolfo de los Santos Jr. (the son of the person who owned the restaurant where nachos were invented).
The story of nachos goes like this…In 1940, four women from Eagle Pass, Texas went to Piedras Negras, Coahuila to eat at the Victory Club. At least one of these women, Mamie Finan was a regular there. They asked Ignacio Anaya for a new snack. Always wanting to keep guests happy, Ignacio agreed even though he had no idea what to make. When he spotted a bowl of totopos (fried pieces of corn tortilla) he had the idea to add cheese and jalapeno strips on them. He popped this into the oven to melt the cheese. Years later when he reflected back on his inspiration for the dish he noted that his foster mother had often made him quesadillas.
Upon trying the delicious new snack that Ignacio brought out, Mamie asked him what the snack was called. Ignacio simply named the snack after himself, replying that it was called "Nacho's Special". As it turns out, "Nacho" is a common nickname for the name "Ignacio"!
While there is some confusion around whether Ignacio originally named the dish in English (Nacho's Special) or in Spanish (Nachos Especiales), Sandra has found evidence that points to the dish originally being named in English. This makes sense because the dish was made for an Mamie Finan who was an American. In an old ad written by Nacho himself, the ad referred to nachos as "Nacho's Special".
The Victory Club where nachos were born was closed down in 1961, and Nacho went on to open his own restaurant. His former employer, Rodolfo de los Santos, gave him kitchen equipment to thank him for his time at the Victory Club. Nacho passed away on November 9, 1974 at the age of 79. He is remembered as a generous family man.
Special Thanks to Our Interviewee:
Sandra Nickel - author of Nacho's Nachos The Story Behind the World's Favorite Snack


Performance Tuningedit
There are many options available to tune agent performance. Which option to adjust depends on whether you are optimizing for speed, memory usage, bandwidth or storage.
Samplingedit
The first knob to reach for when tuning the performance of the agent is TransactionSampleRate. Adjusting the sample rate controls what percent of requests are traced. By default, the sample rate is set at 1.0, meaning all requests are traced.
The sample rate will impact all four performance categories, so simply turning down the sample rate is an easy way to improve performance.
Here's an example of setting the sample rate to 20% using Configuration on ASP.NET Core:
{
 "ElasticApm": {
 "TransactionSampleRate": 0.2
 }
}
Stack Tracesedit
In a complex application, a request may produce many spans. Capturing a stack trace for every span can result in significant memory usage. Stack traces are also captured for every error. There are several settings to adjust how stack traces are captured.
Disable capturing stack tracesedit
To disable capturing stack traces (for both spans and errors), set StackTraceLimit to 0.
Capture stack traces only for long running spansedit
In its default settings, the APM agent collects a stack trace for every recorded span with duration longer than 5ms. To increase the duration threshold, set SpanFramesMinDuration.
Reduce number of captured stack trace framesedit
The StackTraceLimit controls how many stack frames should be collected when a capturing stack trace.
Disable capturing HTTP request and response headersedit
Capturing HTTP request and response headers increases memory allocations, network bandwidth and disk space used by Elasticsearch. To disable capturing HTTP request and response headers, set CaptureHeaders to false.
Increase metrics collection intervaledit
The .NET agent tracks certain system and application metrics. These metrics are regularly collected and sent to the APM Server and from there to Elasticsearch. You can adjust the interval for metrics collection with the setting MetricsInterval.


taskPilot – a tool for mentoring and motivating pilots.
Helping newly minted solo pilots move on to flying cross country is perhaps a bigger hurdle than learning to fly in the first place.
New pilots embarking on free flights are limited by the lack of a goal and a way to analyse their performance and measure their improvements.
It is well known that taking off with a proper goal in the form of a task, however simple, means the pilot lands back with a sense of success not found after an aimless free flight.
To help with this transition to cross country, taskPilot is based around the concept of gliding clubs running leagues amongst their pilots, scored using racing and AAT style tasks set up for varying experience levels and weather conditions.
A pilot can choose a suitable task, then access information created by experienced pilots about possible ways to do the task, review landout options and so on, and create a goal and a plan for the flight, rather than taking off and free flying and not going anywhere in particular.
On return pilots load up the igc file from their flight which is scored automatically using a simple time and handicapped distance scheme, then displayed on the club league table.
Pilots can opt for privacy if they want. Unless set to private, all flights are available for anyone to view.
Pilots then have a way of measuring how well they performed. Traces can be reviewed and compared with other pilot's traces to seek ways to improve.
Where clubs have a single seater which is flown by a number of pilots for an hour or so each, then short local tasks can be set up for, e.g. the 'LS4 class', which are speed only, again so pilots take off with a plan.
It is believed that by giving pilots these tools to measure and improve their performance, and enabling them to land back with a sense of achievement, will maintain their interest, hopefully moving on to longer flights, even competitions.
And keep them in the sport.
Click on 'Help' on the top menu bar and choose 'Help with demo' This will take you to log on details along with a walkthrough of the main features.
If gliding clubs want to get access to this app, use the contact menu bar option and send in your details.


text:
Pitt-Johnstown offers a bachelor of science degree in energy and earth resources with concentrations in energy resource geology and environmental geology. The University also offers a minor in geology, and collaborates with the Education Division to offer a bachelor of science in secondary education – earth and space science. The tracks, with several elective courses in geology, prepare students to pass exams required to become a licensed professional geologist in Pennsylvania and most states.
The department prepares students for professional careers in geology (including preparation for the licensure exam), and to pursue graduate studies, if they wish. The energy resource geology concentrationfocuses primarily on understanding rocks and the stories they tell of past geologic events. This program is designed to prepare students for careers in the oil and gas, coal, aggregate, and minerals industries, for public service in regulating agencies, and for graduate study.
In cooperation with the Geology Club, students may participate in regular outings that include caving, rock and fossil collecting, hiking, and summer excursions to different parts of the United States. Our faculty are committed to providing undergraduate research opportunities. Many of these opportunities are provided as faculty continue with their own research and field studies in their areas of specialization.
_PHONE_ | _EMAIL_


text:
CultureUnited Arab Emirates
Sometimes a city's biggest secret is hidden in its name. But take a closer look at the names of these famous metropoles and all will be revealed!
In Arabic, the name of the capital of the United Arab Emirates means 'Father of the Gazelle', most likely in reference to the animals that populate the emirate.
You don't need to dig too deep to find the meaning behind the name Amsterdam. It refers to the 'dam' on which the city was constructed along the River Amstel. So literally translated, Amsterdam means 'the dam of the Amstel'.
It only takes a basic knowledge of Greek mythology to find the origin of the name of Greece's capital city. The goddess of wisdom, war and craft was called Athena.
The old name for this French city was Burdigala. By chopping the word up, we find the words 'burd' (muddy) and 'gala' (creek). So the name Bordeaux would originally have meant 'the creek in the marshes or wetlands'.
Dubai was named for a type of grasshopper, or locust, which thrives in this desert region. Its Arabic name is 'dibba'.


Take the 2-minute tour ×
Let $\alpha = \frac{1+\sqrt{-19}}{2}$. Let $A = \mathbb Z[\alpha]$. Let's assume that we know that its invertibles are $\{1,-1\}$. During an exercise we proved that:
Lemma: If $(D,g)$ is an Euclidean Domain such that its invertibles are $\{1,-1\}$, and $x$ is an element of minimal degree among the elements that are not invertible, then $D/(x)$ is isomorphic to $\mathbb Z/2\mathbb Z$ or $\mathbb Z/3\mathbb Z$.
Now the exercise asks:
Prove that $A$ is not an Euclidean Domain.
Everything hints to an argument by contradiction: were $(A, d)$ be an ED and $x$ an element of minimal degree among the non invertibles we'd like to show that $A/(x)$ is not isomorphic to $\mathbb Z/2\mathbb Z$ or $\mathbb Z/3\mathbb Z$.
How do we do that? My problem is that, since I don't know what this degree function looks like, I don't know how to choose this $x$!
I know that the elements of $A/(x)$ are of the form $a+(x)$, with $a$ of degree less than $x$ or zero. By minimality of $x$ this means that $a\in \{0, 1, -1\}$. Now I'm lost: how do we derive a contradiction from this?
share|improve this question
3 Answers 3
up vote 7 down vote accepted
What a coincidence, this was a recent homework problem for me as well. Here's an additional hint: Show that $X^2 + X + 5$ does not split over $\mathbb{F}_2$ or $\mathbb{F}_3$. Deduce a contradiction to the minimality of the degree of $x$.
share|improve this answer
$X^2-X+5$ doesn't split in $\mathbb F_{2}[X]$ or $\mathbb F_{3}[X]$ because it has no roots in those fields. But it does split in $A[X]$, thus in $A/(x)[X]$. Contradiction! I hope :) – Jacopo Notarstefano Feb 26 '11 at 15:56
_USER_: Yes, something like that. Essentially what happens is that you are forced to conclude that $A/(x)$ is the trivial ring, so $x$ must be a unit, but we already excluded all the units. – Zhen Lin Feb 26 '11 at 16:19
Perhaps you will find enlightening the following sketched proof that $\rm\: \mathbb Z[w],\ w = (1 + \sqrt{-19})/2\ $ is a non-Euclidean PID -- based on a sketch by the eminent number-theorist Hendrik W. Lenstra.
Note that the the proof in Dummit & Foote, uses the Dedekind-Hasse criterion to prove it is a PID, and the universal side divisor criterion to prove it is not Euclidean, is probably the simplest known. The so-called universal side divisor criterion is essentially a special case of research of Lenstra, Motzkin, Samuel, Williams et al. that applies in much wider generality to Euclidean domains. You can obtain a deeper understanding of Euclidean domains from the excellent surveys by Lenstra in Mathematical Intelligencer 1979/1980 (Euclidean Number Fields 1,2,3) and Lemmermeyer's superb survey The Euclidean algorithm in algebraic number fields. Below is said sketched proof of Lenstra, excerpted from George Bergman's web page.
Let $\rm\:w\:$ denote the complex number $\rm\ (1 + \sqrt{-19}/2\:,\:$ and $\rm\:R\:$ the ring $\rm\: Z[w]\:.$ We shall show that $\rm\:R\:$ is a principal ideal domain, but not a Euclidean ring. This is Exercise III.3.8 of Hungerford's Algebra (2nd edition), but no hints are given there; the proof outlined here was sketched for me (Bergman) by H. W. Lenstra, Jr.
$(1)\ $ Verify that $\rm\ w^2\! - w + 5 = 0,\:$ that $\rm\ R = \{m + n\ a\ :\ m, n \in \mathbb Z\} = \{m + n\ \bar a\ :\ m, n \in \mathbb Z\},\:$ where the bar denotes complex conjugation, and that the map $\rm\ x \to |x|^2 = x \bar x\ $ is nonnegative integer-valued and respects multiplication.
$(2)\ $ Deduce that $\rm\ |x|^2 = 1\ $ for all units of $\rm\:R\:,\:$ and using a lower bound on the absolute value of the imaginary part of any noneal member of $\rm\:R\:,\:$ conclude that the only units of $\rm\:R\:$ are $\pm 1\:.$
$(3)\ $ Assuming $\rm\:R\:$ has a Euclidean function $\rm\:h,\:$ let $\rm\:x\ne 0\:$ be a nonunit of $\rm\,R\,$ minimizing $\rm\: h(x).\:$ Show that $\rm\:R/xR\:$ consists of the images in this ring of $\:0\:$ and the units of $\rm\:R\:,\:$ hence has cardinality at most $3$. What nonzero rings are there of such cardinalities? Show $\rm\ w^2 - w + 5 = 0 \ $ has no solution in any of these rings, and deduce a contradiction, showing that R is not Euclidean.
We shall now show that $\rm\:R\:$ is a principal ideal domain. To do this, let $\rm\:I\:$ be any nonzero ideal of $\rm\:R\:,\:$ and $\rm\:x\:$ a nonzero element of $\rm\:I\:$ of least absolute value, i.e., minimizing the integer $\rm\ x \bar x\:.\:$ We shall prove $\rm\ I = x\:R\:.\:$ (Thus, we are using the function $\rm\ x \to x \bar x\ $ as a substitute for a Euclidean function, even though it doesn't enjoy all such properties.)
For convenience, let us "normalize" our problem by taking $\rm\ J = x^{-1}\ I\:.\:$ Thus, $\rm\:J\:$ is an $\rm\:R$-submodule of $\:\mathbb C\:,\:$ containing $\rm\:R\:$ and having no nonzero element of absolute value $< 1\:.\:$ We shall show from these properties that $\rm\: J - R = \emptyset\:,\:$ i.e., that $\rm\ J = R\:.$
$(4)\ $ Show that any element of $\rm\:J\:$ that has distance less than $1$ from some element of $\rm\:R\:$ must belong to $\rm\:R\:.\:$ Deduce that in any element of $\rm\ J - R\:,\:$ the imaginary part must differ from any integral multiple of $\:\sqrt{19}/2\:$ by at least $\:\sqrt{3}/2\:.\:$ (Suggestion: draw a picture showing the set of complex numbers which the preceding observation excludes. However, unless you are told the contrary, this picture does not replace a proof; it is merely to help you find a proof.)
$(5)\ $ Deduce that if $\rm\: J - R\:$ is nonempty, it must contain an element $\rm\:y\:$ with imaginary part in the range $\rm\ [\sqrt{3}/2,\ \sqrt{19}/2 - \sqrt{3}/2]\:,\:$ and real part in the range $\rm\: (-1/2,\ 1/2]\:.$
$(6)\ $ Show that for such a $\rm\: y\:,\:$ the element $\rm\: 2\:y\:$ will have imaginary part too close to $\:\sqrt{19}/2\:$ to lie in $\rm\: J - R\:.\:$ Deduce that $\rm\ y = w/2\ $ or $\rm- \bar w/2\:,\:$ and hence that $\rm\ w\ \bar w/2\ \in J\:.$
$(7)\ $ Compute $\rm\: w\ \bar w/2\:,\:$ and obtain a contradiction. Conclude that $\rm\:R\:$ is a principal ideal domain.
$(8)\ $ What goes wrong with these arguments if we replace $19$ throughout by $17$? By $23$?
share|improve this answer
You don't need to know what the degree function looks like to choose $x$: you already chose it when you said "$x$ an element of minimal degree." (By the well-ordering principle, the set of degrees of nonzero, non-unital elements has a least element.)
share|improve this answer
I guess I should have phrased my question better. I do understand that this $x$, given a degree function, exists. I'll try to edit my question to


Recipe: Sweet potato flour paste
Home Cooking Recipe: Sweet potato flour paste
From snacks to big stuff, it's delicious and convenient. You can also go in whatever fruit you like to eat, and the dried fruit is also. I like to put brown sugar and brown sugar, like white sugar.
 1. Add the sweet potato powder to the water for a while and mix well. The static setting is for the large particles in the powder to melt completely. Like a thin paste, you can increase the proportion of water, and vice versa, thicker, less water. This step is the key.
 2. The cashew nuts are cooked or fried, and cooked. Then mash or small pieces. Pear diced.
 3. Open the medium and small fire, mix the sweet potato powder into the pot. Stir while observing, in the pot, it is necessary to stir all the time, in one direction. Until it is transparent, it means cooked, then add cashew nuts, dried bayberry, black sesame seeds, raisins, pears. Turn to a small fire, stir evenly, put sugar, turn off the heat.
Sugar can also be added together when adding water. When it needs to be hot, it is not so delicious when it is cold. It seems that it is not good for the second time, so it is not possible to stay overnight. Now eat now.
Look around:


uniform-io-0.1.1.0: Uniform IO over files, network, watever.
Safe HaskellNone
LanguageHaskell2010
System.IO.Uniform
Description
Uniform-IO provides a typeclass for uniform access of different types of targets, and implementations for abstracting standard streams, files and network connections. This module also provides TLS wraping over other IO targets.
Synopsis
Documentation
data TlsSettings Source
Settings for starttls functions.
class UniformIO a where Source
Typeclass for uniform IO targets.
Methods
uRead :: a -> Int -> IO ByteString Source
uRead fd n
Reads a block of at most n bytes of data from the IO target. Reading will block if there's no data available, but will return immediately if any amount of data is availble.
uPut :: a -> ByteString -> IO () Source
uPut fd text
Writes all the bytes of text into the IO target. Takes care of retrying if needed.
uClose :: a -> IO () Source
fClose fd
Closes the IO target, releasing any allocated resource. Resources may leak if not called for every oppened fd.
startTls :: TlsSettings -> a -> IO TlsStream Source
startTLS fd
Starts a TLS connection over the IO target.
isSecure :: a -> Bool Source
isSecure fd
Indicates whether the data written or read from fd is secure at transport.
Instances
UniformIO TlsStream
UniformIO wrapper that applies TLS to communication on IO target. This type is constructed by calling startTls on other targets.
UniformIO FileIO
UniformIO type for file IO.
UniformIO SocketIO
UniformIO IP connections.
UniformIO SomeIO
data SocketIO Source
Instances
UniformIO SocketIO
UniformIO IP connections.
data FileIO Source
Instances
UniformIO FileIO
UniformIO type for file IO.
data TlsStream Source
Instances
UniformIO TlsStream
UniformIO wrapper that applies TLS to communication on IO target. This type is constructed by calling startTls on other targets.
data BoundedPort Source
A bounded IP port from where to accept SocketIO connections.
data SomeIO Source
A type that wraps any type in the UniformIO class.
Constructors
forall a . UniformIO a => SomeIO a
Instances
connectTo :: IP -> Int -> IO SocketIO Source
ConnecctTo ipAddress port
Connects to the given port of the host at the given IP address.
connectToHost :: String -> Int -> IO SocketIO Source
connectToHost hostName port
Connects to the given host and port.
bindPort :: Int -> IO BoundedPort Source
bindPort port Binds to the given IP port, becoming ready to accept connections on it. Binding to port numbers under 1024 will fail unless performed by the superuser, once bounded, a process can reduce its privileges and still accept clients on that port.
accept :: BoundedPort -> IO SocketIO Source
accept port
Accept clients on a port previously bound with bindPort.
openFile :: String -> IO FileIO Source
Open a file for bidirectional IO.
getPeer :: SocketIO -> IO (IP, Int) Source
Gets the address of the peer socket of a internet connection.
closePort :: BoundedPort -> IO () Source
Closes a BoundedPort, and releases any resource used by it.


Export Comparison reults shows In1/2 in TYpe column
fabkhushfabkhush Posts: 2
edited March 9, 2017 10:30AM in SQL Data Compare 11
My exported data comparison sheet shows In1, IN2 in Type column. What does it means? documentation tells anout _TAG_, _TAG_ etc but nothing about In1, IN2.
 - "Type" is a slightly confusing word but it basically refers to which of the two databases contain a given row.
 - "In1" just means that the database on the left contains the row while the database on the right does not;
 - "In2" means the opposite.
 - "Different" means that both databases have rows with matching values in the column(s) you are using as a comparison key, but some of the data columns have differing values
 - "Identical" means that the same row exists in both databases.
 In the UI we tend to quote the database name in such labels, but this shorthand is used in the exported files to make it easier to parse.
 You can find more information about this at _URL_ on+results.
 Software Developer
 Redgate Software
Sign In or Register to comment.